IMO 1989 Problem 3
- Day 1
Let and be positive integers and let be a set of points in the plane such that
i.) no three points of are collinear, and
ii.) for every point of there are at least points of equidistant from
Prove that:
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 1989 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.