Let be an acute-angled triangle in which and . Let point lie on segment and point lie on segment such that , and . Let be the circumcentre of triangle , the orthocentre of triangle , and the point of intersection of the lines and . Prove that , and are collinear.
Problem 2094
Official solutions — 3
Solution 1
Solution:
We show that and are both on the angle bisector of .
We first prove that . The altitude in triangle is also the altitude in isosceles triangle with . Therefore, is also the angle bisector of and hence also of . Analogously, is the angle bisector of . We conclude that , as the intersection of two angle bisectors of , is also on the third angle bisector, which is .
We now prove that .
Variant 1. In the isosceles triangles and we see that and . This yields . Furthermore, ( being circumcentre of ). Now , so is a cyclic quadrilateral. From we then obtain that , so is on the angle bisector , which is also .
We conclude that , and are collinear.
Variant 2. Let be the second intersection of and .
is a cyclic quadrilateral, so , . On the other hand . Therefore . Hence, the triangle is isosceles with ; then is the perpendicular bisector of the chord in the circle that passes through .
Note that if is tangent to , then is also tangent to and triangle is isosceles, so , and lie on the altitude from .
Remark. The fact that is also tangent to could be shown with being a cyclic quadrilateral like in the first variant of the solution. Otherwise we can consider the second intersection of and and prove that triangle is isosceles.

Solution 2
Solution:
In the same way as in the previous solution, we see that , so . From the cyclic quadrilateral (with and feet of the altitudes and ) we see that . Since is the perpendicular bisector of , we have as well, so . From , we see is a cyclic quadrilateral. This means .
Since triangles and are both isosceles with apex , we get . We see that one can be obtained from the other by a spiral similarity centered at , so we also obtain . This means that . Combining this with , we see that . So , which means that , and are collinear.
Solution 3
Solution:
Let us draw a parallel to through . Let , . Then and , therefore both and will be isosceles.
Also, with respect to the similarity with center , therefore if we take the image of the line (which is the perpendicular bisector of the segment ) through this transformation, it will go through the point , and be perpendicular to (as the image of is parallel to ). As is isosceles, this line is the perpendicular bisector of the segment . This means it goes through , the circumcenter of . Similarly on the other side the image of also goes through . This means that the image of with respect to the similarity through will be , so , , are collinear.