Maths Olympiad Prep

Library / /3 of 3

Combinatorics Difficulty 5.9 AIME, harder Prove it United States

Problem:
Find the minimal natural number nn with the following property: It is possible to tile the plane with squares whose side lengths belong to the set {1,2,,n}\{1,2, \ldots, n\} so that no two squares with the same side length touch along a segment of an edge.

Remark. Squares with the same side length can touch at a vertex, however. Not all of the side lengths from 11 to nn need to be used in the tiling.

Figure 1

Figure 2

Figure 3

Figure 4

Solution

Solution:
The answer is n=5n=5. The desired tiling is shown in Figure 1. It is formed by translation from the L-shaped region in bold borders. Since none of the five squares in this region border on squares of like side length, neither does any square in the infinite tiling.

To show that n4n \leq 4 does not work, it is necessary to plow through many arrangements of the tiles until reaching a contradiction. We present one method of structuring the argument. Some square in the tiling must have minimal size. Its four sides must be covered by squares larger than itself. If one side is covered by squares that protrude on both ends (pictorially, \square or \square ), then it becomes impossible to cover the opposite side; consequently any minimal square must be covered by four squares in the pinwheel arrangement \Vdash.

Assume first that the smallest square is the 1×11 \times 1 and it is surrounded by a 2×22 \times 2 and a 3×33 \times 3 in the manner of A, B, C in Figure 2. Now the upper left corner of D\mathrm{D} must be filled by a 4×44 \times 4 (a 1×11 \times 1 would lack the necessary pinwheel layout) and likewise there is a 3×33 \times 3 at E\mathrm{E}. Now the corner F\mathrm{F} cannot be filled with a 4×44 \times 4 square without wrecking the pinwheel at A\mathrm{A}, so it must be a 1×11 \times 1. The space above F\mathrm{F} is now calling for either a 3×33 \times 3 or a 4×44 \times 4, either of which disrupts the pinwheel at A\mathrm{A}. Thus the arrangement ABC\mathrm{ABC} at Figure 2 is impossible.

So if a 2×22 \times 2 borders on a 1×11 \times 1, the resulting cavity must be filled by a 4×44 \times 4 as in ABC\mathrm{ABC} of Figure 3. The 3×33 \times 3 at D\mathrm{D} is clear. The left side of the A-pinwheel must have a 3×33 \times 3 (EE) since a 4×44 \times 4 would leave untilable space below BB. The remaining spot on the pinwheel is necessarily occupied by a 2×22 \times 2 (FF). Now AFEAFE of Figure 3 is the same configuration as ABCABC of Figure 2. Hence this case is also impossible. So a 2×22 \times 2 cannot touch a 1×11 \times 1.

Thus any 1×11 \times 1 must be covered alternately by 3×33 \times 3's and 4×44 \times 4's as at ABCABC of Figure 4. The 2×22 \times 2 at DD follows immediately, and since a 1×11 \times 1 cannot touch a 2×22 \times 2, we must use a 4×44 \times 4 at E\mathrm{E} and a 2×22 \times 2 at F\mathrm{F}. Now the space around F\mathrm{F} must be covered by a 3×33 \times 3 and a 4×44 \times 4 which is impossible.

We have left for last the case where there are no 1×11 \times 1's. Since a tiling using only 3×33 \times 3's and 4×44 \times 4's is clearly impossible, the minimal square must be 2×22 \times 2, covered alternately by 3×33 \times 3's and 4×44 \times 4's as at D\mathrm{D} and CBE\mathrm{CBE} of Figure 4 (ignore square AA). We derive the 2×22 \times 2 at F\mathrm{F} and the resulting contradiction in the same manner as the preceding case.

Figure 1

Figure 2

Figure 3

Figure 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 reproduced verbatim; metadata (topic, difficulty) added by this project.