Show that there is an absolute constant with the following property: whenever is a polygon with area 1 in the plane, one can translate it by a distance of in some direction to obtain a polygon , for which the intersection of the interiors of and has total area at most .
Solution
The following solution is due to Brian Lawrence. We will prove the result with the generality of any measurable set (rather than a polygon). For a vector in the plane, write for the translate of by .
Suppose is a polygon of area 1, and is a constant, such that for any translate , where has length exactly , the intersection of and has area at least . The problem asks us to prove a lower bound on .
Lemma
Fix a sequence of vectors , each of length . A grasshopper starts at a random point of , and makes jumps to . Then it remains in with probability at least .
Proof. In order for the grasshopper to leave at step , the grasshopper's position before step must be inside the difference set . Since this difference set has area at most , the probability the grasshopper leaves at step is at most . Summing over the steps, the probability that the grasshopper ever manages to leave is at most .
Corollary
Fix a vector of length at most 8. A grasshopper starts at a random point of , and jumps to . Then it remains in with probability at least .
Proof. Apply the previous lemma with 800 jumps. Any vector of length at most 8 can be written as , where each has length exactly .
Now consider the process where we select a random starting point for our grasshopper, and a random vector of length at most 8 (sampled uniformly from the closed disk of radius 8). Let denote the probability of staying inside we will bound from above and below.
* On the one hand, suppose we pick first. By the previous corollary, (irrespective of the chosen ).
* On the other hand, suppose we pick first. Then the possible landing points are uniformly distributed over a closed disk of radius 8, which has area . The probability of landing in is certainly at most .
Consequently, we deduce
as desired.