莫比乌斯函数

莫比乌斯反演在数论中占有重要的地位，许多情况下能大大简化运算。那么我们先来认识莫比乌斯反演公式。

 

定理：和是定义在非负整数集合上的两个函数，并且满足条件，那么我们得到结论

 

     

 

在上面的公式中有一个函数，它的定义如下：

 

    （1）若，那么

    （2）若，均为互异素数，那么

    （3）其它情况下

 

 

对于函数，它有如下的常见性质：

 

    （1）对任意正整数有

  

                            

 证明：设n = p1^b1 * p2^b2 * ... * pn ^ bn， 我们设有k个pi的系数为1（当系数是偶数时莫比乌斯函数的值为0可以不用考虑），则答案为 这个式子答案为0.。

        （2）对任意正整数有

 

         

现在我们来证明莫比乌斯反演公式

好了证明完毕