IMO 2004 Problem 1
- Day 1
Let be an acute-angled triangle with . The circle with diameter intersects the sides and at and respectively. Denote by the midpoint of the side . The bisectors of the angles and intersect at . Prove that the circumcircles of the triangles and have a common point lying on the side .
Attachments:

Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2004 official English paper, page 1.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.