Maths Olympiad Prep

Library / National Xxx Oma /5 of 13

National Xxx Oma

Combinatorics Difficulty 5.7 AIME, harder Prove it Argentina

Cover a grid square 13×1313 \times 13 with 2×22 \times 2 squares and L-shapes of three unit cells so that the number of L-shapes is least possible.

Figure 1

Solution

Let a (2k−1)×(2k−1)(2k-1) \times (2k-1) square board be covered as in the statement with xx squares 2×22 \times 2 and yy shapes L. Denote by (i,j)(i, j) the cell in row ii, column jj, and color black all cells (i,j)(i, j) with both ii and jj odd. Thus k2k^2 black cells are obtained. Observe that wherever a 2×22 \times 2 square is placed, it covers exactly one black cell; and wherever an L-shape is placed, it covers at most one black cell. To have the whole board covered it is necessary that the total number of figures be at least k2k^2, i.e. x+y≥k2x+y \ge k^2.

All figures cover 4x+3y4x+3y cells, which equals (2k−1)2(2k-1)^2, the total number of cells on the board. On the other hand x≥k2−yx \ge k^2-y implies 4x+3y≥4(k2−y)+3y=4k2−y4x+3y \ge 4(k^2-y)+3y = 4k^2-y. Hence 4k2−y≤(2k−1)24k^2-y \le (2k-1)^2, yielding y≥4k−1y \ge 4k-1. In summary each admissible covering has at least 4k−14k-1 shapes L and at most k2−4k+1k^2-4k+1 squares 2×22 \times 2.

A 13×1313 \times 13 board corresponds to the case k=7k=7, so the number of L-shapes is at least 4⋅7−1=274 \cdot 7 - 1 = 27; the number of 2×22 \times 2 squares is at most 72−4⋅7+1=227^2 - 4 \cdot 7 + 1 = 22. The example in the figure shows a covering with 22 squares 2×22 \times 2 and 27 shapes L. Hence the minimum number of L-shapes is 27.

Figure 2

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.