Let S be a set of n≥3 points in the interior of a circle.
a) Show that there are three distinct points a,b,c∈S and three distinct points A,B,C on the circle such that a is (strictly) closer to A than any other point in S,b is closer to B than any other point in S and c is closer to C than any other point in S.
b) Show that for no value of n can four such points in S (and corresponding points on the circle) be guaranteed.
Solution
a) Let H be the smallest convex set of points in the plane which contains S.† Take 3 points a,b,c∈S which lie on the boundary of H. (There must always be at least 3 (but not necessarily 4) such points.)
Since a lies on the boundary of the convex region H, we can construct a chord L such that no two points of H lie on opposite sides of L. Of the two points where the perpendicular to L at a meets the circle, choose one which is on a side of L not containing any points of H and call this point A. Certainly A is closer to a than to any other point on L or on the other side of L. Hence A is closer to a than to any other point of S. We can find the required points B and C in an analogous way and the proof is complete.
[Note that this argument still holds if all the points of S lie on a line.]
!
(a)
!
(b)
b) Let PQR be an equilateral triangle inscribed in the circle and let a,b,c be midpoints of the three sides of △PQR. If r is the radius of the circle, then every point on the circle is within (3/2)r of one of a,b or c. (See figure (b) above.) Now 3/2<9/10, so if S consists of a,b,c and a cluster of points within r/10 of the centre of the circle, then we cannot select 4 points from S (and corresponding points on the circle) having the desired property.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.