Problem:
Let be a non-isosceles, non-right triangle, let be its circumcircle, and let be its circumcenter. Let be the midpoint of segment . Let the circumcircle of triangle intersect again at . If is the orthocenter of triangle , prove that .
Solutions — 2
Solution 1
Solution:
Let be the intersection of the line tangent to at with the line tangent to at . Note that since . Hence , or, equivalently, . By SAS similarity, it follows that . Therefore, .
We claim now that . By the similarity , we have that . Since is a cyclic quadrilateral, we have that . Since , we have that . Combining these equations tells us that , so , , and are collinear.
Finally, since both and are perpendicular to , it follows that , so , as desired.
Solution 2
Solution:
Let be the intersection of with the line tangent to at . Then the circumcircle of triangle has diameter , so is perpendicular to because the radical axis of two circles is perpendicular to the line between their centers. Since is on the polar of , it follows that is on the polar of , so implies that is the polar of , i.e. is the symmedian from in triangle . Hence and are isogonal. Since and are also isogonal, the desired conclusion follows immediately.