Maths Olympiad Prep

Library / /26 of 48

Geometry Difficulty 7.6 National olympiad, round 2 Prove it Asia Pacific Mathematics Olympiad (APMO)

Let n5n \geq 5 be an integer. Consider nn squares with side lengths 1,2,,n1,2, \ldots, n, respectively. The squares are arranged in the plane with their sides parallel to the xx and yy axes. Suppose that no two squares touch, except possibly at their vertices.
Show that it is possible to arrange these squares in a way such that every square touches exactly two other squares.

Solutions — 2

Solution 1

Set aside the squares with sidelengths n3,n2,n1n-3, n-2, n-1, and nn and suppose we can split the remaining squares into two sets AA and BB such that the sum of the sidelengths of the squares in AA is 1 or 2 units larger than the sum of the sidelengths of the squares in BB.
String the squares of each set A,BA, B along two parallel diagonals, one for each diagonal. Now use the four largest squares along two perpendicular diagonals to finish the construction: one will have sidelengths nn and n3n-3, and the other, sidelengths n1n-1 and n2n-2. If the sum of the sidelengths of the squares in AA is 1 unit larger than the sum of the sidelengths of the squares in BB, attach the squares with sidelengths n3n-3 and n1n-1 to the AA-diagonal, and the other two squares to the BB-diagonal. The resulting configuration, in which the AA and BB-diagonals are represented by unit squares, and the sidelengths aia_{i} of squares from AA and bjb_{j} of squares from BB are indicated within each square, follows:

Figure 1

Since (a1+a2++ak)2+((n3)+(n2))22=(b1+b2++b+2)2+(n+(n1))22\left(a_{1}+a_{2}+\cdots+a_{k}\right) \sqrt{2}+\frac{((n-3)+(n-2)) \sqrt{2}}{2}=\left(b_{1}+b_{2}+\cdots+b_{\ell}+2\right) \sqrt{2}+\frac{(n+(n-1)) \sqrt{2}}{2}, this case is done.
If the sum of the sidelengths of the squares in AA is 1 unit larger than the sum of the sidelengths of the squares in BB, attach the squares with sidelengths n3n-3 and n2n-2 to the AA-diagonal, and the other two squares to the BB-diagonal. The resulting configuration follows:

Figure 2

Since (a1+a2++ak)2+((n3)+(n1))22=(b1+b2++b+1)2+(n+(n2))22\left(a_{1}+a_{2}+\cdots+a_{k}\right) \sqrt{2}+\frac{((n-3)+(n-1)) \sqrt{2}}{2}=\left(b_{1}+b_{2}+\cdots+b_{\ell}+1\right) \sqrt{2}+\frac{(n+(n-2)) \sqrt{2}}{2}, this case is also done.
In both cases, the distance between the AA-diagonal and the BB-diagonal is ((n3)+n)22=(2n3)22\frac{((n-3)+n) \sqrt{2}}{2}=\frac{(2 n-3) \sqrt{2}}{2}. Since ai,bjn4,(ai+bj)22<(2n4)22<(2n3)22a_{i}, b_{j} \leq n-4, \frac{\left(a_{i}+b_{j}\right) \sqrt{2}}{2}<\frac{(2 n-4) \sqrt{2}}{2}<\frac{(2 n-3) \sqrt{2}}{2}, and therefore the AA - and BB-diagonals do not overlap.
Finally, we prove that it is possible to split the squares of sidelengths 1 to n4n-4 into two sets AA and BB such that the sum of the sidelengths of the squares in AA is 1 or 2 units larger than the sum of the sidelengths of the squares in BB. One can do that in several ways; we present two possibilities:
- Direct construction: Split the numbers from 1 to n4n-4 into several sets of four consecutive numbers {t,t+1,t+2,t+3}\{t, t+1, t+2, t+3\}, beginning with the largest numbers; put squares of sidelengths tt and t+3t+3 in AA and squares of sidelengths t+1t+1 and t+2t+2 in BB. Notice that t+(t+3)=(t+1)+(t+2)t+(t+3)= (t+1)+(t+2). In the end, at most four numbers remain.
- If only 1 remains, put the corresponding square in AA, so the sum of the sidelengths of the squares in AA is one unit larger that those in BB;
- If 1 and 2 remains, put the square of sidelength 2 in AA and the square of sidelength 1 in BB (the difference is 1 );
- If 1,2 , and 3 remains, put the squares of sidelengths 1 and 3 in AA, and the square of sidelength 2 in BB (the difference is 2 );
- If 1,2,31,2,3, and 4 remains, put the squares of sidelengths 2 and 4 in AA, and the squares of sidelengths 1 and 3 in BB (the difference is 2 ).
- Indirect construction: Starting with AA and BB as empty sets, add the squares of sidelengths n4,n3,,2n-4, n-3, \ldots, 2 to either AA or BB in that order such that at each stage the difference between the sum of the sidelengths in AA and the sum of the sidelengths of B is minimized. By induction it is clear that after adding an integer jj to one of the sets, this difference is at most jj. In particular, the difference is 0,1 or 2 at the end. Finally adding the final 1 to one of the sets can ensure that the final difference is 1 or 2 . If necessary, flip AA and BB.

Solution 2

Solve the problem by induction in nn. Construct examples for n=5,6,7,8,9,10n=5,6,7,8,9,10 (one can use the constructions from the previous solution, for instance). For n>10n>10, set aside the six larger squares and arrange them in the following fashion:

Figure 3

By the induction hypothesis, one can arrange the remaining n6n-6 squares away from the six larger squares, so we are done.

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.