Problem:
Let be a right-angled triangle with and let be the foot of the perpendicular from on . Let be a point on the line with . Let be the circumcircle of the triangle . Let be the second point of intersection of with and let be the antidiametric point of with respect to . Let be the point of intersection of the lines and . If the tangent to at meets at , prove that the points are concyclic.
Solution
Solution:
We will first show that is tangent to at .
Since are concyclic, then . Since also the triangles and are similar, then , therefore .
Since , then and so
Therefore the points are concyclic. It follows that and therefore the triangle is right-angled. Since also is the midpoint of , then and so .

Furthermore, from which it follows that the points are also concyclic.
Now observe that
Therefore is tangent to at as claimed.
It now follows that . Therefore
Thus are concyclic, and since are also concyclic then are concyclic as required.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.