同余式、幂与欧拉公式

1 欧拉公式

  费马小定理指出，如果$p$是素数且$p\nmid a$，则$a^{p-1}\equiv 1(modp)$。如果$p$换成合数，那这个结论就不正确了，例如$5^5\equiv 5(mod6)$。因此就有了一个问题，是否有依赖模$m$的指数使得：
$$a^{???}\equiv 1(modm)$$

  首先观察到，如果$gcd(a,m)>1$，那这是不可能的，假设$a^k\equiv 1(modm)$，则对某整数$y$有$a^k=1+ym$，所以$gcd(a,m)$整除$a^k-ym=1$，换言之，如果$a$的某个幂模$m$余$1$，则必有$gcd(a,m)=1$。这告诉我们要考虑与$m$互素的数的集合：
{ a : 1 ≤ a ≤ m , g c d ( a , m ) = 1 } \{a:1\le a\le m,gcd(a,m) = 1\} {a:1≤a≤m,gcd(a,m)=1}
例如：

  $1$与$m$之间与$m$互素的整数个数是个很重要的量，我们将它记为：
ϕ ( m ) = # { a : 1 ≤ a ≤ m , g c d ( a , m ) = 1 } \phi(m) = \# \{a:1\le a\le m,gcd(a,m) = 1\} ϕ(m)=#{a:1≤a≤m,gcd(a,m)=1}
函数$\varphi (m)$叫做欧拉函数。当$p$是素数时，$1\le a<p$的每个整数都与$p$互素。所以，对素数$p$有公式：
$$\varphi (p)=p-1$$

  定理（欧拉公式）：如果$gcd(a,m)=1$则：
$$a^{\varphi (m)}\equiv 1(modm)$$

  欧拉公式的证明与费马小定理的证明方法几乎一致，在证明之前先证明下述引理。

  引理：如果$gcd(a,m)=1$，则数列：
$$b_{1}a,b_{2}a,\cdots ,b_{\varphi (m)}a(modm)$$
与数列：
$$b_1,b_2,\cdots ,b_{\varphi (m)}(modm)$$
相同，尽管它们的次序可能不同。

  如果$b$与$m$互素，则$ab$也与$m$互素。从而数列：
$$b_{1}a,b_{2}a,\cdots ,b_{\varphi (m)}a(modm)$$
中的每一个数同余于数列
$$b_1,b_2,\cdots ,b_{\varphi (m)}(modm)$$
中的每一个数。进而每一个数列都有$\varphi (m)$个数。因此，如果能够证明第一个数列中的数对于模$m$不同，则就得到两个数列（重排后）相同。

  假设从第一个数列中取两个数$b_{j}a,b_{k}a$并假设它们同余：
$$b_{j}a\equiv b_{k}a(modm)$$
因此有$m\mid (b_j-b_k)a$，由于$m$与$a$互素，故$m\mid b_j-b_k$，又因为$|b_j-b_k|\le m-1$，所以$b_j-b_k=0$，这说明数列中的数模$m$不同。

  根据引理，由于两个数列是相同的，所以第一个数列的乘积等于第二个数列的乘积：
$$(b_{1}a)\ast (b_{2}a)\ast (b_{3}a)\ast \cdots \ast (b_{\varphi (m)}a)\equiv b_1{b}_2\cdots b_{\varphi (m)}(modm)$$
左边提出$\varphi (m)$个$a$并消去$b_1{b}_2\cdots b_{\varphi (m)}$得到：
$$a^{\varphi (m)}\equiv 1(modm)$$

2 参考资料

《数论概论》第四版 P47-P49