Difference between revisions of "1996 IMO Problems/Problem 1"

 
(43 intermediate revisions by the same user not shown)
Line 14: Line 14:
  
 
Let <math>(x_i,y_i)</math> be the coordinates of the piece after move <math>i</math> with <math>(x_0,y_0)=A=(1,1)</math> the initial position of the piece.
 
Let <math>(x_i,y_i)</math> be the coordinates of the piece after move <math>i</math> with <math>(x_0,y_0)=A=(1,1)</math> the initial position of the piece.
 +
 +
<math>1 \le x_i \le 20</math>, and also <math>1 \le y_i \le 12</math>.
  
 
Let <math>\Delta x_i = x_i-x_{i-1}</math>, <math>\Delta y_i = y_i-y_{i-1}</math>  
 
Let <math>\Delta x_i = x_i-x_{i-1}</math>, <math>\Delta y_i = y_i-y_{i-1}</math>  
Line 19: Line 21:
 
Then, for any given <math>r</math>, we have <math>(\Delta x_i)^2+(\Delta y_i)^2=\left( \sqrt{r} \right)^2=r</math> for all <math>i</math>  
 
Then, for any given <math>r</math>, we have <math>(\Delta x_i)^2+(\Delta y_i)^2=\left( \sqrt{r} \right)^2=r</math> for all <math>i</math>  
  
part (a):
 
  
In order to find out the conditions for which <math>r</math> is divisible by two we are going to look at the following three cases:
 
  
(1) When both <math>\Delta x_i</math> and <math>\Delta y_i</math> are divisible by <math>2</math>.
+
'''Part (a):'''
 +
 
 +
In order to find out the conditions for which <math>r</math> is divisible by '''2''' we are going to look at the following three cases:
 +
 
 +
''(1)'' When both <math>\Delta x_i</math> and <math>\Delta y_i</math> are divisible by <math>2</math>.
 +
 
 +
''(2)'' When both <math>\Delta x_i</math> and <math>\Delta y_i</math> are odd.
 +
 
 +
''(3)'' When one of <math>\Delta x_i</math> and <math>\Delta y_i</math> is even and the other one is odd.
 +
 
 +
''Case (1):'' Since <math>\Delta x_i \equiv 0\;(mod \; 2)</math> and <math>\Delta y_i \equiv 0\;(mod \; 2)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (0^2+0^2)\;(mod \; 2)\equiv 0\;(mod \; 2)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is a valid one.
 +
 
 +
''Case (2):'' Since <math>\Delta x_i \equiv 1\;(mod \; 2)</math> and <math>\Delta y_i \equiv 1\;(mod \; 2)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+1^2)\;(mod \; 2)\equiv 0\;(mod \; 2)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is a valid one.
 +
 
 +
''Case (3):'' Since <math>\Delta x_i \equiv 1\;(mod \; 2)</math> and <math>\Delta y_i \equiv 0\;(mod \; 2)</math>, or <math>\Delta x_i \equiv 0\;(mod \; 2)</math> and <math>\Delta y_i \equiv 1\;(mod \; 2)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+0^2)\;(mod \; 2)\equiv 1\;(mod \; 2)\not\equiv 0\;(mod \; 2)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is '''NOT''' a valid one.
 +
 
 +
Having proved that ''Case (1)'' and ''Case (2)'' are the only valid cases for <math>r\equiv 0\;(mod \; 2)</math> we are going to see what happens for both cases when we start with a square where both coordinates are odd:
 +
 
 +
if <math>(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 2)</math>,
 +
 
 +
then for ''case (1)'': <math>(x_{i-1}+\Delta x_i,y_{i-1}+\Delta y_i) \equiv (1+0,1+0)  \;(mod \; 2) \equiv (1,1) \;(mod \; 2)</math>
 +
 
 +
and for ''case (2)'': <math>(x_{i-1}+\Delta x_i,y_{i-1}+\Delta y_i) \equiv (1+1,1+1)  \;(mod \; 2) \equiv (0,0) \;(mod \; 2)</math>
 +
 
 +
