本文参考自 O i W i k i OiWiki OiWiki ，欧拉定理 & 费马小定理
费马小定理
内容
若 p p p 为素数， g c d ( a , p ) = 1 gcd(a,p)=1 gcd(a,p)=1，则 a p − 1 ≡ 1 ( m o d p ) a^{p-1}\equiv1\pmod{p} ap−1≡1(modp)。
证明
思路
考虑集合 A A A 为模 p p p 意义下的最小完整剩余系，即 A = { 1 , 2 , . . . , p − 1 } A=\{1,2,...,p-1\} A={1,2,...,p−1}。而集合 B B B 为 { 1 a , 2 a , . . . , ( p − 1 ) a } \{1a,2a,...,(p-1)a\} {1a,2a,...,(p−1)a}。我们将证明集合 B B B 在模 p p p 意义下与集合 A A A 是一一对应关系，即集合 B B B 也是模 p p p 意义下的完整剩余系。
由此，我们可以应用公式：
1
a
⋅
2
a
⋅
.
.
.
⋅
(
p
−
1
)
a
≡
1
⋅
2
⋅
.
.
.
⋅
(
p
−
1
)
(
m
o
d
p
)
⇒
a
p
−
1
⋅
1
⋅
2
⋅
.
.
.
⋅
(
p
−
1
)
≡
1
⋅
2
⋅
.
.
.
⋅
(
p
−
1
)
(
m
o
d
p
)
⇒
a
p
−
1
≡
1
(
m
o
d
p
)
1a\cdot2a\cdot...\cdot(p-1)a \equiv1\cdot2\cdot...\cdot(p-1)\pmod{p}\\ \Rightarrow a^{p-1}\cdot1\cdot2\cdot...\cdot(p-1) \equiv1\cdot2\cdot...\cdot(p-1)\pmod{p}\\ \Rightarrow a^{p-1} \equiv 1 \pmod{p}
1a⋅2a⋅...⋅(p−1)a≡1⋅2⋅...⋅(p−1)(modp)⇒ap−1⋅1⋅2⋅...⋅(p−1)≡1⋅2⋅...⋅(p−1)(modp)⇒ap−1≡1(modp)
即证明得到费马小定理。
主要证明过程
下面我们证明集合 A , B A,B A,B 是一一对应关系。为此，我们可以证明 ∀ i ≠ j , i a ≢ j a ( m o d p ) \forall i\neq j,ia\not\equiv ja \pmod{p} ∀i=j,ia≡ja(modp)。
应用反证法，假设 ∃ i ≠ j , i a ≡ j a ( m o d p ) \exist i\neq j,ia\equiv ja \pmod{p} ∃i=j,ia≡ja(modp)，同时不妨设 i > j i > j i>j，那么我们可以得到 ( i − j ) a ∣ p (i-j)a \mid p (i−j)a∣p。而由题设我们可以得到 g c d ( a , p ) = 1 gcd(a,p)=1 gcd(a,p)=1，且 0 < ( i − j ) < p 0<(i-j)<p 0<(i−j)<p， p p p 是质数，所以 g c d ( i − j , p ) = 1 gcd(i-j,p)=1 gcd(i−j,p)=1。所以 ( i − j ) a ∤ p (i-j)a\nmid p (i−j)a∤p，矛盾。
于是我们证明了 ∀ i ≠ j , i a ≢ j a ( m o d p ) \forall i\neq j,ia\not\equiv ja \pmod{p} ∀i=j,ia≡ja(modp)，即证明了集合 A , B A,B A,B 的一一对应关系。由此根据先前的推到，我们证明得到了费马小定理。
欧拉定理
内容
欧拉定理可以视为费马小定理的推广形式，定理内容如下：
若
g
c
d
(
a
,
m
)
=
1
，
则
a
ϕ
(
m
)
≡
1
(
m
o
d
m
)
若 gcd(a,m)=1，则a^{\phi(m)}\equiv 1\pmod{m}
若gcd(a,m)=1，则aϕ(m)≡1(modm)
当
m
m
m 为质数时，
ϕ
(
m
)
=
m
−
1
\phi(m)=m-1
ϕ(m)=m−1，我们即得到了费马小定理。
证明
思路
欧拉定理具体的证明思路与费马小定理相仿，我们利用模 m m m 意义下的简化剩余系 r 1 , r 2 , . . . , r ϕ ( m ) r_1,r_2,...,r_{\phi(m)} r1,r2,...,rϕ(m) ，我们对其每一个元素乘 a a a ，得到 a r 1 , a r 2 , . . . , a r ϕ ( m ) ar_1,ar_2,...,ar_{\phi(m)} ar1,ar2,...,arϕ(m)，我们将证明这样操作得到的集合仍然是模 m m m 意义下的简化剩余系。按照对费马小定理相同的处理方式，我们可以证明得到欧拉定理。
主要证明过程
我们将证明以下两点：
-
a
r
i
ar_i
ari 与
m
m
m 互质
∵ g c d ( a , m ) = 1 ， g c d ( r i , m ) = 1 \because gcd(a,m)=1，gcd(r_i,m)=1 ∵gcd(a,m)=1，gcd(ri,m)=1
∴ g c d ( a r i , m ) = 1 \therefore gcd(ar_i,m)=1 ∴gcd(ari,m)=1 -
∀
i
≠
j
，
a
r
i
≢
a
r
j
(
m
o
d
m
)
\forall i\neq j，ar_i\not\equiv ar_j \pmod{m}
∀i=j，ari≡arj(modm)
应用反证法，与费马小定理证明相仿，故在此略去。
∴ a r 1 , a r 2 , . . . , a r ϕ ( m ) \therefore ar_1,ar_2,...,ar_{\phi(m)} ∴ar1,ar2,...,arϕ(m) 也是模 m m m 意义下的一个简化剩余系。
∴ a r 1 ⋅ a r 2 ⋅ . . . ⋅ a r ϕ ( m ) ≡ r 1 ⋅ r 2 ⋅ . . . ⋅ r ϕ ( m ) ( m o d m ) \therefore ar_1\cdot ar_2\cdot...\cdot ar_{\phi(m)} \equiv r_1 \cdot r_2 \cdot...\cdot r_{\phi(m)} \pmod{m} ∴ar1⋅ar2⋅...⋅arϕ(m)≡r1⋅r2⋅...⋅rϕ(m)(modm)
即得到 a ϕ ( m ) ≡ 1 ( m o d m ) a^{\phi(m)}\equiv 1 \pmod{m} aϕ(m)≡1(modm)
拓展欧拉定理
内容
拓展欧拉定理时在比赛刷题中常用的公式，可以很方便的讲一个看似根本不可能计算的幂次方（甚至幂套幂套幂……）逐步通过取模简化至可以计算的形式。与快速幂一次食用效果更佳。
a
b
≡
{
a
b
m
o
d
ϕ
(
p
)
,
g
c
d
(
a
,
p
)
=
1
a
b
,
g
c
d
(
a
,
p
)
≠
1
,
b
<
ϕ
(
p
)
a
b
m
o
d
ϕ
(
p
)
+
ϕ
(
p
)
,
g
c
d
(
a
,
p
)
≠
1
,
b
≥
ϕ
(
p
)
(
m
o
d
p
)
a^{b} \equiv\left\{\begin{array}{ll} a^{b \bmod \phi(p)}, & g c d(a, p)=1 \\ a^{b}, & g c d(a, p) \neq 1, b<\phi(p)\\ a^{b \bmod \phi(p)+\phi(p)}, & gcd(a,p)\neq1,b\geq \phi(p) \end{array} \right.\pmod{p}
ab≡⎩⎨⎧abmodϕ(p),ab,abmodϕ(p)+ϕ(p),gcd(a,p)=1gcd(a,p)=1,b<ϕ(p)gcd(a,p)=1,b≥ϕ(p)(modp)
证明
不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会不会。
1万+
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
