Olimpiadas de Matemáticas
Página de preparación y problemas

Solución. La función \(f\) es sobreyectiva ya que en la ecuación funcional el miembro de la derecha toma todos los valores enteros al mover \(x\) e \(y\). Por tanto, existe \(y_0\) tal que \(f(y_0)=0\) y, sustituyendo \(y=y_0\) en la ecuación, tenemos que \(y_0=0\), de donde \(f(0)=0\). Haciendo ahora \(x=0\) en la ecuación, se tiene que \(f(f(y))=-y\), lo que prueba que \(f\) es inyectiva ya que si \(f(a)=f(b)\) para ciertos \(a,b\in\mathbb{Z}\), entonces \(-a=f(f(a))=f(f(b))=-b\) y \(a=b\). Dado \(a\in\mathbb{Z}\) tal que \(f(a)=1\) y sustituyendo \(y=a\) en la ecuación original, tenemos que \(f(x+1)=f(x)-a\) para todo \(x\in\mathbb{Z}\), de donde se deduce que \(f(x)=f(0)-ax=-ax\) y, por tanto, \(a=\pm 1\) ya que si \(a\neq\pm1\), entonces \(f\) no sería inyectiva. En consecuencia, las únicas posibilidades para \(f\) son \(f(x)=x\) y \(f(x)=-x\) para todo \(x\in\mathbb{Z}\). Como ninguna de estas dos funciones cumple la ecuación del enunciado, deducimos que no existen tales funciones.

Solución. Supongamos que $A$ y $B$ son dos potencias de $2$ distintas pero con los mismos dígitos (no nulos) reordenados. Vamos a llegar a una contradicción y esto dará respuesta negativa a la pregunta del enunciado. Primero observamos dos propiedades de $A$ y $B$.

• Como los dígitos tanto de $A$ como de $B$ son no nulos, ambos números han de tener el mismo número de cifras significativas. En particular, si suponemos que $A\lt B$, entonces ocurre alguna de las siguientes tres situaciones: $B=2A$ ó $B=4A$ ó $B=8A$ (observa que ambas son potencias de $2$ y $16A$ tiene siempre más cifras que $A$).
• Como los dígitos son los mismos, tenemos que $A\equiv B$ (mód $9$).

Ahora bien, como $A$ y $B$ son primos relativos con $9$ (son potencias de $2$), tenemos que $A\equiv B=2^kA$ (mod $9$) implica $1\equiv 2^k$ (mód $9$). Tanto si $k=1$ como si $k=2$ ó $k=3$ esta congruencia es falsa, lo que nos da la contradicción buscada.

Solución. Para dar respuesta negativa con $2004$ fichas, numeremos todas las fichas consecutivamente con números del $1$ al $2004$ y hagamos tres subconjuntos: $A$ conteniendo las fichas múltiplo de $3$, $B$ las que tienen resto $1$ al dividir entre $3$ y $C$ las que tienen resto $2$ al dividir entre $3$. Supongamos también que la ficha negra está en $A$. Cada uno de estos subconjuntos tiene $668$ elementos y tienen la propiedad de que cualquier operación que hagamos afecta exactamente a una ficha de cada uno de los tres. Por tanto, cualquier operación cambia la paridad del número de fichas blancas en $A$, $B$ y $C$. Como inicialmente $A$ un número impar de piedras blancas y $B$ y $C$ tienen un número par, nunca podrá llegarse a que los tres tengan un número par. En otras palabras, $A$-$B$-$C$ tendrá una cantidad impar-par-par ó par-impar-impar de fichas blancas a lo largo de todo el proceso, y nunca podrá ser par-par-par (como correspondería a que todas las piedras fueran blancas).

El argumento anterior usa que $2004$ es múltiplo de $3$. Veamos que para $2003$ fichas sí se puede llegar a que todas sean blancas. Numeremos también las fichas consecutivamente del $1$ al $2003$ y supongamos que la negra inicial es la que ocupa la posición central $1002$. En primer lugar, elegimos la ficha $1002$ (es el único movimiento posible), convirtiendo $1001$ y $1003$ en negras y $1002$ en blanca. A continuación, hacemos la siguiente secuencia de elecciones:

• Elegimos las fichas $1003, 1004, ... 2003$ en este orden y después las fichas $1001,1000,...,1$ en este orden. De esta forma es fácil ver que llegamos a que todas son negras salvo la $1002$ que ahora es blanca, es decir, hemos invertido los colores.
• Finalmente, elegimos las fichas negras $1001$ y $1003$, de forma que ahora hay cinco fichas blancas (desde la $1000$ hasta la $1004$). Quedan $2003-5=1998$ fichas negras, que es un múltiplo de $3$. Ahora es fácil eliminar las $1998$ negras de tres en tres, resultando todas blancas, como se quería.