and <math>(x_{i-1}+2\Delta x_i,y_{i-1}+2\Delta y_i) \equiv (1+2,1+2)  \;(mod \; 2) \equiv (1,1) \;(mod \; 2)</math>
 +
 
 +
This means that when <math>r</math> is divisible by two, when starting at <math>(1,1)</math> no matter how many moves you make all <math>(x_{i},y_{i})</math> will either be <math>\equiv (0,0) \;(mod \; 2)</math> or <math>\equiv (1,1) \;(mod \; 2)</math>.
 +
 
 +
Since the ending coordinate is <math>(20,1) \equiv (0,1) \;(mod \; 2) \not\equiv (1,1) \;(mod \; 2)</math> and <math>\not\equiv (0,0) \;(mod \; 2)</math>, then the task cannot be done if <math>r</math> is divisible by <math>2</math>.
 +
 
 +
 
 +
Now we look at the conditions for which <math>r</math> is divisible by '''3''' by looking at the following three cases:
 +
 
 +
''(4)'' When both <math>\Delta x_i</math> and <math>\Delta y_i</math> are divisible by <math>3</math>.
 +
 
 +
''(5)'' When one of them is not divisible by <math>3</math> and the other one is.
 +
 
 +
''(6)'' When neither <math>\Delta x_i</math> nor <math>\Delta y_i</math> is divisible by <math>3</math>.
 +
 
 +
''Case (4)'': Since <math>\Delta x_i \equiv 0\;(mod \; 3)</math> and <math>\Delta y_i \equiv 0\;(mod \; 3)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (0^2+0^2)\;(mod \; 3)\equiv 0\;(mod \; 3)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 3)</math>, this case is a valid one.
 +
 
 +
''Case (5)'': Since either <math>\Delta x_i</math> or <math>\Delta y_i \equiv \pm 1\;(mod \; 3)</math> and the other <math>\equiv 1\;(mod \; 3)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv ((\pm 1)^2+0^2)\;(mod \; 3)\equiv 1\;(mod \; 3)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 3)</math>, this case is '''NOT''' a valid one.
 +
 
 +
''Case (6)'': Since <math>\Delta x_i \equiv \pm 1\;(mod \; 3)</math> and <math>\Delta y_i \equiv \pm1 \;(mod \; 3)</math>,
 +
 
 +
then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv ((\pm 1)^2+(\pm 1)^2)\;(mod \; 3)\equiv 2\;(mod \; 3)\not\equiv 0\;(mod \; 3)</math>.
 +
 
 +
Thus, for <math>r\equiv 0\;(mod \; 3)</math>, this case is '''NOT''' a valid one.
 +
 
 +
Having proved that ''Case (4)'' is the only valid case for <math>r\equiv 0\;(mod \; 3)</math> we are going to see what happens when we start with a square that is <math>\equiv (1,1)\;(mod \; 3)</math>
 +
 
 +
if <math>(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 3)</math>, then <math>(x_{i-1}+\Delta x_i ,y_{i-1}+\Delta y_i) \equiv (1+0,1+0) \;(mod \; 3) \equiv (1,1) \;(mod \; 3)</math>.
 +
 
 +
Therefore starting at any <math>(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 3)</math> no matter how many moves the piece will always land at another square <math>\equiv (1,1) \;(mod \; 3)</math>.  Since we start at <math>(1,1)</math>, then the  piece will always land at squares that are <math>\equiv (1,1) \;(mod \; 3)</math>.
 +
 
 +
Since final square is <math>(20,1) \equiv (2,1) \;(mod \; 3) \not\equiv (1,1) \;(mod \; 3)</math>, then the task cannot be done if <math>r</math> is divisible by <math>3</math>.
 +
 
 +
In summary the task cannot be done if <math>r</math> is divisible by <math>2</math> or <math>r</math> is divisible by <math>3</math>.
 +
 
 +
 
 +
 
 +
