一个关于欧拉函数的性质

先上公式：

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

证明1

辣鸡证法
设$f(n)=\sum_{d|n}\varphi(d)$；

当n=1时，原始显然成立；

当n为质数时，$f(n)=1+(n-1)=n$，成立；

当$n=p^k$(p为质数)时，

$$f(n)=1+\sum_{i=0}^{k-1}p^i*(p-1)$$
$$f(n)=1+(p-1)\sum_{i=0}^{k-1}p^i$$
$$f(n)=1+(p-1)*\frac{p^k-1}{p-1}$$
$$f(n)=p^k=n$$
得证！
又因为 $\varphi$是积性函数，根据莫比乌斯反演的性质， $f$也为积性函数，所以原始得证！

证法2

由LYD_7_29提供

设集合

$$S=\{1,2,3,4....,n-1,n\}$$
再设一个数： $d$，并且$(d|n)$，
那么S中就有一些数是恰好 $gcd(xd,n)=d$，
我们把所有的xd分去一个集合，设为 $S'_d$，
又因为： $gcd(x,\frac{n}{d})=1$
所以这个集合中很显然有 $\varphi(\frac{d}{n})$个，
那么我们在枚举每个d的时候，就会把一些数进行分类，
枚举完以后，每个数都会且仅会被分去一个集合，
所以： $$\sum_{d|n}\varphi(d)=n$$
得证！

证法3

CTY的高级方法，我不会！