Olympiad Maths Prep

Track / Stage 8 / 100 of 180 #1800 of 2000

Problem 1800

IMO Shortlist mid-range; USAMO P2/P5
Combinatorics Difficulty 8.5 Prove it VN IMO Booklet · Vietnam

A farmer has 2 rectangle lands of size 120 m×100 m120 \text{ m} \times 100 \text{ m}.

a. On the first land, there are 9 circle gardens of diameter 5 m5 \text{ m}. Prove that regardless to the position of gardens, he always can builds a rectangle garden of size 25 m×35 m25 \text{ m} \times 35 \text{ m}.

b. On the second land, he builds a convex polygon lake such that the shortest distance from any point on the boundary of the land to the lake is at most 55 m. Prove that the perimeter of the lake is at least 440202440 - 20\sqrt{2} m.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

a. Consider the rectangle ABCDABCD with AB=CD=120AB = CD = 120 and AD=BC=100AD = BC = 100. Divide it into 10 subrectangles of size 30×4030 \times 40 as follows.

Figure 1

Consider 9 centers of the given gardens. By the pigeonhole principle, there is some subrectangle that does not contain any point among them. Suppose it is the rectangle XYZTXYZT with XY=ZT=40XY = ZT = 40, XT=YZ=30XT = YZ = 30. Consider one more rectangle XYZTX'Y'Z'T' lying inside XYZTXYZT such that the sides of the two rectangles are pairwise parallel and the gap equals 2.52.5, then XYZTX'Y'Z'T' has the size 25×3525 \times 35. It is clear that the rectangle XYZTX'Y'Z'T' does not share any point with any garden, so the desired result will follow.

b. Consider the rectangle ABCDABCD with AB=CD=120AB = CD = 120 and AD=BC=100AD = BC = 100. Let LL be the boundary of the lake. From the given hypothesis, there are four points A,B,C,DA', B', C', D' lying on LL such that
AA, BB, CC, DD5. AA',\ BB',\ CC',\ DD' \le 5.
Since the lake is a convex polygon, then AB, BC, CD, DAA'B',\ B'C',\ C'D',\ D'A' do not overlap. Hence, the length of LL is at least
AB+BC+CD+DA. A'B' + B'C' + C'D' + D'A'.
Denote A1A_1 as the projection of AA' to ADAD, A2A_2 as the projection of AA' to ABAB, and similarly define the points B1,B2,C1,C2,D1,D2B_1, B_2, C_1, C_2, D_1, D_2. We have
A1A+AB+BB1A1B1AB=120. A_1A' + A'B' + B'B_1 \geq A_1B_1 \geq AB = 120.
By the same way, we get
B2B+BC+CC2100,C1C+CD+DD1120,D2D+DA+AA2100. \begin{aligned} B_2B' + B'C' + C'C_2 &\geq 100, \\ C_1C' + C'D' + D'D_1 &\geq 120, \\ D_2D' + D'A' + A'A_2 &\geq 100. \end{aligned}
These imply that
AB+BC+CD+DA+(AA1+AA2+BB1+BB2+CC1+CC2+DD1+DD2)440. A'B' + B'C' + C'D' + D'A' + (A'A_1 + A'A_2 + B'B_1 + B'B_2 + C'C_1 + C'C_2 + D'D_1 + D'D_2) \geq 440.
Finally, by applying Cauchy-Schwarz's inequality, we have
AA1+AA22(AA12+AA22)=2AA2252. A'A_1 + A'A_2 \leq \sqrt{2(A'A_1^2 + A'A_2^2)} = \sqrt{2A'A_2^2} \leq 5\sqrt{2}.
Similarly, we also have BB1+BB252B'B_1 + B'B_2 \leq 5\sqrt{2}, CC1+CC252C'C_1 + C'C_2 \leq 5\sqrt{2}, DD1+DD252D'D_1 + D'D_2 \leq 5\sqrt{2}.

From these inequalities, it is clear to conclude that the length of LL does not exceed 440202440 - 20\sqrt{2}.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.