'''Part (b):'''
 +
 
 +
When <math>r=73</math> we have <math>8^2+3^2=73</math>
 +
 
 +
Therefore the moves can have the following values:
 +
 
 +
<cmath>(\Delta x_i, \Delta y_i)={(±8,±3)(±8,3)(±3,±8)(±3,8)</cmath>
 +
 
 +
Since we start at <math>(1,1)</math> and we want to end at <math>(20,1)</math> we can write the following <math>11</math> valid moves:
 +
 
 +
<cmath>\begin{matrix}
 +
(1,1)&+&(3,8)&=&(4,9)\
 +
(4,9)&+&(8,-3)&=&(12,6)\
 +
(12,6)&+&(8,-3)&=&(20,3)\
 +
(20,3)&+&(-3,8)&=&(17,11)\
 +
(17,11)&+&(-8,-3)&=&(9,8)\
 +
(9,8)&+&(-8,-3)&=&(1,5)\
 +
(1,5)&+&(8,-3)&=&(9,2)\
 +
(9,2)&+&(3,8)&=&(12,10)\
 +
(12,10)&+&(-8,-3)&=&(4,7)\
 +
(4,7)&+&(8,-3)&=&(12,4)\
 +
(12,4)&+&(8,-3)&=&(20,1)\
 +
\end{matrix}</cmath>
 +
 
 +
Having shown that all moves comply with the possible values for <math>(\Delta x_i, \Delta y_i)</math> and that all <math>(x_i, y_i)</math> are inside the rectangular grid, then the task is possible when <math>r=73</math>.
 +
 
 +
 
 +
 
 +
'''Part (c):'''
 +
 
 +
When <math>r=97</math> we have <math>9^2+4^2=97</math>
 +
 
 +
Therefore the moves can have the following values:
 +
 
 +
<cmath>(\Delta x_i, \Delta y_i)={(±9,±4)(±9,4)(±4,±9)(±4,9)</cmath>
 +
 
 +
Let <math>S</math> be a set of the squares of the rectangle with the condition <math>x_i \equiv \left\lceil \frac{y_i}{4} \right\rceil  \;(mod \; 2)</math> for <math>(x_i,y_i)</math>.  That is, the reminder of <math>x_i</math> when divided by 2 is the same as the reminder of <math>\left\lceil \frac{y_i}{4} \right\rceil</math> when divided by 2 where <math>\left\lceil k \right\rceil</math> is the smallest integer that is not less than <math>k</math>.  If that condition is true, then <math>(x_i,y_i) \in S</math>
 +
 
 +
 
 +
Now let's look at a ''case (c1)'' where <math>(x_i,y_i) \in S</math> and <math>x_i \equiv 0 \;(mod \; 2)</math>, thus <math>\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)</math>:
 +
 
 +
''c1 subcase 1'' : <math>(x_{i+1},y_{i+1})=(x_i \pm 9,y_i \pm 4)</math>:
 +
 
 +
<math>(x_i \pm 9) \equiv (0 \pm 9)\;(mod \; 2) \equiv 1 \;(mod \; 2)</math>
 +
 
 +
and <math>\left\lceil \frac{y_i \pm 4}{4} \right\rceil \equiv \left\lceil \frac{y_i}{4} \right\rceil \pm 1 \;(mod \; 2)\equiv (0 \pm 1) \;(mod \; 2)\equiv 1 \;(mod \; 2)</math>
 +
 
 +
since <math>x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)</math>, then <math>(x_{i+1},y_{i+1}) \in S</math> for this subcase.
 +
 
 +
''c1 subcase 2'' : <math>(x_{i+1},y_{i+1})=(x_i \pm 4,y_i \pm 9)</math>:
 +
 
 +
This move is not allowed because the only values of <math>1 \le y_i \le 12</math> such that <math>\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)</math> are <math>5,6,7,8</math>.  Adding or subtracting 9 from any of these numbers will either make <math>y_{i+1}<0</math> or <math>y_{i+1}>12</math> and will put the piece outside of the board.
 +
 
 +
