OME Local |
OME Andaluza |
OME Nacional |
OIM |
IMO |
EGMO |
USAMO |
ASU |
OMCC |
Retos UJA |
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.