오일러의 네 제곱수 항등식 (Euler's Four-Square Identity) 은 다음과 같습니다.
(a12+a22+a32+a42)(b12+b22+b32+b42)=(a1b1−a2b2−a3b3−a4b4)2+(a1b2+a2b1+a3b4−a4b3)2+(a1b3−a2b4+a3b1+a4b2)2+(a1b4+a2b3−a3b2+a4b1)2라그랑주의 네 제곱수 정리 를 증명할 때 보조정리로 사용됩니다.
항 별로 일일이 풀어서 비교... 좌변은 풀면 16개의 항이 나올 것