Maths Olympiad Prep

Library / /13 of 34

Geometry Difficulty 6.5 National Olympiad Prove it United States

Show that there is an absolute constant c<1c < 1 with the following property: whenever P\mathcal{P} is a polygon with area 1 in the plane, one can translate it by a distance of 1100\frac{1}{100} in some direction to obtain a polygon Q\mathcal{Q}, for which the intersection of the interiors of P\mathcal{P} and Q\mathcal{Q} has total area at most cc.

Solution

The following solution is due to Brian Lawrence. We will prove the result with the generality of any measurable set P\mathcal{P} (rather than a polygon). For a vector vv in the plane, write P+v\mathcal{P} + v for the translate of P\mathcal{P} by vv.
Suppose P\mathcal{P} is a polygon of area 1, and ε>0\varepsilon > 0 is a constant, such that for any translate Q=P+vQ = \mathcal{P} + v, where vv has length exactly 1100\frac{1}{100}, the intersection of P\mathcal{P} and QQ has area at least 1ε1 - \varepsilon. The problem asks us to prove a lower bound on ε\varepsilon.

Lemma
Fix a sequence of nn vectors v1,v2,,vnv_1, v_2, \dots, v_n, each of length 1100\frac{1}{100}. A grasshopper starts at a random point xx of P\mathcal{P}, and makes nn jumps to x+v1++vnx + v_1 + \dots + v_n. Then it remains in P\mathcal{P} with probability at least 1nε1 - n\varepsilon.
Proof. In order for the grasshopper to leave P\mathcal{P} at step ii, the grasshopper's position before step ii must be inside the difference set P(Pvi)\mathcal{P} \setminus (\mathcal{P} - v_i). Since this difference set has area at most ε\varepsilon, the probability the grasshopper leaves P\mathcal{P} at step ii is at most ε\varepsilon. Summing over the nn steps, the probability that the grasshopper ever manages to leave P\mathcal{P} is at most nεn\varepsilon. \square

Corollary
Fix a vector ww of length at most 8. A grasshopper starts at a random point xx of P\mathcal{P}, and jumps to x+wx + w. Then it remains in P\mathcal{P} with probability at least 1800ε1 - 800\varepsilon.
Proof. Apply the previous lemma with 800 jumps. Any vector ww of length at most 8 can be written as w=v1+v2++v800w = v_1 + v_2 + \dots + v_{800}, where each viv_i has length exactly 1100\frac{1}{100}. \square

Now consider the process where we select a random starting point xPx \in \mathcal{P} for our grasshopper, and a random vector ww of length at most 8 (sampled uniformly from the closed disk of radius 8). Let qq denote the probability of staying inside P\mathcal{P} we will bound qq from above and below.
* On the one hand, suppose we pick ww first. By the previous corollary, q1800εq \ge 1 - 800\varepsilon (irrespective of the chosen ww).
* On the other hand, suppose we pick xx first. Then the possible landing points x+wx + w are uniformly distributed over a closed disk of radius 8, which has area 64π64\pi. The probability of landing in P\mathcal{P} is certainly at most [P]64π\frac{[\mathcal{P}]}{64\pi}.
Consequently, we deduce
1800εq[P]64π    ε>1[P]64π800>0.001 1 - 800\varepsilon \le q \le \frac{[\mathcal{P}]}{64\pi} \implies \varepsilon > \frac{1 - \frac{[\mathcal{P}]}{64\pi}}{800} > 0.001
as desired.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.