If P and Q are two points in the plane, let m(PQ) be the perpendicular bisector of PQ.S is a finite set of n>1 points such that: (1) if P and Q belong to S, then some point of m(PQ) belongs to S, (2) if PQ, P′Q′,P′′Q′′ are three distinct segments, whose endpoints are all in S, then if there is a point in all of m(PQ),m(P′Q′),m(P′′Q′′) it does not belong to S. What are the possible values of n ?
## Answer
n=3 (equilateral triangle), 5 (regular pentagon).
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.