【学习笔记】扩展欧拉定理

• 定理内容：

$$a^b\equiv \{\begin{array}{l}{a}^{b\%\varphi (p)}(a,p)=1\\ a^b(a,p)̸=1,b<\varphi (p)\\ a^{b\%\varphi (p)+\varphi (p)}(a,p)̸=1,b\ge \varphi (p)\end{array}(modp)$$

• 对于 $(a,p)=1$ 的证明：
  • 假设 $p$ 的简化剩余系为 { a 1 ‾ , a 2 ‾ , … , a ϕ ( p ) ‾ } \{\overline{a_1},\overline{a_2},\dots,\overline{a_{\phi(p)}} \} {a1​​,a2​​,…,aϕ(p)​​}。
  • 对 $\forall a_i,a_j,$ 若 $a\times a_i\equiv a\times a_j(modp)$，因为 $(a,p)=1$，所以 $a_i\equiv a_j$。故当 $a_i̸=a_j$ 时，$a\times a_i$ 和 $a\times a_j$ 也属于不同的同余类。
  • 又因为简化剩余系关于模 $p$ 乘法封闭，所以 { a a 1 ‾ , a a 2 ‾ , … , a a ϕ ( p ) ‾ } \{\overline{aa_1},\overline{aa_2},\dots,\overline{aa_{\phi(p)}} \} {aa1​​,aa2​​,…,aaϕ(p)​​} 也是 $p$ 的简化剩余系。
  • 所以 $a^{\varphi (p)}{a}_1{a}_2\dots a_{\varphi (p)}\equiv (a{a}_1)(a{a}_2)\dots (a{a}_{\varphi (p)})\equiv a_1{a}_2\dots a_{\varphi (p)}(modp)$。
  • 故 $a^{\varphi (p)}\equiv 1(modp)$。
  • 故 $a^b\equiv (a^{\varphi (p)}{)}^{\lfloor \frac{b}{\varphi (p)}\rfloor }{a}^{b\%\varphi (p)}\equiv a^{b\%\varphi (p)}(modp)$。
• 对于 $(a,p)̸=1$的证明：
  • （转自：BAJim_H）