JBMO-SL 2013 G1
Let be a diameter of a circle with center and be a radius of which is perpendicular to . Let be a point on the line segment . Let be the second point of intersection of the line with , and let be the point of intersection of the lines tangent to at and at . Show that the points are concyclic.
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.