关于欧拉函数的一个性质

对于任意n $\in$ N* 有：

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

• 方法一：
  设集合
  

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