Hey moo,
Are you talking about this: Euler's four-square identity - Wikipedia, the free encyclopedia
Hi,
I've seen this problem somewhere, but have no idea on how to solve it ^^'
And it looks interesting, so here it is :
Let a and b be two integers that are sums of 4 squared integers (a=m²+n²+p²+q²)
Show that ab is also the sum of 4 squared integers.
(Brute force can lead you to the result, but it has no interest ~)
Hey moo,
Are you talking about this: Euler's four-square identity - Wikipedia, the free encyclopedia
Oh thanks, I knew nothing of it !
This proof doesn't look beautiful
So I guess I'll have to read some things about quaternions for a more beautiful proof, but it's a scary field (I can see that it has some non commutative algebra in it... lol)
Hello, Moo princess.
Here is a related idea to Hamilton's quaternions. The complex numbers provide a way of getting an identity for the sum of two squares. Since we get: .
In fact, if you want to go crazy you may use the octonions to get an identity for a sum of eight squares and use the sedenions to get an identity for the sum of sixteen squares.
I say "may" because I never tried it, I have a feeling it may work.
----
Here is a historical reference to this ugly identity (it is only ugly if you not familar with quaternions). The mathematician Euler was trying to prove the four-square theorem. He never suceeded but he did develop the four-square identity (the one you have one) using nothing by brute algebraic manipulations (at the time the quaternions did not exist). In the future Lagrange took over and was able to finish up and proof the four-square theorem. Lagrange gave much credit to Euler because he said it was only because of Euler's identity that he was able to finish the proof.