432. Geometry problems with perpendicularities II.
by Virgil Nicula, Nov 16, 2015, 8:41 AM
PP1. Let a rectangle
. Let the midpoint
of
P and
so that
. Prove that
is isosceles. An easy extension. Let
be a
trapezoid so that
and
. Denote the points
,
so that
and
so that
. Prove that
.
Proof. Prove easily that
. Observe that
is a cyclical quadrilateral and
.
Generalization. Let
be collinear points so that
,
and
, i.e. the division 
is harmonically. For
so that
let the projections
,
of
on the lines
,
respectively. Prove that
.
Application. Let a circle
and
so that
. Consider the tangent
to
, where
and
so that
. Let
and the projections
,
of
on
,
respectively. Prove that
.
PP2. Let
with circumcircle
,
so that
, 
and
. Prove that the ray
is the
-symmedian of
and
.
Proof 1.
. Since
obtain that
i.e. the ray
is the
-symmedian of
. Denote
, where denoted
- the tangent line to the circle
, where
. Thus,
the point
belongs to the circle with the diameter
, i.e.
.
Proof 2 (Sunken rock). From
and
we get
and obviously,
which implies
. If we prove
we are done. From
we easily get
; with
we get
.
But with
we have
; with
we got the wanted
,
symmedian, meaning
is an harmonic quadrilateral.
Remark. The division
is a harmonical division and
.
PP3. Let
be a right triangle for which
. Denote the projections
,
of the points
,
respectively to a mobile
line
for which
. Define the point
for which
and
. Ascertain the geometrical locus of the point
.
Proof. Denote the projections
,
of
,
on
,
respectively and
,
. Thus,
.
PP4. In
altitude, angle bisector and median drawn from
cut angle
into four equal angles. Compute the angles of the triangle.
Proof 1. Let the midpoint
of
,
, the circumcircle
of
and
. Thus,
is
-isosceles
belongs to the bisectors of
and
, i.e.
- the circumcenter of
is
-isosceles
,
and
.
Proof 2. Denote
. Thus,
,
and
. Therefore,

. In conclusion,
,
and
.
PP5. Let
-right
. Let the rectangle
, where
,
and
and
and
. Prove that
.
Proof.
and
are cyclically
. Let
.
Thus,
.
PP6. Let
be an acute triangle with the circumcenter
. Denote
and
,
so that
,
. Prove that
.
Proof 1.
. Denote the distance 
of the point
to the line
. Thus,
.
Proof 2. Denote
so that
and the midpoints
,
of
,
respectively. Therefore,
.
PP7 (extension of China TST 1986). Let
be a quadrilateral for which
and
(a right deltoid).
Let
be two points so that
and
. Show that
.
Proof. Observe that the semiperimeter of the triangle
is equal to
and
belongs to the bisector of the angle
. Therefore,
the point
is the
- exincenter of
. Generally,
, i.e.
.
PP8. Let
be an acute triangle with the circumcircle
and
, where
. Denote the projections
and
of
on
and
respectively. Define
and
. Prove that
is the incenter of
.
Proof.
is cyclically
is cyclically. Thus, the line
(in this order) is an antiparallel
to
in
. Therefore,

belongs to the intersection of the circle
with the bisector of
is the incenter of
.
Extension. Let
be an acute triangle with the circumcircle
and 
so that
. Denote
and
. Prove that
is the incenter of
.
Proof.
is a cyclic
the line
(in this order) is an antiparallel
to
in
. Therefore,

belongs to the intersection of the circle
with the bisector of
is the incenter of
.[/color]
PP9. Let
with diameter
,
,
for which
, where
and
. Prove that
.
Proof 1. Denote
and the diameter
of
. Then
is cyclically and
.
Proof 2. Denote
. Thus,
.
Proof 3. Midpoint
of
and

is the midpoint of
.
PP10. Let
be an altitude of the
, where
,
with
and the projection
of
onto
. Prove that
.
Proof.
and
implying
, i.e. does
exist a spiral similarity mapping the 2 triangles. Since
obtain that
.
PP11. Let a convex
with
and for
denote
so that
. Prove that
.
Proof.

PP12 (Swiss IMO Selection). Let
be an acute-angled triangle with
. Let
be the orthocenter of
, and let
be the midpoint of
. Let
and
such that
and
. Prove that the line
is perpendicular to the common chord of the circumcircle
of
and the circumcircle
of
.
Proof. Denote
the midpoint
of
the circles
and
the diameter
of
and the midpoint
of the arc
, where
separates
, 
the intersections
,
and
. Observe that
,
is the common midpoint of
and
. Thus, 
. Therefore, from
obtain that
, i.e.
. Hence
From the relations
and
obtain that
, i.e.
is the diameter of the circle
. Since
and
is the midpoint
of
, then get that
and
, i.e. the line
is perpendicular to the common chord of the circles
and
.
PP13 (Bogomolny). Let the trapezoid
with
and
Denote
so that
Prove that
Proof 1. Let
Thus,

