欧拉函数的乘性+一道练习题
在数论中，欧拉函数 φ(n)\varphi(n)φ(n) 是一个非常核心的概念，它表示在 111 到 nnn 中与 nnn 互素的正整数的个数。欧拉函数有一个极为重要的性质------积性（Multiplicativity） ：如果 gcd(m,n)=1\gcd(m, n) = 1gcd(m,n)=1，那么 φ(mn)=φ(m)φ(n)\varphi(mn) = \varphi(m)\varphi(n)φ(mn)=φ(m)φ(n)。
这个看似简单的等式，背后却隐藏着极具美感的数学结构。今天，我们将通过两篇手稿中的推导，分别从**初等组合（容斥原理）和抽象代数（环同构）**两个截然不同的视角，来为您呈现这一性质的两种优雅证明。
视角一：初等法------容斥原理
第一种方法扎根于最朴素的计数思想。我们要计算 111 到 NNN 中与 NNN 互素的数的个数，可以通过"反向思考"：先算出所有数的个数 NNN，然后减去那些与 NNN 不互素的数。
1. 容斥原理的引入
设 NNN 的标准素因数分解为 N=p1e1p2e2⋯pkekN = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}N=p1e1p2e2⋯pkek。
与 NNN 不互素的数，必然是某个素因子 pip_ipi 的倍数。因此，我们需要在 NNN 中减去 pip_ipi 的倍数。但在减去 p1p_1p1 的倍数和 p2p_2p2 的倍数时，既是 p1p_1p1 又是 p2p_2p2 倍数的数（即 p1p2p_1p_2p1p2 的倍数）被多减了一次，必须加回来；同理，三个素因子的公共倍数又要再减去......这就自然引入了容斥原理：
φ(N)=N−∑Npi+∑Npipj−∑Npipjpk+⋯ \varphi(N) = N - \sum \frac{N}{p_i} + \sum \frac{N}{p_i p_j} - \sum \frac{N}{p_i p_j p_k} + \cdots φ(N)=N−∑piN+∑pipjN−∑pipjpkN+⋯
提取公因数 NNN 后，我们得到了一个美丽的式子：
φ(N)=N(1−∑1pi+∑1pipj−⋯ ) \varphi(N) = N \left( 1 - \sum \frac{1}{p_i} + \sum \frac{1}{p_i p_j} - \cdots \right) φ(N)=N(1−∑pi1+∑pipj1−⋯)
2. 多项式展开的归纳证明
观察上式的括号部分，它非常像连乘积 ∏(1−xi)\prod (1 - x_i)∏(1−xi) 的展开式。我们可以通过数学归纳法来严谨证明这个代数恒等式：
- 基础情况 ：当 n=1n=1n=1 时，1−x1=1−x11 - x_1 = 1 - x_11−x1=1−x1，显然成立。
- 归纳假设 ：假设对于 nnn 项成立，即 ∏i=1n(1−xi)=1−∑xi+∑xixj−⋯\prod_{i=1}^n (1 - x_i) = 1 - \sum x_i + \sum x_i x_j - \cdots∏i=1n(1−xi)=1−∑xi+∑xixj−⋯
- 递推证明 ：对于 n+1n+1n+1 项，
∏i=1n+1(1−xi)=(1−xn+1)(1−∑i=1nxi+∑xixj−⋯ ) \prod_{i=1}^{n+1} (1 - x_i) = (1 - x_{n+1}) \left( 1 - \sum_{i=1}^n x_i + \sum x_i x_j - \cdots \right) i=1∏n+1(1−xi)=(1−xn+1)(1−i=1∑nxi+∑xixj−⋯)
展开后，原有的项保持不变，新增加了 −xn+1-x_{n+1}−xn+1 乘以每一项的结果。合并同类项后，正好补全了 n+1n+1n+1 个变量的所有单次项、交叉相乘项等，归纳成立！
3. 欧拉函数公式与乘性推导
将 xi=1pix_i = \frac{1}{p_i}xi=pi1 代入上述恒等式，我们得到了欧拉函数的显式公式：
φ(N)=N∏pi∣N(1−1pi) \varphi(N) = N \prod_{p_i | N} \left( 1 - \frac{1}{p_i} \right) φ(N)=Npi∣N∏(1−pi1)
有了这个公式，乘性就不言而喻了。若 gcd(n1,n2)=1\gcd(n_1, n_2) = 1gcd(n1,n2)=1，说明 n1n_1n1 和 n2n_2n2 没有公共的素因子 （即它们的素因子集合 S1S_1S1 和 S2S_2S2 互斥，且 S1∪S2S_1 \cup S_2S1∪S2 就是 N=n1n2N=n_1n_2N=n1n2 的素因子集合）。
φ(n1)φ(n2)=[n1∏p∈S1(1−1p)]×[n2∏p∈S2(1−1p)]=(n1n2)∏p∈S1∪S2(1−1p)=N∏p∣N(1−1p)=φ(N) \begin{aligned} \varphi(n_1)\varphi(n_2) &= \left[ n_1 \prod_{p \in S_1} \left( 1 - \frac{1}{p} \right) \right] \times \left[ n_2 \prod_{p \in S_2} \left( 1 - \frac{1}{p} \right) \right] \\ &= (n_1 n_2) \prod_{p \in S_1 \cup S_2} \left( 1 - \frac{1}{p} \right) \\ &= N \prod_{p | N} \left( 1 - \frac{1}{p} \right) = \varphi(N) \end{aligned} φ(n1)φ(n2)= n1p∈S1∏(1−p1) × n2p∈S2∏(1−p1) =(n1n2)p∈S1∪S2∏(1−p1)=Np∣N∏(1−p1)=φ(N)
Q.E.D.
视角二：高级法------从中国剩余定理看环同构
如果说初等法是微观的解剖，那么利用代数结构的方法则是宏观的俯瞰。在抽象代数中，Zm\mathbb{Z}_mZm（模 mmm 的剩余类环）是一个非常有意思的结构，而 φ(m)\varphi(m)φ(m) 恰恰对应着这个环中**可逆元（Unit）**的数量。
1. 构建直积环
考虑 m1m_1m1 和 m2m_2m2 互素，且 m=m1m2m = m_1 m_2m=m1m2。我们已经知道，环 Zm1\mathbb{Z}_{m_1}Zm1 中的可逆元数量是 φ(m1)\varphi(m_1)φ(m1)。
现在我们构建一个直积环 R=Zm1×Zm2R = \mathbb{Z}{m_1} \times \mathbb{Z}{m_2}R=Zm1×Zm2，其中的元素是数对 (aˉ,bˉ)(\bar{a}, \bar{b})(aˉ,bˉ)，加法和乘法都是按分量进行的（例如 (a1,b1)⋅(a2,b2)=(a1a2,b1b2)(a_1, b_1) \cdot (a_2, b_2) = (a_1 a_2, b_1 b_2)(a1,b1)⋅(a2,b2)=(a1a2,b1b2)）。
显然，只有当 aˉ\bar{a}aˉ 在 Zm1\mathbb{Z}{m_1}Zm1 中可逆，且 bˉ\bar{b}bˉ 在 Zm2\mathbb{Z}{m_2}Zm2 中可逆时，数对 (aˉ,bˉ)(\bar{a}, \bar{b})(aˉ,bˉ) 在直积环中才是可逆的。因此，RRR 中的可逆元总数就是 φ(m1)φ(m2)\varphi(m_1)\varphi(m_2)φ(m1)φ(m2)。
2. 构造映射与双射证明
接下来，我们定义一个从 Zm\mathbb{Z}{m}Zm 到 Zm1×Zm2\mathbb{Z}{m_1} \times \mathbb{Z}_{m_2}Zm1×Zm2 的映射 fff：
f(xˉ(modm))=(x(modm1),x(modm2)) f(\bar{x} \pmod{m}) = (x \pmod{m_1}, x \pmod{m_2}) f(xˉ(modm))=(x(modm1),x(modm2))
- 单射（Injective） ：如果 f(xˉ)=f(yˉ)f(\bar{x}) = f(\bar{y})f(xˉ)=f(yˉ)，这意味着 x≡y(modm1)x \equiv y \pmod{m_1}x≡y(modm1) 且 x≡y(modm2)x \equiv y \pmod{m_2}x≡y(modm2)。因为 gcd(m1,m2)=1\gcd(m_1, m_2) = 1gcd(m1,m2)=1，根据整除性质，必然有 m1m2∣(x−y)m_1 m_2 \mid (x-y)m1m2∣(x−y)，即 x≡y(modm)x \equiv y \pmod{m}x≡y(modm)，故原像唯一。
- 满射（Surjective） ：由于 Zm\mathbb{Z}{m}Zm 有 m1m2m_1 m_2m1m2 个元素，直积环 Zm1×Zm2\mathbb{Z}{m_1} \times \mathbb{Z}_{m_2}Zm1×Zm2 也有 m1m2m_1 m_2m1m2 个元素。一个有限集到自身同等大小有限集的单射，必然也是满射（一一对应）。
3. 同构的威力
由于映射 fff 在加法和乘法下都保持结构不变（例如 f(x+y)=f(x)+f(y)f(x+y) = f(x)+f(y)f(x+y)=f(x)+f(y)），它是一个环同构映射 （Ring Isomorphism），即 Zm≅Zm1×Zm2\mathbb{Z}{m} \cong \mathbb{Z}{m_1} \times \mathbb{Z}_{m_2}Zm≅Zm1×Zm2。
核心结论： 两个同构的环在代数结构上是完全等价的，因此它们拥有相同数量的可逆元！
- 左边 Zm\mathbb{Z}_{m}Zm 的可逆元数量为 φ(m)\varphi(m)φ(m)
- 右边直积环的可逆元数量为 φ(m1)φ(m2)\varphi(m_1)\varphi(m_2)φ(m1)φ(m2)
故 φ(m1m2)=φ(m1)φ(m2)\varphi(m_1 m_2) = \varphi(m_1)\varphi(m_2)φ(m1m2)=φ(m1)φ(m2)。
Q.E.D.
总结
一题多解是一个非常重要的思维能力，在解决困难的数学问题的时候，有多个思路就可以增加解决问题的可能性。
接下来我将给出一道与这道题目相关的一个有意思的证明题，大家可以思考然后把答案扔到plq
深度环论思考题
题目背景
我们知道欧拉函数 φ(n)\varphi(n)φ(n) 完美地描述了普通整数环 Zn\mathbb{Z}_nZn 的可逆元（Unit）数量。现在，我们将舞台扩大，考虑高斯整数模 nnn 构成的环。
定义环 Rn=Z[i]/⟨n⟩R_n = \mathbb{Z}[i] / \langle n \rangleRn=Z[i]/⟨n⟩，其中 i2=−1i^2 = -1i2=−1，nnn 是一般的正整数。这个环中的元素可以自然地表示为 a+bia + bia+bi，其中 a,b∈Zna, b \in \mathbb{Z}_na,b∈Zn。
我们用 U(Rn)U(R_n)U(Rn) 表示环 RnR_nRn 中的可逆元集合（即单位群）。
思考任务
第一问
利用本文第一部分中讲述的环同构思想，若 nnn 的标准素因数分解为 n=p1e1p2e2⋯pkekn = p_1^{e_1}p_2^{e_2}\cdots p_k^{e_k}n=p1e1p2e2⋯pkek。
请证明 RnR_nRn 可以拆分为多个素数幂次构成的子环直积，并写出同构关系式。据此说明，计算 ∣U(Rn)∣|U(R_n)|∣U(Rn)∣ 只需要解决 ∣U(Rpe)∣|U(R_{p^e})|∣U(Rpe)∣ 这一子问题即可。
第二问
如果在普通的 Zn\mathbb{Z}_nZn 中增加一个独立的维度，若是两个简单直积 Zn×Zn\mathbb{Z}_n \times \mathbb{Z}_nZn×Zn，其可逆元数量理应是 φ(n)×φ(n)=φ(n)2\varphi(n) \times \varphi(n) = \varphi(n)^2φ(n)×φ(n)=φ(n)2。但在 RnR_nRn 中， ∣U(Rn)∣=φ(n)2|U(R_n)| = \varphi(n)^2∣U(Rn)∣=φ(n)2 这个等式并非总是成立。
请证明：当且仅当 nnn 的所有奇素因子都满足 p≡1(mod4)p \equiv 1 \pmod 4p≡1(mod4) 且 nnn 不是 4 的倍数时，∣U(Rn)∣=φ(n)2|U(R_n)| = \varphi(n)^2∣U(Rn)∣=φ(n)2 成立。
第三问
给定 n=15n = 15n=15（即 3×53 \times 53×5）。
请在不枚举所有 225225225 个元素的情况下精确计算出 R15R_{15}R15 中可逆元数量 ∣U(R15)∣|U(R_{15})|∣U(R15)∣ 的值，并明确指出为什么它不等于 φ(15)2\varphi(15)^2φ(15)2。