[莫比乌斯反演]莫比乌斯函数

莫比乌斯函数定义

$\mu (n)=\{\begin{array}{ll}1& n=1\\ (-1{)}^k& n=p_1{p}_2{p}_3\dots p_k\\ 0& p^2|n\end{array}$

其中所有的$p$都是关于$n$的质因数

莫比乌斯函数性质

当$\sum _{d|n}\mu (d)=[n=1]$

其中方括号是艾佛森表示法,类似于条件表达式,当表达式成立时表达式的值为$1$,否则表达式的值为$0$

当$n=1$时,可以直接计算得出$\sum _{d|1}\mu (d)=\mu (1)=1$

当$n\ne 1$时,对$n$进行质因数分解可以得到$n=p_1^{a_1}{p}_2^{a_2}{p}_3^{a_3}\cdots p_k^{a_k}$

此时$d$质因数分解后,若有任何的$a$大于$1$的情况,那么此时的$\mu (d)=0$,并不会对结果造成任何的影响

我们设$m=p_1{p}_2{p}_3\cdots p_k$

可得$\sum _{d|m}\mu (d)=\sum _{d|n}\mu (d)$

因为现在的$m$是由不同的质因数乘积而成的

所以$m$的因数$d$由$t(t\le k)$个$m$的不同的质因数乘积而成

那么此时的$\mu (d)$值为$(-1{)}^t$

这样的$t$值有$C_k^t$个

因此 ∑ d ∣ m μ ( d ) = ∑ t = 1 k C k t ( − 1 ) t \sum\limits_{d|m}\mu(d)=\sum\limits_{t=1}^{k}C_k^t(-1)^t