In summary, for ''case (c1)'', <math>(x_{i+1},y_{i+1}) \in S</math>
 +
 
 +
 
 +
Now let's look at a ''case (c2)'' where <math>(x_i,y_i) \in S</math> and <math>x_i \equiv 1 \;(mod \; 2)</math>, thus <math>\left\lceil \frac{y_i}{4} \right\rceil \equiv 1 \;(mod \; 2)</math>:
 +
 
 +
''c2 subcase 1'' : <math>(x_{i+1},y_{i+1})=(x_i \pm 9,y_i \pm 4)</math>:
 +
 
 +
<math>(x_i \pm 9) \equiv (1 \pm 9)\;(mod \; 2) \equiv 0 \;(mod \; 2)</math>
 +
 
 +
and <math>\left\lceil \frac{y_i \pm 4}{4} \right\rceil \equiv \left\lceil \frac{y_i}{4} \right\rceil \pm 1 \;(mod \; 2)\equiv (1 \pm 1) \;(mod \; 2)\equiv 0 \;(mod \; 2)</math>
 +
 
 +
since <math>x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)</math>, then <math>(x_{i+1},y_{i+1}) \in S</math> for this subcase.
 +
 
 +
''c2 subcase 2'' : <math>(x_{i+1},y_{i+1})=(x_i \pm 4,y_i \pm 9)</math>:
  
(2) When both <math>\Delta x_i</math> and <math>\Delta y_i</math> are odd.
+
<math>(x_i \pm 4) \equiv (1 \pm 4)\;(mod \; 2) \equiv 1 \;(mod \; 2)</math>
  
(3) When one of <math>\Delta x_i</math> and <math>\Delta y_i</math> is even and the other one is odd.
+
Notice that the only values of <math>1 \le y_i \le 12</math> such that <math>\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)</math> are <math>1,2,3,4,9,10,11,12</math>.  Adding 9 to the values of 1,2, or 3 or subtracting 9 from the values of 10, 11, or 12, will result in <math>\left\lceil \frac{y_{i+1}}{4} \right\rceil \equiv 1 \;(mod \; 2)</math>.  However, subtracting 9 from the values of 1,2, or 3, or adding 9 for the values of 10,11, or 12 will put the piece outside the board and not a valid move.  Furthermore, for the values of 4 and 9, adding or subtracting 9 from them will result in the piece being outside of the board and not a valid move. Therefore for all valid moves in this subcase which are 9 added to 1, 2, or 3 or 9 subtracted from 10, 11, or 12, the result will be <math>\left\lceil \frac{y_{i+1}}{4} \right\rceil \equiv 1 \;(mod \; 2)</math>
  
Case (1): Since <math>\Delta x_i \equiv 0\;(mod \; 2)</math> and <math>\Delta y_i \equiv 0\;(mod \; 2)</math>, then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (0^2+0^2)\;(mod \; 2)\equiv 0\;(mod \; 2)</math>. Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is a valid one.
+
since <math>x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)</math>, then <math>(x_{i+1},y_{i+1}) \in S</math> for this subcase.
  
Case (2): Since <math>\Delta x_i \equiv 1\;(mod \; 2)</math> and <math>\Delta y_i \equiv 1\;(mod \; 2)</math>, then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+1^2)\;(mod \; 2)\equiv 0\;(mod \; 2)</math>. Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is a valid one.
+
In summary, for ''case (c2)'', <math>(x_{i+1},y_{i+1}) \in S</math>
  
Case (3): Since <math>\Delta x_i \equiv 1\;(mod \; 2)</math> and <math>\Delta y_i \equiv 0\;(mod \; 2)</math>, or <math>\Delta x_i \equiv 0\;(mod \; 2)</math> and <math>\Delta y_i \equiv 1\;(mod \; 2)</math>, then <math>(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+0^2)\;(mod \; 2)\equiv 1\;(mod \; 2)\not\equiv 0\;(mod \; 2)</math>. Thus, for <math>r\equiv 0\;(mod \; 2)</math>, this case is NOT a valid one.
+
Therefore if <math>(x_{i},y_{i}) \in S</math> then <math>(x_{i+1},y_{i+1}) \in S</math>
  
