Consider an $n\times n$ unit-square board. The main diagonal of the board is the $n$ unit squares along the diagonal from the top left to the bottom right. We have an unlimited supply of tiles of this form: [asy][asy] size(1.5cm); draw((0,1)--(1,1)--(1,2)--(0,2)--(0,1)--(0,0)--(1,0)--(2,0)--(2,1)--(1,1)--(1,0)); [/asy][/asy] The tiles may be rotated. We wish to place tiles on the board such that each tile covers exactly three unit squares, the tiles do not overlap, no unit square on the main diagonal is covered, and all other unit squares are covered exactly once. For which $n\geq 2$ is this possible? Proposed by Daniel Kohen
Problem
Source: 2020 Cyberspace Mathematical Competition P1
Tags: combinatorics, cyberspace
15.07.2020 05:26
This question was too difficult
15.07.2020 05:31
THEY SAID THIS WOULD BE EASIER THAN IMO I AM SAD
15.07.2020 05:38
Basically, the idea is to read the tiling chapter in Problems From the Book.
15.07.2020 06:29
By convention we allow $n=1$, and we only tile one of the two staircases. The answer is that we need $n \equiv 0, 1 \pmod 3$ and $n \ne 4,6$. (So, the first few possible $n$ are $n = 1,3, 7, 9, 10, 12, 13, \dots$.) Obviously we need $3 \mid n(n-1)$ always, so assume this henceforth. Call $n$ good if a tiling of the staircase exists. Claim: For every positive integer $n$, if $n$ is good so is $n+6$. Proof. Use the figure shown below, [asy][asy] pen border = black+1.2; size(7cm); filldraw(shift(0,5)*unitsquare, lightgreen, border); filldraw(shift(0,4)*unitsquare, lightgreen, border); filldraw(shift(1,4)*unitsquare, lightgreen, border); filldraw(shift(0,3)*unitsquare, lightred, border); filldraw(shift(1,3)*unitsquare, lightred, border); filldraw(shift(2,3)*unitsquare, lightcyan, border); filldraw(shift(0,2)*unitsquare, lightred, border); filldraw(shift(1,2)*unitsquare, blue, border); filldraw(shift(2,2)*unitsquare, lightcyan, border); filldraw(shift(3,2)*unitsquare, lightcyan, border); filldraw(shift(0,1)*unitsquare, lightgreen, border); filldraw(shift(1,1)*unitsquare, blue, border); filldraw(shift(2,1)*unitsquare, blue, border); filldraw(shift(3,1)*unitsquare, lightred, border); filldraw(shift(4,1)*unitsquare, lightgreen, border); filldraw(shift(0,0)*unitsquare, lightgreen, border); filldraw(shift(1,0)*unitsquare, lightgreen, border); filldraw(shift(2,0)*unitsquare, lightred, border); filldraw(shift(3,0)*unitsquare, lightred, border); filldraw(shift(4,0)*unitsquare, lightgreen, border); filldraw(shift(5,0)*unitsquare, lightgreen, border); filldraw(box((-8,0),(0,6)), yellow, border); label("$6 \times (n-1)$", (-4,3)); [/asy][/asy] Here $6 \times (n-1)$ rectangle may be tiled by $2 \times 3$ rectangles since any nonnegative integer other than $1$ can be written in the form of $2a+3b$ for $a,b\ge 0$. So the only case where this proof fails is if $n-1 = 1$, or $n=2$, but this does not occur. $\blacksquare$ It remains to work out several base cases. $\boxed{n=1}$ is vacuously good (empty tiling). $\boxed{n=3}$ is obviously good (the staircase is an L-tromino). $n=4$ is bad for obvious reasons. $n=6$ is bad for obvious reasons; after filling in the corners, one has remaining a $3 \times 3$ square which is not tileable. $\boxed{n=10}$ is good and illustrated below. $\boxed{n=12}$ is good and illustrated below. These cases are shown below. [asy][asy] size(12cm); pen border = black+1.2; pen marker = red+1.6; picture p4; filldraw(p4, shift(0,2)*unitsquare, white, border); filldraw(p4, shift(1,1)*unitsquare, white, border); filldraw(p4, shift(0,1)*unitsquare, white, border); filldraw(p4, shift(2,0)*unitsquare, white, border); filldraw(p4, shift(1,0)*unitsquare, white, border); filldraw(p4, shift(0,0)*unitsquare, white, border); label(p4, "$n=4$", (1.5,0), dir(-90)); draw(p4, (-0.2,-0.2)--(3.2,3.2), marker ); draw(p4, (-0.2,3.2)--(3.2,-0.2), marker ); add(p4); picture p6; filldraw(p6, shift(0,4)*unitsquare, lightgreen, border); filldraw(p6, shift(0,3)*unitsquare, lightgreen, border); filldraw(p6, shift(1,3)*unitsquare, lightgreen, border); filldraw(p6, shift(0,2)*unitsquare, white, border); filldraw(p6, shift(1,2)*unitsquare, white, border); filldraw(p6, shift(2,2)*unitsquare, white, border); filldraw(p6, shift(0,1)*unitsquare, white, border); filldraw(p6, shift(1,1)*unitsquare, white, border); filldraw(p6, shift(2,1)*unitsquare, white, border); filldraw(p6, shift(3,1)*unitsquare, lightgreen, border); filldraw(p6, shift(0,0)*unitsquare, white, border); filldraw(p6, shift(1,0)*unitsquare, white, border); filldraw(p6, shift(2,0)*unitsquare, white, border); filldraw(p6, shift(3,0)*unitsquare, lightgreen, border); filldraw(p6, shift(4,0)*unitsquare, lightgreen, border); label(p6, "$n=6$", (2.5,0), dir(-90)); draw(p6, (-0.2,-0.2)--(5.2,5.2), marker ); draw(p6, (-0.2,5.2)--(5.2,-0.2), marker ); add(shift(5,0)*p6); picture p10; filldraw(p10, shift(0,8)*unitsquare, lightgreen, border); filldraw(p10, shift(0,7)*unitsquare, lightgreen, border); filldraw(p10, shift(1,7)*unitsquare, lightgreen, border); filldraw(p10, shift(0,6)*unitsquare, lightcyan, border); filldraw(p10, shift(1,6)*unitsquare, lightcyan, border); filldraw(p10, shift(2,6)*unitsquare, lightgreen, border); filldraw(p10, shift(0,5)*unitsquare, lightcyan, border); filldraw(p10, shift(1,5)*unitsquare, deepcyan, border); filldraw(p10, shift(2,5)*unitsquare, lightgreen, border); filldraw(p10, shift(3,5)*unitsquare, lightgreen, border); filldraw(p10, shift(0,4)*unitsquare, deepcyan, border); filldraw(p10, shift(1,4)*unitsquare, deepcyan, border); filldraw(p10, shift(2,4)*unitsquare, red, border); filldraw(p10, shift(3,4)*unitsquare, red, border); filldraw(p10, shift(4,4)*unitsquare, lightgreen, border); filldraw(p10, shift(0,3)*unitsquare, orange, border); filldraw(p10, shift(1,3)*unitsquare, orange, border); filldraw(p10, shift(2,3)*unitsquare, red, border); filldraw(p10, shift(3,3)*unitsquare, yellow, border); filldraw(p10, shift(4,3)*unitsquare, lightgreen, border); filldraw(p10, shift(5,3)*unitsquare, lightgreen, border); filldraw(p10, shift(0,2)*unitsquare, orange, border); filldraw(p10, shift(1,2)*unitsquare, lightcyan, border); filldraw(p10, shift(2,2)*unitsquare, lightcyan, border); filldraw(p10, shift(3,2)*unitsquare, yellow, border); filldraw(p10, shift(4,2)*unitsquare, yellow, border); filldraw(p10, shift(5,2)*unitsquare, red, border); filldraw(p10, shift(6,2)*unitsquare, red, border); filldraw(p10, shift(0,1)*unitsquare, yellow, border); filldraw(p10, shift(1,1)*unitsquare, lightcyan, border); filldraw(p10, shift(2,1)*unitsquare, deepcyan, border); filldraw(p10, shift(3,1)*unitsquare, deepcyan, border); filldraw(p10, shift(4,1)*unitsquare, lightcyan, border); filldraw(p10, shift(5,1)*unitsquare, red, border); filldraw(p10, shift(6,1)*unitsquare, yellow, border); filldraw(p10, shift(7,1)*unitsquare, lightgreen, border); filldraw(p10, shift(0,0)*unitsquare, yellow, border); filldraw(p10, shift(1,0)*unitsquare, yellow, border); filldraw(p10, shift(2,0)*unitsquare, deepcyan, border); filldraw(p10, shift(3,0)*unitsquare, lightcyan, border); filldraw(p10, shift(4,0)*unitsquare, lightcyan, border); filldraw(p10, shift(5,0)*unitsquare, yellow, border); filldraw(p10, shift(6,0)*unitsquare, yellow, border); filldraw(p10, shift(7,0)*unitsquare, lightgreen, border); filldraw(p10, shift(8,0)*unitsquare, lightgreen, border); label(p10, "$n=10$", (4.5,0), dir(-90)); add(shift(11,0)*p10); picture p12; filldraw(p12, shift(0,10)*unitsquare, lightgreen, border); filldraw(p12, shift(0,9)*unitsquare, lightgreen, border); filldraw(p12, shift(1,9)*unitsquare, lightgreen, border); filldraw(p12, shift(0,8)*unitsquare, lightcyan, border); filldraw(p12, shift(1,8)*unitsquare, lightcyan, border); filldraw(p12, shift(2,8)*unitsquare, lightgreen, border); filldraw(p12, shift(0,7)*unitsquare, lightcyan, border); filldraw(p12, shift(1,7)*unitsquare, deepcyan, border); filldraw(p12, shift(2,7)*unitsquare, lightgreen, border); filldraw(p12, shift(3,7)*unitsquare, lightgreen, border); filldraw(p12, shift(0,6)*unitsquare, deepcyan, border); filldraw(p12, shift(1,6)*unitsquare, deepcyan, border); filldraw(p12, shift(2,6)*unitsquare, red, border); filldraw(p12, shift(3,6)*unitsquare, red, border); filldraw(p12, shift(4,6)*unitsquare, lightgreen, border); filldraw(p12, shift(0,5)*unitsquare, orange, border); filldraw(p12, shift(1,5)*unitsquare, orange, border); filldraw(p12, shift(2,5)*unitsquare, red, border); filldraw(p12, shift(3,5)*unitsquare, yellow, border); filldraw(p12, shift(4,5)*unitsquare, lightgreen, border); filldraw(p12, shift(5,5)*unitsquare, lightgreen, border); filldraw(p12, shift(0,4)*unitsquare, orange, border); filldraw(p12, shift(1,4)*unitsquare, lightcyan, border); filldraw(p12, shift(2,4)*unitsquare, lightcyan, border); filldraw(p12, shift(3,4)*unitsquare, yellow, border); filldraw(p12, shift(4,4)*unitsquare, yellow, border); filldraw(p12, shift(5,4)*unitsquare, red, border); filldraw(p12, shift(6,4)*unitsquare, red, border); filldraw(p12, shift(0,3)*unitsquare, yellow, border); filldraw(p12, shift(1,3)*unitsquare, lightcyan, border); filldraw(p12, shift(2,3)*unitsquare, deepcyan, border); filldraw(p12, shift(3,3)*unitsquare, deepcyan, border); filldraw(p12, shift(4,3)*unitsquare, lightcyan, border); filldraw(p12, shift(5,3)*unitsquare, red, border); filldraw(p12, shift(6,3)*unitsquare, yellow, border); filldraw(p12, shift(7,3)*unitsquare, lightgreen, border); filldraw(p12, shift(0,2)*unitsquare, yellow, border); filldraw(p12, shift(1,2)*unitsquare, yellow, border); filldraw(p12, shift(2,2)*unitsquare, deepcyan, border); filldraw(p12, shift(3,2)*unitsquare, lightcyan, border); filldraw(p12, shift(4,2)*unitsquare, lightcyan, border); filldraw(p12, shift(5,2)*unitsquare, yellow, border); filldraw(p12, shift(6,2)*unitsquare, yellow, border); filldraw(p12, shift(7,2)*unitsquare, lightgreen, border); filldraw(p12, shift(8,2)*unitsquare, lightgreen, border); filldraw(p12, shift(0,1)*unitsquare, grey, border); filldraw(p12, shift(1,1)*unitsquare, grey, border); filldraw(p12, shift(2,1)*unitsquare, white, border); filldraw(p12, shift(3,1)*unitsquare, grey, border); filldraw(p12, shift(4,1)*unitsquare, grey, border); filldraw(p12, shift(5,1)*unitsquare, white, border); filldraw(p12, shift(6,1)*unitsquare, grey, border); filldraw(p12, shift(7,1)*unitsquare, grey, border); filldraw(p12, shift(8,1)*unitsquare, white, border); filldraw(p12, shift(9,1)*unitsquare, lightgreen, border); filldraw(p12, shift(0,0)*unitsquare, grey, border); filldraw(p12, shift(1,0)*unitsquare, white, border); filldraw(p12, shift(2,0)*unitsquare, white, border); filldraw(p12, shift(3,0)*unitsquare, grey, border); filldraw(p12, shift(4,0)*unitsquare, white, border); filldraw(p12, shift(5,0)*unitsquare, white, border); filldraw(p12, shift(6,0)*unitsquare, grey, border); filldraw(p12, shift(7,0)*unitsquare, white, border); filldraw(p12, shift(8,0)*unitsquare, white, border); filldraw(p12, shift(9,0)*unitsquare, lightgreen, border); filldraw(p12, shift(10,0)*unitsquare, lightgreen, border); label(p12, "$n=12$", (4.5,0), dir(-90)); add(shift(22,0)*p12); [/asy][/asy] Together with the claim above, this implies the answer.
18.07.2020 15:55
Isn't the left part a $ 6 $ x $n$ ?
18.07.2020 16:14
No. It is correct.
20.07.2020 20:17
03.08.2020 15:56
This problem reminds me Tetris