数论同余基础

同余

https://codecho.xyz/archives/Congruence-modulo.html

大佬博客?

0.前言：

一点点跟着学长的PPT摸索，貌似学exgcd前应该先学这个的…没事反正我菜呀，以下证明基本上都是个人理解证明的，如果有错误欢迎指出

---

1.概念

如果整数a和b除以正整数m的余数相等，则称a，b模m同余 记作：$a\equiv b$ $mod$ $m$

即

$a=q_1\ast m+r$;

$b=q_2\ast m+r$;

---

2.条件

$a\equiv b$ $mod$ $m$的充分必要条件是$m|(a-b)$

(一) 充分性证明：

已知$(a-b)\%m=0$
设$a=q_1\ast m+r_1$，$b=q_2\ast m+r_2$
显然$r_1==r_2$

（二）必要性证明

同理，用定义完成简单证明

---

3.性质

• （一）自反性（两个相同的数对任何数肯定都同余）

  $a\equiv a$ $mod$ $m$

• （二）对称性 （a与b同余就是b与a同余，似于交换律）

  $a\equiv b$ $mod$ $m$, $b\equiv a$ $mod$ $m$

• （三）传递性（ab，bc推ac）

  已知$a\equiv b$ $mod$ $m$并且$b\equiv c$ $mod$ $m$

  可推$a\equiv c$ $mod$ $m$

• （四）已知$a\equiv b$ $mod$ $m$，则a，b同时加上，减去，乘以一个整数c，得到的两个数仍然同余

  已知$a\equiv b$ $mod$ $m$

  1.$(a+c)\equiv (b+c)$ $mod$ $m$

  2.$(a-c)\equiv (b-c)$ $mod$ $m$

  3.$(ac)\equiv (bc)$ $mod$ $m$

• （五）已知$a\equiv b$ $mod$ $m$，$c\equiv d$ $mod$ $m$

  1.$(ax+cy)\equiv (bx+dy)$ $mod$ $m$,余数为$r_{1}x+r_{2}y$

  2.$(ac)\equiv (bd)$ $mod$ $m$,余数为$r_1{r}_2$

• （六）已知$a\equiv b$ $mod$ $m$,且$m|d$，则$a\equiv b$ $mod$ $d$

以上六个性质的证明都十分简单

• （七）已知$a\equiv b$ $mod$ $m$

  则$f(a)\equiv f(b)$ $mod$ $m$

  其中，$f(x)$是整系数多项式，$f(x)=C_1{x}^n+C_2{x}^{n-1}+\dots \dots +C_k{x}^k+\dots \dots +C_{n}x+C_{n+1}$

  !特殊的：$a^n\equiv b^n$ $mod$ $m$

  证明思路：
  分治思想，随意取出任意一项非零项$C_k{x}^k$，如果这一项满足$C_k{a}^k\equiv C_k{b}^k$ $mod$ $m$，一项项证明过去，则$f(a)和f(b)$也符合
  证明：
  同乘$C_k$不影响结果，所以先忽略
  设$a=q_{1}m+r,b=q_{2}m+r$
  根据$(x+y{)}^n$展开式
  可知$a^k\%m=r^k\%m$,且$b^k\%m=r^k\%m$
  所以$C_k{a}^k\equiv C_k{b}^k$ $mod$ $m$得证

• （八）已知$ka\equiv kb$ $mod$ $m$，且$gcd(k,m)=d$

  则$a\equiv b$ $mod$ $\frac{m}{d}$

  ！特殊的：当$gcd(k,m)=1$时，$a\equiv b$ $mod$ $m$

  证明：
  假设$k=x_{1}d,m=x_{2}d$，根据gcd性质可知$x_1与x_2互质$
  根据同余条件，由于$ka\equiv kb$ $mod$ $m$可知，$m|k(a-b)$=>$m|x_{1}d(a-b)$=>$x_2|x_1(a-b)$
  又由于$x_1{x}_2互质$，所以$x_2|(a-b)$=>$\frac{m}{d}$$|(a-b)$,得证

• (九) 已知$a\equiv b$ $mod$ $m$且$a\equiv b$ $mod$ $n$

  则$a\equiv b$ $mod$ $lcm(m,n)$

  推广到多个模数仍然成立，即

  $a\equiv b$ $mod$ $lcm(x_1,x_2,\dots \dots ,x_n)$

  证明：
  把$lcm(x_1,x_2\dots \dots ,x_n)$转化为$\frac{x_1{x}_2\dots \dots x_n}{gcd(x_1,x_2,\dots \dots ,x_n)}$通过性质八易证

  ---