Difference between revisions of "Euler's Four-Square Identity"

(Identity)
(Identity)
Line 2: Line 2:
 
''The product of the sum of the four squares is itself, the sum of four squares.''  
 
''The product of the sum of the four squares is itself, the sum of four squares.''  
  
Mathematically, for any eight [[Complex numbers|complex numbers]] <math>x_1,x_2, x_3, x_4, y_1, y_2, y_3, y_4</math>, we must have <cmath>(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_1y_1+x_2y_2+x_3y_3+x_4y_4)^2</cmath> <cmath>\text{                      }+hi</cmath>
+
Mathematically, for any eight [[Complex numbers|complex numbers]] <math>x_1,x_2, x_3, x_4, y_1, y_2, y_3, y_4</math>, we must have <cmath>(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_1y_1+x_2y_2+x_3y_3+x_4y_4)^2</cmath> <cmath>+(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2</cmath> <cmath>+(x_1y_3-x_3y_1+x_4y_2-x_2y_4)^2</cmath> <cmath>+(x_1y_4-x_4y_1 + x_2y_3 - x_3y_2)^2</cmath>

Revision as of 11:41, 11 August 2018

Identity

The product of the sum of the four squares is itself, the sum of four squares.

Mathematically, for any eight complex numbers $x_1,x_2, x_3, x_4, y_1, y_2, y_3, y_4$, we must have \[(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_1y_1+x_2y_2+x_3y_3+x_4y_4)^2\] \[+(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2\] \[+(x_1y_3-x_3y_1+x_4y_2-x_2y_4)^2\] \[+(x_1y_4-x_4y_1 + x_2y_3 - x_3y_2)^2\]