概念
在初等数论中,取模是一种非常重要的运算,通过取模运算我们可以写出一种类似等式的式子——同余式。在数论中我们有很多操作都是作用于同余式,同余式一般表现为:
a
≡
b
(
m
o
d
p
)
a\equiv b\pmod p
a≡b(modp)
这个式子代表 a % p = b % p 。这也就是说 a 和 b 在 除 p 的情况下余数相等。
前置知识
- 整除符号 ‘ ∣ | ∣’ , a ∣ b a|b a∣b 代表b是a的倍数 ,b % a == 0。
- ( a , b ) = g c d ( a , b ) (a,b) = gcd(a,b) (a,b)=gcd(a,b)
- 整数分解定理: 任何一个正整数 k = s p + r , 0 < = s , 0 < = r < k , 1 < = p . k=sp+r, 0<=s ,0<=r<k , 1<=p. k=sp+r,0<=s,0<=r<k,1<=p.
同余式的性质
-
如果 a ≡ a ( m o d p ) a\equiv a\pmod p a≡a(modp)
-
如果 a ≡ b ( m o d p ) ⇒ b ≡ a ( m o d p ) a\equiv b\pmod p \Rightarrow b\equiv a \pmod p a≡b(modp)⇒b≡a(modp)
-
如果 a ≡ b ( m o d p ) a\equiv b\pmod p a≡b(modp) , b ≡ c ( m o d p ) b\equiv c\pmod p b≡c(modp) ,则 a ≡ c ( m o d p ) a\equiv c\pmod p a≡c(modp)
-
如果 a ≡ b ( m o d p ) a\equiv b\pmod p a≡b(modp) , α ≡ β ( m o d p ) ⇒ a α ≡ b β ( m o d p ) \alpha\equiv\beta\pmod p\Rightarrow a\alpha\equiv b\beta\pmod p α≡β(modp)⇒aα≡bβ(modp)
同余式某些定理证明过程(看不看都行)
- 前三个式子就不用多说了,根据定义推出来的。
- 第四个式子 根据同余式定义我们可以得出 m ∣ ( a − b ) , m ∣ ( α − β ) m|(a-b),m|(\alpha-\beta) m∣(a−b),m∣(α−β) 我们让 ( a − b ) (a-b) (a−b)扩大 α \alpha α 倍, ( α − β ) (\alpha-\beta) (α−β)扩大 b b b 倍,此时两个式子都是m的倍数,因此两个数做差还是m的倍数,即 m ∣ α ( a − b ) − b ( α − β ) ⇒ m ∣ ( a α − b β ) m|\alpha(a-b)-b(\alpha-\beta)\Rightarrow m| (a\alpha-b\beta) m∣α(a−b)−b(α−β)⇒m∣(aα−bβ)。
同余方程
- 什么是同余方程
a x ≡ b ( m o d p ) ax\equiv b \pmod p ax≡b(modp)
上面的式子只是一个同余方程的通式,接下来我们举一个栗子来简单解释一下同余方程的解法。 - 同余方程的解法
a x ≡ 1 ( m o d b ) ax\equiv 1\pmod b ax≡1(modb), 根据同余式定义我们可以把刚才的式子写成 a x + b y = 1 ax+by=1 ax+by=1,为什么会这样写?(其实都是这么写的,要是解同余方程组就是中国剩余定理)
取余的定义在某种意义上讲就是 a   m o d   b = 1 a\bmod b=1 amodb=1 等价于 a − k ∗ b = 1 a-k*b=1 a−k∗b=1同样的我们只是换了个写法 a x ≡ 1 ( m o d b ) ⇒ a x + b y = 1 ax\equiv 1\pmod b\Rightarrow ax+by=1 ax≡1(modb)⇒ax+by=1 , 这样我们就可以用拓展欧几里得(ex_gcd)来求解,根据题意需要经行某种约分。