Having proved that Case (1) and Case (2) are the only valid cases for <math>r\equiv 0\;(mod \; 2)</math> we are going to see what happens for both cases when we start with a square where both coordinates are odd:
+
Now we look at the starting point: <math>(1,1)</math>:
  
if <math>(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 2)</math>, then for case (1):
+
Since <math>1 \equiv 1\;(mod \; 2)</math> and <math>\left\lceil \frac{1}{4} \right\rceil \equiv 1\;(mod \; 2)</math>, then <math>(1,1) \in S</math> and all subsequent squares after that <math>\in S</math>
  
$(x_{i-1}+\Delta x_i,y_{i-1}+\Delta y_i) \equiv (1+0,1+0)  \;(mod \; 2) \equiv (1,1) \;(mod \; 2)&
+
Now let's look at the end point: <math>(20,1)</math>:
  
 +
Since <math>20 \equiv 0\;(mod \; 2)</math> and <math>\left\lceil \frac{1}{4} \right\rceil \equiv 1\;(mod \; 2)</math>, then <math>20 \not\equiv \left\lceil \frac{1}{4} \right\rceil \;(mod \; 2)</math> and <math>(20,1) \not\in S</math>
  
 +
Since <math>(20,1) \not\in S</math>, then there are no valid moves starting from <math>(1,1)</math> that will end in <math>(20,1)</math>
  
 +
Therefore the task cannot be done when <math>r=97</math>.
  
 +
~Tomas Diaz. orders@tomasdiaz.com
  
 
{{alternate solutions}}
 
{{alternate solutions}}

Latest revision as of 09:37, 21 November 2023

Problem

We are given a positive integer $r$ and a rectangular board $ABCD$ with dimensions $|AB|=20$, $|BC|=12$. The rectangle is divided into a grid of $20 \times 12$ unit squares. The following moves are permitted on the board: one can move from one square to another only if the distance between the centers of the two squares is $\sqrt{r}$. The task is to find a sequence of moves leading from the square with $A$ as a vertex to the square with $B$ as a vertex.

(a) Show that the task cannot be done if $r$ is divisible by $2$ or $3$.

(b) Prove that the task is possible when $r=73$.

(c) Can the task be done when $r=97$?

Solution

First we define the rectangular board in the cartesian plane with centers of the unit squares as integer coordinates and the following coordinates for the squares at the corners of $A$, $B$, $C$, $D$, as follows: $A=(1,1)$, $B=(20,1)$, $C=(20,12)$, $D=(1,12)$

Let $(x_i,y_i)$ be the coordinates of the piece after move $i$ with $(x_0,y_0)=A=(1,1)$ the initial position of the piece.

$1 \le x_i \le 20$, and also $1 \le y_i \le 12$.

Let $\Delta x_i = x_i-x_{i-1}$, $\Delta y_i = y_i-y_{i-1}$

Then, for any given $r$, we have $(\Delta x_i)^2+(\Delta y_i)^2=\left( \sqrt{r} \right)^2=r$ for all $i$


Part (a):

In order to find out the conditions for which $r$ is divisible by 2 we are going to look at the following three cases:

(1) When both $\Delta x_i$ and $\Delta y_i$ are divisible by $2$.

(2) When both $\Delta x_i$ and $\Delta y_i$ are odd.

(3) When one of $\Delta x_i$ and $\Delta y_i$ is even and the other one is odd.

Case (1): Since $\Delta x_i \equiv 0\;(mod \; 2)$ and $\Delta y_i \equiv 0\;(mod \; 2)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv (0^2+0^2)\;(mod \; 2)\equiv 0\;(mod \; 2)$.

