当前位置:网站首页>信息安全数学基础 Chapter 2——同余
信息安全数学基础 Chapter 2——同余
2022-06-11 17:13:00 【L3H_CoLin】
Chapter 2 同余
定义2.1 同余、不同余
定理2.1 同余是一种等价关系(自反性、对称性、传递性依次证明)
定义2.2 模m剩余类,模m完全剩余系
定义2.3 模m简化剩余类,完全剩余类中所有与m互素的剩余类。模m简化剩余系。欧拉函数:整数1,2,…,m中所有与m互素的整数个数,即为 φ ( m ) \varphi(m) φ(m)
定理2.2 a , b a,b a,b正整数, a ≡ b ( m o d m n ) ⇒ a ≡ b ( m o d m ) , a ≡ b ( m o d n ) a\equiv b(\mod mn)\Rightarrow a\equiv b(\mod m), a\equiv b(\mod n) a≡b(modmn)⇒a≡b(modm),a≡b(modn)(逆定理不成立)
定理2.3 m , n m,n m,n正整数, a ≡ b ( m o d m ) , a ≡ b ( m o d n ) ⇒ a ≡ b ( m o d [ m , n ] ) a\equiv b(\mod m),a\equiv b(\mod n)\Rightarrow a\equiv b(\mod [m,n]) a≡b(modm),a≡b(modn)⇒a≡b(mod[m,n])
定理2.4 同余性质:
(1) a ≡ b ( m o d m ) ⇒ a + c ≡ b + c ( m o d m ) a\equiv b(\mod m)\Rightarrow a+c\equiv b+c(\mod m) a≡b(modm)⇒a+c≡b+c(modm)
(2) a ≡ b ( m o d m ) , k ∈ Z ⇒ a k ≡ b k ( m o d m ) a\equiv b(\mod m), k\in Z\Rightarrow ak\equiv bk(\mod m) a≡b(modm),k∈Z⇒ak≡bk(modm)
(3) a k ≡ b k ( m o d m ) , k ∈ Z , ( k , m ) = 1 ⇒ a ≡ b ( m o d m ) ak\equiv bk(\mod m), k\in Z,(k,m)=1\Rightarrow a\equiv b(\mod m) ak≡bk(modm),k∈Z,(k,m)=1⇒a≡b(modm)
(4) a ≡ b ( m o d m ) , k ∈ N ⇔ a k ≡ b k ( m o d m k ) a\equiv b(\mod m), k\in N\Leftrightarrow ak\equiv bk(\mod mk) a≡b(modm),k∈N⇔ak≡bk(modmk)
(5) a ≡ b ( m o d m ) , f ( x ) a\equiv b(\mod m), f(x) a≡b(modm),f(x)为一整系数多项式, f ( a ) ≡ f ( b ) ( m o d m ) f(a)\equiv f(b)(\mod m) f(a)≡f(b)(modm)
推论 若 a 1 ≡ a 2 ( m o d m ) , b 1 ≡ b 2 ( m o d m ) a_1\equiv a_2(\mod m),b_1\equiv b_2(\mod m) a1≡a2(modm),b1≡b2(modm),则 a 1 + b 1 ≡ a 2 + b 2 ( m o d m ) , a 1 b 1 ≡ a 2 b 2 ( m o d m ) a_1+b_1\equiv a_2+b_2(\mod m),a_1b_1\equiv a_2b_2(\mod m) a1+b1≡a2+b2(modm),a1b1≡a2b2(modm)
定理2.5 设m为正整数,若(a,m)=1,则当x遍历m的一个完全剩余系时,对于任意整数b,ax+b遍历模m的一个完全剩余系;当x遍历m的一个简化剩余系时,ax遍历m的一个简化剩余系。
证明:
设 r 1 , r 2 , . . . , r m r_1,r_2,...,r_m r1,r2,...,rm是模m的一个完全剩余系,当 i ≠ j i\ne j i=j时, r i ≠ r j ( m o d m ) r_i\ne r_j(\mod m) ri=rj(modm),又 ( a , m ) = 1 (a,m)=1 (a,m)=1,则 a r i + b ≠ a r j + b ( m o d m ) ar_i+b\ne ar_j+b(\mod m) ari+b=arj+b(modm),故x遍历r1,r2,…,rm时,ax+b是m个关于m两两互不同余的整数,因此构成完全剩余系。
如果 r 1 , r 2 , . . . , r φ ( m ) r_1,r_2,...,r_{\varphi(m)} r1,r2,...,rφ(m)是简化剩余系,对于所有 r i , ( r i , m ) = 1 r_i,(r_i,m)=1 ri,(ri,m)=1,因为 ( a , m ) = 1 (a,m)=1 (a,m)=1,则有 ( a r i , m ) = 1 (ar_i,m)=1 (ari,m)=1,即任意ari均在简化剩余系中且两两互不同余。因此构成简化剩余系。
定理2.6 设m,n为正整数,(m,n)=1,则当x遍历模n的一个完全剩余系,y遍历模m的一个完全剩余系时,mx+ny遍历模mn的一个完全剩余系;当x遍历模n的一个简化剩余系,y遍历模m的一个简化剩余系时,mx+ny遍历模mn的一个简化剩余系。
证明:
假设 m x 1 + n y 1 ≡ m x 2 + n y 2 ( m o d m n ) mx_1+ny_1\equiv mx_2+ny_2(\mod mn) mx1+ny1≡mx2+ny2(modmn),由定理2.2可知, m x 1 + n y 1 ≡ m x 2 + n y 2 ( m o d m ) , m x 1 + n y 1 ≡ m x 2 + n y 2 ( m o d n ) mx_1+ny_1\equiv mx_2+ny_2(\mod m),mx_1+ny_1\equiv mx_2+ny_2(\mod n) mx1+ny1≡mx2+ny2(modm),mx1+ny1≡mx2+ny2(modn),又(m,n)=1,故 y 1 ≡ y 2 ( m o d m ) , x 1 ≡ x 2 ( m o d n ) y_1\equiv y_2(\mod m),x_1\equiv x_2(\mod n) y1≡y2(modm),x1≡x2(modn)。因此mx+ny互不同余,构成模mn的完全剩余系。
若 ( x , n ) = 1 , ( y , m ) = 1 (x,n)=1,(y,m)=1 (x,n)=1,(y,m)=1,则 ( m x + n y , m ) = ( n y , m ) = ( y , m ) = 1 , ( m x + n y , n ) = 1 (mx+ny,m)=(ny,m)=(y,m)=1,(mx+ny,n)=1 (mx+ny,m)=(ny,m)=(y,m)=1,(mx+ny,n)=1,故 ( m x + n y , m n ) = 1 (mx+ny,mn)=1 (mx+ny,mn)=1,即任意一个与mn互素的整数都在遍历所产生的 φ ( m ) φ ( n ) \varphi(m)\varphi(n) φ(m)φ(n)个简化剩余类中。
定理2.7 (欧拉定理)m为正整数,(a,m)=1,则 a φ ( m ) ≡ 1 ( m o d m ) a^{\varphi(m)}\equiv 1(\mod m) aφ(m)≡1(modm)
证明:
构造模m的简化剩余系 r 1 , r 2 , . . . , r φ ( m ) r_1,r_2,...,r_{\varphi(m)} r1,r2,...,rφ(m),(a,m)=1,故由定理2.4有 a r 1 , a r 2 , . . . , a r φ ( m ) ar_1,ar_2,...,ar_{\varphi(m)} ar1,ar2,...,arφ(m)也是模m简化剩余系。故对于任意 1 ≤ i ≤ φ ( m ) 1\le i\le \varphi(m) 1≤i≤φ(m)有且仅有唯一 1 ≤ j ≤ φ ( m ) 1\le j\le \varphi(m) 1≤j≤φ(m)使得 a r i = r j ar_i=r_j ari=rj。故
r 1 r 2 . . . r φ ( m ) ≡ a φ ( m ) r 1 r 2 . . . r φ ( m ) ( m o d m ) r_1r_2...r_{\varphi(m)}\equiv a^{\varphi(m)}r_1r_2...r_{\varphi(m)}(\mod m) r1r2...rφ(m)≡aφ(m)r1r2...rφ(m)(modm)
证毕
定理2.8 (费马小定理)p为素数,则对于任意整数a, a p ≡ a ( m o d p ) a^p\equiv a(\mod p) ap≡a(modp)
证明:
由欧拉定理可知若(a,p)=1,则 a φ ( p ) = a p − 1 ≡ 1 ( m o d p ) a^{\varphi(p)}=a^{p-1}\equiv 1(\mod p) aφ(p)=ap−1≡1(modp),原命题成立
否则必有p|a,即 a p − 1 ≡ a ≡ 0 ( m o d p ) a^{p-1}\equiv a\equiv 0(\mod p) ap−1≡a≡0(modp)
定理2.9 m,n为正整数,若互素,则 φ ( m ) φ ( n ) = φ ( m n ) \varphi(m)\varphi(n)=\varphi(mn) φ(m)φ(n)=φ(mn)
证明:
定理2.6
定理2.10 p为素数,e为正整数,则 φ ( p e ) = p e − p e − 1 \varphi(p^e)=p^e-p^{e-1} φ(pe)=pe−pe−1
证明:
从1到pe中与pe不互素的只有p的倍数,共有pe-1个。
定理2.11 设m为正整数, m = ∏ i = 1 S p i a i m=\prod_{i=1}^Sp_i^{a_i} m=∏i=1Spiai,则 φ ( m ) = m ∏ i = 1 S ( 1 − 1 p i ) \varphi(m)=m\prod_{i=1}^S(1-\frac{1}{p_i}) φ(m)=m∏i=1S(1−pi1)
证明:
定理2.9,2.10
定义2.4 模m同余式: f ( x ) = ∑ i = 0 n a i x i f(x)=\sum_{i=0}^{n}a_ix^i f(x)=∑i=0naixi为一个整系数多项式,m为正整数,称 f ( x ) ≡ 0 ( m o d m ) f(x)\equiv 0(\mod m) f(x)≡0(modm)为模m同余式。若 a n ≠ 0 ( m o d m ) a_n\ne 0(\mod m) an=0(modm)则称该同余式次数为n,如果整数a满足 f ( a ) ≡ 0 ( m o d m ) f(a)\equiv 0(\mod m) f(a)≡0(modm)则称a为同余式的解。解数:同余式解的个数。
定理2.12 m为正整数,同余式 a x ≡ b ( m o d m ) ax\equiv b(\mod m) ax≡b(modm)有解的充要条件是(a,m)|b。有解时结束为(a,m),且若x=x0是同余式的一个特解,则同余式的所有解可以表示为
x ≡ x 0 + m ( a , m ) t ( m o d m ) , t = 0 , 1 , 2 , . . . , ( a , m ) − 1 x\equiv x_0+\frac{m}{(a,m)}t(\mod m),t=0,1,2,...,(a,m)-1 x≡x0+(a,m)mt(modm),t=0,1,2,...,(a,m)−1
证明:
若 a x ≡ b ( m o d m ) ax\equiv b(\mod m) ax≡b(modm)有解,则存在整数y使得ax-b=my,且若x=x0,y=y0是ax-b=my的一个解,则 x ≡ x 0 ( m o d m ) x\equiv x_0(\mod m) x≡x0(modm)就是 a x ≡ b ( m o d m ) ax\equiv b(\mod m) ax≡b(modm)的一个解。根据定理1.8可知,ax-b=my有解的充要条件是(a,m)|b。
若x=x0,y=y0是ax-b=my的一个解,则ax-b=my的所有解可以表示为:
{ x = x 0 + m ( a , m ) t y = y 0 + a ( a , m ) t , t ∈ Z \left\{ \begin{aligned} x=x_0+\frac{m}{(a,m)}t\\ y=y_0+\frac{a}{(a,m)}t \end{aligned} ,t\in\mathbb Z \right. ⎩⎪⎪⎨⎪⎪⎧x=x0+(a,m)mty=y0+(a,m)at,t∈Z
可将 x = x 0 + m ( a , m ) t , t ∈ Z x=x_0+\frac{m}{(a,m)}t,t\in\mathbb Z x=x0+(a,m)mt,t∈Z写为(a,m)个模m的同余类,即t取0,1,…,(a,m)-1
定理2.13 m为正整数,(a,m)=1,则 a φ ( m ) − 1 a^{\varphi(m)-1} aφ(m)−1是a模m的逆元。
证明:略
定理2.14 (Wilson定理)设p为素数,则 ( p − 1 ) ! ≡ − 1 ( m o d p ) (p-1)!\equiv -1(\mod p) (p−1)!≡−1(modp)
证明:
p=2时结论显然成立
p>2,对于 1 ≤ a ≤ p − 1 1\le a\le p-1 1≤a≤p−1,因为(a,p)=1,因此a存在逆元a’,由 a x ≡ 1 ( m o d m ) ax\equiv 1(\mod m) ax≡1(modm)的解数为1,故满足 1 ≤ a ′ ≤ p − 1 1\le a'\le p-1 1≤a′≤p−1的逆元也是唯一的。在1,2,…,p-1中将这些数一一配对,每一对的两数均互为逆元,则结论显然成立。
定理2.15 (中国剩余定理)设 m 1 , m 2 , . . . , m S m_1,m_2,...,m_S m1,m2,...,mS为两两互素的正整数, b 1 , b 2 , . . . , b S b_1,b_2,...,b_S b1,b2,...,bS为任意整数,则同余式组
{ x ≡ b 1 ( m o d m 1 ) x ≡ b 2 ( m o d m 2 ) . . . x ≡ b S ( m o d m S ) \left\{ \begin{array}{rcl} x\equiv b_1(\mod m_1)\\ x\equiv b_2(\mod m_2)\\ ...\\ x\equiv b_S(\mod m_S) \end{array} \right. ⎩⎪⎪⎨⎪⎪⎧x≡b1(modm1)x≡b2(modm2)...x≡bS(modmS)
模 M = m 1 . . . m S M=m_1...m_S M=m1...mS有唯一解 x ≡ ∑ i = 1 S b i M m i ( M m i ) − 1 ( m o d m i ) ( m o d M ) x\equiv \sum_{i=1}^S b_i\frac{M}{m_i}(\frac{M}{m_i})^{-1}(\mod m_i)(\mod M) x≡∑i=1SbimiM(miM)−1(modmi)(modM)
证明:
存在性:代入上式即可
唯一性:设有一个解为x0,则其满足上面任意一个式子,根据定理1.14有 M = [ m 1 , m 2 , . . . , m S ] ∣ x − x 0 M=[m_1,m_2,...,m_S]|x-x_0 M=[m1,m2,...,mS]∣x−x0,即 x ≡ x 0 ( m o d M ) x\equiv x_0(\mod M) x≡x0(modM),解唯一。
定理2.16 设 m 1 , m 2 , . . . , m S m_1,m_2,...,m_S m1,m2,...,mS为两两互素的正整数,对于 1 ≤ i ≤ s 1\le i\le s 1≤i≤s,同余式 f i ( x ) ≡ 0 ( m o d m i ) f_i(x)\equiv 0(\mod m_i) fi(x)≡0(modmi)有Ci个解,则同余式组
{ f ( x ) ≡ 0 ( m o d m 1 ) f ( x ) ≡ 0 ( m o d m 2 ) . . . f ( x ) ≡ 0 ( m o d m S ) \left\{ \begin{array}{rcl} f(x)\equiv 0(\mod m_1)\\ f(x)\equiv 0(\mod m_2)\\ ...\\ f(x)\equiv 0(\mod m_S) \end{array} \right. ⎩⎪⎪⎨⎪⎪⎧f(x)≡0(modm1)f(x)≡0(modm2)...f(x)≡0(modmS)
关于模 M = m 1 . . . m S M=m_1...m_S M=m1...mS有 C 1 C 2 . . . C s C_1C_2...C_s C1C2...Cs个解。
证明:组合。
证明这些解互不同余:
若有 x ≡ x ′ ( m o d M ) x\equiv x'(\mod M) x≡x′(modM),则由定理2.2可知对于任意i均有 x ≡ x ′ ( m o d m i ) x\equiv x'(\mod m_i) x≡x′(modmi),故x=x’。
任何bi变化都会导致解不同。
定理2.17 p为素数, i 1 ≥ i 2 ≥ . . . i S , b 1 , b 2 , . . . , b S i_1\ge i_2\ge ... i_S,b_1,b_2,...,b_S i1≥i2≥...iS,b1,b2,...,bS为任意整数,同余式组
{ x ≡ b 1 ( m o d p i 1 ) x ≡ b 2 ( m o d p i 2 ) . . . x ≡ b S ( m o d p i S ) \left\{ \begin{array}{rcl} x\equiv b_1(\mod p^{i_1})\\ x\equiv b_2(\mod p^{i_2})\\ ...\\ x\equiv b_S(\mod p^{i_S}) \end{array} \right. ⎩⎪⎪⎨⎪⎪⎧x≡b1(modpi1)x≡b2(modpi2)...x≡bS(modpiS)
有解的充要条件为
{ b 1 ≡ b 2 ( m o d p i 2 ) b 1 ≡ b 3 ( m o d p i 3 ) . . . b 1 ≡ b S ( m o d p i S ) \left\{ \begin{array}{rcl} b_1\equiv b_2(\mod p^{i_2})\\ b_1\equiv b_3(\mod p^{i_3})\\ ...\\ b_1\equiv b_S(\mod p^{i_S}) \end{array} \right. ⎩⎪⎪⎨⎪⎪⎧b1≡b2(modpi2)b1≡b3(modpi3)...b1≡bS(modpiS)
证明:
充分性易证
必要性:若有解x0,则由定理2.2可知 x 0 ≡ b 1 ( m o d p i 2 ) x_0\equiv b_1(\mod p^{i_2}) x0≡b1(modpi2),故 b 1 b_1 b1是第二个式子的解,同理b1也是后面所有式子的解。
定义2.6 导式
定理2.18 设p为素数, k ≥ 1 k\ge 1 k≥1,若 x ≡ x k ( m o d p k ) x\equiv x_k(\mod p^k) x≡xk(modpk)为同余式 f ( x ) ≡ 0 ( m o d p k ) f(x)\equiv 0(\mod p^k) f(x)≡0(modpk)的一个解,则在这个剩余类中:
(1) 若 ( p , f ′ ( x k ) ) = 1 (p,f'(x^k))=1 (p,f′(xk))=1,则同余式 f ( x ) ≡ 0 ( m o d p k + 1 ) f(x)\equiv 0(\mod p^{k+1}) f(x)≡0(modpk+1)有唯一解。
(2) 若 p ∣ f ′ ( x k ) p|f'(x^k) p∣f′(xk),当 f ( x k ) ≠ 0 ( m o d p k + 1 ) f(x_k)\ne 0(\mod p^{k+1}) f(xk)=0(modpk+1)时,同余式 f ( x ) ≡ 0 ( m o d p k + 1 ) f(x)\equiv 0(\mod p^{k+1}) f(x)≡0(modpk+1)无解,否则有p个解。
证明:
由定理2.2可知,同余式 f ( x ) ≡ 0 ( m o d p k + 1 ) f(x)\equiv 0(\mod p^{k+1}) f(x)≡0(modpk+1)的解一定是 f ( x ) ≡ 0 ( m o d p k ) f(x)\equiv 0(\mod p^k) f(x)≡0(modpk)的解,因此我们只需对 f ( x ) ≡ 0 ( m o d p k ) f(x)\equiv 0(\mod p^k) f(x)≡0(modpk)的解进行筛选即可。
从 x = x k + p k t , t ∈ Z x=x_k+p^kt,t\in\mathbb Z x=xk+pkt,t∈Z中进行筛选:
将其代入到 f ( x ) ≡ 0 ( m o d p k + 1 ) f(x)\equiv 0(\mod p^{k+1}) f(x)≡0(modpk+1)中使用泰勒公式可得:
f ( x k ) + f ′ ( x k ) p k t + ∑ i = 2 n f ( i ) ( x k ) p i k i ! t i ≡ 0 ( m o d p k + 1 ) f(x_k)+f'(x_k)p^kt+\sum_{i=2}^n\frac{f^{(i)}(x_k)p^{ik}}{i!}t^i\equiv 0(\mod p^{k+1}) f(xk)+f′(xk)pkt+i=2∑ni!f(i)(xk)pikti≡0(modpk+1)
因为 f ( i ) ( x k ) i ! = a n ⋅ n ! i ! ( n − i ) ! \frac{f^{(i)}(x_k)}{i!}=\frac{a_n\cdot n!}{i!(n-i)!} i!f(i)(xk)=i!(n−i)!an⋅n!为整数,因此有 i ! ∣ f ( i ) ( x k ) i!|f^{(i)}(x_k) i!∣f(i)(xk)。即泰勒展开除前面两项之外后面所有项均整除 p k + 1 p^{k+1} pk+1,可以全部消去,化简为:
f ( x k ) + f ′ ( x k ) p k t ≡ 0 ( m o d p k + 1 ) f(x_k)+f'(x_k)p^kt\equiv 0(\mod p^{k+1}) f(xk)+f′(xk)pkt≡0(modpk+1)
又 p k ∣ f ( x k ) p^k|f(x_k) pk∣f(xk),上式可以化为:
f ( x k ) p k + f ′ ( x k ) t ≡ 0 ( m o d p k + 1 ) \frac{f(x_k)}{p^k}+f'(x_k)t\equiv 0(\mod p^{k+1}) pkf(xk)+f′(xk)t≡0(modpk+1)
若 ( f ′ ( x k ) , p ) = 1 (f'(x_k),p)=1 (f′(xk),p)=1则t仅有1个取值。若为0则与定理结论相符。
推论 p为素数,若 x ≡ x 1 ( m o d p ) x\equiv x_1(\mod p) x≡x1(modp)是同余式 f ( x ) ≡ 0 ( m o d p ) f(x)\equiv 0(\mod p) f(x)≡0(modp)的一个解,且满足 ( f ′ ( x 1 ) , p ) = 1 (f'(x_1),p)=1 (f′(x1),p)=1,则对于任意正整数k>1, f ( x ) ≡ 0 ( m o d p k ) f(x)\equiv 0(\mod p^k) f(x)≡0(modpk)的满足 x ≡ x 1 ( m o d p ) x\equiv x_1(\mod p) x≡x1(modp)的解xk可以通过以下递推式得到:
x i = x i − 1 − f ( x i − 1 ) ( ( f ′ ( x 1 ) ) − 1 ( m o d p ) ) ( m o d p i ) , i = 1 , 2 , 3 , . . . , k x_i=x_{i-1}-f(x_{i-1})((f'(x_1))^{-1}(\mod p))(\mod p^i),i=1,2,3,...,k xi=xi−1−f(xi−1)((f′(x1))−1(modp))(modpi),i=1,2,3,...,k
证明:数学归纳法
边栏推荐
- Splitting method of MySQL large tables
- Analysis report on sales status and supply and demand prospects of phosphoric acid fuel cell industry in the world and China 2022-2028 Edition
- vscode配置eslint自动格式化报错“The setting is deprecated. Use editor.codeActionsOnSave instead with a source“
- Cs0006 C failed to find metadata file "c:\users\... Problem
- Solr (II) Solr adds core and dependent package path
- Katalon Studio Enterprise
- Solr (I) installation and permission control of Solr
- vscode保存代碼時自動eslint格式化
- Weekly recommended short video: rookie CEO talks about the new logistics track in the future
- 信息安全数学基础 Chapter 1——整除
猜你喜欢

^32 execution context stack interview questions

Dynamic: capturing network dynamics using dynamic graph representation learning

^31 prototype interview questions

Authing biweekly news: authing forum launched (4.25-5.8)

C语言:使用.h和.c文件遇到的问题总结

Derivation of child numbering formula for nodes numbered I in full k-ary tree

Elasitcsearch基础学习笔记(1)

满k叉树编号为 i 的节点的孩子编号公式推导

QLineEdit 设置输入掩码

Qlineedit set input mask
随机推荐
从制造到“智造”,探索制造企业破局之道
LeetCode-1005. Maximized array sum after K negations
Pycharm使用小技巧 - 如何设置背景图片
【clickhouse专栏】新建库、用户及角色
Pychart tips - how to set up a background picture
Project failed to load the configuration file of Nacos configuration center
Authing 双周动态:应用市场上线(5 .10 —5 .22 )
What products are good for cross-border e-commerce? What are the top selling categories?
[Clickhouse column] create a new library, user and role
启牛推荐开通的股票账户安全吗?靠谱吗
seed-emulator下进行sql注入攻击(含sql环境配置)
Vscode automatic eslint formatting when saving code
Message queue push / pull mode Learning & ActiveMQ and JMS learning
做跨境电商卖什么产品好?热销类目有哪些?
Biden ordered to enforce the zero trust structure
JPA failed to save multiple entities circularly
WYSIWYG markdown editor: typora
所见即所得的 markdown 编辑器:Typora
Environment configuration and pymysql installation
搜狐全員遭詐騙,暴露哪些問題?