OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
Nota. Obviamente podría haberse sustituido $1999$ por cualquier otro número impar.
Supongamos que $\{a_n\}$ es una sucesión cumpliendo el enunciado. El número $1$ se tiene que expresar como suma de términos de $\{a_n\}$, luego no queda otra posibilidad que $a_1=1$ (es estrictamente creciente). Probemos ahora por inducción que $a_n=2^{n-1}$ para lo que supondremos que $a_k=2^{k-1}$ para $0\leq k\lt n$. Todo número menor que $2^{n-1}$ se puede expresar como suma de términos distintos de $\{a_1,\ldots,a_{n-1}\}$ y $a_1+a_2+\ldots+a_{n-1}=2^{n-1}-1$ es el mayor número así construído luego necesariamente $a_n=2^{n-1}$. En caso contrario, $2^{n-1}$ no podría expresarse como suma de términos distintos de la sucesión y hemos demostrado que esta es la única solución.
En efecto, si $y\gt -1$, en la primera ecuación tendríamos que $x\gt z$ y en la tercera que $x\lt z$, lo que nos lleva a una contradicción. Si ocurriera que $y\lt -1$, tendríamos que de la primera ecuación $x-z=-1-y\gt 0$ y, de la tercera, que $-x^3+z^3=-1-y^3\gt 0$, luego volvemos a caer en la misma contradicción. Deducimos entonces que $y=-1$.
Sustituyendo $y=-1$, tenemos que $x=z$ en la primera ecuación y $x^2+z^2=2$ en la segunda, luego $x=z=\pm 1$, de donde obtenemos las soluciones propuestas anteriormente. Observemos que ambas cumplen la tercera ecuación luego son las únicas soluciones.