ISL 2017 G2
Let and be distinct points on circle , and let denote the tangent line to at . Point is the reflection of with respect to . A point is chosen on the smaller arc of so that the circumcircle of triangle intersects at two different points. Denote by the common point of and that is closest to . Line meets again at . Show that is tangent to . (Luxembourg)
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.