莫比乌斯函数详解

在讲这个函数之前。最好先了解欧拉函数。

我们用 \ 记为整除。 记得小学的时候整除和整除以的概念么？别混淆。 2整除4 记作 2\4。

欧拉函数用来表示。
那么根据法里级数的展开(这个感觉和ACM关系不大就先不介绍了。大概讲的就是构造所有最简分数的一种树。而法里级数n定义分母<=n的最简分数。)

比如对于分母为12.

化简后:

分别为:

1/12 1/6 1/4 1/3 5/12 1/2 7/12 2/3 3/4 5/6 11/12 1/1

观察这些式子。你会发现分母都是能整除12的.也就是说分母为d。 d\m

分母为1的集合 1/1

分母为2的集合 1/2

分母为3的集合 1/3 2/3

分母为4的集合 1/4 3/4

分母为6的集合 1/6 5/6

分母为12的集合 1/12 5/12 7/12 11/12

会发现对于每个m的除数(也就是分母啦)的集合的分子都是和分母是互素的。并且穷举了。

比如4 1 和 3 是和4互素的。

那么

1+1+2+2+2+4 = 12 (其实这里是废话！在推导中间就能得到了。因为我们列了12个分式嘛，重点在于是穷举了每个除数的互素数。)
不过我们可以从这得到一个和式:

重点在于这个形式的公式：