费马平方和定理、拉格朗日四平方和定理和欧拉恒等式

费马平方和定理：奇质数能表示为两个平方数之和的充分必要条件是该质数被４除余１
1.如果两个整数都能表示为两个平方数之和的形式，则他们的积也能表示为两个平方数之和的形式。
$$\begin{array}{rl}(a^2+b^2)(c^2+d^2)& =a^2{c}^2+a^2{d}^2+b^2{c}^2+b^2{d}^2\\ & =(a^2{c}^2+b^2{d}^2-2abcd)+(a^2{d}^2+b^2{c}^2+2abcd)\\ & =(ac-bd{)}^2+(ad+bc{)}^2\end{array}$$
2.如果一个能表示为两个平方数之和的整数，能被另一个能表示为两个平方数之和的素数整除，则他们的商也能表示为两个平方数之和。
即$\frac{a^2+b^2}{p^2+q^2}=(\frac{qp+bq}{p^2+q^2}{)}^2+(\frac{aq-bp}{p^2+q^2}{)}^2$
3.如果a、b互质，则$a^2+b^2$的所有因子都可以表示为两个平方数的和
4.任何形如$4n+1$的素数都能表示为两个平方数之和的形式

拉格朗日四平方和定理
每个正整数都能表示为四个整数的平方和形式。
证明还是看百度百科吧。。。

欧拉恒等式
$(a^2+b^2+c^2+d^2)(x^2+y^2+z^2+w^2)=(ax+by+cz+dw{)}^2+(ay-bx+cw-dz{)}^2+(az-bw-cx+dy{)}^2+(aw+bz-cy-dx{)}^2$