莫比乌斯反演

什么是莫比乌斯反演

莫比乌斯反演，又称懵逼钨丝繁衍，是一种看了就一脸懵逼的东西。
好吧好吧，严肃点。（不过因为本蒟蒻真的很懵逼，所以错误之处请大神指出）
莫比乌斯反演就是下面这个式子：
如果存在函数$F(x)$和$f(x)$,满足

$$F(n)=\sum_{d|n}f(d)$$

那么就有：

$$f(n)=\sum_{d|n}μ(d)F(\frac{n}{d})$$

或者如果$F(x)$和$f(x)$满足：

$$F(n)=\sum_{n|d}f(d)$$
那么：
$$f(n)=\sum_{n|d}μ(\frac{d}{n})F(d)$$

其中$μ()$函数是莫比乌斯函数，定义是：
如果$d=1$，$μ(d)=1$
如果$d$为互异质数 $p1,p1,p2,\dots ,pk$ 的乘积，则 $μ(d)=(−1)^k$
否则，$μ(d)=0$
所以线性筛莫比乌斯函数往后看，几乎每段代码里都有。

两条性质

好了，现在补充两条性质：

1.如果 $n>1$ 且 $n$ 为正整数，则有：

$$\sum_{d|n}μ(d)=0$$

如果$n=1$则上式为1.

2.对于任意正整数$n$均有：

$$\sum_{d|n}\frac{μ(d)}{d}=\frac{ϕ(n)}{n}$$

证明

证明莫比乌斯反演

有了上面两条我不会证的性质之后，我们就可以证一下莫比乌斯反演了。

由F(x)函数的定义可以得到：

$$\sum_{d|n}μ(d)F(\frac{n}{d})=\sum_{d|n}μ(d)\sum_{d′|\frac{n}{d}}f(d′)$$

接下来我们让 $\frac{n}{d}=kd′$，那么 $d=\frac{n}{kd′}$ ,所以就有 $d|nd′$，而每个 $f(d′)$ 一定会和一个 $μ(d)$ 乘一次，所以：

$$\sum_{d|n}μ(d)\sum_{d′|\frac{n}{d}}f(d′)=\sum_{d′|n}f(d′)\sum_{d|\frac{n}{d′}}μ(d)$$

再看上面的两条性质里的性质1，明白了吧QWQ！

$$\sum_{d|n}μ(d)F(\frac{n}{d})=\sum_{d′|n}f(d)\sum_{d|\frac{n}{d′}}μ(d)=f(n)$$

得证！

---

转载自：https://blog.csdn.net/litble/article/details/72804050