Dividing a unit square into rectangles

Here is the full solution. The answer is, indeed, $5/2$. An example was already presented by the OP. Now we need to prove the inequality.

First of all we notice that for any color (blue or yellow) the sum of height/width (or width/height) ratios is always at least $1/2$.

Indeed, since all dimensions do not exceed $1$, we have (e.g., for blue color) $$ \sum \frac{w_i}{h_i} \geqslant \sum w_i h_i = \frac 12 \,. $$ as the final sum is the total area of all blue rectangles.

Second, we observe that either the blue rectangles connect the left and the right sides of the square, or the yellow rectangles connect the top and the bottom sides. We leave that as an exercise for the readers :) (Actually, as you will see below, it would suffice to show that either the sum of all blue widths or the sum of all yellow heights is at least $1$.)

Without loss of generality, assume that the blue rectangles connect the lateral sides of the large square. Then we intend to prove that $$ \sum \frac{w_i}{h_i} \geqslant 2 \,, $$ where the summation is done over the blue squares. Combining that with the inequality $\sum h_i/w_i \geqslant 1/2$ for the yellow squares we will have the required result, namely that the overall sum is always at least $5/2$.

Since the projections of the blue squares onto the bottom side must cover it completely, we have $\sum w_i \geqslant 1$. We also have $\sum w_ih_i = 1/2$. Now all we need is the following fact.

Lemma. Two finite sequences of positive numbers $\{w_i\}$ and $\{h_i\}$, i = $1$, ... , $n$ are such that $$ \sum w_i = W, \qquad \sum w_ih_i = S \,. $$ Then $$ \sum \frac{w_i}{h_i} \geqslant \frac{W^2}S \,. $$

Proof. We will use the well-known Jensen's inequality (which follows from the geometric convexity of the area above the graph of any convex function) for function $f(x) = 1/x$. That gives us $$ \sum \frac{w_i}W f(h_i) \geqslant f \left( \sum \frac{w_i}W h_i \right) \,. $$ In other words $$ \frac1W \sum \frac{w_i}{h_i} \geqslant \frac1{\sum \frac{w_i}W h_i } = \frac{W}{\sum w_i h_i} = \frac WS \,. $$ and the required inequality immediately follows. $\square$

Applying this lemma to our case where $W \geqslant 1$ and $S = 1/2$ completes our solution.

Tags:

Geometry