GeometryDifficulty 8.4Prove itTeam Selection Test · United States
Find a real number t such that for any set of 120 points P1,…,P120 on the boundary of a unit square, there exists a point Q on this boundary with ∣P1Q∣+⋯+∣P120Q∣=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+305.
We work in the Cartesian plane, and we let B denote the boundary of the unit square with corners (±21,±21). We complete the solution in three steps.
Step 1: Let A1=(−21,0) and A2=(21,0), and consider the function f(P)=∣A1P∣+∣A2P∣ for P∈B. It is not difficult to see that by symmetry we may assume that f(P) attains its maximum in the right half of the upper side of B, in some point P=(p,21) with 0≤p≤21. Then, we have f(P)=(21−p)2+41+(21+p)2+41. The function f(P) is non-negative, and its square 1+2p2+p4+41 is increasing in p for p≥0. Hence f(P) is increasing in p for 0≤p≤21, and f(P)≤f(21,21) holds for all P∈B. Applying this repeatedly to the points P1,…,P120, we see that k=1∑120∣A1Pk∣+∣A2Pk∣≤120⋅f(21,21)=60+605. Consequently for some Q∈{A1,A2}, we have ∑k=1120∣QPk∣≤30+305.
Step 2: Let B1,B2,B3,B4 be the corners of the square, and let g(P)=∣B1P∣+∣B2P∣+∣B3P∣+∣B4P∣ for P∈B. By symmetry considerations, g(P) attains its minimum in the right half of the upper side of B. We may therefore assume that this minimum occurs at some point P=(p,21) with 0≤p≤21. Then, we have g(P)=1+(21−p)2+1+(21+p)2+1. As in Step 1, we see that g(P) is increasing in p for 0≤p≤21. This yields g(P)≥g(0,21) for all P∈B, and hence k=1∑120∣B1Pk∣+∣B2Pk∣+∣B3Pk∣+∣B4Pk∣≥120⋅g(0,21)=120+1205. Consequently for some Q∈{B1,B2,B3,B4}, we have ∑k=1120∣QPk∣≥30+305.
Step 3: Finally, we argue that t=30+305 satisfies the property in the problem statement. For points Q lying on the square, the value of ∣P1Q∣+⋯+∣P120Q∣ is a continuous function of Q. By Step 1, there exists some Q1 for which this value is at most t, and by Step 2, there exists some Q2 for which this value is at least t. Thus, by the intermediate value theorem, if we move Q from Q1 to Q2, there exists an intermediate point Q for which this value is exactly t, as needed.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.