|
|
| Line 1: |
Line 1: |
| | ==Identity== | | ==Identity== |
| | The '''Four-Square Identity''', credited to [[Leonhard Euler]], states that 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> In other words, ''the product of the sums of four squares is itself the sum of four squares''. | | The '''Four-Square Identity''', credited to [[Leonhard Euler]], states that 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> In other words, ''the product of the sums of four squares is itself the sum of four squares''. |
| − |
| |
| − | ==Proof==
| |
| − | First, let us expand the left-hand side of the identity: <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_1^2 \cdot (y_1^2+y_2^2+y_3^2+y_4^2) + x_2^2 \cdot (y_1^2+y_2^2+y_3^2+y_4^2) + x_3^2 \cdot (y_1^2+y_2^2+y_3^2+y_4^2) + x_4^2 \cdot (y_1^2+y_2^2+y_3^2+y_4^2)</cmath> <cmath>= x_1^2 y_1^2 + x_1^2 y_2^2 + x_1^2 y_3^2 + x_1^2 y_4^2 + x_2^2 y_1^2 + x_2^2 y_2^2 + x_2^2 y_3^2 + x_2^2 y_4^2 + x_3^2 y_1^2 + x_3^2 y_2^2 + x_3^2 y_3^2 + x_3^2 y_4^2 + x_4^2 y_1^2 + x_4^2 y_2^2 + x_4^2 y_3^2 + x_4^2 y_4^2.</cmath> Thus, we 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_1^2 y_1^2 + x_1^2 y_2^2 + x_1^2 y_3^2 + x_1^2 y_4^2</cmath> <cmath>+ x_2^2 y_1^2 + x_2^2 y_2^2 + x_2^2 y_3^2 + x_2^2 y_4^2</cmath> <cmath>+ x_3^2 y_1^2 + x_3^2 y_2^2 + x_3^2 y_3^2 + x_3^2 y_4^2</cmath> <cmath>+ x_4^2 y_1^2 + x_4^2 y_2^2 + x_4^2 y_3^2 + x_4^2 y_4^2. \text{ (1)}</cmath>
| |
| − |
| |
| − | Now, let us expand the first square of the right-hand side of the identity, <math>(x_1y_1+x_2y_2+x_3y_3+x_4y_4)^2</math>: <cmath>(x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4)^2 = (x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4)(x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4)</cmath> <cmath>= x_1y_1 (x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4) + x_2 y_2 (x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4) + x_3 y_3 (x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4) + x_4 y_4 (x_1 y_1 + x_2 y_2 + x_3 y_3 + x_4 y_4)</cmath> <cmath>= x_1^2 y_1^2 + x_1x_2y_1y_2 + x_1x_3y_1y_3 + x_1x_4y_1y_4 + x_1x_2y_1y_2 + x_2^2 y_2^2 + x_2x_3y_2y_3 + x_2x_4y_2y_4 + x_1x_3y_1y_3 + x_2x_3y_2y_3 + x_3^2 y_3^2 + x_3x_4y_3y_4 + x_1x_4y_1y_4 + x_2x_4y_2y_4 + x_3x_4y_3y_4 + x_4^2 y_4^2</cmath> <cmath>= (x_1^2 y_1^2 + x_2^2 y_2^2 + x_3^2 y_3^2 + x_4^2 y_4^2) + (2x_1x_2y_1y_2 + 2x_1x_3y_1y_3 + 2x_1x_4y_1y_4 + 2x_2x_3y_2y_3 + 2x_2x_4y_2y_4 + 2x_3x_4y_3y_4).</cmath> Therefore, we now also have <cmath>(x_1y_1+x_2y_2+x_3y_3+x_4y_4)^2 = (x_1^2 y_1^2 + x_2^2 y_2^2 + x_3^2 y_3^2 + x_4^2 y_4^2) + (2x_1x_2y_1y_2 + 2x_1x_3y_1y_3 + 2x_1x_4y_1y_4 + 2x_2x_3y_2y_3 + 2x_2x_4y_2y_4 + 2x_3x_4y_3y_4). \text{ (2)}</cmath>
| |
| − |
| |
| − | Next, let us expand the second square of the right-hand side of the identity, <math>(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2</math>: <cmath>(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2 = (x_1y_2-x_2y_1+x_3y_4-x_4y_3)(x_1y_2-x_2y_1+x_3y_4-x_4y_3)</cmath> <cmath>= x_1y_2 \cdot (x_1y_2-x_2y_1+x_3y_4-x_4y_3) - x_2y_1 \cdot (x_1y_2-x_2y_1+x_3y_4-x_4y_3) + x_3y_4 \cdot (x_1y_2-x_2y_1+x_3y_4-x_4y_3) - x_4y_3 \cdot (x_1y_2-x_2y_1+x_3y_4-x_4y_3)</cmath> <cmath> = x_1^2 y_2^2 - x_1x_2y_1y_2 + x_1x_3y_2y_4 - x_1x_4y_2y_3 - x_1x_2y_1y_2 + x_2^2y_1^2 - x_2x_3y_1y_4 + x_2x_4y_1y_3 + x_1x_3y_2y_4 - x_2x_3y_1y_4 + x_3^2y_4^2 - x_3x_4y_3y_4 - x_1x_4y_2y_3 + x_2x_4y_1y_3 - x_3x_4y_3y_4 + x_4^2 y_3^2</cmath> <cmath>= (x_1^2 y_2^2 + x_2^2 y_1^2 + x_3^2 y_4^2 + x_4^2 y_3^2) + (-2x_1x_2y_1y_2 + 2x_1x_3y_2y_4 - 2x_1x_4y_2y_3 - 2x_2x_3y_1y_4 + 2x_2x_4y_1y_3 - 2x_3x_4y_3y_4).</cmath> Hence, we now also see that <cmath>(x_1y_2-x_2y_1+x_3y_4-x_4y_3)^2 = (x_1^2 y_2^2 + x_2^2 y_1^2 + x_3^2 y_4^2 + x_4^2 y_3^2) + (-2x_1x_2y_1y_2 + 2x_1x_3y_2y_4 - 2x_1x_4y_2y_3 - 2x_2x_3y_1y_4 + 2x_2x_4y_1y_3 - 2x_3x_4y_3y_4). \text{ (3)}</cmath>
| |
Revision as of 20:17, 5 May 2019
, 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/2/6/8/268b1ee217541ac04dc2ef23023e64b2659a20c8.png)
In other words, the product of the sums of four squares is itself the sum of four squares.
