三个重要的同余式——威尔逊定理，费马小定理，欧拉定理（扩展）

鸣谢synapse7大大

威尔逊定理

$(p-1)!≡p-1≡-1~~~(mod~p)~(p~is~a~prime)$

由于$(p-1)!$较大，实际应用不是很广泛

简单的证明

费马小定理

假如$p$是质数，且$gcd(a,p)=1$，那么$a^{(p-1)}≡1$（mod p）

简单的证明

欧拉定理

直到今天我才认清这三个人

$A.欧拉(欧拉定理)~~~~~B.高斯(高斯消元)~~~~~C.欧几里得(欧几里得算法)$

下面就是ta的故事了：

在计算乘法逆元的时候，我们经常使用的（也是最简单的）就是费马小定理：

假如$p$是质数，且$gcd(a,p)=1$，那么$a^{(p-1)}≡1$（mod p）

实际上费马小定理是欧拉定理的特殊情况+应用

若$n,a$为正整数，且$n,a$互质，则$a^{\phi(n)}≡1$（mod p）

由此，我们在计算幂的时候（底数与模数互质）则有

$$a^b=a^{b~mod~\phi(p)}~~~~~(mod~p)~(gcd(a,p)=1)$$

简单的证明

---

然而当底数与模数不互质的时候怎么办呢
我们需要欧拉定理的扩展包：

方便起见，我们可以合并一下：

注意：扩展欧拉定理只影响取模方式，并不影响模数

简单的证明

• 在$a$的$0$次$,1$次$,...,b$次幂模$m$的序列中，前$r$个数$(a^0到a^{r-1})$互不相同，从第$r$个数开始，每$s$个数就循环一次
  证明：由鸽巢定理易证
  我们把$r$称为$a$幂次模$m$的循环起始点，$s$称为循环长度。（注意：$r$可以为0）
  用公式表述为：$a^r≡a^{r+s}~~~(mod~m)$

• $a$为素数的情况
  令$m=(p^r)m'$，则$gcd(p,m')=1$，所以$p^{φ(m')}≡1(mod~m')$
  又由于$gcd(p^r,m')=1$，所以$φ(m')|φ(m)$，所以$p^{φ(m)}≡1(mod~m')$，
  即$p^{φ(m)}=km'+1$，两边同时乘以$p^r$，得$p^{r+φ(m)}=km+p^r（因为m=(p^r)m')$
  所以$p^r≡p^{r+s}(mod~m)$，这里$s=φ(m)$

  • 推论：$p^b≡p^{r+(b-r)~\%~φ(m)}(mod~m)$

  • 又由于$m=(p^r)m'$，所以$φ(m)≥φ(p^r)=p^{r-1}(p-1)≥r$
    所以$p^r≡p^{r+φ(m)}≡p^{r~\%~φ(m)+φ(m)}(mod~m)$
    所以$p^b≡p^{r+(b-r)~\%~φ(m)}≡p^{r~\%~φ(m)+φ(m)+(b-r)~\%~φ(m)}≡p^{φ(m)+b~\%~φ(m)}(mod~m)$
    即$p^b≡p^{b~\%~φ(m)+φ(m)}(mod~m)$

• $a$为素数的幂的情况
  是否依然有$a^{r'}≡a^{r'+s'}(mod~m)$(其中$s'=φ(m)，a=p^k$)
  答案是肯定的，由2知$p^s≡1(mod~m')$，所以$p^(s*(k/gcd(s,k))≡1(mod~m')$，所以当$s'=s/gcd(s,k)$时才能有$p^{s'k}≡1(mod~m')$，此时$s'|s|φ(m)$，且$r'=ceil(r/k)<=r<=φ(m)$
  由$r'，s'$与$φ(m)$的关系，依然可以得到$a^b≡a^{b~\%~φ(m)+φ(m)}~(mod~m)$

• $a$为合数的情况
  只证$a$拆成两个素数的幂的情况，大于两个的用数学归纳法可证
  设$a=a_1a_2,a_i=p_i^{k_i},a_i$的循环长度为$s_i$
  则$s|lcm(s_1,s_2)$，由于$s1|φ(m),s2|φ(m)$，那么$lcm(s1,s2)|φ(m)$，所以$s|φ(m)$
  $r=max\{ceil(ri/ki)\}<=max\{ri\}<=φ(m)$
  由$r,s$与$φ(m)$的关系，依然可以得到$a^b≡a^{b~\%~φ(m)+φ(m)}~(mod~m)$

证毕