Browse · MathNet
PrintSelection 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.

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
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