IMO 2023 Problem 2
- Day 1
Let be an acute-angled triangle with . Let be the circumcircle of . Let be the midpoint of the arc of containing . The perpendicular from to meets at and meets again at . The line through parallel to meets line at . Denote the circumcircle of triangle by . Let meet again at . Prove that the line tangent to at meets line on the internal angle bisector of .
Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.
Official text: IMO 2023 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.