For each finite subset of the space , define as the union of the open spheres with center on each point of and radius . Prove that, for ,
Solution
Let and let be the perpendicular plane bisector of and for . Those planes define convex regions , where is the intersection of the half-spaces determined by that contain . Finally, let be the intersection of with the sphere with center and radius . Thus, since the (disjoint) union of the regions is the whole space, is the disjoint union of .
Now, for each point , apply a homothety with center and ratio . It is clear that the image of is contained in , since a sphere with radius is taken to a sphere with radius and the planes are taken to planes closer to . Thus and the result follows by summing up these inequalities for .
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.