IMO 1983 Problem 2
- Day 1
Let be one of the two distinct points of intersection of two unequal coplanar circles and with centers and respectively. One of the common tangents to the circles touches at and at , while the other touches at and at . Let be the midpoint of and the midpoint of . Prove that .
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 1983 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.