IMO 2019 Problem 6
- Day 2
Let be the incentre of acute triangle with . The incircle of is tangent to sides , and at and , respectively. The line through perpendicular to meets at . Line meets again at . The circumcircles of triangle and meet again at .
Prove that lines and meet on the line through perpendicular to .
Proposed by Anant Mudgal, India
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2019 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.