扩展欧拉定理

扩展欧拉定理无需 $a,m$互质。

结论

$b\ge \phi (m)\text{时},a^b\equiv a^{\left(b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m)\right)+\phi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$

证明

先取 $m$ 的一个质因数 $p$，令 $m=p^r\times s,gcd(p,s)=1$m=p

由欧拉定理得 $p^{\phi (s)}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}s$

由欧拉函数的性质得 $\phi (m)=\phi (s)\times \phi (p^r)$

所以 $p^{\phi (m)}\equiv 1\mathrm{m}\mathrm{o}\mathrm{d}s$

设 $p^{\phi (m)}=ks+1$

那么 $p^{\phi (m)+r}=km+p^r$

所以 $p^{\phi (m)+r}\equiv p^r\mathrm{m}\mathrm{o}\mathrm{d}m$

当 $b\ge r$ 时，$p^b\equiv p^{b-r}\times p^r\equiv p^{b-r}\times p^{\phi (m)+r}\equiv p^{b+\phi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$

因为 $r\le \phi (p^r)\le \phi (m)$

所以当 $b\ge 2\phi (m)$ 时 $b-\phi (m)\ge r$，所以 $p^b\equiv p^{b-\phi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$

即 $p^b\equiv p^{(b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m))+\varphi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$

将 $a$ 质因数分解后乘起来，就可以得到 $a^b\equiv a^{(b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m))+\phi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$

需要注意的是，$b<\phi (m)$ 时，$a^b\equiv a^{(b\mathrm{m}\mathrm{o}\mathrm{d}\phi (m))+\phi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$ 不一定正确。