Given 100 points on the plane. Prove that you can cover them with a collection of circles whose diameters total less than 100 and the distance between any two of which is more than 1. [The distance between circles radii and with centers a distance apart is the greater of 0 and .]
Problem 901
Official solution
Solution:
If we have two circles diameters and , the distance between which is less than , then they are contained in a circle diameter . [If the line through the centers cuts the circles in , , , , then take a circle diameter .] So start with circles of diameter each. If any pair is a distance apart, then replace them by a single circle, increasing the total diameter by . Repeat until all the circles are a distance apart. We must end up with at least one circle, so the total increase is at most . Hence the final total diameter is at most .