莫比乌斯反演

莫比乌斯反演

最近学了一下莫比乌斯反演(实际只学了2天,旁边hyh还一直吵吵吵),所以还是来写写现在能写出来的东西吧.

莫比乌斯反演,指的是对于一个数论函数$F(n)$,有

$$F(n)=\sum_{d|n}{f(d)}$$ 这里 $f(d)$是另一个数论函数,那么就会有
$$f(n)=\sum_{d|n}{\mu(d)F(\frac{n}{d})}$$
然后就能够通过把难求的东西转化成另外好求一点的东西以求和算出答案来了.

那么其中的$\mu$函数是莫比乌斯函数,定义为

$$\mu(i)= \begin{cases} 1,& i==1\\ (-1)^k,& i=q1*q2*q3*...*qk\\ 0,& q1^2|i \end{cases}$$
上面的qk指的是i的质因数.

关于$\mu(n)$还有一个神奇的性质:

$$\sum_{d|n}{\mu(n)}= \begin{cases} 1,& n==1\\ 0,& n!=1 \end{cases}$$
下面给出证明.

对于$n==1$的情况,显然$\sum_{d|n}{\mu(n)}=1$,对于$n!=1$时,我们知道,对于那些出现在其质因子中数量超过两次的质因子,可以把它看做只出现过一次(因为如果这个数出现在$\mu(i)$中很多次的话,$\mu(i)=0$),所以我们知道最后一定只和不同的值因子个数有关,我们设它有k个不同的质因子,那么可以推出:

$$\begin{align} \sum_{d|n}{\mu{(d)}} & =C_{k}^{0}-C_{k}^{1}+C_{k}^{2}-C_{k}^{3}+...\\ & =\sum_{i=0}^{k}{(-1)^{i}*C_{k}^{i}}\\ & =\sum_{i=0}^{k}{(-1)^{i}*1^{k-i}*C_{k}^{i}}\\ & =((-1)+1)^k\\ & =0 \end{align}$$
这样就能够证好这个了.

有了这个,现在来证明莫比乌斯反演.

$$\begin{align} f(n) & =\sum_{d|n}{\mu(d)F(\frac{n}{d})}\\ & =\sum_{d|n}{\mu(d)\sum_{k|\frac{n}{d}}{f(k)}}\\ & =\sum_{k|n}f(k)\sum_{d|\frac{n}{k}}{\mu(d)}\\ & =f(n) \end{align}$$
得证！

然后莫比乌斯反演还有另外一种形式：

$$F(n)=\sum_{n|d}f(d)\Rightarrow f(n)=\sum_{n|d}{\mu(\frac{d}{n})F(d)}$$
写个证明吧:
$$\begin{align} f(n) & =\sum_{n|d}{\mu(\frac{d}{n})F(d)}\\ & =\sum_{n|d}{\mu(\frac{d}{n})}\sum_{d|k}f(k) \end{align}$$
令 $t=\frac{d}{n}$,带入后可以换成:
$$\begin{align} \sum_{t}{\mu(t)\sum_{nt|k}f(k)} & =\sum_{n|k}{f(k)\sum_{t|\frac{k}{n}}\mu(t)}\\ & =f(n) \end{align}$$
这就可以证出来了.
附一道题