19. (YUG) A finite set of unit circles is given in a plane such that the area of their union is . Prove that there exists a subset of mutually disjoint circles such that the area of their union is greater than .
Solution
19. Consider the partition of plane into regular hexagons, each having inradius 2. Fix one of these hexagons, denoted by . For any other hexagon in the partition, there exists a unique translation taking it onto . Define the mapping as follows: If belongs to the interior of a hexagon , then (if is on the border of some hexagon, it does not actually matter where its image is). The total area of the images of the union of the given circles equals , while the area of the hexagon is . Thus there exists a point of that is covered at least times, i.e., such that consists of at least distinct points of the plane that belong to some of the circles. For any of these points, take a circle that contains it. All these circles are disjoint, with total area not less than . Remark. The statement becomes false if the constant is replaced by any number greater than . In that case a counterexample is, for example, a set of unit circles inside a circle of radius 2 covering a sufficiently large part of its area.