Maths Olympiad Prep

Library / /174 of 224

Combinatorics Difficulty 6.7 National Olympiad Prove it Belarus

Exactly one integer number from 11 to 2525 is written in each cell of the 5×55 \times 5 square table (see the figure). Per move it is allowed:

12345
678910
1112131415
1617181920
2122232425

1) to choose any two cells with a common side then to increase (to decrease) the number in one of the cells by 22 and to decrease (to increase respectively) the number in the other cell by 11;
2) to choose any two cells with a common vertex then to increase the number in one of the cells by 11 and to decrease the number in the other cell by 11;

a) Is it possible to obtain the table with the same numbers in all its cells after the finite number of these moves?
b) Is it possible to obtain the table with 22 in all its cells after the finite number of these moves?

Solution

Answer: a) it is possible; b) it is impossible.

a) We show that using the allowed moves we can decrease any number in the table by 33 so that all other numbers in the table keep their values. We will not consider the whole table but only the number xx which will be decreased by 33 and three more numbers aa, bb, and cc which occupy (together with xx) the cells of some 2×22 \times 2 square).
Figure 1
So we can consecutively decrease all numbers in the table so that to obtain their residues modulo 33, i.e. to obtain the table:
Figure 2
Consider the 2×22 \times 2 corner squares:
Figure 3
All these squares have the same form and per one move (+1 - 1) they can be transformed into the squares with 11 in all their cells. So we can obtain the following table:
Figure 4
Further, we transform the third row of the table:
Figure 5
In a similar way we can transform the third column of the table. As the result we obtain the table with 11 in all its cells.

b) Consider the chess coloring of the table. For the definiteness we suppose that the corner cells are white. So, there are 1313 white and 1212 black cells in the table. All white cells are occupied with odd numbers, and all black cells are occupied with even numbers. Therefore, the sum SwS_w of the numbers in the white cells is equal to 1+25213=1313\frac{1+25}{2} \cdot 13 = 13 \cdot 13, and the sum SbS_b of the numbers in the black cells is equal to 2+24212=1312\frac{2+24}{2} \cdot 12 = 13 \cdot 12. So, SwSb=13S_w - S_b = 13.
It is easy to see that any allowed move does not change the residue modulo 33 of the difference between the sums of the numbers in white and black cells. If all cells in the table are occupied with 22, then this difference is equal to 22. But 2≢13(mod3)2 \not\equiv 13 \pmod{3}, so we cannot obtain the table with 22 in all its cells.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.