Thus, for $r\equiv 0\;(mod \; 2)$, this case is a valid one.

Case (2): Since $\Delta x_i \equiv 1\;(mod \; 2)$ and $\Delta y_i \equiv 1\;(mod \; 2)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+1^2)\;(mod \; 2)\equiv 0\;(mod \; 2)$.

Thus, for $r\equiv 0\;(mod \; 2)$, this case is a valid one.

Case (3): Since $\Delta x_i \equiv 1\;(mod \; 2)$ and $\Delta y_i \equiv 0\;(mod \; 2)$, or $\Delta x_i \equiv 0\;(mod \; 2)$ and $\Delta y_i \equiv 1\;(mod \; 2)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv (1^2+0^2)\;(mod \; 2)\equiv 1\;(mod \; 2)\not\equiv 0\;(mod \; 2)$.

Thus, for $r\equiv 0\;(mod \; 2)$, this case is NOT a valid one.

Having proved that Case (1) and Case (2) are the only valid cases for $r\equiv 0\;(mod \; 2)$ we are going to see what happens for both cases when we start with a square where both coordinates are odd:

if $(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 2)$,

then for case (1): $(x_{i-1}+\Delta x_i,y_{i-1}+\Delta y_i) \equiv (1+0,1+0)  \;(mod \; 2) \equiv (1,1) \;(mod \; 2)$

and for case (2): $(x_{i-1}+\Delta x_i,y_{i-1}+\Delta y_i) \equiv (1+1,1+1)  \;(mod \; 2) \equiv (0,0) \;(mod \; 2)$

and $(x_{i-1}+2\Delta x_i,y_{i-1}+2\Delta y_i) \equiv (1+2,1+2)  \;(mod \; 2) \equiv (1,1) \;(mod \; 2)$

This means that when $r$ is divisible by two, when starting at $(1,1)$ no matter how many moves you make all $(x_{i},y_{i})$ will either be $\equiv (0,0) \;(mod \; 2)$ or $\equiv (1,1) \;(mod \; 2)$.

Since the ending coordinate is $(20,1) \equiv (0,1) \;(mod \; 2) \not\equiv (1,1) \;(mod \; 2)$ and $\not\equiv (0,0) \;(mod \; 2)$, then the task cannot be done if $r$ is divisible by $2$.


Now we look at the conditions for which $r$ is divisible by 3 by looking at the following three cases:

(4) When both $\Delta x_i$ and $\Delta y_i$ are divisible by $3$.

(5) When one of them is not divisible by $3$ and the other one is.

(6) When neither $\Delta x_i$ nor $\Delta y_i$ is divisible by $3$.

Case (4): Since $\Delta x_i \equiv 0\;(mod \; 3)$ and $\Delta y_i \equiv 0\;(mod \; 3)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv (0^2+0^2)\;(mod \; 3)\equiv 0\;(mod \; 3)$.

Thus, for $r\equiv 0\;(mod \; 3)$, this case is a valid one.

Case (5): Since either $\Delta x_i$ or $\Delta y_i \equiv \pm 1\;(mod \; 3)$ and the other $\equiv 1\;(mod \; 3)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv ((\pm 1)^2+0^2)\;(mod \; 3)\equiv 1\;(mod \; 3)$.

Thus, for $r\equiv 0\;(mod \; 3)$, this case is NOT a valid one.

Case (6): Since $\Delta x_i \equiv \pm 1\;(mod \; 3)$ and $\Delta y_i \equiv \pm1 \;(mod \; 3)$,

then $(\Delta x_i)^2+(\Delta y_i)^2 \equiv ((\pm 1)^2+(\pm 1)^2)\;(mod \; 3)\equiv 2\;(mod \; 3)\not\equiv 0\;(mod \; 3)$.

Thus, for $r\equiv 0\;(mod \; 3)$, this case is NOT a valid one.

Having proved that Case (4) is the only valid case for $r\equiv 0\;(mod \; 3)$ we are going to see what happens when we start with a square that is $\equiv (1,1)\;(mod \; 3)$