I"ll ascertain
Therefore 
where


![$bd\left[(c+d-b)+(b+d-c)\right]=$](//latex.artofproblemsolving.com/8/2/6/82667d86a8268b47ce580fc50409ecfb0e5b574a.png)
In conclusion, the last relations
and
evinces that 
Proof 2 (synthetically).
PP14. Let
with
its circumcircle
and let
be the points where the incircle is tangent to
,
,
respectively.
Let
the midpoint of the arc
The line
meets
again at
Let
Prove that 
Proof. Let
Then
is harmonic division. So
is harmonic pencil too. By angle chasing, we have
Therefore,
and also

Therefore,
is cyclic. Since
bisects
, it follows that
is the external angle bisector of
and hence
That is 
PP15. Let
with the centroid
the circumcircle
and the incircle
Prove that 
is right-angled

is right-angled

Proof.




![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)




trapezoid so that








Proof. Prove easily that






Generalization. Let





is harmonically. For








Application. Let a circle

















PP2. Let





and





Proof 1.




























![$[OT]$](http://latex.artofproblemsolving.com/5/6/f/56f864bd804a23b3cb20f5dc5b44f3ff4cc525c3.png)



Proof 2 (Sunken rock). From










But with






Remark. The division


PP3. Let






line






Proof. Denote the projections
















PP4. In



Proof 1. Let the midpoint

![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)









![$[AS]$](http://latex.artofproblemsolving.com/8/1/f/81f842d87b22553e4b674bb2bf46a080da785009.png)
![$[AC]$](http://latex.artofproblemsolving.com/0/9/3/0936990e6625d65357ca51006c08c9fe3e04ba0c.png)







Proof 2. Denote




















PP5. Let









Proof.









Thus,







PP6. Let








Proof 1.




of the point




Proof 2. Denote




![$[BL]$](http://latex.artofproblemsolving.com/2/6/c/26c5c63a16a4731515a37bf7e0c5f47122ccf155.png)
![$[CM]$](http://latex.artofproblemsolving.com/f/e/2/fe2250ed20133e86505c3901649c4007cf77e6e7.png)


PP7 (extension of China TST 1986). Let



Let




Proof. Observe that the semiperimeter of the triangle




the point





PP8. Let













Proof.









to



















Extension. Let



so that





Proof.






to



















PP9. Let

![$[AB]$](http://latex.artofproblemsolving.com/a/d/a/ada6f54288b7a2cdd299eba0055f8c8d19916b4b.png)






Proof 1. Denote

![$[QE]$](http://latex.artofproblemsolving.com/9/7/6/97692abe7d5b1cda3c7feb370c4de9a159821ebc.png)





Proof 2. Denote





Proof 3. Midpoint








![$[QH]$](http://latex.artofproblemsolving.com/8/9/5/895de0e428fb2fd89c58cdc10b6831de8dc50767.png)
PP10. Let









Proof.



exist a spiral similarity mapping the 2 triangles. Since


PP11. Let a convex






Proof.


PP12 (Swiss IMO Selection). Let





![$[BC]$](http://latex.artofproblemsolving.com/e/a/1/ea1d44f3905940ec53e7eebd2aa5e491eb9e3732.png)









Proof. Denote


![$[AH]$](http://latex.artofproblemsolving.com/0/3/b/03b8986ebe750b377f987f87b41a1dbc4c128e17.png)




![$[AA']$](http://latex.artofproblemsolving.com/f/8/3/f83bdc8e170d3bc867097c603fa03cf6edefbb4b.png)






the intersections





![$[DE]$](http://latex.artofproblemsolving.com/4/f/5/4f55b2be1d3d9963afec61b4973bfecc6141b1ff.png)
![$[HK]$](http://latex.artofproblemsolving.com/3/7/2/372e3b192fc8012dd61dafb59b4aa2a4967c2aa3.png)

















![$[AN]$](http://latex.artofproblemsolving.com/b/0/6/b065e2d64ee016911f4b23fe8c308311c71bfa54.png)



of
![$[AN]$](http://latex.artofproblemsolving.com/b/0/6/b065e2d64ee016911f4b23fe8c308311c71bfa54.png)







PP13 (Bogomolny). Let the trapezoid







Proof 1. Let







I"ll ascertain



















![$bd\left[(c+d-b)+(b+d-c)\right]=$](http://latex.artofproblemsolving.com/8/2/6/82667d86a8268b47ce580fc50409ecfb0e5b574a.png)





Proof 2 (synthetically).
PP14. Let









Let







Proof. Let










Therefore,







PP15. Let












Proof.


This post has been edited 125 times. Last edited by Virgil Nicula, Nov 22, 2016, 8:40 AM