欧拉 函数

定义

对于正整数 $n$ , $\varphi (n)=$ 小于等于 $n$ 的数中与 $n$ 互质的数的数目。

定理

• 若 $p$ 为素数，则 $\varphi (p)=p-1$ 。

• 若 $n$ 为 $p^a$ （ $p$ 为素数） ，则 $\varphi (p^a)=(p-1)\times p^{a-1}$ 。

因为 $p$ 为素数，所以 $1---p^a$ 中与 $p$ 不互质的数有 $p^{a-1}$ 个，所以 $\varphi (p^a)=p^a-p^{a-1}=p^{a-1}\times (p-1)$

• 若 $n$ 为 $a\times b$ 并且 $a,b$ 互质， 则 $\varphi (a\times b)=\varphi (a)\times \varphi (b)$ 。

将 $n$ 质因数分解：$$n=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times p_4^{a_4}\times p_5^{a_5}\times ...p_k^{a_k}$$
因为 $a,b$ 互质，所以 $a,b$ 不会有相同的因子。
所以 $$a=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times p_4^{a_4}\times p_5^{a_5}\times ...p_x^{a_x}$$
$$b=p_{x+1}^{a_{x+1}}\times p_{x+2}^{a_{x+2}}\times p_{x+3}^{a_{x+3}}\times p_{x+4}^{a_{x+4}}\times p_{x+5}^{a_{x+5}}\times ...p_k^{a_k}$$
因为 $p_1^{a_1},p_2^{a_2},p_3^{a_3},p_4^{a_4},p_5^{a_5}...p_k^{a_k}$ 互质所以 : $$\varphi (n)=\varphi (p_1^{a_1})\times \varphi (p_2^{a_2})\times \varphi (p_3^{a_3})\times \varphi (p_4^{a_4})\times ...\times \varphi (p_k^{a_k})$$
$$\varphi (n)=\varphi (p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times ...p_x^{a_x})\times \varphi (p_{x+1}^{a_{x+1}}\times p_{x+2}^{a_{x+2}}\times p_{x+3}^{a_{x+3}}\times ...p_k^{a_k})$$
$$\varphi (n)=\varphi (a)\times \varphi (b)$$

• 若 $n=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times p_4^{a_4}\times p_5^{a_5}\times ...p_k^{a_k}$ , 则 $\varphi (n)=n\times (1-\frac{1}{p_1})\times (1-\frac{1}{p_2})\times (1-\frac{1}{p_3})\times ...\times (1-\frac{1}{p_k})$

$$n=p_1^{a_1}\times p_2^{a_2}\times p_3^{a_3}\times p_4^{a_4}\times p_5^{a_5}\times ...p_k^{a_k}$$
$$\varphi (n)=\varphi (p_1^{a_1})\times \varphi (p_2^{a_2})\times \varphi (p_3^{a_3})\times \varphi (p_4^{a_4})\times ...\times \varphi (p_k^{a_k})$$
$$\varphi (n)=p_1^{a_1}\times (1-\frac{1}{p_1})\times p_2^{a_2}\times (1-\frac{1}{p_2})\times p_3^{a_3}\times (1-\frac{1}{p_3})\times ...p_k^{a_k}\times (1-\frac{1}{p_k})$$
$$\varphi (n)=n\times (1-\frac{1}{p_1})\times (1-\frac{1}{p_2})\times (1-\frac{1}{p_3})\times ...\times (1-\frac{1}{p_k})$$

• 欧拉定理

若 $a,m$ 互质，则 $a^{\varphi (m)}\equiv 1(\mathrm{mod}m)$