IMO 2018 Problem 1
- Day 1
Let be the circumcircle of acute triangle . Points and are on segments and respectively such that . The perpendicular bisectors of and intersect minor arcs and of at points and respectively. Prove that lines and are either parallel or they are the same line.
Proposed by Silouanos Brazitikos, Evangelos Psychas and Michael Sarantis, Greece
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2018 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.