Let be an acute-angled triangle with , and let be its circumcentre and orthocentre respectively. Points lie on segments respectively, such that
The perpendicular line from to line meets lines and at respectively. Let the tangents to the circumcircle of at points and meet at point . Prove that are concyclic.
Solutions — 3
Solution 1
Define to be the point on such that . Let be a point on the circumcircle of such that .
Lemma 1. is the perpendicular bisector of .
Proof. Let denote the reflection of in . Then note that . This is because . Now implies . This shows . Similarly .

Lemma 2. .
Proof. Let and denote the foot of perpendiculars from onto respectively. Then note that if is the foot of perpendicular from onto , then by similarity, as . However , so , as desired.
Lemma 3. and are tangents to the circumcircle of .
Proof. Note that is a cycle quadrilateral. Now we angle chase: . Thus, is tangent to the circumcircle of . Similarly for .
Finally note that is the Miquel point of quadrilateral , as and are cyclic. Thus lies on the circumcircle of , as desired.
Solution 2
Observe that hence the isogonal conjugate of point in quadrilateral exists. Since and are isogonal conjugates in , follows.
In particular, is the centre of the circle passing through the reflections of in ; which coincides with the circumcircle of . Thus reflection of in lies on .
However, as and are isogonal conjugates in , hence lies on as well.
Now hence , where is the circumradius of . Thus, and have equal powers in or the circumcentre of triangle lies on the perpendicular bisector of , which passes through .
Further, is the centre of spiral similarity sending to so it suffices to show that it sends to , where is the point of intersection of and tangents to .
Let and the line through parallel to meet at . Now the same spiral similarity maps to so we just need to show that . Both are equal to , so we are done.
To conclude, suffices to show where is the foot of -altitude which will allow to be collinear. This follows as as isogonal conjugates in hence
Solution 3
We prove Lemma 2 of Solution A using complex numbers, and then finish the same way as in Solution A.
We toss the diagram on the complex plane. Let the circumcircle of be the unit circle, so is the origin, and let , , without loss of generality. Use and to get that . By symmetry, .
Now, redefine to be intersection of the perpendicular from to with . We need to show that .
We calculate
Therefore, . Also since it lies on the real axis. Therefore,
Finally, the orthocenter . Thus, . Finally,