NMC 2005 Problem 4
The circle is inside the circle , and the circles touch each other at . A line through intersects also at and also at . The tangent to at intersects at and . The tangents of passing through touch at and . Prove that , , and are concyclic.

Figure 15.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.