JBMO-SL 2010 G1
Consider a triangle with . Let be the foot of the altitude from . Circle touches the line segment at point , the altitude at point and the circumcircle of at point . Prove that points are collinear and .

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.