Maths Olympiad Prep

Library / /2 of 5

Geometry Difficulty 7.9 National Olympiad, round 2 Prove it Bulgaria

Problem:
Cut 20032003 rectangles from an acute ABC\triangle ABC such that any of them has a side parallel to ABAB and the sum of their areas is maximal.

Solution

Solution:
1. It is not difficult to see that the rectangles must be placed one over another so that any of them has two vertices on the sides ACAC and BCBC, and the first one has a base on the side ABAB.
Now we shall prove by induction that the sum of the areas of nn such rectangles is maximal when the side ACAC is divided into n+1n+1 equal parts by the vertices of the rectangles lying on it. Then the sum equals nn+1S\frac{n}{n+1} S, where S=SABCS = S_{ABC}.
Let MNPQMNPQ be a rectangle with M,NABM, N \in AB, PBCP \in BC, QACQ \in AC. Setting CQAC=x\frac{CQ}{AC} = x, it easily follows that
SMNPQ=2x(1x)S S_{MNPQ} = 2x(1-x) S
Hence SMNPQS_{MNPQ} is maximal if x=12x = \frac{1}{2}, i.e., when QQ is the midpoint of the side ACAC. This proves our statement for n=1n=1.
Assume that the statement holds true for some kk and consider k+1k+1 rectangles MiNiPiQiM_i N_i P_i Q_i with Mi,NiPi1Qi1M_i, N_i \in P_{i-1} Q_{i-1} (P0A,Q0BP_0 \equiv A, Q_0 \equiv B) and PiBCP_i \in BC and QiACQ_i \in AC, i=1,2,,k+1i=1,2, \ldots, k+1. Setting CQ1AC=x\frac{CQ_1}{AC} = x, we get SM1N1P1Q1=2x(1x)SS_{M_1 N_1 P_1 Q_1} = 2x(1-x) S. The induction assumption implies that i=2k+1SMiNiPiQi\sum_{i=2}^{k+1} S_{M_i N_i P_i Q_i} is maximal if Q1Q2=Q2Q3==QkQk+1=Qk+1CQ_1 Q_2 = Q_2 Q_3 = \cdots = Q_k Q_{k+1} = Q_{k+1} C. Therefore
i=2k+1SMiNiPiQikSQ1P1Ck+1=kx2Sk+1 \sum_{i=2}^{k+1} S_{M_i N_i P_i Q_i} \leq \frac{k S_{Q_1 P_1 C}}{k+1} = \frac{k x^2 S}{k+1}
Then
i=1k+1SMiNiPiQi(2x(1x)+kx2k+1)S=[k+1k+2k+2k+1(xk+1k+2)2]Sk+1k+2S \begin{aligned} \sum_{i=1}^{k+1} S_{M_i N_i P_i Q_i} & \leq \left(2x(1-x) + \frac{k x^2}{k+1}\right) S \\ & = \left[\frac{k+1}{k+2} - \frac{k+2}{k+1}\left(x - \frac{k+1}{k+2}\right)^2\right] S \\ & \leq \frac{k+1}{k+2} S \end{aligned}
The equality is attained if x=k+1k+2x = \frac{k+1}{k+2}, i.e., when the points Q1,Q2,,Qk+1Q_1, Q_2, \ldots, Q_{k+1} divide the side ACAC into equal parts.

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.