费马小定理&欧拉定理&扩展欧拉定理(欧拉降幂)

费马小定理

定理:

p p p为质数且 p p p a a a互质那么就有 a p − 1 ≡ 1 ( m o d    p ) a^{p - 1}\equiv1(\mod p) ap11(modp)

证明:

a p = ( a − 1 + 1 ) p a^p = (a - 1 + 1)^p ap=(a1+1)p
然后二项式展开
a p = ( a − 1 ) p + C p 1 ( a − 1 ) p − 1 + . . . + 1 a^p = (a - 1)^p + C_{p}^1(a - 1)^{p -1} + ...+1 ap=(a1)p+Cp1(a1)p1+...+1
由于 C p i = p ! i ! ( p − i ) ! , ( i > 1 且 i < p ) C^i_p= \frac{p!}{i!(p - i)!},(i>1 且i < p) Cpi=i!(pi)!p!,(i>1i<p)
所以 p ∣ C p i p|C_p^i pCpi

  1. a p ≡ ( a − 1 ) p + 1 ( m o d    p ) a^p\equiv(a - 1)^p + 1(\mod p) ap(a1)p+1(modp)

把1式的 ( a − 1 ) p (a - 1) ^ p (a1)p再当做 a p a^p ap进行重复操作。最终的得到:
a p ≡ a ( m o d    p ) a^p \equiv a (\mod p) apa(modp)
也就是 a ( a p − 1 − 1 ) ≡ 0 ( m o d    p ) a(a^{p - 1} - 1) \equiv 0 (\mod p) a(ap11)0(modp)
也就是 p ∣ a ( a p − 1 − 1 ) p|a(a^{p - 1} - 1) pa(ap11),由于p与a互质所以
p ∣ a p − 1 − 1 p|a^{p - 1} - 1 pap11
也就是 a p − 1 − 1 ≡ 0 ( m o d    p ) a^{p - 1} - 1 \equiv 0(\mod p) ap110(modp)
也就是 a p − 1 ≡ 1 ( m o d    p ) a^{p - 1}\equiv1(\mod p) ap11(modp)

欧拉定理

定理

若对于两个整数 a , p a,p a,p满足 a a a p p p互质,则 a ϕ ( p ) ≡ 1 ( m o d    p ) a^{\phi(p)} \equiv 1(\mod p) aϕ(p)1(modp)

证明

对于两个整数a,p考虑两个集合:
P = { x ∣ g c d ( x , p ) = 1 且 1 ≤ x ≤ p } P = \{x|gcd(x,p) =1且1 \le x \le p \} P={xgcd(x,p)=11xp}
Q = { a x ∣ x ∈ P } Q = \{ax|x \in P\} Q={axxP}
因为 g c d ( x , p ) = 1 以 及 g c d ( a , p ) = 1 gcd(x,p) = 1以及gcd(a,p) = 1 gcd(x,p)=1gcd(a,p)=1
所以 g c d ( a x , p ) = 1 gcd(ax,p) = 1 gcd(ax,p)=1
任意取两个Q中的元素 a x 1 , a x 2 ax_1,ax_2 ax1,ax2且规定 a x 1 < a x 2 ax_1 < ax_2 ax1<ax2
a x 2 − a x 1 = a ( x 2 − x 1 ) ax_2 - ax_1 = a(x_2 - x_1) ax2ax1=a(x2x1)由于 x 1 , x 2 < p x_1,x_2 < p x1,x2<p所以 ( x 2 − x 1 ) (x_2 - x_1) (x2x1)不能被p整除,故Q中元素在模p的意义下各不相同
在模p下Q的元素各不相同,且等于P的元素数目,故在模p意义下 P = Q P = Q P=Q
所以 ∏ x ∈ P x ≡ ∏ x ∈ P a x ( m o d    p ) \prod\limits_{x \in P}x \equiv \prod\limits_{x \in P}ax(\mod p) xPxxPax(modp)
得到 ∏ x ∈ P x ≡ a ϕ ( p ) ∏ x ∈ P x ( m o d    p ) \prod\limits_{x \in P}x \equiv a^{\phi(p)}\prod\limits_{x \in P}x(\mod p) xPxaϕ(p)xPx(modp)
由于 g c d ( ∏ x ∈ P x , p ) = 1 gcd(\prod\limits_{x \in P}x,p) = 1 gcd(xPx,p)=1
所以
a ϕ ( p ) ≡ 1 ( m o d    p ) a^{\phi(p)} \equiv 1(\mod p) aϕ(p)1(modp)

扩展欧拉定理:

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}{c} {a^{b \mod \phi (p)}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (gcd(a,p) =1)}\\ {a^b \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (gcd(a,p)!=1,b < \phi(p))}\\ {a^{b \mod \phi (p) + \phi(p)}(gcd(a,p)!=1,b \ge \phi(p))} \end{array} \right. (\mod p) ababmodϕ(p)                        (gcd(a,p)=1)ab                     (gcd(a,p)!=1,b<ϕ(p))abmodϕ(p)+ϕ(p)(gcd(a,p)!=1,bϕ(p))(modp)
a b ≡ a % p b % p ( m o d    p ) \frac{a}{b} \equiv \frac{a\%p}{b\% p}(\mod p) bab%pa%p(modp)

©️2020 CSDN 皮肤主题: 深蓝海洋 设计师:CSDN官方博客 返回首页