Olympiad Maths Prep

Track / Stage 6 / 9 of 400 #1009 of 2000

Problem 1009

National olympiad, first round
Geometry Difficulty 6.0 Prove it

XLVIII OM - II - Problem 6

In a cube with edge length 11, there are eight points. Prove that some two of them are the endpoints of a segment of length not greater than 11.

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

Let the vertices of a given cube C\mathcal{C} be denoted by A1,,A8A_1, \ldots, A_8. Let Ci\mathcal{C}_i be the cube with edge length 12\frac{1}{2}, having one vertex at point AiA_i and three faces contained in the faces of cube C\mathcal{C}. Let P1,,P8P_1, \ldots, P_8 be eight given points.
Each cube Ci\mathcal{C}_i has a diameter of 123<1\frac{1}{2}\sqrt{3} < 1. Therefore, if two different points PkP_k and PlP_l lie in any of the cubes Ci\mathcal{C}_i, then PkPl<1P_kP_l < 1; the required condition is satisfied.
Assume, then, that each of these cubes contains exactly one point PiP_i. Fix the numbering so that PiCiP_i \in \mathcal{C}_i for i=1,,8i = 1, \ldots, 8. Each cube Ci\mathcal{C}_i has exactly three faces in common with the surface of cube C\mathcal{C}; the point PiP_i is at a distance of no more than 12\frac{1}{2} from each of these three faces. Denote these three distances by aia_i, bib_i, cic_i. Let dd be the largest of the 24 numbers: a1,b1,c1,,a8,b8,c8a_1, b_1, c_1, \ldots, a_8, b_8, c_8. Without loss of generality, we can assume that d=P1Qd = P_1Q, where QQ is the orthogonal projection of point P1P_1 onto a certain face of cube C\mathcal{C}, and that A1A2A_1A_2 is an edge of cube C\mathcal{C} parallel to the line P1QP_1Q.
Let RR be the orthogonal projection of point PP onto the line A1A2A_1A_2. Consider the rectangular prism whose one edge is the segment A2RA_2R, and one of the faces perpendicular to A2RA_2R is a square with vertex A2A_2 and side length dd, contained in a face of cube C\mathcal{C}. From the definition of the number dd, it follows that this rectangular prism contains points P1P_1 and P2P_2. Its diameter is equal to

since 0d12<230 \leq d \leq \frac{1}{2} < \frac{2}{3}. Therefore, P1P21P_1P_2 \leq 1, which completes the proof.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.