Skip to main content
OlympiadHQ

Browse · MathNet

Print

Selection tests for the International Mathematical Olympiad 2013

Saudi Arabia 2013 geometry

Problem

Let be an acute triangle, and let , , and be its altitudes. Segments and meet at point . The perpendicular bisector of segment intersects sides and at and , respectively. Prove that points , , , and lie on a circle.

problem
Solution
Because is parallel to , the problem is equivalent to proving that . We present two solutions:



First solution. Let be the point on such that and let us prove that .

Quadrilateral is cyclic since . Therefore, . We deduce that the quadrilateral is cyclic. Hence, .

Quadrilateral is cyclic since . We deduce that . Thus, . This proves that , that is , the intersection point of the perpendicular bisector of with .

Second solution. Since , the problem is equivalent to proving that . But , where is the orthocenter of triangle . Therefore, the problem is equivalent to proving that and are parallel.

We know that , where is the midpoint of , since and are parallel. It remains to prove that .

To simplify the notations let us write , and .

We know that , , and . We deduce by applying sine laws on triangles and that On the other hand, we have . We also know that and . We deduce by applying sine laws on triangles and that We deduce that

Techniques

Cyclic quadrilateralsTriangle centers: centroid, incenter, circumcenter, orthocenter, Euler line, nine-point circleTrigonometryTriangle trigonometryAngle chasing