Maths Olympiad Prep

Library / /12 of 13

, 2013

Combinatorics Difficulty 8.5 Shortlist Prove it Saudi Arabia

Ayman wants to color the cells of a 50×5050 \times 50 chessboard into black and white so that each 2×32 \times 3 or 3×23 \times 2 rectangle contains an even number of white cells. Determine the number of ways Ayman can color the chessboard.

Solution

Let us associate a 11 to each cell with a black color and a 00 to each cell with a white color. The condition is equivalent to the sum of numbers in each 2×32 \times 3 rectangle and in each 3×23 \times 2 rectangle being even. Let ai,ja_{i, j} be this number at the cell in the ithi^{\text{th}} row and jthj^{\text{th}} column, for 1i,j501 \leq i, j \leq 50.

Consider, for a fixed pair i,ji, j, with 1i481 \leq i \leq 48 and 1j471 \leq j \leq 47, the 3×43 \times 4 rectangle:

ai,ja_{i, j}ai,j+1a_{i, j+1}ai,j+2a_{i, j+2}ai,j+3a_{i, j+3}
ai+1,ja_{i+1, j}ai+1,j+1a_{i+1, j+1}ai+1,j+2a_{i+1, j+2}ai+1,j+3a_{i+1, j+3}
ai+2,ja_{i+2, j}ai+2,j+1a_{i+2, j+1}ai+2,j+2a_{i+2, j+2}ai+2,j+3a_{i+2, j+3}

By applying the condition to the two 2×32 \times 3 rectangles which contain cells from the second and the third rows, we get
ai+1,j+ai+1,j+1+ai+1,j+2+ai+2,j+ai+2,j+1+ai+2,j+20(mod2), a_{i+1, j}+a_{i+1, j+1}+a_{i+1, j+2}+a_{i+2, j}+a_{i+2, j+1}+a_{i+2, j+2} \equiv 0 \pmod{2},
and
ai+1,j+1+ai+1,j+2+ai+1,j+3+ai+2,j+1+ai+2,j+2+ai+2,j+30(mod2) a_{i+1, j+1}+a_{i+1, j+2}+a_{i+1, j+3}+a_{i+2, j+1}+a_{i+2, j+2}+a_{i+2, j+3} \equiv 0 \pmod{2}
By applying the condition to all the 3×23 \times 2 rectangles, we get
ai,j+ai,j+1+ai+1,j+ai+1,j+1+ai+2,j+ai+2,j+10(mod2),ai,j+1+ai,j+2+ai+1,j+1+ai+1,j+2+ai+2,j+1+ai+2,j+20(mod2), \begin{gathered} a_{i, j}+a_{i, j+1}+a_{i+1, j}+a_{i+1, j+1}+a_{i+2, j}+a_{i+2, j+1} \equiv 0 \pmod{2}, \\ a_{i, j+1}+a_{i, j+2}+a_{i+1, j+1}+a_{i+1, j+2}+a_{i+2, j+1}+a_{i+2, j+2} \equiv 0 \pmod{2}, \end{gathered}
and
ai,j+2+ai,j+3+ai+1,j+2+ai+1,j+3+ai+2,j+2+ai+2,j+30(mod2). a_{i, j+2}+a_{i, j+3}+a_{i+1, j+2}+a_{i+1, j+3}+a_{i+2, j+2}+a_{i+2, j+3} \equiv 0 \pmod{2} .
By adding these 5 relations and cancelling all even numbers we get
ai,j+ai,j+30(mod2). a_{i, j}+a_{i, j+3} \equiv 0 \quad \pmod{2} .
This proves that
ai,j+3=ai,j a_{i, j+3}=a_{i, j}
We prove in a similar way that
ai+3,j=ai,j a_{i+3, j}=a_{i, j}
Therefore, it is enough to know the numbers in the 3×33 \times 3 rectangle
a1,1a_{1,1}a1,2a_{1,2}a1,3a_{1,3}
a2,1a_{2,1}a2,2a_{2,2}a2,3a_{2,3}
a3,1a_{3,1}a3,2a_{3,2}a3,3a_{3,3}
to deduce, by periodicity, the numbers in all the other cells.

Applying the condition to the first 2×32 \times 3 rectangle, we will get
a2,3a1,1+a1,2+a1,3+a2,1+a2,2(mod2) a_{2,3} \equiv a_{1,1}+a_{1,2}+a_{1,3}+a_{2,1}+a_{2,2} \quad \pmod{2}
Applying the condition to the second 2×32 \times 3 rectangle and to the second 3×23 \times 2 rectangle and adding the two relations, we will get
a3,1a2,1+a1,2+a1,3(mod2) a_{3,1} \equiv a_{2,1}+a_{1,2}+a_{1,3} \quad \pmod{2}
We obtain in a similar way
a3,2a2,2+a1,3+a1,1(mod2) a_{3,2} \equiv a_{2,2}+a_{1,3}+a_{1,1} \quad \pmod{2}
a3,3a2,3+a1,1+a1,2(mod2) a_{3,3} \equiv a_{2,3}+a_{1,1}+a_{1,2} \quad \pmod{2}
Therefore, it is enough to know the 5 numbers
a1,1,a1,2,a1,3,a2,1,a2,2 a_{1,1}, a_{1,2}, a_{1,3}, a_{2,1}, a_{2,2}
to deduce all the numbers in the cells of the 50×5050 \times 50 chessboard.

Conversely, choose a value in {0,1}\{0,1\} for each number a1,1,a1,2,a1,3,a2,1,a2,2a_{1,1}, a_{1,2}, a_{1,3}, a_{2,1}, a_{2,2}, and deduce the values in all the other cells of the chessboard. It is easy to check that the condition on the two 2×32 \times 3 rectangles and the two 3×23 \times 2 rectangles in the 3×33 \times 3 rectangle above is satisfied. We deduce, by periodicity, that it is satisfied in all the chessboard. Hence there are 252^{5} ways to color the chessboard.

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.