定理内容
若 gcd ( a , m ) = 1 \gcd(a,m)=1 gcd(a,m)=1,则 a φ ( m ) ≡ 1 ( m o d p ) a^{\varphi(m)}\equiv 1\pmod p aφ(m)≡1(modp)。
定理证明
构造一个模 m m m 意义下的简化剩余系: { r 1 , r 2 , … , r φ ( m ) } \{r_1,r_2,\dots,r_{\varphi(m)}\} {r1,r2,…,rφ(m)}。
因为 gcd ( a , m ) = 1 \gcd(a,m)=1 gcd(a,m)=1,所以 { a r 1 , a r 2 , … , a r φ ( m ) } \{ar_1,ar_2,\dots,ar_{\varphi(m)}\} {ar1,ar2,…,arφ(m)} 仍是一个模 m m m 意义下的简化剩余系。
∴
r
1
×
r
2
×
⋯
×
r
φ
(
m
)
≡
a
r
1
×
a
r
2
×
⋯
×
a
r
φ
(
m
)
(
m
o
d
m
)
∏
i
=
1
φ
(
m
)
r
i
≡
a
φ
(
m
)
×
∏
i
=
1
φ
(
m
)
r
i
(
m
o
d
m
)
∵
∀
i
,
gcd
(
r
i
,
m
)
=
1
∴
a
φ
(
m
)
≡
1
(
m
o
d
m
)
\therefore r_1\times r_2\times\cdots\times r_{\varphi(m)}\equiv ar_1\times ar_2\times\cdots\times ar_{\varphi(m)}\pmod m\\ \prod\limits_{i=1}^{\varphi(m)}r_i\equiv a^{\varphi(m)}\times\prod\limits_{i=1}^{\varphi(m)}r_i\pmod m\\ \because \forall i,\gcd(r_i,m)=1\\ \therefore a^{\varphi(m)}\equiv 1\pmod m
∴r1×r2×⋯×rφ(m)≡ar1×ar2×⋯×arφ(m)(modm)i=1∏φ(m)ri≡aφ(m)×i=1∏φ(m)ri(modm)∵∀i,gcd(ri,m)=1∴aφ(m)≡1(modm)
证毕。
容易发现当 m ∈ P m\in\mathbb{P} m∈P 时, φ ( m ) = m − 1 \varphi(m)=m-1 φ(m)=m−1,上式就变成了我们熟悉的 费马小定理。