歸檔。
試證明：\(\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'}\}\)。
故：
得證。
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\)。