Maths Olympiad Prep

Track / Stage 6 / 279 of 400 #1759 of 2444

Problem 1759

National Olympiad, first round
Geometry Difficulty 6.5 Prove it Kanada · Canada · 2011

Amy has divided a square into finitely many white and red rectangles, each with sides parallel to the sides of the square. Within each white rectangle, she writes down its width divided by its height. Within each red rectangle, she writes down its height divided by its width. Finally, she calculates xx, the sum of these numbers. If the total area of the white rectangles equals the total area of the red rectangles, what is the smallest possible value of xx?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Let aia_i and bib_i denote the width and height of each white rectangle, and let cic_i and did_i denote the width and height of each red rectangle. Also, let LL denote the side length of the original square.

Lemma: Either aiL\sum a_i \ge L or diL\sum d_i \ge L.

Proof of lemma: Suppose there exists a horizontal line across the square that is covered entirely with white rectangles. Then, the total width of these rectangles is at least LL, and the claim is proven. Otherwise, there is a red rectangle intersecting every horizontal line, and hence the total height of these rectangles is at least LL. □

Now, let us assume without loss of generality that aiL\sum a_i \ge L. By the Cauchy-Schwarz inequality,
(aibi)(aibi)(ai)2L2. \left(\sum \frac{a_i}{b_i}\right) \cdot \left(\sum a_i b_i\right) \ge \left(\sum a_i\right)^2 \ge L^2.
But we know aibi=L22\sum a_i b_i = \frac{L^2}{2}, so it follows that aibi2\sum \frac{a_i}{b_i} \ge 2. Furthermore, each ciLc_i \le L, so
dici1L2cidi=12. \sum \frac{d_i}{c_i} \ge \frac{1}{L^2} \cdot \sum c_i d_i = \frac{1}{2}.
Therefore, xx is at least 2.52.5. Conversely, x=2.5x = 2.5 can be achieved by making the top half of the square one colour, and the bottom half the other colour. □

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.