Olympiad Maths Prep

Track / Stage 7 / 66 of 300 #1466 of 2000

Problem 1466

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.1 Prove it

The numbers 11 through 1616 are to be written in the cells of a 4×44\times 4 board.
(a) Prove that this can be done in such a way that any two numbers in cells that share a side differ by at most 44.
(b) Prove that this cannot be done in such a way that any two numbers in cells that share a side differ by at most 33.

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

### Part (a)
We need to prove that the numbers 11 through 1616 can be arranged on a 4×44 \times 4 board such that any two numbers in cells that share a side differ by at most 44.

Consider the following arrangement:

16151171412841395310621 \begin{array}{|c|c|c|c|} \hline 16 & 15 & 11 & 7 \\ \hline 14 & 12 & 8 & 4 \\ \hline 13 & 9 & 5 & 3 \\ \hline 10 & 6 & 2 & 1 \\ \hline \end{array}

We will check the differences between adjacent cells:

- For the first row: 1615=1|16 - 15| = 1, 1511=4|15 - 11| = 4, 117=4|11 - 7| = 4
- For the second row: 1412=2|14 - 12| = 2, 128=4|12 - 8| = 4, 84=4|8 - 4| = 4
- For the third row: 139=4|13 - 9| = 4, 95=4|9 - 5| = 4, 53=2|5 - 3| = 2
- For the fourth row: 106=4|10 - 6| = 4, 62=4|6 - 2| = 4, 21=1|2 - 1| = 1

For the columns:
- For the first column: 1614=2|16 - 14| = 2, 1413=1|14 - 13| = 1, 1310=3|13 - 10| = 3
- For the second column: 1512=3|15 - 12| = 3, 129=3|12 - 9| = 3, 96=3|9 - 6| = 3
- For the third column: 118=3|11 - 8| = 3, 85=3|8 - 5| = 3, 52=3|5 - 2| = 3
- For the fourth column: 74=3|7 - 4| = 3, 43=1|4 - 3| = 1, 31=2|3 - 1| = 2

All differences are 4\leq 4, so the arrangement satisfies the condition.

### Part (b)
We need to prove that it is impossible to arrange the numbers 11 through 1616 on a 4×44 \times 4 board such that any two numbers in cells that share a side differ by at most 33.

First, note that the difference between the largest number (16) and the smallest number (1) is 1515. If any two adjacent cells differ by at most 33, then the minimum number of steps required to go from 11 to 1616 is 153=5\lceil \frac{15}{3} \rceil = 5 steps. This means that 1616 and 11 must be at least 5 cells apart.

Consider the following board with 1616 in the top-left corner and 11 in the bottom-right corner:

16abcdefghijklmn1 \begin{array}{|c|c|c|c|} \hline 16 & a & b & c \\ \hline d & e & f & g \\ \hline h & i & j & k \\ \hline l & m & n & 1 \\ \hline \end{array}

For 1616 and 11 to be 5 cells apart, we need to ensure that the differences between adjacent cells are at most 33. Let's analyze the path from 1616 to 11:

1. 16a316 - a \leq 3
2. ab3a - b \leq 3
3. bc3b - c \leq 3
4. cg3c - g \leq 3
5. g13g - 1 \leq 3

Adding these inequalities, we get:

1613+3+3+3+3=15 16 - 1 \leq 3 + 3 + 3 + 3 + 3 = 15

This is true, but it implies that a,b,c,ga, b, c, g must be specific values to satisfy the constraints. Let's consider the values:

- a=13a = 13
- b=10b = 10
- c=7c = 7
- g=4g = 4

Now, consider the other cells. For example, dd must satisfy 16d316 - d \leq 3 and dh3d - h \leq 3. This implies d=13d = 13 and h=10h = 10, but 1010 is already used for bb. This leads to a contradiction because all numbers must be unique.

Therefore, it is impossible to arrange the numbers 11 through 1616 on a 4×44 \times 4 board such that any two numbers in cells that share a side differ by at most 33.

\blacksquare

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