If $\theta + \phi + \psi = \pi/2$, show that $\sin^2 \theta + \sin^2 \phi + \sin^2 \psi + 2 \sin \theta \sin \phi \sin \psi = 1$.
By taking $\theta = \phi =\pi/5$ in this equation, or otherwise, show that $\sin(\pi/10)$ satisfies the equation $$8x^3 + 8x^2 − 1 = 0$$
I got stuck in the first part. I want to prove this by making connection with $\sin(\theta + \phi + \psi)=1$,but I failed.
If $\theta+\varphi+\psi=\pi/2$, then $$1=\sin^2\theta+\cos^2\theta=\sin^2\theta+\sin^2(\varphi+\psi)$$ But, since $\sin(\varphi+\psi)=\sin\varphi\cos\psi+\sin\psi\cos\varphi$, we have $$\sin^2(\varphi+\psi)=\sin^2\varphi\cos^2\psi+\sin^2\psi\cos^2\varphi+2\sin\varphi\cos\psi\sin\psi\cos\varphi. $$ Since $\sin^2\varphi\cos^2\psi=\sin^2\varphi(1-\sin^2\psi)$ and $\sin^2\psi\cos^2\varphi=\sin^2\psi(1-\sin^2\varphi)$. Replacing it on the previous equation, we get \begin{align}\sin^2(\varphi+\psi)&=\sin^2\varphi+\sin^2\psi-2\sin^2\psi\sin^2\varphi+2\sin\varphi\cos\psi\sin\psi\cos\varphi.\\ &=\sin^2\varphi+\sin^2\psi+2\sin\varphi\sin\psi(\cos\psi\cos\varphi-\sin\psi\sin\varphi)\\ &=\sin^2\varphi+\sin^2\psi+2\sin\varphi\sin\psi(\cos(\varphi+\psi))\\ &=\sin^2\varphi+\sin^2\psi+2\sin\varphi\sin\psi\sin\theta \end{align} Replacing this on the very first equation, we get what we wanted, $$ 1=\sin^2\theta+\sin^2\varphi+\sin^2\psi+2\sin\varphi\sin\psi\sin\theta$$