XLVIII OM - II - Problem 6
In a cube with edge length , there are eight points. Prove that some two of them are the endpoints of a segment of length not greater than .
XLVIII OM - II - Problem 6
In a cube with edge length , there are eight points. Prove that some two of them are the endpoints of a segment of length not greater than .
Let the vertices of a given cube be denoted by . Let be the cube with edge length , having one vertex at point and three faces contained in the faces of cube . Let be eight given points.
Each cube has a diameter of . Therefore, if two different points and lie in any of the cubes , then ; the required condition is satisfied.
Assume, then, that each of these cubes contains exactly one point . Fix the numbering so that for . Each cube has exactly three faces in common with the surface of cube ; the point is at a distance of no more than from each of these three faces. Denote these three distances by , , . Let be the largest of the 24 numbers: . Without loss of generality, we can assume that , where is the orthogonal projection of point onto a certain face of cube , and that is an edge of cube parallel to the line .
Let be the orthogonal projection of point onto the line . Consider the rectangular prism whose one edge is the segment , and one of the faces perpendicular to is a square with vertex and side length , contained in a face of cube . From the definition of the number , it follows that this rectangular prism contains points and . Its diameter is equal to
since . Therefore, , which completes the proof.