默比乌斯反演公式

定义

假设对于数论函数   和  ,有以下关系式:

 

则将其默比乌斯反转公式定义为:

 

这里   为默比乌斯函数,定义为:

  若 
若 无平方数因数,且 
若 有大于 的平方数因数

一般形式

设 及 为定义在 上的复值函数并且

 

则

 

证明

设 ,又由于 ,代入得到 。

由于 的限制条件其实就是 ,故等式可以写成: 。


参见

  • 默比乌斯函数