Let be a triangle with circumcircle and incentre . Let the line passing through and perpendicular to intersect the segment and the arc (not containing ) of at points and , respectively. Let the line passing through and parallel to intersect at , and let the line passing through and parallel to intersect at . Let and be the midpoints of and , respectively. Prove that if the points , , and are collinear, then the points , , and are also collinear.
Solutions — 2
Solution 1
We start with some general observations. Set , , . Then obviously . Since , we obtain . Therefore , which implies that the points , , , and lie on a common circle (see Figure 1).
Assume now that the points , and are collinear. We prove that .
Let the line intersect at . Since the lines , , and are parallel, we get
implying . Moreover, . This implies that the quadrilateral is cyclic, and since is the angle bisector of , we infer that . Thus in the isosceles triangle , the point is the midpoint of the base . This gives , i.e., .

Figure 1
Let be the midpoint of the segment . Let moreover be the intersection point of the lines and , and set . Since and , we obtain
which implies that . Therefore, since , the point is the midpoint of , i.e., .
To complete our solution, it remains to show that the intersection point of the lines and coincide with the midpoint of the segment . But since is the midpoint of the segment , it suffices to show that the lines and are parallel.
Since the quadrilateral is cyclic, . This implies that is the external angle bisector of the angle , which yields . Therefore , which gives . Hence , so .
On the other hand, , which implies that the lines and are parallel. This completes the solution.
Solution 2
As in Solution 1, we first prove that the points , , , lie on a common circle and . The remaining part of the solution is based on the following lemma, which holds true for any triangle , not necessarily with the property that , , are collinear.
Lemma. Let be the triangle inscribed in a circle and let be its incentre. Assume that the line passing through and perpendicular to the line intersects the side at the point . Let the circumcircle of the triangle intersect the circle for the second time at , and let the excircle of the triangle opposite to the vertex be tangent to the side at . Then
Proof. Let be the composition of the inversion with centre and radius , and the symmetry with respect to . Clearly, interchanges and .
Let be the excentre of the triangle opposite to (see Figure 2). Then we have and , so the triangles and are similar, and therefore . This means that interchanges and . Moreover, since lies on and , the point lies on , and . Thus maps the circumcircle of the triangle to a circle with diameter .
Finally, since lies on both and , the point lies on the line as well as on , which in turn means that . This implies the desired result.

Now we turn to the solution of the problem.
Assume that the incircle of the triangle is tangent to at , and let the excircle of the triangle opposite to the vertex touch the side at (see Figure 3). The homothety with centre that takes to takes the point to some point , and the tangent to at is parallel to . Therefore is a diameter of . Moreover, is the midpoint of . This implies that the lines and are parallel.
Let . Since , the lemma yields that is the midpoint of . This implies that the segments and are parallel. Therefore, the points , and are collinear.