Let be an acute triangle and let be a point on the side . The circumcircle of the triangle intersects the side at . The circumcircle of the triangle intersects the side at . Let be the circumcentre of the triangle . Prove that the points and and the circumcentres of the triangles , , and are concyclic and the line is perpendicular to .
Solution
Let and be the circumcentres of the triangles , , and . The line bisects the segment and the two are perpendicular. Similarly, bisects the segment and these two are perpendicular as well.

Denote the angles of the triangle by , and and let and be the midpoints of the segments , , , and .
We will be using directed angles as this will shorten the calculation. The quadrilateral is cyclic, so . Since is the circumcentre of the triangle and is an acute triangle, we have . Since is the circumcentre of the triangle , we have (we used the fact that is an acute angle).
The points and are collinear, so and . Hence, the points and are concyclic.
A similar argument (but for the angle ) shows that and are concyclic. Thus, and lie on the circuncircle of the triangle . We know that and . So . On the other hand, the quadrilateral is cyclic, so . Since are collinear and are collinear, we get and lies on the circuncircle of the triangle . Hence, the points and are concyclic.
We have
and . So is parallel to , which is perpendicular to .