A finite set of unit circles is given in a plane such that the area of their union $U$ is $S$. Prove that there exists a subset of mutually disjoint circles such that the area of their union is greater that $\frac{2S}{9}.$
Problem
Source:
Tags: geometry, circles, area, IMO Shortlist
kevinatcausa
28.09.2010 22:33
This was previously posted, and solved by kdano, here. One curious question: What happens if we remove the condition that all of the circles be unit circles? Kdano's proof doesn't seem to go through in this case. However, it's not hard to see that there (this argument is not mine, but I have no idea where it originally came from) that you still can get at least $\frac{1}{9}$. Proof:
Construct your collection greedily by at each step choosing a circle of largest radius that doesn't intersect an already chosen circle. Let $T$ be the collection thus formed, and let $T'$ be the collection formed by taking each circle in $T$ and replacing it by a circle of $3$ times the radius with the same center.
Any circle in our original collection intersects some circle in $T$ with radius at least as large as itself. Tripling the size of that intersecting circle causes it to contain the smaller circle. In other words, $T'$ contains $U$. Since $T'$ has area at most $9$ times the area of $T$, $T$ has area at least $1/9$ the area of $U$.
Can you still always get $2/9$?