同余式
整除性是研究数论的有力工具,这已在勾股数组、最大公因数与素数分解中得到了体现,同余式提供了一种描述整除性的简便方式。事实上同余式使得整除性理论非常类似于方程理论。
如果 m ∣ a − b m\mid a-b m∣a−b,我们就说a与b模m同余并记作
例如
特别地,如果a除以m得余数r,则a与r模m同余。注意余数满足 0 ≤ r < m 0\le r\lt m 0≤r<m,因而每个整数必有与 0 ∼ m − 1 0 \sim m-1 0∼m−1之间的一个数模m同余。.
数m叫做同余式的模。具有相同模的同余式在许多方面表现很像等式,例如
则
但应注意的是用数除以同余式并非总是可能的,如果 a c ≡ b c ( m o d m ) ac\equiv bc\ (\mod m) ac≡bc (modm),则 a ≡ b ( m o d m ) a\equiv b\ (\mod m) a≡b (modm)未必成立,只有 g c d ( c , m ) = 1 gcd(c,m)=1 gcd(c,m)=1时,结论才成立。
解同余式
我们可以使用解方程的方法来解同余式,例如
两边减去12得
这个解是精确的,或者可用等价解 x ≡ 1 ( m o d 8 ) x\equiv 1\ (\mod 8) x≡1 (mod8)。
下一个例子,解
我们用5乘以两边得出
但 20 ≡ 1 ( m o d 19 ) 20\equiv 1\ (\mod 19) 20≡1 (mod19),所以 20 x ≡ x ( m o d 19 ) 20x\equiv x\ (\mod 19) 20x≡x (mod19)因此,解是
当然对于所有方法失效的同余式我们至少还有穷举法。
注意当我们在说“求同余式的所有解”时,是指求所有不同余的解,即相互不同余的所有解。
那我们可不可以给出一种求解一个同余式所有不同解的方法?
线性同余定理
设
a
,
c
a,c
a,c与
m
m
m是整数,
m
≥
1
m\ge1
m≥1,且设
g
=
g
c
d
(
a
,
m
)
g=gcd(a,m)
g=gcd(a,m)。
(a)如果
a
∤
c
a\nmid c
a∤c,则同余式
a
≡
c
(
m
o
d
m
)
a\equiv c\ (\mod m)
a≡c (modm)没有解。
(b)如果
a
∣
c
a\mid c
a∣c,则同余式
a
≡
c
(
m
o
d
m
)
a\equiv c\ (\mod m)
a≡c (modm)恰好有g个不同解。要求这些解,首先求线性方程
的一个解 ( u 0 , v 0 ) (u_0,v_0) (u0,v0)。则 x 0 = c u 0 g x_0=\frac{cu_0}{g} x0=gcu0是 a x ≡ c ( m o d m ) ax\equiv c\ (\mod m) ax≡c (modm)的解,不同余解的完全集由
给出。
证明现在我们假设任意同余式
a x − c ≡ 0 ( m o d m ) ax-c\equiv 0\ (\mod m) ax−c≡0 (modm)
如果存在一个整数y使
a x − m y = c ax-my=c ax−my=c
那么同余式有解。
令
g
=
g
c
d
(
a
,
m
)
g=gcd(a,m)
g=gcd(a,m)。
一定有解。那么如果
g
∣
c
g\mid c
g∣c那么同余式一定有解,否则一定没解。
通过欧几里得或尝试法可以求得解
u
=
u
0
,
v
=
v
0
u=u_0,v=v_0
u=u0,v=v0,下面假设
g
∣
c
g\mid c
g∣c,所以可用整数
c
g
\frac{c}{g}
gc乘以这个方程得
这说明
我们知道同余式会有多个不同的解,假设x1是同余式 a x ≡ c ( m o d m ) ax\equiv c\ (\mod m) ax≡c (modm)的其他解,则 a x 1 ≡ a x 0 ( m o d m ) ax_1\equiv ax_0\ (\mod m) ax1≡ax0 (modm),所以m整除 a x 1 − a x 0 ax_1-ax_0 ax1−ax0。则有
我们已知 m g \frac m g gm与 a g \frac a g ga没有公因数,从而 m g \frac m g gm必整除 x 1 − x 0 x_1-x_0 x1−x0。有
但相差m的倍数的任何两个解被认为是相同的,所以恰好有g个不同的解,这些解通过取 k = 0 , 1 , ⋯ , g − 1 k=0,1,\cdots,g-1 k=0,1,⋯,g−1而得到。
对于 g c d ( a , m ) = 1 gcd(a,m)=1 gcd(a,m)=1的情况,同余式恰好只有一个解。我们甚至可以将解写成分数
我们有了线性同余式的求解方法,接下来研究非线性的同余式。
模p多项式根定理
设p为素数,
是次数为 d ≥ 1 d\ge 1 d≥1的整系数多项式,且 p ∤ a 0 p\nmid a_0 p∤a0,则同余式
最多有d个模p不同于的解。
证明我们首先假设至少存在一个首项系数不被p整除的整系数多项式
F
(
x
)
F(x)
F(x),使得同余式
F
(
x
)
≡
0
(
m
o
d
p
)
F(x)\equiv 0\ (\mod p)
F(x)≡0 (modp)模p不同余的根的个数大于
F
(
x
)
F(x)
F(x)的次数
有
其中
是同余式
F
(
x
)
=
0
(
m
o
d
p
)
F(x)=0\ (\mod p)
F(x)=0 (modp)模p不同余的解。
对于任意r有
由于
因此 F ( x ) − F ( r ) F(x)-F(r) F(x)−F(r)每一项都可以提出 x − r x-r x−r这个因式,提取多项式 x − r x-r x−r,即存在
使得
特别地,取 r = r 1 r=r_1 r=r1,由 F ( r 1 ) ≡ 0 ( m o d p ) F(r_1)\equiv 0\ (\mod p) F(r1)≡0 (modp)得
我们已经假设了 F ( x ) ≡ 0 ( m o d p ) F(x)\equiv 0\ (\mod p) F(x)≡0 (modp)有d+1个不同余的解 x = r 1 , r 2 , r 3 , ⋯ , r d + 1 x=r_1,r_2,r_3,\cdots,r_{d+1} x=r1,r2,r3,⋯,rd+1,让x取某一个解 r k ( k ≥ 2 ) r_k\ (k\ge2) rk (k≥2)得
因为 r k , r 1 r_k,r_1 rk,r1模p不同余,由素数整除性质得 G ( r k ) ≡ 0 ( m o d p ) G(r_k)\equiv0\ (\mod p) G(rk)≡0 (modp),综上 r 2 , r 3 , ⋯ , r d + 1 r_2,r_3,\cdots,r_{d+1} r2,r3,⋯,rd+1都是 G ( x ) G(x) G(x)的解,于是一个d-1次方的方程有了d个模p不同余的解,显然这是错误的,这表明没有多项式模p不同余的根的个数大于它的次数,得证。