前言

學(xué)基礎(chǔ)數(shù)論的時(shí)候看過證明，然而很快就忘了，最近在學(xué)習(xí)高深一點(diǎn)的數(shù)論，于是再復(fù)習(xí)一下歐拉定理和費(fèi)馬小定理。

歐拉定理

內(nèi)容

若正整數(shù) \(a,n\) 互質(zhì)，則 \(a^{\varphi(n)}\equiv1(mod \ n)\) 。

證明

設(shè) \(x_1,x_2,...,x_{\varphi(n)}\) 為 \(n\) 以內(nèi)與 \(n\) 互質(zhì)的數(shù)。

它們具有以下性質(zhì)：

1. 任意兩個(gè)數(shù)模 \(n\) 的余數(shù)一定不同。
2. 對(duì)于任意 \(ax_i\) 與 \(n\) 互質(zhì)。

以上性質(zhì)顯然，證明略。

我們將 \(x_1,x_2,...,x_{\varphi(n)}\) 定為一個(gè)集合， \(ax_1(mod \ n),ax_2(mod \ n),...,ax_{\varphi(n)}(mod \ n)\) 定為另一個(gè)集合，顯而易見，這兩個(gè)集合是相等的。

于是有

\[x_1*x_2*...*x_{\varphi{n}}=ax_1(mod \ n)*ax_2(mod \ n)*...*ax_{\varphi(n)}(mod \ n)\]

所以

\[ax_1*ax_2*...*ax_{\varphi(n)}\equiv x_1*x_2*...*x_{\varphi(n)}\]

即

\[a^{\varphi(n)}\equiv 1(mod \ n)\]

得證。

費(fèi)馬小定理

內(nèi)容

對(duì)于質(zhì)數(shù) \(p\) ，任意整數(shù) \(a\) ，均滿足 \(a^p\equiv a(mod \ p)\) 。

證明

我們可以利用歐拉定理來證。

先將式子作一個(gè)簡(jiǎn)單變換

\[a^{p-1}*a\equiv a(mod \ p)\]

即

\[a^{p-1}\equiv 1(mod \ p)\]

因?yàn)?\(p\) 為質(zhì)數(shù)，所以 \(\varphi(p)=p-1\) ，于是得到了這個(gè)式子

\[a^{\varphi(p)}\equiv 1(mod \ p)\]

根據(jù)歐拉定理，若 \(a,p\) 互質(zhì)，則式子成立；若 \(a,p\) 不互質(zhì)，因?yàn)?\(p\) 是質(zhì)數(shù)，所以 \(a\) 是 \(p\) 的倍數(shù)，顯然 \(a^p \ mod \ p=a \ mod \ p=0\) ，定理成立。

綜上，費(fèi)馬小定理成立。

歐拉定理的推論

內(nèi)容

若正整數(shù) \(a,n\) 互質(zhì)，那么對(duì)于任意正整數(shù) \(b\) ，有 \(a^b\equiv a^{b \ mod \ \varphi(n)}(mod \ n)\) 。

證明

變形得

\[a^{b \ - \ b \ mod \ \varphi(n)}*a^{b \ mod \ \varphi(n)}\equiv a^{b \ mod \ \varphi(n)}(mod \ n)\]

\[a^{b \ - \ b \ mod \ \varphi(n)}\equiv 1(mod \ n)\]

因?yàn)?\(b \ - \ b \ mod \ \varphi(n)|\varphi(n)\) ，不妨設(shè) \(b \ - \ b \ mod \ \varphi(n)=p*\varphi(n)\) ，于是有

\[(a^p)^{\varphi(n)}\equiv 1(mod \ n)\]

因?yàn)?\(a,n\) 互質(zhì)，所以 \(a^p,n\) 互質(zhì)，由歐拉定理可證，推論成立。

參考

orz

轉(zhuǎn)載于:https://www.cnblogs.com/hlw1/p/11523427.html

總結(jié)

以上是生活随笔為你收集整理的欧拉定理 费马小定理的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。