Difference between revisions of "Euler's Four-Square Identity"
Lilcritters (talk | contribs) (→Identity) |
Lilcritters (talk | contribs) (→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>+(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> | + | 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)</cmath> <cmath>=(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 12: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 
, 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)\]](http://latex.artofproblemsolving.com/6/b/6/6b6fc940cccd9e26036d3f56a9b7842087b693e3.png)
![\[=(x_1y_1+x_2y_2+x_3y_3+x_4y_4)^2\]](http://latex.artofproblemsolving.com/7/d/3/7d3e8fc99dee75a54c48f5ab4044d84c7bdf9180.png)
![\[+(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2\]](http://latex.artofproblemsolving.com/d/3/f/d3fe8021c88eaea0a2d2df6f02d536fea296da26.png)
![\[+(x_1y_3-x_3y_1+x_4y_2-x_2y_4)^2\]](http://latex.artofproblemsolving.com/e/4/8/e48a7385a25ce27a5c9bf7c8f2c455ea15429307.png)
![\[+(x_1y_4-x_4y_1 + x_2y_3 - x_3y_2)^2\]](http://latex.artofproblemsolving.com/d/d/f/ddf0a18405370434fc4e7534a82e428881890e2f.png)
