1. 程式人生 > >三個重要的同餘式——威爾遜定理,費馬小定理,尤拉定理(擴充套件)

三個重要的同餘式——威爾遜定理,費馬小定理,尤拉定理(擴充套件)

威爾遜定理

(p1)!p11(modp)(pisaprime)

由於(p1)!較大,實際應用不是很廣泛

簡單的證明

這裡寫圖片描述
這裡寫圖片描述

費馬小定理

假如p是質數,且gcd(a,p)=1,那麼a(p1)1(mod p)

簡單的證明

這裡寫圖片描述
這裡寫圖片描述

尤拉定理

直到今天我才認清這三個人
這裡寫圖片描述 這裡寫圖片描述 這裡寫圖片描述
A.()B.()C.()

下面就是ta的故事了:
這裡寫圖片描述

在計算乘法逆元的時候,我們經常使用的(也是最簡單的)就是費馬小定理:

假如p是質數,且gcd(a,p)=1,那麼a(p1)1(mod p)

實際上費馬小定理是尤拉定理的特殊情況+應用

n,a為正整數,且n,a互質,則aϕ(n)1(mod p)

由此,我們在計算冪的時候(底數與模數互質)則有

ab=abmodϕ(p)(modp)(gcd(a,p)=1)

簡單的證明

這裡寫圖片描述
這裡寫圖片描述

然而當底數與模數不互質的時候怎麼辦呢
我們需要尤拉定理的擴充套件包:
這裡寫圖片描述

方便起見,我們可以合併一下:
這裡寫圖片描述

注意:擴充套件尤拉定理隻影響取模方式,並不影響模數

簡單的證明

  • a0,1,...,b次冪模m的序列中,前r個數(a0ar1)互不相同,從第r個數開始,每s個數就迴圈一次
    證明:由鴿巢定理易證
    我們把r稱為a冪次模m的迴圈起始點,s稱為迴圈長度。(注意:r可以為0)
    用公式表述為:arar+s(modm)

  • a為素數的情況