IMO 2017 Problem 4
- Day 2
Let and be different points on a circle such that is not a diameter. Let be the tangent line to at . Point is such that is the midpoint of the line segment . Point is chosen on the shorter arc of so that the circumcircle of triangle intersects at two distinct points. Let be the common point of and that is closer to . Line meets again at . Prove that the line is tangent to .
Proposed by Charles Leytem, Luxembourg
Official text Transcription from AI-MO AoPS, checked word for word against the official paper. Quoted with source.
Official text: IMO 2017 official English paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.