Hola
Permíteme la ignorancia, pero ¿Qué es Wolfram?
Gracias!
Wolfram Alpha es una página que responde a preguntas de contenido científico; es especialemente útil para ayudar a realizar ciertos cálculos matemáticos.
Igualmente Wolfram comercializa el Mathematica que es un software específico para matemática.
Y ¿Como has deducido que x=y=z?
Por la simetría de la tres ecuaciones, es claro que si tomamos \( x=y=z \) con x solución de la ecuación:
\( \sqrt{2\sqrt{x+1}}-x(x+1)=1 \)
Fíjate que ahí no estamos demostrando que no pueda haber soluciones con \( x\neq y\neq z \). En principio no lo sabemos.
Por otra parte, ¿en qué contexto te surge el problema? ¿seguro que has copiado bien las ecuaciones?. Me llama la antención que incluso para la solución más obvia, que es la propuesta por ingmarov, nos lleva a una ecuación en una incógnita que todo apunta a que no es resoluble de manera explícita sino solo por métodos numéricos.
Saludos.