关于一个欧拉函数的性质的证明

性质

对于任意的 $n∈N*$ ，有：

$$\sum_{d|n}\varphi(d)=n$$

证明

方法一

设集合

$$M=\{1,2,3,\cdots,n-1,n\}$$
我们尝试将集合中的数分类。
每个数都能按照其与 $n$的最大公因数来分。
不妨设我们当前讨论$M$中与 $n$的最大公因数为$d$的数有多少个， $d|n$。
假设 $dx∈M$并且 $gcd(dx,n)=d$，
那么 $gcd(x,\dfrac{n}{d})=1$，且 $x$属于集合 $$M'=\{1,2,\cdots,\dfrac{n}{d}\}$$
这样，个数显然就是 $x$的所有可能取值也就是$\varphi(\dfrac{n}{d})$。
当 $d$跑遍$n$的因子时， $\dfrac{n}{d}$也跑遍 $n$的因子。因为每个数与$n$的最大公因数是确定的，因此每个数分类时会且仅会被分一次。
所以，可以得出结论 $$\sum_{d|n}\varphi(d)=n$$

方法二

设

$$f(n)=\sum_{d|n}\varphi(d)$$
首先，当 $n=1$时， $$f(1)=1$$ 性质显然成立.
当 $n=p$时( $p$为质数)， $$f(n)= \varphi(1) + \varphi(n)=1+(n-1)=n$$ 显然成立.
当 $n=p^k$时，
$$f(n)=1+\sum_{i=0}^{k-1}p^i(p-1)$$
$$=1+(p-1)\sum_{i=0}^{k-1}p^i$$
$$=1+(p-1)*\dfrac{p^k-1}{p-1}=1+p^k-1=p^k=n$$
成立.
因为 $\varphi(n)$是积性函数，根据莫比乌斯反演的充要性，得 $f(n)$是积性函数.
对于一般形式 $n=∏_{i=1}^kpi^{ei}$
$$f(n)=∏_{i=1}^kf(pi^{ei})$$
$$=∏_{i=1}^kpi^{ei}$$
$$=n$$
另外还有一种证法参见 Alan的blog(%%%)
数论大师Drin_E的博客上也有一种证法： 传送门