『数论·同余』同余基础与欧拉费马定理

---

同余类与剩余系

同余类

在对$m$取模的意义下，$\overline{k}$表示$\forall a$满足$a\%m=k$的所有正整数集合。则该集合$\overline{k}$记为$m$的一个同余类。

剩余系

显然，对于任意模数$m$，所有的同余类有：$\overline{1},\overline{2},...,\overline{m-1}$。

这$m-1$个同余类构成$m$的完全剩余系。

对于所有和$m$互质的数$k_i$若$k_i<m$，一定有$\phi (m)$个，分别是$k_1,k_2,...,k_{\phi (m)}$.

则$m$的简化剩余系，就是集合：{$\overline{k_1},\overline{k_2},...,\overline{k_{\phi (m)}}$}

简化剩余系的性质

简化剩余系关于模$m$乘法封闭。对于m的简化剩余系{$\overline{k_1},\overline{k_2},...,\overline{k_{\phi (m)}}$}来说，

如果$\forall a\in${$\overline{k_1},\overline{k_2},...,\overline{k_{\phi (m)}}$},$\forall b\in${$1,+\infty$}且满足$gcd(b,m)=1$,那么$a\ast b$一定在模$m$意义下的简化剩余系内。

证明：

• 因为 $gcd(a,m)=1,gcd(b,m)=1$, 所以$a,b$和$m$都没有公共因子，一定满足 $gcd(a\ast b,m)=1$ ,即$a\ast b$一定在 $m$ 的简化剩余系内。

---

欧拉定理

欧拉定理内容

若$gcd(a,n)=1$, 则 满足：$$a^{\phi (n)}\equiv 1,(modn)$$

欧拉定理证明

注：接下来所有同余式都省略$(modn)$

$n$的简化剩余系是：{$\overline{a_1},\overline{a_2},...,\overline{a_{\phi (n)}}$}.

对于 $\forall$ $a_i,a_j$来说，如果要满足$a\ast a_i\equiv a\ast a_j$.通过移项可以得到$a\ast (a_i-a_j)\equiv 0$,由于$gcd(a,n)=1$,因此一定不满足$a\equiv 0$,可以得到$a_i\equiv a_j$,此时则一定满足$a_i=a_j.$

因此我们可以得到结论：当$a_i≠a_j$时，$a\ast a_i$和$a\ast a_j$属于不同的同余类。

由于简化剩余系的封闭性，集合{$\overline{a\ast a_1},\overline{a\ast a_2},...,\overline{a\ast a_{\phi (n)}}$}也属于n的简化剩余系，由于先前的结论，当$a_i≠a_j$时，$a\ast a_i$和$a\ast a_j$属于不同的同余类，可以得知：

• 集合{$\overline{a\ast a_1},\overline{a\ast a_2},...,\overline{a\ast a_{\phi (n)}}$}的数和集合{$\overline{a_1},\overline{a_2},...,\overline{a_{\phi (n)}}$}.的数可以说是一一对应甚至说是等效的。
• 因此我们又可以进一步得到：$$a_1\ast a_2\ast ...\ast a_{\phi (n)}\equiv (a\ast a_1)\ast (a\ast a_2)\ast ...\ast (a\ast a_{\phi (n)})$$

最后我们可以推导出欧拉定理：
$$a^{\phi (n)}\ast a_1\ast a_2\ast ...\ast a_{\phi (n)}\equiv (a\ast a_1)\ast (a\ast a_2)\ast ...\ast (a\ast a_{\phi (n)})\equiv a_1\ast a_2\ast ...\ast a_{\phi (n)}$$

最后根据先前推导的同余式，可以知道:$$a^{\phi (n)}\equiv 1,(modn)$$

欧拉定理的推论

欧拉定理推论内容

若满足$gcd(a,n)=1$,对于任意正整数b满足：$$a^b\equiv a^{b\%\phi (n)},(modn)$$

欧拉定理推论证明

若$b=k\ast \phi (n)+r$,则$r=b\%\phi (n)$.

$\therefore a^b\equiv a^{k\ast \phi (n)+r}\equiv (a^{\phi (n)}{)}^k\ast a^r\equiv 1\ast a^r\equiv a^r\equiv a^{b\%\phi (n)}$

欧拉定理推论的应用

若答案需要对质数$p$取模，尤其是算较大乘方时，可以将底数对$p$取模，将质数对$\phi (p)$取模，缩小计算范围。

若$a,n$不一定互质时，也满足：$$a^b\equiv a^{b\%\phi (n)+\phi (n)},(modn)$$

---

费马小定理

费马小定理内容

若$p$是质数，则对于任意整数$a$满足：$$a^p\equiv a,(modp)$$

费马小定理证明

对于欧拉定理：

• 若满足$gcd(a,n)=1$,对于任意正整数b满足：$$a^b\equiv a^{b\%\phi (n)},(modn)$$

我们知道，任意质数$p$，$\phi (p)=p-1$,套进欧拉定理就是：$$a^{p-1}\equiv 1(modn)$$.

两边同时乘上$a$，就可以得到：$$a^p\equiv a,(modp)$$