学习笔记——数论——同余

1.  表示 a%m  ==  b%m.  a,b模m同余：

//latex 太麻烦了  后面就直接字母表示了

 

2.若a mod p = x ,a mod q = x,其中 gcd(p,q)=1,则有a mod p*q = x。

证：

k1 * p + x = a;

k2 * p + x = a;

k1 * p = k2 * q

由于p，q互质，则q|k1,p|k2

那么k1 * p = b1 * q * p   ,k2 * p = b2 * p * q;

（k1,k2,b1,b2均是一个整数）  显然  a mod p*q =x

 

 

3.同余类和剩余系，这两个概念看似没用其实很重要，自行百度。。

理解这两个概念后，能更好的理解取模运算的性质。（比如同是一个同余类的两个数，加上或乘上相同同余类的数 后，这两个数依然是一个同余类）

4.a ≡ b ( mod m ),当且仅当m∣(a−b).  

类似于更相减损术，a,b是同一个同余类的条件是：  a，b之差必须是m的倍数。

 

5.a ≡ b (mod m )，当且仅当存在整数k，使得a=b+km

 

6   如果a * c≡b * c(mod m)，且c和m互质，则a≡b(mod m) 

证：

a*c-m*p=b*c-m*q;

(a-b)*c=m*(p+q);

c，m互质 说明 m|(a-b),说明a≡b(mod m) .(根据性质4)

 

 

https://zhuanlan.zhihu.com/p/35060143

这篇文章不错