欧拉定理、费马小定理和扩展欧拉定理

欧拉定理、费马小定理和扩展欧拉定理

①Theorem Eular

$$theorem:\forall_{\gcd(a,p)=1}a^{\varphi(p)}\equiv 1(\mod p)$$

证明：
设表示与p互质的数的数组$\{k_1,k_2,k_3\cdots k_{\varphi(p)}\}$使得$\gcd(k_i,p)=1$
再设另一个数组$\{m_1,m_2,m_3 \cdots m_{\varphi(p)}\}$使得$m_i=ak_i$
有两个推论
1.

$\gcd(m_i \mod p,p)=1$
$\because \gcd(a,p)=1,gcd(k_i,p)=1 \therefore \gcd(ak_i,p)=1$
$\therefore \gcd(m_i \mod p,p)=1$

2.

$\forall_{i\lt j\lt\varphi(p)} m_i \not\equiv m_j (\mod p)$
$m_i-m_j=np \to a(k_i-k_j)=np$
$\because\gcd(a,p)=1,k_i\neq k_j,\max\{k_i\}\lt p$
$\therefore \gcd(a,p)=1,k_i\not\equiv k_j(\mod p)$
$\therefore ak_i \not\equiv ak_j(\mod p)\therefore m_i\not\equiv m_j(\mod p)$

这样可以得出 $m_i$和$a_i$对于p取模可一一对应
$\therefore \prod_{1\leq i \leq \varphi(p)}m_i \equiv \prod_{1\leq i \leq \varphi(p)}k_i(\mod p)$
$\therefore a^{\varphi(p)}\prod_{1\leq i \leq \varphi(p)}k_i\equiv \prod_{1\leq i \leq \varphi(p)}k_i(\mod p)$
$\therefore a^{\varphi(p)}\equiv 1 (\mod p)$

②Theorem Fermat

$theorem:\forall_{gcd(a,p)=1,p\ is\ a\ prime}a^{p-1}\equiv 1(\mod p)$

证明：
因为 p是质数， $\varphi(p)=p-1$ ,由Theorem Eular ,可知
$\forall_{gcd(a,p)=1,p\ is\ a\ prime}a^{p-1}\equiv 1(\mod p)$

③Theorem Eular Ext

$theorem:\forall_{a,x,m,\varphi(m)\leq x} a^x \equiv a^{x \mod \varphi(m) +\varphi(m)}(\mod m)$

去证明它应有两个引理：

引理1:

$$x \equiv y (\mod m_1)\ \ \ \ x\equiv y(\mod m_2) \ \ \ \to x\equiv y(\mod LCM(m_1,m_2))$$
推理得:
1. $$x\equiv y(\mod m_ 1)\ \ \ x\equiv y(\mod m_ 2)$$
$$当 \gcd(m_ 1,m_ 2)=1,x\equiv y(\mod m_ 1m_ 2)$$
2. $\begin{cases} x\equiv y(\mod m_ 1)\\ x\equiv y(\mod m_ 2)\\ x\equiv y(\mod m_ 3)\\ \cdots\\ x\equiv y(\mod m_ k) \end{cases}$ $\to x\equiv y(\mod LCM(m_ 1m_ 2m_ 3\cdots m_ k))$

引理2:

当$p$时,$\varphi(p^q)=(p-1)p^{q-1}\geq q$

$Proof:$
首先我们证明$当\ m=p^q时定理成立$
1.
当$\gcd(a,p)=1$ , $\gcd(p^q,a)=1$得知$a^{\varphi(p^q)}\equiv 1(\mod p^q)$(Theorem Eular)
由此可推知 $a^x=a^{x \mod \varphi(m)+k\varphi(m)}\equiv a^{x \mod \varphi(m)+\varphi(m)}(\mod m)$
2.
当 $\gcd(a,p)=p^k$
$\because x\geq \varphi(m)\geq q , x \mod \varphi(m)+\varphi(m)\geq q$
$\therefore a^x\equiv 0 \equiv a^{x\mod \varphi(m)+\varphi(m)}(\mod m)$
由引理1,当$m=m_ 1m_ 2m_ 3\cdots m_ k=p_1^{q_1}p_2^{q_2}p_3^{q_3}\cdots p_k^{q_k}$
$\therefore \gcd(m_ 1,m_ 2,m_ 3,\cdots ,m_ k)=1$
$\therefore LCM(m_ 1,m_ 2,m_ 3,\cdots ,m_ k)=m_ 1m_ 2m_ 3\cdots m_ k$
$\therefore a^x\equiv a^{x\mod \varphi(m)+\varphi(m)}(\mod m_ 1m_ 2m_ 3\cdots m_ k)$
$\therefore a^x \equiv a^{x \mod \varphi(m)+\varphi(m)}(\mod m)$
证毕。