IMO 2002 Problem 2
- Day 1
The circle has centre , and is a diameter of . Let be a point of such that . Let be the midpoint of the arc which does not contain . The line through parallel to meets the line at . The perpendicular bisector of meets at and at . Prove that is the incentre of the 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.