莫比乌斯函数

设正整数N按照算数基本定理分解质因数为$N=p_1^{c_1}{p}_2^{c_2}\cdots p_m^{c_m}$，定义函数
$$\mu (N)=\{\begin{array}{ll}0& \exists i\in [1,m],c_i>1\\ 1& m\equiv 0(\mathrm{mod}2),\forall i\in [1,m],c_i=1\\ -1& m\equiv 1(\mathrm{mod}2),\forall i\in [1,m],c_i=1\end{array}$$

称$\mu (N)$为$\mathrm{M}\ddot{\mathrm{o}}\mathrm{b}\mathrm{i}\mathrm{u}\mathrm{s}$函数(莫比乌斯函数)。

通俗地讲，当$N$包含相等的质因子时，$\mu (N)=0$。当$N$的所有质因子各不相等时，若N有偶数个质因子，$\mu (N)=1$，若N有奇数个质因子，$\mu (N)=-1$。

欧拉筛可求$\mu$函。

性质:

$$\sum _{i\mid n}\mu (i)=[n==1]$$

证明:

$\mu (i)=0$的情况忽略

根据算数基本定理,$n=p_1^{c_1}{p}_2^{c_2}\cdots p_m^{c_m}$

则真正对答案产生贡献的$i\mid p_1\ast p_2\ast p_3\ast p_4\ast \cdots \ast p_m$

那么我们取$p_1$为决定值，则我们可以分成两个集合(一个集合里面有$p_1$,另一个集合里面没有$p_1$)，此时我们在其中一个集合中，都可以找出任意一个数，有唯一数在另一个集合中，形成双射。

这两个集合所有元素对应相加的和为0时，即原数不为0.

反之，则为0.

另外一种证明:

我们以$n\equiv 0(\mathrm{mod}2)$为例，

则$\sum \mu (i)=1$即$$S_1=1\ast (C_n^0+C_n^2+\cdots +C_n^n)$$

$\sum \mu (i)=-1$

$$S_2=-1\ast (C_n^1+C_n^3+\cdots +C_n^{n-1})$$

还记得二项式定理吗？

根据二项式定理，

则有$$(1-1{)}^n=S_1-S_2=\sum _{k=0}^n{C}_n^k{1}^k(-1{)}^{n-k}=0$$

得证。

根据上述证明，我们可以得出

$$\begin{gathered} \sum _{i=1}^n\sum _{j=1}^m(\gcd (i,j)==1)=\sum _{i=1}^n\sum _{j=1}^m\sum _{d\mid i\&d\mid j}\mu (i)=\sum _{i=1}^{\min (n,m)}\mu (i)\ast \lfloor \\ n/i\rfloor \ast \lfloor \\ m/i\rfloor \end{gathered}$$

用容斥原理，类似证明。

$$\begin{gathered} {\sum }_{i=1}^n{\sum }_{j=1}^m{\sum }_{d\mid i\&d\mid j}\mu (i),{\sum }_{i=1}^{\min (n,m)}\mu (i)\ast \lfloor \\ n/i\rfloor \ast \lfloor \\ m/i\rfloor \end{gathered}$$是等价的，

$[1,n]$中含有$d$这个约数的有$$\begin{gathered} \lfloor \\ n/d\rfloor \end{gathered}$$个数，$[1,m]$中含有d这个约数的有$$\begin{gathered} \lfloor \\ m/d\rfloor \end{gathered}$$。

根据乘法原理，就有$$\begin{gathered} {\sum }_{i=1}^n{\sum }_{j=1}^m{\sum }_{d\mid i\&d\mid j}1={\sum }_{d=1}^{\min (n,m)}\lfloor \\ n/i\rfloor \ast \lfloor \\ m/i\rfloor \end{gathered}$$

莫比乌斯反演公式:

设$$F(n)=\sum _{d\mid n}f(d)$$

则$$f(n)=\sum _{d\mid n}\mu (d)F(\frac{n}{d})$$

设$$F(n)=\sum _{n\mid d}f(d)$$

则$$f(n)=\sum _{n\mid d}\mu (\frac{n}{d})F(d)$$
证明可以根据容斥原理得来