欧拉定理和费马小定理的证明

邓昱新

已于 2023-07-09 09:15:26 修改

阅读量143

点赞数 1

分类专栏：笔记文章标签：算法

于 2023-07-09 09:13:58 首次发布

本文链接：https://blog.csdn.net/qq_56071472/article/details/131619402

版权

笔记专栏收录该内容

24 篇文章 0 订阅

订阅专栏

定理内容

欧拉定理：若正整数 $a$ 、 $p$ （ $p\ne 1$ ）满足 $\gcd(a,p)=1$ ，则 $a^{\phi(p)}\equiv 1 \pmod{p}$ 。

费马小定理：若 $\gcd(a,p)=1$ ，且 $p$ 为质数，则 $a^{p-1}\equiv 1 \pmod{p}$ 。（实际上是欧拉定理的特殊形式）

证明

对于所有的质数 $p$ 都有 $\phi(p)=p-1$ ，故我们只需证明欧拉定理即可。

假设 $[1, p]$ 中与 $p$ 互质的数分别为 $X_1$ 、 $X_2$ …… $X_{\phi(p)}$ （互不相同），则 $\forall_{i\in [1,\phi(p)]}X_i \in[1,p)$ 。（此处成立是因为 $p\ne 1$ ）

对于 $aX_1$ 、 $aX_2$ …… $aX_{\phi(p)}$ ，它们模 $p$ 的值必然互不相等。假如存在 $aX_i\equiv aX_j \pmod{p}(i\ne j)$ ，不妨设 $X_i >X_j$ 那么就有 $\mid (aX_i - aX_j)$ ，由于 $\gcd(a,p)=1$ ，就有 $\mid (X_i-X_j)$ ，但是 $X_i-X_j<p$ ，产生矛盾，因此结论成立。

一定有 $\forall_{i\in[1,\phi(p)]}\gcd(aX_i,p)=1$ ，因为 $g c d (a, p) = 1$ 且 $gcd(X_i,p)=1$ 。由欧几里得算法得到 $\forall_{i\in[1,n]}\gcd(p,aX_i\mod p)=1$ 。也就是说，对于所有的 $aX_i\mod p$ 都必然与 $X_j$ 一一对应，因为它们都是 $[1, p)$ 里面不重复的与 $p$ 互质的数。那么有以下式成立：
$\prod\limits_{i=1}^{\phi(p)}aX_i\equiv \prod\limits_{i=1}^{\phi(p)}X_i\pmod{p}$
也即：
$a^{\phi(p)}\prod\limits_{i=1}^{\phi(p)}X_i\equiv \prod\limits_{i=1}^{\phi(p)}X_i\pmod{p}$
注意，同余没有同除性，所以不能两边同时消掉。但是我们可以利用其同减性：
$(a^{\phi(p)}-1)\prod\limits_{i=1}^{\phi(p)}X_i\equiv 0 \pmod{p}$
也即：
$\mid (a^{\phi(p)}-1)\prod\limits_{i=1}^{\phi(p)}X_i$

由于：
$\gcd(p,\prod\limits_{i=1}^{\phi(p)}X_i)=1$
所以：
$p\mid(a^{\phi(p)}-1)$
也就是说：
$a^{\phi(p)}-1 \equiv 0 \pmod{p}$
就可以得出：
$a^{\phi(p)} \equiv 1 \pmod{p}$