我真的很逊,所以有错也说不定。
这篇很简,所以看不懂也说不定。
总觉得小满哥讲过这个证明,虽然身为老年健忘选手我大概是不记得什么了。。
欧拉定理:
a
φ
(
n
)
≡
1
(
m
o
d
n
)
a^{\varphi(n)} \equiv 1 \ (mod \ n)
aφ(n)≡1 (mod n) ,其中
(
a
,
n
)
=
1
(a,n) = 1
(a,n)=1
费马小定理:
a
p
−
1
≡
1
(
m
o
d
p
)
a^{p-1} \equiv 1 \ (mod\ p)
ap−1≡1 (mod p) ,其中
(
a
,
p
)
=
1
(a,p) = 1
(a,p)=1 ,容易发现是欧拉定理的一种特殊情况。
欧拉定理证明:(同余式默认模
n
n
n)
设
X
1
,
X
2
,
.
.
.
,
X
φ
(
n
)
X_1,X_2,...,X_{\varphi(n)}
X1,X2,...,Xφ(n) 是
1
1
1 到
n
n
n 里与
n
n
n 互质的数,容易发现它们模
n
n
n 两两不同,且余数都与
n
n
n 互质(废话,因为模了之后还是原数嘛)
然后我们发现 a X 1 , a X 2 , . . . , a X φ ( n ) aX_1,aX_2,...,aX_{\varphi(n)} aX1,aX2,...,aXφ(n) 好像也有如上两个性质。。
模 n n n 两两不同:反证,若 a X i ≡ a X j ( m o d n ) aX_i \equiv aX_j \ (mod\ n) aXi≡aXj (mod n) ,则 a X i − a X j ≡ 0 aX_i-aX_j \equiv 0 aXi−aXj≡0 ,则 a ( X i − X j ) ≡ 0 a(X_i-X_j) \equiv 0 a(Xi−Xj)≡0 ,由于 a a a 与 n n n 互质 , X i − X j X_i-X_j Xi−Xj 不可能是 n n n 的倍数,所以模 n n n 一定不为 0 0 0
余数都与 n n n 互质: a a a 与 n n n 互质, X i X_i Xi 与 n n n 互质,所以 a X i aX_i aXi 也 与 n n n 互质 (这很感性理解orz)
有了这两个性质,我们就可以发现 a X 1 , a X 2 , . . . , a X φ ( n ) aX_1,aX_2,...,aX_{\varphi(n)} aX1,aX2,...,aXφ(n) 模 n n n 后一定是 φ ( n ) \varphi(n) φ(n) 个不同的与 n n n 互质的数,那不就肯定是 X 1 , X 2 , . . . , X φ ( n ) X_1,X_2,...,X_{\varphi(n)} X1,X2,...,Xφ(n) 这个集合。
所以得到 X 1 ⋅ X 2 . . . X φ ( n ) ≡ a X 1 ⋅ a X 2 . . . a X φ ( n ) ( m o d n ) X_1 \cdot X_2 ...X_{\varphi(n)} \equiv aX_1 \cdot aX_2 ...aX_{\varphi(n)}\ (mod\ n) X1⋅X2...Xφ(n)≡aX1⋅aX2...aXφ(n) (mod n)
⇒ 1 ≡ a φ ( n ) ( m o d n ) \Rightarrow 1 \equiv a^{\varphi(n)}\ (mod\ n) ⇒1≡aφ(n) (mod n)
Q E D . QED. QED.