Maths Olympiad Prep

Library / /4 of 5

Geometry Difficulty 6.0 AIME, harder Prove it Brazil

A square is contained in a cube when all of its points are in the faces or in the interior of the cube. Determine the biggest ll such that there exists a square of side ll contained in a cube with edge 11.

Solution

The answer is 324\frac{3\sqrt{2}}{4}. Just consider the points (34,0,0)(\frac{3}{4}, 0, 0), (0,34,0)(0, \frac{3}{4}, 0), (1,14,1)(1, \frac{1}{4}, 1) and (14,1,1)(\frac{1}{4}, 1, 1).

Now suppose that there is a square with side >324\ell > \frac{3\sqrt{2}}{4} inside the cube. First, it's not hard to prove that we can suppose without loss of generality that the centers of the cube and of the square coincide. If it isn't the case, consider the three planes that cut the cube in two blocks with dimensions 12,1,1\frac{1}{2}, 1, 1. Now focus on only one of the planes, which we'll call α\alpha. If the center of the square is not in α\alpha, it is inside one of the two blocks defined by the plane. Next, draw a plane β\beta passing through the center of the square and parallel to α\alpha. It cuts the square in two congruent pieces and the cube in two blocks, one smaller than the other. Half of the square is inside the smaller block, so if we perform a translation that transforms β\beta in α\alpha there wouldn't be any problems, that is, the square won't go outside the cube. Repeating this procedure two more times with the two other planes, the center of the square will eventually coincide with the center of the cube.

The next step is to draw a sphere SS with center on the center of the square (which now coincides with the center of the cube) and radius 22>34\frac{\ell\sqrt{2}}{2} > \frac{3}{4}. Note that all vertices of the square will lie on the surface of SS and that two opposite vertices of the square will be antipodal on SS. Then we know where are the vertices of the square: each is in one of the 88 regions determined by the intersection of the surface of SS and the cube. One vertex is in one of these regions, say RR; the other one lies on the opposite region, say TT.

Now consider a block containing two neighbour regions. This block has dimensions 1,x1, x and xx. Recalling that SS has radius bigger than 34\frac{3}{4}, then xx is less than 12(34)2(22)2=14\frac{1}{2} - \sqrt{(\frac{3}{4})^2 - (\frac{\ell\sqrt{2}}{2})^2} = \frac{1}{4}. But then the maximum distance between any two points inside the block is less than 12+2x2=324\sqrt{1^2 + 2x^2} = \frac{3\sqrt{2}}{4}, so it is impossible to have two vertices of the square in two neighbour regions. But RR eliminates three regions and TT eliminate the other three remaining regions. The other two vertices of the square won't have any region to go, contradiction.

Thus the biggest square contained in the cube has side 324\frac{3\sqrt{2}}{4}.

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.