【数论】Mobius反演学习笔记

有人问我为什么现在就要学这种鬼畜的东西←_←
我要回答两点。。。
1.我自己出某个水题时候需要用
2.从前有人告诉我数论这种东西不在我们比赛得分考虑范围内只要拿好部分分就好了。。。于是我的数论一直坑到现在没有得到丝毫缓建。。。公式恐惧症一天比一天严重。于是我不得不开始治疗
于是在写了n天某个半平面交题未果之后我决定先来搞搞mobius反演换换口味。。。
说正文啦魂淡！好吧我不扯淡了开始正文时间。

————————————->w<线割分是我——————————————-
在学莫比乌斯反演之前，要先了解一个函数：莫比乌斯函数。
这个函数我在那篇数论模板整合里面曾经写过数论模板整合（如果有人不知道怎么做的话可以先去看看），学了这么久还没有好好用过它。
莫比乌斯函数的定义如下：
对于一个数n的莫比乌斯函数$\mu(n)$，满足如下性质：
1.若n=1，则$\mu(n)=1$.
2.若n是互异素数的乘积，将n分解为素数乘积的形式，即n=$\prod_{i=1}^k p_i$，则$\mu(n)=(-1)^k$.
3.如对上述两种情况n均不满足，$\mu(n)=0$.
为了更好地学习反演，我们首先要了解几条莫比乌斯函数的性质：

1.莫比乌斯函数是一个积性函数。（什么你说你没听说过这个词？那先看看wikipedia好了）

就是这一条性质为我们求莫比乌斯函数的值提供了极大地便利，套到线筛里面就好了。

2.对任意正整数n，$\sum_{d|n}\mu(d)=\lbrace^{1\\\ (n=1)}_{0\\\ (n\gt1)}$

证明：
①$n=1$时，不做多余说明。。。
②$n\gt1$,根据唯一分解定理，可以分解$n=\prod_{i=1}^kp_i^{a_i}$
对于那些含平方因子也就是存在$a_i$不为1的数，它的函数值为0，对答案没有任何贡献。
所以我们来看看那些是互异素数乘积的数，每一个成为它约数的数是什么样的情况。
（1）若$d$中有0个质因子($d=1$)，其函数值为1，这样的数有