Maths Olympiad Prep

Library / /198 of 520

Geometry Difficulty 6.3 National olympiad Prove it

19. (YUG) A finite set of unit circles is given in a plane such that the area of their union U U is S S . Prove that there exists a subset of mutually disjoint circles such that the area of their union is greater than 2S9 \frac{2 S}{9} .

Solution

19. Consider the partition of plane π\pi into regular hexagons, each having inradius 2. Fix one of these hexagons, denoted by γ\gamma. For any other hexagon xx in the partition, there exists a unique translation τx\tau_{x} taking it onto γ\gamma. Define the mapping φ:πγ\varphi: \pi \rightarrow \gamma as follows: If AA belongs to the interior of a hexagon xx, then φ(A)=τx(A)\varphi(A)=\tau_{x}(A) (if AA 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 SS, while the area of the hexagon γ\gamma is 838 \sqrt{3}. Thus there exists a point BB of γ\gamma that is covered at least S83\frac{S}{8 \sqrt{3}} times, i.e., such that φ1(B)\varphi^{-1}(B) consists of at least S83\frac{S}{8 \sqrt{3}} 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 π83S2S/9\frac{\pi}{8 \sqrt{3}} S \geq 2 S / 9. Remark. The statement becomes false if the constant 2/92 / 9 is replaced by any number greater than 1/41 / 4. 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.

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.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.