欧拉定理与扩展欧拉定理证明
之前一直想填这个坑来着。。
欧拉定理证明
欧拉定理：若 \((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}\)。
标签：phi,数论,定理,pmod,ar,欧拉,equiv 来源： https://www.cnblogs.com/Tenshi/p/15872460.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。