ISL 2023 G2
Let be a triangle with . Let be the circumcircle of triangle and let be the radius of . Point lies on segment such that and point is the foot of the perpendicular from to line . Let ray intersect again at and let lie on line such that and lie on the line in that order. Finally, let the line perpendicular to from intersect the line perpendicular to from at . Prove that lies on .
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.