Determinar todas las ternas de números reales $(x,y,z)$ que cumplen el siguiente sistema de ecuaciones:
\[\left\{\begin{array}{l}
xyz=8,\\
x^2y+y^2z+z^2x=73,\\
x(y-z)^2+y(z-x)^2+z(x-y)^2=98.
\end{array}\right\}\]
Solución. Desarrollando los cuadrados en la tercera ecuación y usando las dos primeras se llega fácilmente a que
\[xy^2+yz^2+zx^2=73.\]
Observemos que esta ecuación es muy parecida a la segunda del enunciado pero los cuadrados están en el otro factor. Restando la segunda ecuación del enunciado y esta que hemos obtenido, llegamos a que
\[0=73-73=xy^2+yz^2+zx^2-x^2y-y^2z-z^2x=(y-x)(z-y)(x-z).\]
Por lo tanto, dos de las incógnitas deben ser iguales, pongamos que $y=z$ sin perder generalidad. Entonces, las tres ecuaciones del enunciado se transforman en las dos siguientes:
\[\left.\begin{array}{r}xy^2=8\phantom{3}\\x^2y+y^3+xy^2=73\end{array}\right\}\]
(la tercera ecuación ya no nos hace falta porque es redundante). Esto nos dice que $x^2y+y^3=65$ y, multiplicando por $y^3$, tenemos que $64+y^6=(xy^2)^2+y^6=65y^3$. En consecuencia, $y$ debe ser solución de la ecuación bicúbica $y^6-65y+64=0$, que puede factorizarse como $(y^3-1)(y^3-64)=0$, lo que nos da las soluciones $y=1$ e $y=4$. Como $xy^2=8$ y $z=y$, tenemos que $(x,y,z)=(8,1,1)$ o bien $(x,y,z)=(\tfrac{1}{2},4,4)$. Ahora bien, cualquier permutación de las variables también da una solución (hemos roto la simetría al suponer que $y=z$), luego tenemos seis soluciones para $(x,y,z)$:
\[(8,1,1),\quad (1,8,1),\quad (1,1,8),\quad (\tfrac{1}{2},4,4),\quad (4,\tfrac{1}{2},4),\quad (4,4,\tfrac{1}{2}).\]