Euler four-square identity

The Euler four-square identity simply states that

$(x_1^2+x_2^2+x_3^2+x_4^2)(y_1^2+y_2^2+y_3^2+y_4^2)=$ ${(x_1{y}_1+x_2{y}_2+x_3{y}_3+x_4{y}_4)}^2+{(x_1{y}_2-x_2{y}_1+x_3{y}_4-x_4{y}_3)}^2$ $+{(x_1{y}_3-x_3{y}_1+x_4{y}_2-x_2{y}_4)}^2+{(x_1{y}_4-x_4{y}_1+x_2{y}_3-x_3{y}_2)}^2$

It may be derived from the property of quaternions that the norm of the product is equal to the product of the norms.

Title	Euler four-square identity
Canonical name	EulerFoursquareIdentity
Date of creation	2013-03-22 12:35:20
Last modified on	2013-03-22 12:35:20
Owner	vitriol (148)
Last modified by	vitriol (148)
Numerical id	6
Author	vitriol (148)
Entry type	Theorem
Classification	msc 11N32
Related topic	Quaternions
Related topic	MultiplicativityOfSumsOfSquares
Related topic	LagrangesFourSquareTheorem
Related topic	SumsOfTwoSquares