Los posts anteriores son sin duda respuestas suficientes, pero para divertirme he pensado en caracterizar con precisión el conjunto de puntos que se pueden alcanzar desde el origen.
Obsérvese que realizar un movimiento del tipo (1) equivale a añadir $(2,1)$ al vector de posición de la partícula, y, asimismo, un movimiento del tipo (2) equivale a añadir $(1,2)$ al vector de posición de la partícula. Por tanto, los puntos que la partícula puede alcanzar desde el origen son precisamente aquellos puntos de la forma $$ n(1,2) + m(2,1) = (n + 2m, 2n + m) $$ para enteros no negativos $n,m$ . Esta es una caracterización precisa de los puntos accesibles, pero no es muy fácil de comprobar.
Resulta que el conjunto de condiciones mucho más fácil de comprobar
-
$a + b$ es divisible por $3$
-
$2a \geq b \geq \frac{a}{2}$
son necesarios y suficientes para un punto $(a,b)$ para ser accesible.
Para ver esto, supongamos $(a,b)$ es accesible. Entonces existen enteros no negativos $n,m$ tal que \begin {align} n + 2m &= a \\ 2n + m &= b \end {align} Así, $$ a + b = 3n + 3m = 3(n + m) $$ que, desde $n,m$ son enteros no negativos, muestra que $a + b$ es divisible por $3$ . Resolver para $n$ y $m$ encontramos \begin {align} n &= \frac {1}{3}(2b - a) \\ m &= \frac {1}{3}(2a - b) \end {align} Desde $n,m$ son no negativo enteros, tenemos \begin {align} 0 & \leq \frac {1}{3}(2b - a) \\ 0 & \leq \frac {1}{3}(2a - b) \end {align} La primera de estas desigualdades implica $b \geq \frac{a}{2}$ y la segunda implica $b \leq 2a$ es decir $2a \geq b \geq \frac{a}{2}$ .
A la inversa, supongamos que las condiciones 1 y 2 se cumplen para algún punto $(a,b)$ . Por la condición 1, existe un número entero $k$ tal que $a + b = 3k$ . Toma $n = b - k$ y $m = a - k$ . Tenga en cuenta que $k = \frac{a + b}{3}$ . Calculamos \begin {align} n &= b - k = b - \frac {a + b}{3} = \frac {2b - a}{3} \geq \frac {2 \frac {a}{2} - a}{3} = \frac {a - a}{3} = 0 \\ m &= a - k = a - \frac {a + b}{3} = \frac {2a - b}{3} \geq \frac {2a - 2a}{3} = 0 \end {align} Así, $n$ y $m$ son enteros no negativos. Además \begin {align} (n + 2m, 2n + m) &= ((b - k) + 2(a - k) , 2(b - k) + (a - k)) = (b + 2a - 3k, 2b + a - 3k) \\ &= (b + a + a - 3k, b + b + a - 3k) = (3k + a - 3k, b + 3k - 3k) = (a,b) \end {align} Por nuestra caracterización original de los puntos accesibles, esto muestra que $(a,b)$ es un punto accesible.