【数论】欧拉函数

欧拉函数：对正整数 $n$ ，欧拉函数是小于等于 $n$ 的数中与 $n$ 互质的数的个数。

欧拉函数又称 $\phi$ 函数，例如 $\phi(8) = 4$ ，因为在小于 $8$ 的数中，有 $1, 3, 5, 7$ 与其互质。

欧拉函数的三条性质：

• 如果 $n$ 为某一素数 $p$ ，则： $\phi(p) = p - 1$

  证明：显然。

• 如果 $n$ 为某一素数 $p$ 的幂次 $p^a$ ，则：$\phi(p^a) = (p - 1) * p^{a - 1}$

  证明：比 $p^a$ 小的数显然有 $p^a - 1$ 个。其中，能被 $p$ 整除的数均可被表示为 $p * t (t = 1, 2, \dots , p^{a - 1} - 1)$， 即有 $p^{a - 1} - 1$ 个这样的数可以被 $p$ 整除，从而不与 $p^a$ 互质，取它的补集，也就是我们想要的与 $p^a$ 互质的数，即 $\phi(p^a) = (p^a - 1) - (p^{a - 1} - 1) = (p - 1) * p^{a - 1}$

• 如果 $n$ 是任意两个互质的数 $a, b$ 的乘积，则： $\phi(a * b) = \phi(a) * \phi(b)$

  证明：在比 $a * b$ 小的数中，只有既于 $a$ 互质，又与 $b$ 互质的数才与 $a * b$ 互质，显然有 $\phi(a) * \phi(b)$ 个，即 $\phi(a * b) = \phi(a) * \phi(b)$ 。

由欧拉函数的这三条性质，当 $n$ 表示为素数幂乘积即 $n = p_1^{a_1} * p_2^{a_2} * \cdots * p_k^{a_k}$ 时，我们有：

$$\begin{array}{rcl} \phi(n) & = & \phi(p_1^{a_1} * p_2^{a_2} * \cdots * p_k^{a_k}) \\ & = & \phi(p_1^{a_1}) * \phi(p_2^{a_2}) \cdots * \phi(p_k^{a_k}) \\ & = & (p_1 - 1) * (p_2 - 1) * \cdots * (p_k - 1) * p_1^{a_1 - 1} * p_2 ^{a_2 - 1} * \cdots * p_k^{a_k - 1} \\ & = & p_1^{a_1} * p_2^{a_2} * \cdots * p_k ^{a_k} * \frac{p_1 - 1}{p_1} * \frac{p_2 - 1}{p_2} * \cdots * \frac{p_k - 1}{p_k} \\ & = & n * (1 - \frac{1}{p_1}) * (1 - \frac{1}{p_2}) * \cdots * (1 - \frac{1}{p_k}) \end{array}$$

这就是计算一个数的欧拉函数的方法。