费马小定理:对于任意一个整数a,和一个素数 p , p ∤ a p,p\not |a p,p∣a,都有 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv 1\pmod{p} ap−1≡1(modp)
证明:
原命题等价于命题A
a
p
≡
a
(
m
o
d
p
)
,
a
m
o
d
p
≠
0
a^p\equiv a\pmod p,a\mod p\not=0
ap≡a(modp),amodp=0
注意:这里
a
m
o
d
p
≠
0
a\mod p\not=0
amodp=0仅仅是为了等式两边可以除以a(即a在mod p意义下有逆元)。
我们可以采用数学归纳法。
对于a=1的情况,我们有命题A成立。
我们假设
a
p
≡
a
(
m
o
d
p
)
,
a
m
o
d
p
≠
0
a^p\equiv a\pmod p,a\mod p\not=0
ap≡a(modp),amodp=0 已经成立。
我们推出
(
a
+
1
)
p
≡
a
+
1
(
m
o
d
p
)
,
(
a
+
1
)
m
o
d
p
≠
0
(a+1)^p\equiv a+1\pmod p,(a+1)\mod p\not=0
(a+1)p≡a+1(modp),(a+1)modp=0
把
(
a
+
1
)
p
(a+1)^p
(a+1)p 展开,得
(
a
+
1
)
p
=
∑
i
=
0
p
a
i
(
p
i
)
(a+1)^p=\sum_{i=0}^p a^i\binom{p}{i}
(a+1)p=∑i=0pai(ip)
我们知道
(
p
i
)
m
o
d
p
=
0
,
i
≠
0
,
且
i
≠
p
\binom{p}{i}\mod p=0,i\not=0,且 i\not=p
(ip)modp=0,i=0,且i=p
因此
(
a
+
1
)
p
≡
a
0
+
a
p
≡
a
+
1
(
m
o
d
p
)
(a+1)^p\equiv a^0+a^p\equiv a+1\pmod p
(a+1)p≡a0+ap≡a+1(modp)
对于a-1也可以同样证明。
得证