[整理]扩展欧拉定理证明

证明思路来源于知乎https://zhuanlan.zhihu.com/p/24902174

---

需要证明$a^x \equiv a^{x\bmod \varphi(m) + \varphi(m)} \pmod{m}$，其中$a$为任意整数，$m,x$为正整数，且$x\ge \varphi(m)$

---

引理1：

$$\left\{\begin{matrix}x \equiv y\ \pmod{m_1}\\x \equiv y\ \pmod{m_2}\end{matrix}\right. \implies x\equiv y\pmod{lcm(m_1,m_2)}$$

理解：

$\left\{\begin{matrix}x \equiv y\ \pmod{m_1}\\x \equiv y\ \pmod{m_2}\end{matrix}\right. \implies \left\{\begin{matrix}m_1 | x-y \\m_2 | x-y\end{matrix}\right.$
对$m_1,m_2$标准分解：$m_1 = A * {p_1}^{q_{a_1}}{p_2}^{q_{a_2}}\cdots {p_n}^{q_{a_n}} \ \ \ \ \ $ $m_2 = B * {p_1}^{q_{b_1}}{p_2}^{q_{b_2}}\cdots {p_n}^{q_{b_n}}$

因为$x-y$又是$m_1$的倍数，又是$m_2$的倍数，所以$x-y=C*A*B*{p_1}^{max(q_{a_1},q_{b_1})}{p_2}^{max(q_{a_2},q_{b_2})}\cdots {p_n}^{max(q_{a_n},q_{b_n})}$

显然有$lcm(m1,m2)|x-y \implies x\equiv y \pmod{lcm(m_1,m_2)}$

---

引理２：

$p$ 是素数，$q$ 是正整数且 $q>1$，则 $\varphi(p^q) \geq q$

理解:

$\varphi(p^q) \geq q \implies (p-1)*p^{q-1} \geq q$

当$p,q$ 均为2时，显然有$(p-1)*p^{q-1} \geq q$
当$q$ 大于2时，$q$ 每增加$1$，不等式左边翻倍，右边增加一，显然成立
当$p$ 大于2时，$(p-1)*p^{q-1} > (2-1)*2^{q-1} \geq q$

---

证明

当 $m$为任意正整数时，将$m$标准分解： $m=p_1^{q_1}p_2^{q_2}\cdots p_n^{q_n}$

由 引理2 ， 对于其中的一个 $p_i^{q_i}$，都有 $a^x \equiv a^{x\bmod \varphi (p_i^{q_i})+\varphi (p_i^{q_i})}\equiv 0 \pmod{p_i^{q_i}}$

由于$\varphi(m)$是$\varphi(p_i^{q_i})$的倍数
$\gcd(a,p_i)=1$时，明显有 $a^{x\bmod \varphi (p_i^{q_i})+\varphi (p_i^{q_i})} \equiv a^{x\bmod \varphi (m)+\varphi (m)} \pmod {p_i^{q_i}}$
$\gcd(a,p_i)=p_i$时，明显有$a^{x\bmod \varphi (p_i^{q_i})+\varphi (p_i^{q_i})} \equiv 0\equiv a^{x\bmod \varphi (m)+\varphi (m)} \pmod {p_i^{q_i}}$

即： $a^x \equiv a^{x\bmod \varphi (p_i^{q_i})+\varphi (p_i^{q_i})} \equiv a^{x\bmod \varphi (m)+\varphi (m)} \pmod {p_i^{q_i}}$

由 引理1 ，将所有 $a^{x} \equiv a^{x\bmod \varphi (m)+\varphi (m)} \pmod {p_i^{q_i}}$合并，命题即可得证