数论-一次同余式

同余式：

设f(x)=an*(x**n)+an-1*(x**n-1)+...+a1*x+a0(n≥1,ai∈Z)，f(x)∈Z[x],则f(x)≡0 (modm)是模m的同余式，若an≠ 0(mod m),则f(x)≡0 (modm)的次数为n次

（Cr是该同余式的解<==>f(r)≡0 (mod m)）

例：x**5+2x**4+x**3+2x**2-2x+3 ≡ 0 (mod 7)

当r=1时，则1+2+1+2-1+3=7≡0 (mod 7)

当r=2时，则2**5+2*2**4+2**3+2*2**2-2*2+3 =79 ≠ 0 （mod 79）

...

可求得，当r=1,5,6时，符合此同余式

 

定义：f(x1,x2,...,xk)∈Z[x1,x2,...,xk](k元整数系数多项式)，则

{Cr1,Cr2,...,Crk}是f(x1,x2,...,xk) ≡ 0(mod m)的解<==>f(r1,r2,...,rk) ≡ 0(mod m)(共有m**k种可能，且同余式的解是剩余类)

例：y**2-x**3+1≡0 (mod p)

当p=2时，{1,0}和{0,1}符合此同余式，即Np=2

当p=3时，{1,2}和{2,1},{2,2}符合此同余式，即Np=3

...

 

性质1：(a,m)=1,m≥1,则a*x≡b (mod m)恰有一解

证明：

C:{0,1,2,...,m-1}是模m的一组完全剩余系

D:{a*0,a*1,...,a*m-1}也是模m的一组完全剩余系

a*i ≡ <a*i> (mod m)

故∃i,有a*i ≡ b (mod m)

∴Ci是a*x≡b (mod m)的解（已证明有解）

假设a*i≡ b (mod m), a*j≡b(mod m)，其中i≠j

故a*i ≡ a*j (mod m)

∵(a,m)=1

∴i ≡ j (mod m)

∵i,j ∈{0,1,2,...,m-1},故i=j

又i≠j，故假设不成立，即只存在一个解（证明唯一性）

性质2：(a,m)=1,则C<a**((φ(m)-1)*b)>是a*x≡b (mod m)的唯一解

∵(a,m)=1

∴a**φ(m)≡1 (mod m)

故b*a**φ(m) ≡ b (mod m)

a*(a**(φ(m)-1)*b)≡ b (mod m)

即x ≡ a**(φ(m)-1)*b (mod m)

性质3：若(a,m)=d,则a*x≡ b(mod m)有解，当且仅当d | b

证明：

（必要性 有解-> d|b）

∵∃ x0,有a*x0  ≡ b (mod m)

∴∃ y0,有a*x0 = b +m*y0

∴a*x0-m*y0=b

又∵(a,m)|a,(a,m)|m

故(a,m)|b

即d|b

(充分性 d|b->有解)

a*x≡ b(mod m), d|b

故(a/d)*x ≡ b/d (mod m/d)

∵(a/d,m/d)=1,令a1=a/d,b1=b/d,m1=m1/d

则a1*x≡b1(mod m1)且（a1,m1）=1

故根绝性质1，此同余式且有一解x0

∴m/d | (a*x0-b)/d

即m | a*x0-b -->a*x0 ≡ b (mod m)

性质4：若(a,m)=d,d|b 则a*x≡b (mod m)恰有d个解(证明太难，以后补上！！！)

性质5：设k≥1,a1*x1+..+ak*xk ≡ 0 (mod m)有解，当且仅当(a1,a2,...,ak,m) | b ，设(a1,a2,...,ak)=d,若d|b则此同余式的解有(m**(k-1))*d个