欧拉定理与扩展欧拉定理证明
之前一直想填这个坑来着。。
欧拉定理证明
欧拉定理：若 \((a, m) = 1\)，\(a^{\phi(m)} \equiv 1 \pmod m\).
证明
引理：设 \(r_1,\dots,r_{\phi(m)}\) 为模 \(m\) 的缩系，那么 \(ar_1,\dots,a_{\phi(m)}\) 也是模 \(m\) 的缩系。
证明：
首先，\(\forall k \in [1, \phi(m)]\)，\(ar_k \equiv 1 \pmod m\)
下只需证明 \(\forall i,j\in[1, \phi(m)], i\ne j\)，有 \(ar_i \not \equiv ar_j \pmod m\)：
因为 \(ar_i-ar_j = a(r_i-r_j)\)
而我们有 $(m \nmid a) $ 且 $ m\nmid(r_i-r_j)$，得证。
因此 \(\prod r_i \equiv \prod ar_i \pmod m\)，而 \((r_i, m) = 1\)，故 \(a^{\phi(m)} \equiv 1 \pmod m\)。
扩展欧拉定理证明
扩展欧拉定理：若 \(b\geq \phi(m)\)，那么 \(a^b \equiv a^{b\% \phi(m) + \phi(m)} \pmod m\)。
证明
由唯一分解定理，\(a = \prod p_i^{\alpha_i}\)，我们只需要证明对于 \(a\) 的任意一个质因数 \(p\)，都有：若 \(b\geq \phi(m)\)，那么 \(p^b \equiv p^{b\% \phi(m) + \phi(m)} \pmod m\)。
而对于质数的幂次方可以用下面的方法类似证明，因此下面考虑证明：对于任意质数 \(p\)，上述结论成立。
记 \(m = sp^k\)，其中 \((s, p) = 1\)。
由欧拉定理，\(p^{\phi(s)}\equiv 1 \pmod s\)。
因为欧拉函数为积性函数，故 \(\phi(s) \mid \phi(m)\)，进而有 \(p^{\phi(m)}\equiv 1 \pmod s\)。
上式两边同乘 \(p^k\)，有 \(p^{\phi(m) + k}\equiv p^k \pmod m\)。
进而 \(p^{\phi(m) + k}\equiv p^k \equiv p^{k\%\phi(m) + \phi(m)} \pmod m\)。
因此，对于 \(b\geq \phi(m)\)，\(p^b\equiv p^{b \% phi(m) + b}\)。