In a triangle let be the circumcenter, the orthocenter, and the midpoint of the segment . The perpendicular at onto intersects lines and at and , respectively. Prove that .
Solutions — 2
Solution 1
Consider on , on such that is a parallelogram. We shall prove that . Let be the antipodal point of in the circumcircle of triangle . We have , hence it suffices to prove that .

Notice that , and . Since the diagonals and of parallelograms and are perpendicular, it follows that diagonals and are also perpendicular. Therefore and , and we are done.

Solution 2
Let and be the midpoints of sides and , respectively. Quadrilateral is cyclic, hence . Quadrilateral is cyclic, hence we have .

Observe that is a parallelogram. Indeed, we have and implies , therefore . Also, we have and , implies , therefore .
Finally, from , it follows that triangle is isosceles, that is . Since , the conclusion follows.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.