Quiero mostrar una ligera variación de Aretino bueno la prueba de que no presupone el conocimiento de la identidad que queremos demostrar, sino que se deriva de la ecuación dada. Necesitamos la identidad de $\cos(\sin^{-1}(a)) = \sqrt{1-a^2}$ así como
$$ \sin(a+b+c) = \sum\limits_{cyc} \Big(\sin(a)\cos(b)\cos(c)\Big)-\sin(a)\sin(b)\sin(c) $$
Así, mediante la aplicación de $\sin$ a ambos lados de $\frac \pi2 = \sin^{-1} (x) + \sin^{-1} (y)+ \sin^{-1} (z)$ deducimos
$$ 1 = \sum_{cyc} \Big( x\sqrt{1-y^2}\sqrt{1-z^2}\Big)- xyz $$
Por otro lado, si resolvemos la ecuación original para cualquiera de las variables, digamos, $x$ obtenemos:
$$ x = \sqrt{1-y^2}\sqrt{1-z^2} - yz $$
Que podemos conectar en la anterior ecuación para eliminar las raíces:
$$ 1 = \sum_{cyc} \Big( x(x+yz)\Big)- xyz = x^2+y^2+z^2 +2xyz$$