Olympiad Maths Prep

Track / Stage 8 / 107 of 180 #1807 of 2000

Problem 1807

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.4 Prove it Team Selection Test · United States

Find a real number tt such that for any set of 120 points P1,,P120P_1, \dots, P_{120} on the boundary of a unit square, there exists a point QQ on this boundary with P1Q++P120Q=t|P_1Q| + \dots + |P_{120}Q| = t.

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

The answer is t=30+305t = 30 + 30\sqrt{5}.

We work in the Cartesian plane, and we let B\mathcal{B} denote the boundary of the unit square with corners (±12,±12)(\pm \frac{1}{2}, \pm \frac{1}{2}). We complete the solution in three steps.

Step 1:
Let A1=(12,0)A_1 = (-\frac{1}{2}, 0) and A2=(12,0)A_2 = (\frac{1}{2}, 0), and consider the function f(P)=A1P+A2Pf(P) = |A_1P| + |A_2P| for PBP \in \mathcal{B}. It is not difficult to see that by symmetry we may assume that f(P)f(P) attains its maximum in the right half of the upper side of B\mathcal{B}, in some point P=(p,12)P = (p, \frac{1}{2}) with 0p120 \le p \le \frac{1}{2}. Then, we have
f(P)=(12p)2+14+(12+p)2+14. f(P) = \sqrt{\left(\frac{1}{2} - p\right)^2 + \frac{1}{4}} + \sqrt{\left(\frac{1}{2} + p\right)^2 + \frac{1}{4}}.
The function f(P)f(P) is non-negative, and its square 1+2p2+p4+141 + 2p^2 + \sqrt{p^4 + \frac{1}{4}} is increasing in pp for p0p \ge 0. Hence f(P)f(P) is increasing in pp for 0p120 \le p \le \frac{1}{2}, and f(P)f(12,12)f(P) \le f(\frac{1}{2}, \frac{1}{2}) holds for all PBP \in \mathcal{B}. Applying this repeatedly to the points P1,,P120P_1, \dots, P_{120}, we see that
k=1120A1Pk+A2Pk120f(12,12)=60+605. \sum_{k=1}^{120} |A_1 P_k| + |A_2 P_k| \le 120 \cdot f\left(\frac{1}{2}, \frac{1}{2}\right) = 60 + 60\sqrt{5}.
Consequently for some Q{A1,A2}Q \in \{A_1, A_2\}, we have k=1120QPk30+305\sum_{k=1}^{120} |QP_k| \le 30 + 30\sqrt{5}.

Step 2:
Let B1,B2,B3,B4B_1, B_2, B_3, B_4 be the corners of the square, and let g(P)=B1P+B2P+B3P+B4Pg(P) = |B_1P| + |B_2P| + |B_3P| + |B_4P| for PBP \in \mathcal{B}. By symmetry considerations, g(P)g(P) attains its minimum in the right half of the upper side of B\mathcal{B}. We may therefore assume that this minimum occurs at some point P=(p,12)P = (p, \frac{1}{2}) with 0p120 \le p \le \frac{1}{2}. Then, we have
g(P)=1+(12p)2+1+(12+p)2+1. g(P) = 1 + \sqrt{\left(\frac{1}{2} - p\right)^2 + 1} + \sqrt{\left(\frac{1}{2} + p\right)^2 + 1}.
As in Step 1, we see that g(P)g(P) is increasing in pp for 0p120 \le p \le \frac{1}{2}. This yields g(P)g(0,12)g(P) \ge g(0, \frac{1}{2}) for all PBP \in \mathcal{B}, and hence
k=1120B1Pk+B2Pk+B3Pk+B4Pk120g(0,12)=120+1205. \sum_{k=1}^{120} |B_1 P_k| + |B_2 P_k| + |B_3 P_k| + |B_4 P_k| \ge 120 \cdot g\left(0, \frac{1}{2}\right) = 120 + 120\sqrt{5}.
Consequently for some Q{B1,B2,B3,B4}Q \in \{B_1, B_2, B_3, B_4\}, we have k=1120QPk30+305\sum_{k=1}^{120} |QP_k| \ge 30 + 30\sqrt{5}.

Step 3:
Finally, we argue that t=30+305t = 30 + 30\sqrt{5} satisfies the property in the problem statement. For points QQ lying on the square, the value of P1Q++P120Q|P_1Q| + \dots + |P_{120}Q| is a continuous function of QQ. By Step 1, there exists some Q1Q_1 for which this value is at most tt, and by Step 2, there exists some Q2Q_2 for which this value is at least tt. Thus, by the intermediate value theorem, if we move QQ from Q1Q_1 to Q2Q_2, there exists an intermediate point QQ for which this value is exactly tt, as needed.

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