Skip to main content
OlympiadHQ

Browse · MathNet

Print

Final Round

Belarus counting and probability

Problem

An () square is divided into unit cells. Find all possible values of such that this square can be covered with some layers of 4-cell figures of the following shape [ ] (i.e. each cell of the square must be covered with the same number of these figures). (The sides of each figure must coincide with the sides of the cells; the figures may be rotated but none of them can go beyond the bounds of the square.) (Jury)

problem


problem
Solution
Answer: , . If , , then this square can be covered with one layer (and then with any number of layers) of the figures [ ] [ ] [ ] [ ].

Let , . In this case we use chess coloring of the square. Suppose that the square is covered with layers of given figures. We write 1 and in all black and in all white cells of the square respectively. Let and be the sums of the numbers in black and white cells of the square, respectively. Without loss of generality we can assume that . It is evident that . Now we sum up the numbers in all cells of the square so that we count each number in the cell as many times as the number of the figures covering this cell. Let be this sum. Since is the number of the figures covering each cell, we have . On the other hand, any figure [ ] [ ] [ ] [ ] covers the same number of black and white cells, so the sum of the numbers in the cells covered with this figure is equal to 0. Therefore, , a contradiction. Let (). Using four colors we paint all cells of the square as it is shown in the figure (the number in the cell corresponds to the number of the color). Note that there is no cell with 4th color in the square in the right lower corner of the square. We place 1 in all cells painted second and third colors and place in all remaining cells. As above we sum up the numbers in all cells of the square, then , where is a number of layers. On the other hand, each figure covers exactly one cell of each color, so the sum of the numbers in the cells covered with this figure is equal to 0. Therefore, , a contradiction.



Remark. Similar arguments can be applied for the following coloring: see Fig. 1 for , and Fig. 2 for .
Final answer
n = 4k

Techniques

Coloring schemes, extremal argumentsInvariants / monovariants