if $(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 3)$, then $(x_{i-1}+\Delta x_i ,y_{i-1}+\Delta y_i) \equiv (1+0,1+0) \;(mod \; 3) \equiv (1,1) \;(mod \; 3)$.

Therefore starting at any $(x_{i-1},y_{i-1}) \equiv (1,1) \;(mod \; 3)$ no matter how many moves the piece will always land at another square $\equiv (1,1) \;(mod \; 3)$. Since we start at $(1,1)$, then the piece will always land at squares that are $\equiv (1,1) \;(mod \; 3)$.

Since final square is $(20,1) \equiv (2,1) \;(mod \; 3) \not\equiv (1,1) \;(mod \; 3)$, then the task cannot be done if $r$ is divisible by $3$.

In summary the task cannot be done if $r$ is divisible by $2$ or $r$ is divisible by $3$.


Part (b):

When $r=73$ we have $8^2+3^2=73$

Therefore the moves can have the following values:

\[(\Delta x_i, \Delta y_i)=\begin{cases} (\pm 8,\pm 3) \\ (\pm 8,\mp 3) \\ (\pm 3,\pm 8) \\ (\pm 3,\mp 8) \end{cases}\]

Since we start at $(1,1)$ and we want to end at $(20,1)$ we can write the following $11$ valid moves:

\[\begin{matrix} (1,1)&+&(3,8)&=&(4,9)\\ (4,9)&+&(8,-3)&=&(12,6)\\ (12,6)&+&(8,-3)&=&(20,3)\\ (20,3)&+&(-3,8)&=&(17,11)\\ (17,11)&+&(-8,-3)&=&(9,8)\\ (9,8)&+&(-8,-3)&=&(1,5)\\ (1,5)&+&(8,-3)&=&(9,2)\\ (9,2)&+&(3,8)&=&(12,10)\\ (12,10)&+&(-8,-3)&=&(4,7)\\ (4,7)&+&(8,-3)&=&(12,4)\\ (12,4)&+&(8,-3)&=&(20,1)\\ \end{matrix}\]

Having shown that all moves comply with the possible values for $(\Delta x_i, \Delta y_i)$ and that all $(x_i, y_i)$ are inside the rectangular grid, then the task is possible when $r=73$.


Part (c):

When $r=97$ we have $9^2+4^2=97$

Therefore the moves can have the following values:

\[(\Delta x_i, \Delta y_i)=\begin{cases} (\pm 9,\pm 4) \\ (\pm 9,\mp 4) \\ (\pm 4,\pm 9) \\ (\pm 4,\mp 9) \end{cases}\]

Let $S$ be a set of the squares of the rectangle with the condition $x_i \equiv \left\lceil \frac{y_i}{4} \right\rceil  \;(mod \; 2)$ for $(x_i,y_i)$. That is, the reminder of $x_i$ when divided by 2 is the same as the reminder of $\left\lceil \frac{y_i}{4} \right\rceil$ when divided by 2 where $\left\lceil k \right\rceil$ is the smallest integer that is not less than $k$. If that condition is true, then $(x_i,y_i) \in S$


Now let's look at a case (c1) where $(x_i,y_i) \in S$ and $x_i \equiv 0 \;(mod \; 2)$, thus $\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)$:

c1 subcase 1 : $(x_{i+1},y_{i+1})=(x_i \pm 9,y_i \pm 4)$:

$(x_i \pm 9) \equiv (0 \pm 9)\;(mod \; 2) \equiv 1 \;(mod \; 2)$

and $\left\lceil \frac{y_i \pm 4}{4} \right\rceil \equiv \left\lceil \frac{y_i}{4} \right\rceil \pm 1 \;(mod \; 2)\equiv (0 \pm 1) \;(mod \; 2)\equiv 1 \;(mod \; 2)$

since $x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)$, then $(x_{i+1},y_{i+1}) \in S$ for this subcase.

