Let be an acute-angled triangle with , let be its circumcentre, and let be a point on the segment . The line through perpendicular to intersects the lines , and at , and , respectively. The circumcircles of triangles and intersect again at .
Prove that if , then is tangent to the circle .
Solutions — 2
Solution 1
Let intersect at . As is a right-angled triangle and is on , the condition means is the circumcentre of this triangle. So which establishes that are reflections in the perpendicular bisector of .
Now observe:
which shows is cyclic.

We next show that . To do this, introduce point on circle such that . By the previous result, it suffices to prove that is cyclic. Notice that triangles and are reflections in the perpendicular bisector of . Using this and that are collinear:
so is cyclic, giving as desired.
Using and cyclic we get:
which by the converse of alternate segment theorem shows is tangent to circle .
Solution 2
Notice that point is the Miquel-point of lines , , and ; then and are concyclic. Moreover, is the centre of the spiral similarity that maps to .
By , the angle of that similarity is ; hence the circles and are perpendicular, therefore the radius in circle is tangent to circle .

By , the triangle is isosceles, and
so lies on line that is tangent to circle .