Olympiad Maths Prep

Track / Stage 7 / 42 of 300 #1442 of 2000

Problem 1442

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Find the answer

Fifteen stones are placed on a 4×44 \times 4 board, one in each cell, the remaining cell being empty. Whenever two stones are on neighbouring cells (having a common side), one may jump over the other to the opposite neighbouring cell, provided this cell is empty. The stone jumped over is removed from the board.

For which initial positions of the empty cell is it possible to end up with exactly one stone on the board?

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Label the Board:
We label the 1616 cells on the 4×44 \times 4 board using coordinates (x,y)(x, y) where x,y{1,2,3,4}x, y \in \{1, 2, 3, 4\}.

2. Assign Complex Numbers:
We assign the number ωi+j\omega^{i+j} to the cell (i,j)(i, j) where ω=eiπ3\omega = e^{\frac{i\pi}{3}}. Note that ω\omega is a primitive 6th root of unity, so ω6=1\omega^6 = 1.

3. Initial Sum Calculation:
Initially, the sum of the numbers on the board is k1ω+k2ω2+k3k_1\omega + k_2\omega^2 + k_3 where (k1,k2,k3){(5,5,5),(4,6,5),(5,6,4)}(k_1, k_2, k_3) \in \{(5, 5, 5), (4, 6, 5), (5, 6, 4)\}. This is because there are 15 stones on the board, and the sum of the exponents i+ji+j modulo 3 will distribute among ω,ω2\omega, \omega^2, and 11.

4. Sum Change During Moves:
During each move, the sum of the numbers on the board changes. If a stone at (i,j)(i, j) jumps over a stone at (i,j+1)(i, j+1) to an empty cell at (i,j+2)(i, j+2), the sum changes from a1ω+a2ω2+a3a_1\omega + a_2\omega^2 + a_3 to a1ω+a2ω2+a3a_1'\omega + a_2'\omega^2 + a_3' where (a1,a2,a3){(a1+1,a21,a31),(a11,a2+1,a31),(a11,a21,a3+1)}(a_1', a_2', a_3') \in \{(a_1+1, a_2-1, a_3-1), (a_1-1, a_2+1, a_3-1), (a_1-1, a_2-1, a_3+1)\}.

5. Parity Consideration:
The parity of a1a2|a_1 - a_2| and a2a3|a_2 - a_3| remains unchanged during each move. This is because each move involves a change in the coefficients of ω,ω2\omega, \omega^2, and 11 that preserves the parity of their differences.

6. Initial Parity:
For the initial configuration (k1,k2,k3)(k_1, k_2, k_3), we have 55=0|5 - 5| = 0, 46=2|4 - 6| = 2, and 56=1|5 - 6| = 1. Therefore, the parity of a1a2|a_1 - a_2| and a2a3|a_2 - a_3| is fixed.

7. Final Sum:
To end up with exactly one stone on the board, the sum of the numbers must be ω\omega, ω2\omega^2, or 11. However, since the initial parity is 00, the final sum cannot be ω\omega, ω2\omega^2, or 11.

8. Empty Cell Position:
Therefore, the empty cell cannot have coordinates (i,j)(i, j) where i+j2(mod3)i + j \equiv 2 \pmod{3}. This leaves the 8 border non-corner cells and the 2 center cells.

9. Symmetry Consideration:
By symmetry, we can eliminate the two center cells, leaving us with 8 border non-corner cells as possible positions for the empty cell.

10. Verification:
It is possible to show that starting with the empty cell in one of these 8 positions, we can end up with exactly one stone on the board through a series of valid moves.

The final answer is the 8 border non-corner cells.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.