扩展欧拉定理

结论

$$\forall a,c,m\in Z^{+},\{\begin{array}{l}{a}^c\equiv a^{c\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m,\gcd (a,m)=1\\ a^c\equiv a^c\mathrm{m}\mathrm{o}\mathrm{d}m,\gcd (a,m)\ne 1\wedge c<\varphi (m)\\ a^c\equiv a^{c\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m,\gcd (a,m)\ne 1\wedge c\ge \varphi (m)\end{array}$$

证明

对于第一个，就是欧拉定理
对于第二个，没啥可说的，，，
下面简单证明一下第三个
设$c=b+\varphi (m)$
设$m=s\cdot p^r,\gcd (s,p)=1$
引理1：$\varphi (m)-r\ge 0$
证明：
$$\begin{gathered} \begin{array}{rl}\varphi (m)& =\varphi (s)\cdot \varphi (p^r)\\ & =\varphi (s)\cdot \varphi (p)\cdot p^{r-1}\\ & =\varphi (s)\cdot (p-1)\cdot p^{r-1}\\ & \ge p^{r-1}\ge 2^{r-1}\ge r\end{array} \\ \therefore \varphi (m)-r\ge 0 \\ Q.E.D. \end{gathered}$$
引理2： $\forall 质数p,p^c\equiv p^{c\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m$
证明：
$$\begin{gathered} \begin{array}{rlr}由欧拉定理，p^{\varphi (s)}& \equiv 1& \mathrm{m}\mathrm{o}\mathrm{d}s\\ \because \varphi (m)& =\varphi (s)\varphi (p^r)& \\ \therefore p^{\varphi (m)}& \equiv 1& \mathrm{m}\mathrm{o}\mathrm{d}s\\ \therefore p^b& \equiv p^{b\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)}& \mathrm{m}\mathrm{o}\mathrm{d}s\\ 由同余的性质两边同时乘上p^r,p^{b+r}& \equiv p^{b\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+r}& \mathrm{m}\mathrm{o}\mathrm{d}m(变了)\\ 由引理1,两遍同时乘上p^{\varphi (m)-r},p^{b+r+\varphi (m)-r}& \equiv p^{b\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+r+\varphi (m)-r}& \mathrm{m}\mathrm{o}\mathrm{d}m\\ p^{b+\varphi (m)}& \equiv p^{b\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}& \mathrm{m}\mathrm{o}\mathrm{d}m\\ p^c& \equiv p^{[b+\varphi (m)]\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}& \mathrm{m}\mathrm{o}\mathrm{d}m\\ p^c& \equiv p^{c\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}& \mathrm{m}\mathrm{o}\mathrm{d}m\end{array} \\ Q.E.D. \end{gathered}$$

由引理2
$$\begin{gathered} \begin{array}{rl}{a}^c& =(\prod p_i^{k_i}{)}^c\\ & \equiv a^{c\mathrm{m}\mathrm{o}\mathrm{d}\varphi (m)+\varphi (m)}\mathrm{m}\mathrm{o}\mathrm{d}m\end{array} \\ Q.E.D. \end{gathered}$$
然后，就没了