【学习笔记】同余和费马小定理

有关同余

定义

1.如果正整数$a$和$b$对$m$取余相同，那么我们称$a$与$b$对$mod$ $m$同余，记作$a\equiv b\left(modm\right)$

2.完全剩余系：通俗的理解就是$mod$ $m$可能的所有结果的集合

同余的性质

1.自反性 $a\equiv a\left(modm\right)$貌似没有什么卵用

2.对称性：若 $a\equiv b\left(modm\right)$，那么有$b\equiv a\left(modm\right)$

3.传递性：若 $a\equiv b\left(modm\right)$，$b\equiv c\left(modm\right)$，那么有$a\equiv c\left(modm\right)$

4.同加性：若 $a\equiv b\left(modm\right)$，那么有$a+c\equiv b+c\left(modm\right)$

5.同乘性：若 $a\equiv b\left(modm\right)$，那么有$ c\equiv bc\left ( mod : m\right)$，其中$c\in Z$

6.同幂性：若$a\equiv b\left(modm\right)$，那么有$a^c\equiv b^c\left(modm\right)$

7.若$amodp=x$,$amodq=x$,$gcd(p,q)=1$,那么有$amod(p\ast q)=x$

那前6条很好证明，可能第七条就有疑问了

在这里我简单小证一下

$$\because amodp=0,amodq=0$$
$$\therefore a=sp+x,a=sq+x$$
$$\therefore sp=tq$$
移项得
$$s=\frac{t\ast q}{p}$$
$$\because t,p,q\in Z$$

设$r=\frac{t}{p}$,则
$$s=rq,a=rpq+x$$
方程两边同$modpq$，得
$$amod(pq)=x$$
证毕

---

费马小定理

1.摆式子
$$a^{p-1}\equiv 1\left(modp\right)$$

2.前置知识/引理

1. 当$a,b,c\in Z$并且$a̸=b̸=c$,有$(m,c)=1$,当且仅当$a\cdot c\equiv b\cdot c\left(modm\right)$时，有$a\equiv b(modm)$。证明略如下
   $$\because a\cdot c\equiv b\cdot c\left(modm\right)$$
   $$\therefore ac-bc\equiv 0(modm)$$
   $$\therefore (a-b)\cdot c\equiv 0(modm)$$
   $$\because (m,c)=1$$
   约去$c$得
   $$a-b\equiv 0(modm)$$
   $$a\equiv b(modm)$$
   证毕

2. 若$(m,c)=1$并且$m,c\in Z$，设$A=${$a[0],...,a[m-1]$}为$modm$的完全剩余系，那么$B=${$b\cdot a[0],...,b\cdot a[m-1]$}也是$modm$的完全剩余系，证明略如下

证法1：特殊值法（非严谨）

设$m=13,b=3$

那么我们构建$A=${$0,1,2,3,4,5,6,7,8,9,10,11,12$}

将$A$乘上$b$得到$B=${$0,3,6,9,12,15,18,21,24,27,30,33,36$}

然后将$Bmodm$后，得到$B$={$0,3,6,9,12,2,5,8,11,1,4,7,10$}

排序得$B=${$0,1,2,3,4,5,6,7,8,9,10,11,12$}

证毕

证法2:严谨的证法

FAQ：对于$B$,是否存在两个元素同余m呢

假设$b\cdot a[i]\equiv b\cdot a[j](modm)$,那么有引理一可知$a[i]\equiv a[j](modm)$

应为我们的A是严格的完全剩余系，所以上式不成立，那么固然$b\cdot a[i]̸\equiv b\cdot a[j](modm)$

证毕

3.证明$a^{p-1}\equiv 1\left(modp\right)$（并不严谨，感性理解）

首先构建$P=${$1,...,p-1$}为素数p的完全剩余系

（这里省略0,原因见后）

所以由引理2可知$A=${$a,...,a\cdot (p-1)$}

因为完全剩余系的元素$modp$都严格相同，那么有
$$1\ast ...\ast (p-1)\equiv a\ast ...\ast a\cdot (p-1)(modp)$$

显然$(p-1)!\equiv (p-1)!\cdot a^{p-1}$

因为p是素数，所以$((p-1)!,p)=1$,由引理1可知同余式两边同消得
$$a^{p-1}\equiv 1(modp)$$

证毕