olymmath

IMO 1989 Problem 3

  • Day 1

Let nn and kk be positive integers and let SS be a set of nn points in the plane such that

i.) no three points of SS are collinear, and

ii.) for every point PP of SS there are at least kk points of SS equidistant from P.P.

Prove that: k<12+2⋅nk < \frac {1}{2} + \sqrt {2 \cdot n}

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.

Add a solution

Locator imo/1989/p3 · Tag HAFF5KD5PX · Edit this page on GitHub · Keys: j next, k previous