Maths Olympiad Prep

Library / /3 of 3

Combinatorics Difficulty 9.1 IMO level Prove it North Macedonia

Let a square scheme 2n×2n2n \times 2n, made of unit white squares be given. Allowed move is to change the color of three consecutive unit squares in a particular row or three consecutive unit squares in a particular column - unit square with white color goes to unit square with black color and vice versa.
Find all nonnegative integers, n2n \ge 2, for which with allowed moves the given square scheme can be colored like chess table.

Solution

We will call black unit squares which one when the square scheme is colored like a chess table are black and white unit squares those which will not change their color. It is not difficult to see when the square scheme is colored like chess table, we will have 2n22n^2 black and 2n22n^2 white unit squares, i.e. we will have even number of black and white unit squares.

Let the square scheme is colored like a chess table with finite number of moves. Every black unit square it must be recolored odd number times and every white unit square must be recolored even number times (some of the white unit squares can be not colored at all, i.e. to be colored zero times). According to that, the number of recoloring of the unit squares must be even number, hence the number of the moves need for the recoloring is even number, since in each allowed move three unit squares are recolored.

We will show that if n0(mod3)n \neq 0 \pmod{3}, the number of moves with which we can make recoloring is an odd number.

Figure 1

Such a contradiction for us will show that for all such nonnegative integers it is not possible to make such recoloring, i.e. the square scheme to be colored like a chess table. The vertices of the square scheme, starting from the left upper vertex and moving in clockwise direction we will denote with A,B,C,DA,B,C,D (see the image).

Let we consider the unit square which has a side which is a part of the sides ABAB and BCBC on the given square scheme. We will say the diagonal of the square scheme which starts from such a unit square and all the unit squares in which one can pass the chess bishop, starting from up going down, or from left to right which is same as previous (square scheme with dimensions 6×66 \times 6 has 11 diagonals, on the given image are denoted only four of them). It is obvious that the square ABCDABCD has 4n14n-1 diagonals and each diagonal is consisting only of white unite squares or only of black unit squares. Diagonal consisting only of white unite squares we will call white diagonal and diagonal consisting only of black unit squares we will call black diagonal.

Without loss of generality we can assume that the unit square containing the vertex AA as its own vertex is a black square. The unit squares which are on the sides ABAB and BCBC, starting with the vertex AA, we will denote with the numbers from 1 to 4n14n-1 continuously (the case n=2n=2 and n=3n=3 is given on the following image). Next we will consider the diagonals of the square scheme starting with unit square which has an ordinal number divisible with 3.

In every unit square of such diagonal we will write * (on the image bellow, the cases n=2n=2 and n=3n=3 are given).

On that way we will obtain even or odd number of black unit squares in which one is written * in general case.

It is obvious that a diagonal which has ordinal number divisible with 3 will be black diagonal and if his ordinal number is not divisible with 2. It will be white in every other case.

It is obvious that the diagonal starting with odd ordinal number will has an odd number of unit squares.

Hence the parity of the black unit squares in which ones we have * is the same as the parity of the number of all odd numbers which are divisible with 3, between 1 and 4n14n-1. We will find that number.

a) n0(mod3)n \equiv 0 \pmod{3}

In this case n=3k,kNn=3k, k \in \mathbb{N}, so 4n1=12k14n-1=12k-1 and between the numbers from 1 to 4n14n-1 which are odd and are divisible with 3, are the numbers 31,33,,3(4k3),3(4k1)3 \cdot 1, 3 \cdot 3, \dots, 3 \cdot (4k-3), 3 \cdot (4k-1). The number of such numbers is an even number, i.e. that number is 2k2k.

Figure 2

b) n1(mod3)n \equiv 1 \pmod{3}

In this case n=3k+1,kNn=3k+1, k \in \mathbb{N}, so 4n1=12k+34n-1=12k+3 and between the numbers from 1 to 4n+14n+1 which are odd and divisible with 3 are the numbers 31,33,,3(4k1),3(4k+1)3 \cdot 1, 3 \cdot 3, \dots, 3 \cdot (4k-1), 3 \cdot (4k+1). The number of such numbers is an odd number, i.e. that number is 2k+12k+1.

c) n2(mod3)n \equiv 2 \pmod{3}

In this case n=3k+2,kNn=3k+2, k \in \mathbb{N}, so 4n1=12k+74n-1=12k+7 and between the numbers from 1 to 4n+14n+1 which are odd and divisible with 3 are the numbers 31,33,,3(4k1),3(4k+1)3 \cdot 1, 3 \cdot 3, \dots, 3 \cdot (4k-1), 3 \cdot (4k+1). Hence the number of such numbers is an odd number, i.e. that number is 2k+12k+1.

Hence, * will be written in odd number odd black unit squares if n≢0(mod3)n \not\equiv 0 \pmod{3}, and if n0(mod3)n \equiv 0 \pmod{3}, * will be written in even number of black unit squares.

Now, let the square scheme is colored like a chess table. Let we note that when we recolor in one allowed move we recolor only one unit square in which one is written *. So all the allowed moves are divided in two cases:

1) Allowed moves in which one we recolor white unit square with written symbol *
2) Allowed moves in which one we recolor black unit square with written symbol *

Moves like in case 1) which have to be made is even number, since each white unit square in which one is written * must be recolored even number times. Moves like in case 2), in case when n≢0(mod3)n \not\equiv 0 \pmod{3} is an odd number since the number of black unit squares is odd and each of them must be recolored odd number times. Hence, to have a coloring in these cases like a chess table it must be odd number of colorings. But, this is a contradiction with the fact that the recoloring will be made if are made only even number of recolorings, i.e. even number of allowed moves.

Hence, if n≢0(mod3)n \not\equiv 0 \pmod{3}, recoloring of the square scheme like a chess table with allowed moves is not possible.

If n0(mod3)n \equiv 0 \pmod{3}, such a coloring of the square scheme with allowed moves is possible. In that case 2n2n is divisible with 3 and the square scheme can be divided on squares 3×33 \times 3 and each one can be recolored with allowed moves in one of the given cases on the image below.

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.