欧拉定理

什么是欧拉定理

数论上的欧拉定理，指的是

$$a^x\equiv 1(modn)$$

这个式子实在a和n互质的前提下成立的。

欧拉定理的证明

首先，我们知道在1到n的数中，与n互质的一共有$\phi (n)$个，所以我们把这$\phi (n)$个数拿出来，放到设出的集合X中，即为$x_1,x_2\dots \dots x_{\phi (n)}$。

那么接下来，我们可以再设出一个集合为$M$，设$M$中的数为：

$$\begin{gathered} m1=a\ast x1 \\ m2=a\ast x2 \\ \dots \dots \\ m\phi (n)=a\ast x\phi (n) \end{gathered}$$

下面我们证明两个推理：

一、M中任意两个数都不模n同余。

反证法。

证明：假设$M$中存在两个数设为$m_a,m_b$模$n$同余。

​ 即$m_a\equiv m_b$

​ 移项得到：$m_a-m_b=n\ast k$
​ 再将$m$用$x$来表示得到:$a\ast x_a-a\ast x_b=n\ast k$

​ 提取公因式得到$a\ast (x_a-x_b)=n\ast k$

​ 我们现在已知a与n互质，那么式子就可以转化为：$x_a-x_b\equiv （modn)$

，因为$a$中没有与$n$的公因子（$1$除外）所以$a$对模$n$同余$0$并没有什么贡献。

​ 又因为$x_a,x_b$都是小于$n$的并且不会相同，所以$x_a-x_b$一定是小于$n$的，那么上述的式子自然全都不成立。

​ 假设不成立。

证得：M中任意两个数都不模n同余。

二、M中的数除以n的余数全部与n互质。

证明：我们已知$m_i=a\ast x_i$.

​ 又因为$a$与$n$互质，$x_i$与$n$互质，所以可得$m_i$与$n$互质。

​ 带入到欧几里得算法中推一步就好了。

​ 即：

$$gcd(a\ast x_i,n)=gcd(m_i,n)=gcd(n,m_{i}modn)=1$$

证毕。

推式子

根据我们证得的两个性质，就可以开始推式子了。

首先，根据第二个性质可以知道，M中的数分别对应X中的每个数模n同余。

所以可以得到：

$$m_1\ast m_2\ast \dots \dots \ast m_{\phi (n)}\equiv x_1\ast x_2\ast \dots \dots \ast x_{\phi (n)}(modn)$$

现在我们把$m_i$替换成$x$的形式，就可以得到：

$$a\ast x_1\ast a\ast x_2\ast \dots \dots \ast a\ast x_{\phi (n)}\equiv x_1\ast x_2\ast \dots \dots \ast x_{\phi (n)}(modn)$$

很显然，我们应该移项了，但是在移项之前，我们认为这么多的$a$很烦，那么就先乘起来：

$$a^{\phi (n)}\ast (x_1\ast x_2\dots \dots \ast x_{\phi (n)})\equiv x_1\ast x_2\dots \dots \ast x_{\phi (n)}(modn)$$

我们凑出了$a^{\phi (n)}$,那么就开始移项：
$$(a^{\phi (n)}-1)\ast (x_1\ast x_2\dots \dots \ast x_{\phi (n)})\equiv 0(modn)$$

然后，就可证明：

$$a^{\phi (n)}\equiv 1(modn)$$