c1 subcase 2 : $(x_{i+1},y_{i+1})=(x_i \pm 4,y_i \pm 9)$:

This move is not allowed because the only values of $1 \le y_i \le 12$ such that $\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)$ are $5,6,7,8$. Adding or subtracting 9 from any of these numbers will either make $y_{i+1}<0$ or $y_{i+1}>12$ and will put the piece outside of the board.

In summary, for case (c1), $(x_{i+1},y_{i+1}) \in S$


Now let's look at a case (c2) where $(x_i,y_i) \in S$ and $x_i \equiv 1 \;(mod \; 2)$, thus $\left\lceil \frac{y_i}{4} \right\rceil \equiv 1 \;(mod \; 2)$:

c2 subcase 1 : $(x_{i+1},y_{i+1})=(x_i \pm 9,y_i \pm 4)$:

$(x_i \pm 9) \equiv (1 \pm 9)\;(mod \; 2) \equiv 0 \;(mod \; 2)$

and $\left\lceil \frac{y_i \pm 4}{4} \right\rceil \equiv \left\lceil \frac{y_i}{4} \right\rceil \pm 1 \;(mod \; 2)\equiv (1 \pm 1) \;(mod \; 2)\equiv 0 \;(mod \; 2)$

since $x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)$, then $(x_{i+1},y_{i+1}) \in S$ for this subcase.

c2 subcase 2 : $(x_{i+1},y_{i+1})=(x_i \pm 4,y_i \pm 9)$:

$(x_i \pm 4) \equiv (1 \pm 4)\;(mod \; 2) \equiv 1 \;(mod \; 2)$

Notice that the only values of $1 \le y_i \le 12$ such that $\left\lceil \frac{y_i}{4} \right\rceil \equiv 0 \;(mod \; 2)$ are $1,2,3,4,9,10,11,12$. Adding 9 to the values of 1,2, or 3 or subtracting 9 from the values of 10, 11, or 12, will result in $\left\lceil \frac{y_{i+1}}{4} \right\rceil \equiv 1 \;(mod \; 2)$. However, subtracting 9 from the values of 1,2, or 3, or adding 9 for the values of 10,11, or 12 will put the piece outside the board and not a valid move. Furthermore, for the values of 4 and 9, adding or subtracting 9 from them will result in the piece being outside of the board and not a valid move. Therefore for all valid moves in this subcase which are 9 added to 1, 2, or 3 or 9 subtracted from 10, 11, or 12, the result will be $\left\lceil \frac{y_{i+1}}{4} \right\rceil \equiv 1 \;(mod \; 2)$

since $x_{i+1} \equiv \left\lceil \frac{y_{i+1}}{4} \right\rceil  \;(mod \; 2)$, then $(x_{i+1},y_{i+1}) \in S$ for this subcase.

In summary, for case (c2), $(x_{i+1},y_{i+1}) \in S$

Therefore if $(x_{i},y_{i}) \in S$ then $(x_{i+1},y_{i+1}) \in S$

Now we look at the starting point: $(1,1)$:

Since $1 \equiv 1\;(mod \; 2)$ and $\left\lceil \frac{1}{4} \right\rceil \equiv 1\;(mod \; 2)$, then $(1,1) \in S$ and all subsequent squares after that $\in S$

Now let's look at the end point: $(20,1)$:

Since $20 \equiv 0\;(mod \; 2)$ and $\left\lceil \frac{1}{4} \right\rceil \equiv 1\;(mod \; 2)$, then $20 \not\equiv \left\lceil \frac{1}{4} \right\rceil \;(mod \; 2)$ and $(20,1) \not\in S$

Since $(20,1) \not\in S$, then there are no valid moves starting from $(1,1)$ that will end in $(20,1)$

Therefore the task cannot be done when $r=97$.

~Tomas Diaz. orders@tomasdiaz.com

Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.

See Also

1996 IMO (Problems) • Resources
Preceded by
First Problem
1 2 3 4 5 6 Followed by
Problem 2
All IMO Problems and Solutions