在讲这个函数之前。最好先了解欧拉函数。
我们用 \ 记为整除。 记得小学的时候整除和整除以的概念么?别混淆。 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个分式嘛,重点在于是穷举了每个除数的互素数。)
不过我们可以从这得到一个和式:
重点在于这个形式的公式: