Maths Olympiad Prep

Library / /37 of 53

Combinatorics Difficulty 6.9 National olympiad Prove it Vietnam

An investor has two rectangular lands, each of size 120×100120 \times 100.

a. On the first land, she wants to build a house with a rectangular base of size 25×3525 \times 35 and nine circular flower pots with diameter 55 outside the house. Prove that for all positions of the flower pots, the remaining land is still sufficient to build the desired house.

b. On the second land, she wants to construct a polygonal fish pond such that the distance from an arbitrary point on the land, outside the pond, to the nearest pond edge is not over 55. Prove that the perimeter of the pond is not smaller than 440202440 - 20\sqrt{2}.

Solution

a.
Consider the rectangle ABCDABCD where AB=CD=120AB = CD = 120 and AD=BC=100AD = BC = 100. Divide the rectangle into 1010 sub-rectangles of size 30×4030 \times 40 as shown below. Consider 99 centers of the flower pots. By the pigeonhole principle, it is clear that there exists a sub-rectangle that does not contain any center.

Suppose that rectangle is XYZTXYZT where 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 two rectangles are pairwise parallel and the gaps are equal to 2.52.5.

Figure 1

It is easy to check that XYZTX'Y'Z'T' does not share any point with the pots so we can build a house on this plot.

b.
Consider a rectangle ABCDABCD where AB=CD=120AB = CD = 120 and AD=BC=100AD = BC = 100. Let LL be the perimeter of the lake. According to the problem, there exist points AA', BB', CC', DD' in LL such that
AA, BB, CC, DD5. AA',\ BB',\ CC',\ DD' \leq 5.
Since the lake is a convex polygon, then ABA'B', BCB'C', CDC'D' and DAD'A' do not overlap. Hence,
LAB+BC+CD+DA. |L| \geq A'B' + B'C' + C'D' + D'A'.
Denote A1A_1 as the projection of AA' to ADAD and A2A_2 as the projection of AA' to ABAB. Similarly, we can define B1B_1, B2B_2, C1C_1, C2C_2, D1D_1, D2D_2 and we have
A1A+AB+BB1A1B1AB=120. A_1A' + A'B' + B'B_1 \geq A_1B_1 \geq AB = 120.
Similarly, we also have
B2B+BC+CC2100, B_2B' + B'C' + C'C_2 \geq 100,
C1C+CD+DD1120, C_1C' + C'D' + D'D_1 \geq 120,
D2D+DA+AA2100. D_2D' + D'A' + A'A_2 \geq 100.
Hence,
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, applying the Cauchy-Schwarz 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+BB252,CC1+CC252,DD1+DD252. B'B_1 + B'B_2 \leq 5\sqrt{2}, \quad C'C_1 + C'C_2 \leq 5\sqrt{2}, \quad D'D_1 + D'D_2 \leq 5\sqrt{2}.
From these inequalities, it is clear that the length of LL does not exceed 440202440 - 20\sqrt{2}. \square

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 and solution reproduced as published; topic and difficulty added by this site.