（8）同余式、幂与欧拉公式

同余式、幂与欧拉公式

在前一章我们证明了费马小定理，在p是素数且$p\nmid a$，则成立，如果p换成合数，结论就不成立了，我们问是否有依赖模m的指数使得

$a^{???}=1(\mathrm{m}\mathrm{o}\mathrm{d}m)$

首先，观察到如果$gca(a,m)>1$，则这是不可能的。为了说明原因，假设$a^k\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)$，则对某整数$y,a^k=1+my$，所以$gcd(a,m)$整除$a^k-my=1$。换句话说，如果a的某个幂模m余1，则必有$gcd(a,m)=1$。这提示我们观察与m互素的数的集合

$\left|a:1\le a\le m,gcd(a,m)=1\right|$

例如

$m$	$\Vert a:1\le a\le m,gcd(a,m)=1\Vert$
1	$\Vert 1\Vert$
2	$\Vert 1,2\Vert$
3	$\Vert 1,3\Vert$
4	$\Vert 1,2,3\Vert$
5	$\Vert 1,2,3,4\Vert$
6	$\Vert 1,5\Vert$
7	$\Vert 1,2,3,4,5,6\Vert$

在1与m之间且与m互素的整数个数是个重要的量，我们赋予这个量一个名称：

$\varphi (m)=\#\left|a:1\le a\le m,gcd(a,m)=1\right|.$

函数$\varphi$叫做欧拉函数。
注意p是素数时每个整数$q\le a<p$都与p互素。所以，对素数p有公式

$\varphi (p)=p-1.$

同费马小定理一样我们先假设要求7的幂次模10余1.不取所有数$1\le a<10$而是恰好取与10互素的数，他们是

$1,3,5,7(\mathrm{m}\mathrm{o}\mathrm{d}10)$.

如果用7乘每个数得

$7\ast 1=1(\mathrm{m}\mathrm{o}\mathrm{d}10),7\ast 3=3(\mathrm{m}\mathrm{o}\mathrm{d}10)$
$7\ast 5=5(\mathrm{m}\mathrm{o}\mathrm{d}10),7\ast 9=9(\mathrm{m}\mathrm{o}\mathrm{d}10)$

注意重排后取相同的数。如果将他们乘起来就得到相同的乘积

$(7\ast 1)(7\ast 3)(7\ast 7)(7\ast 9)=1\ast 3\ast 7\ast 9(\mathrm{m}\mathrm{o}\mathrm{d}10)$
$7^4(1\ast 3\ast 7\ast 9)=1\ast 3\ast 7\ast 9(\mathrm{m}\mathrm{o}\mathrm{d}10)$

消去$1\ast 3\ast 7\ast 9$得$7^4=1(\mathrm{m}\mathrm{o}\mathrm{d}10)$。
指数4就是0到10之间且与10互素的整数个数。这就引出了欧拉公式。

欧拉公式

如果$gcd(a,m)=1$，则

$a^{\varphi (m)}=1(\mathrm{m}\mathrm{o}\mathrm{d}m)$

证明我们已经确定了考察的数的正确集合，所以欧拉公式得证明几乎与费马小定理的证明一致。令

$1\le b_1<b_2<\cdots <b_{\varphi (m)}<m$

是0与m之间且与m互素的$\varphi (m)$个整数。
引理如果$gcd(a,m)=1$，则数列

$b_{1}a,b_{2}a,b_{3}a,\cdots ,b_{\varphi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

与

$b_1,b_2,b_3,\cdots ,b_{\varphi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

相同，尽管他们可能次序不同。
引理的证明注意到如果b与m互素，则$ab$也与m互素。从而数列

$b_{1}a,b_{2}a,b_{3}a,\cdots ,b_{\varphi (m)}a(\mathrm{m}\mathrm{o}\mathrm{d}m)$

中的每个数同余于数列

$b_1,b_2,b_3,\cdots ,b_{\varphi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

中的一个数，进而，每个数列都有$\varphi (m)$个数。因此，如果能够证明第一个数列中的数对于模m不同，则就得到两个数列（重排后）相同。
假设从第一个数列中取两个数$b_{j}a$与$b_{k}a(\mathrm{m}\mathrm{o}\mathrm{d}m)$，并假设它们同余，

$b_{j}a=b_{k}a(\mathrm{m}\mathrm{o}\mathrm{d}m)$。

则$m|(b_j-b_k)a$。但是m与a互素，因此得到$m|b_j-b_k$。另一方面，$b_j,b_k$在1与m之间，这蕴含$\left|b_j-b_k\right|\le m-1$。仅有一个数的绝对值严格小于m且被m整除，这个数是0.从而$b_j=b_k$。这说明数列

$b_{1}a,b_{2}a,b_{3}a,\cdots ,b_{\varphi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

中的数模m不同，这就完成了引理的证明。
使用引理就可以很容易的完成欧拉公式的证明

$(b_{1}a)\ast (b_{2}a)\ast \cdots \ast (b_{\varphi (m)}a)=b_1\ast b_2\ast \cdots \ast b_{\varphi (m)}(\mathrm{m}\mathrm{o}\mathrm{d}m)$

右边提出$\varphi (m)$个a得到

$a^{\varphi (m)}B=B(\mathrm{m}\mathrm{o}\mathrm{d}m),其中B=b_1{b}_2{b}_3\cdots b_{\varphi (m)}$

最后由于每个b_i与m互素，我们的B与m互素。这表明可从两边消去B得到欧拉公式

$a^{\varphi (m)}=1(\mathrm{m}\mathrm{o}\mathrm{d}m)$