OME Local |
OME Nacional |
OIM |
OME Andalucía |
Retos UJA |
Supongamos ahora que ningún dígito es cero. No puede ser $b\geq 2$ ya que en tal caso se tendría que $abcd\geq bcd\geq 4d\geq a+b+c+d$ y la igualdad no se alcanza pues tendría que ser $a=1$ (en la primera desigualdad) y $a=b=c=d$ (en la última), lo cual es incompatible con $b\geq 2$. Deducimos así que $a=b=1$, lo que nos deja con la desigualdad $2+c+d\geq cd$, que se escribe de forma equivalente como $(c-1)(d-1)\leq 3$.
Nota: Se define $f^2(x)=f(f(x))$, $f^3(x)=f(f(f(x)))$ y, en general, $f^n(x) = f(f^{n-1}(x))$.
Nota. El resultado es cierto cambiando $2000$ por cualquier número par. Si lo cambiamos por un número impar, entonces la única solución es la identidad $f(x)=x$.
Hemos demostrado así que la única solución es $k=0$.