莫比乌斯学习小结

前置知识

数论分块，莫比乌斯函数，和式的相关推导（积累）

数论分块

这个我写过一篇博客，下面是链接
https://blog.csdn.net/qq_43101466/article/details/100999784

莫比乌斯函数

$$\mu (n)=\{\begin{array}{l}1n为1\\ (-1{)}^{k}k为n的质因子个数\\ 0n存在非平方因子\end{array}$$
这是个积性函数
相关性质：
1.${\sum }_{d\mid n}\mu (d)=[n=1]$，常用于反演中，使用中可将n替换掉
eg:现有${\sum }_{i=1}^N{\sum }_{j=1}^M[\gcd (i,j)==1]$，我们可以用${\sum }_{t\mid gcd(i,j)}\mu (t)$替换$[\gcd (i,j)==1]$，最后${\sum }_{i=1}^N{\sum }_{j=1}^M{\sum }_{d\mid gcd(i,j)}\mu (d)$然后枚举d可得${\sum }_{d=1}^{\min (N,M)}\lfloor \frac{N}{d}\rfloor \lfloor \frac{M}{d}\rfloor$
2.莫比乌斯函数与欧拉函数有一定关联
$\frac{\varphi (n)}{n}={\sum }_{d\mid n}\frac{\mu (d)}{d}$
简单分析一下:
移项$\varphi (n)=n{\sum }_{d\mid n}\frac{\mu (d)}{d}$
若d中包含平方因子，则$\mu (d)=0$,故$\frac{\mu (d)}{d}$由各个质因子乘积的倒数组成
我们发现，${\sum }_{d\mid n}\frac{\mu (d)}{d}=\prod (1-\frac{1}{p})$
故$\varphi (n)=n{\sum }_{d\mid n}\frac{\mu (d)}{d}$
拓展：${\sum }_{d\mid n}\varphi (d)=n$，证明略

莫比乌斯反演

了解了上述知识后，我们便可以进行莫比乌斯反演
已知$f(d)F(n)={\sum }_{n\mid d}f(d)$
根据莫比乌斯反演，我们有:
$f(n)={\sum }_{n\mid d}\mu (\frac{d}{n})F(d)$
相关证明利用到了狄利克雷卷积，等学了之后在来证明
还有另一变式：
已知$f(d)F(n)={\sum }_{d\mid n}f(d)$
反演之后：
$f(n)={\sum }_{d\mid n}\mu (d)F(\frac{n}{d})$

例题有：
洛谷——P2257，P4450，P1829
hdu——1695，6428
相关题解可以看我写的