ISL 1998 G8
Let be a triangle such that and . The tangent at to the circumcircle of triangle meets the line at . Let be the reflection of in the line , let be the foot of the perpendicular from to , and let be the midpoint of the segment . Let the line intersect the circle again at .
Prove that the line is tangent to the circumcircle of triangle .
Attachments:

Dataset text AI-MO AoPS. 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.
Similar problems
These problems have the most words in common with this statement.