Given a set of 2016 distinct points in the plane, show that we can choose a "circle of evil" in the plane such that exactly 666 of these points lie strictly inside , and none of them lies on .
Solution
Let denote the set of the 2016 given points. Consider the collection of perpendicular bisectors of pairs of distinct points in . This is a finite collection of lines, so we can pick a point not on any one of these lines, and also not in .
For , let be the number of points in whose distance from is at most . By construction, the circle of radius about contains at most one point of for each , so increases from 0 for small to 2016 for very big , and each increase occurs as a jump of 1. Thus, there are numbers
such that if , then exactly when . The circle has the desired properties if we pick .
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.