标签：mathbb dots limits sum varphi Note 因数 欧拉

归档。

试证明：\(\sum \limits _{d | x} \varphi (d) = x\)

Lemma 1.

试证明：\(\sum \limits _{d | p^k} \varphi (d) = p ^k\)，其中 \(p\) 为质数。

证明：显然，和 \(n\) 不互质的数一定含有 \(p\) 因子，而在 \([1, n]\) 中总共有 \(\lfloor \frac {n} {p} \rfloor = p ^{k - 1}\) 个含 \(p\) 因子的数，故可知 \(\varphi (p^k) = (p^k - p^{k - 1}), k > 0\)。特殊的，\(\varphi (1) = 1\)。

然后转化原式可得 \(\sum \limits _{i = 0} ^{k} \varphi (p ^i) = 1 + (p^1 - p^0) + (p^2 - p^1) + \dots + (p^k - p^{k - 1}) = p ^k\)。得证。

---

Lemma 2.

试证明：记 \(f (x) = \sum \limits _{d | x} \varphi (d)\)，若 \(\gcd (m, n) = 1\)，则 \(f(m n) = f(m)f(n)\)。即 \(f(n)\) 为积性函数。

证明：记 \(\mathbb{M'}\) 为 \(m\) 的因数集合，\(\mathbb{N'}\) 为 \(n\) 的因数集合。记两个集合大小分别为 \(a, b\)。

因为 \(m, n\) 互质，故 \(\mathbb{M'}\) 与 \(\mathbb{N'}\) 中没有相同元素，则 \(mn\) 的因数集合为 \(\{x y | x \in \mathbb{M'}, y \in \mathbb{N'}\}\)。

故：

\[\begin {align} f(mn) &= \varphi (x_1y_1) + \varphi (x_1y_2) + \dots + \varphi (x_{a}y_{1}) + \dots + \varphi (x_{a}y_{b}) \\ &= \sum _{i = 1} ^{a} \varphi (x_i) \times \sum _{j = 1} ^{b} \varphi (y_j) \\ &= f(m)f(n) \end {align} \]

得证。

---

Prove.

将 \(n\) 质因数分解为 \(p_1 ^{k_1} p_2 ^{k_2} \dots p_m ^{k_m}\)。显然可由引理 1 知 \(f(p_i^{k_i}) = p_i ^{k_i}\)。

又因为 \(\gcd (p_i ^{k_i}, p_j ^{k_j}) = 1, i \neq j\)，由引理 2 可得 \(f(p_i^{k_i} p_j^{k_j}) = f(p_i ^{k_i}) f(p_j ^{k_j}) = p_i^{k_i} p_j^{k_j}\)。

推广之，即得 \(f(n) = n\)。

标签：mathbb,dots,limits,sum,varphi,Note,因数,欧拉
来源： https://www.cnblogs.com/STrAduts/p/16491918.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。