费马平方和定理:奇质数能表示为两个平方数之和的充分必要条件是该质数被4除余1
1.如果两个整数都能表示为两个平方数之和的形式,则他们的积也能表示为两个平方数之和的形式。
(
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
−
2
a
b
c
d
)
+
(
a
2
d
2
+
b
2
c
2
+
2
a
b
c
d
)
=
(
a
c
−
b
d
)
2
+
(
a
d
+
b
c
)
2
\begin{aligned}(a^2+b^2)(c^2+d^2)&=a^2c^2+a^2d^2+b^2c^2+b^2d^2\\ &=(a^2c^2+b^2d^2-2abcd)+(a^2d^2+b^2c^2+2abcd)\\ &=(ac-bd)^2+(ad+bc)^2 \end{aligned}
(a2+b2)(c2+d2)=a2c2+a2d2+b2c2+b2d2=(a2c2+b2d2−2abcd)+(a2d2+b2c2+2abcd)=(ac−bd)2+(ad+bc)2
2.如果一个能表示为两个平方数之和的整数,能被另一个能表示为两个平方数之和的素数整除,则他们的商也能表示为两个平方数之和。
即
a
2
+
b
2
p
2
+
q
2
=
(
q
p
+
b
q
p
2
+
q
2
)
2
+
(
a
q
−
b
p
p
2
+
q
2
)
2
\cfrac{a^2+b^2}{p^2+q^2}=(\cfrac{qp+bq}{p^2+q^2})^2+(\cfrac{aq-bp}{p^2+q^2})^2
p2+q2a2+b2=(p2+q2qp+bq)2+(p2+q2aq−bp)2
3.如果a、b互质,则
a
2
+
b
2
a^2+b^2
a2+b2的所有因子都可以表示为两个平方数的和
4.任何形如
4
n
+
1
4n+1
4n+1的素数都能表示为两个平方数之和的形式
拉格朗日四平方和定理
每个正整数都能表示为四个整数的平方和形式。
证明还是看百度百科吧。。。
欧拉恒等式
(
a
2
+
b
2
+
c
2
+
d
2
)
(
x
2
+
y
2
+
z
2
+
w
2
)
=
(
a
x
+
b
y
+
c
z
+
d
w
)
2
+
(
a
y
−
b
x
+
c
w
−
d
z
)
2
+
(
a
z
−
b
w
−
c
x
+
d
y
)
2
+
(
a
w
+
b
z
−
c
y
−
d
x
)
2
(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
(a2+b2+c2+d2)(x2+y2+z2+w2)=(ax+by+cz+dw)2+(ay−bx+cw−dz)2+(az−bw−cx+dy)2+(aw+bz−cy−dx)2