Let be a triangle and let be its circumcenter. The lines and meet at , and the tangent of the circumcircle at meets the line at , , indices being reduced modulo . Show that the points are collinear.
Solutions — 2
Solution 1

To this end, let the parallel through to the tangent meet the tangents and at and , respectively, and notice that:
(1) the angles and are equal, since the points , , , all lie on the circle on diameter ;
(2) the angles and are equal, since ; and
(3) the angles and are equal, since the points , , , all lie on the circle on diameter .
Consequently, the angles and are equal. Since the lines and are parallel, and the latter is perpendicular to the line , it follows that is the midpoint of the segment , whence the conclusion.
Solution 2
Alternative Solution:
We will show that , so the conclusion follows by Menelaus' theorem. To this end, we will prove that
Multiplying the three yields the desired relation, since, by Ceva's theorem, .
We now turn to prove . To avoid directed angles, assume, without any loss, that the triangle is acute-angled, fix an index and let (the case is dealt with similarly). Apply the law of sines in the triangles and to get
Since the angle is the supplement of the internal angle at of the triangle , and the angle is equal to the internal angle at of the triangle , the above ratio of sines equals and follows.