オイラーの4平方恒等式

\[ \left(a_{0}^{\;2}+a_{1}^{\;2}+a_{2}^{\;2}+a_{3}^{\;2}\right)\left(b_{0}^{\;2}+b_{1}^{\;2}+b_{2}^{\;2}+b_{3}^{\;2}\right)=\left(a_{0}b_{0}-a_{1}b_{1}-a_{2}b_{2}-a_{3}b_{3}\right)^{2}+\left(a_{0}b_{1}+a_{1}b_{0}+a_{2}b_{3}-a_{3}b_{2}\right)^{2}+\left(a_{0}b_{2}-a_{1}b_{3}+a_{2}b_{0}+a_{3}b_{1}\right)^{2}+\left(a_{0}b_{3}+a_{1}b_{2}-a_{2}b_{1}+a_{3}b_{0}\right)^{2} \]