莫比乌斯反演

莫比乌斯函数是定义在${\mathbb{N}}^{+}$上的函数$\mu$

考虑将$n$进行分解质因数：
$$n=\prod _{i=1}^m{a}_i^{p_i}$$
得到该函数的通解：
$$\mu (n)=\{\begin{array}{ll}1& n=1\\ 0& \exists i\in [1,m]p_i\ge 2\\ (-1{)}^m& \forall i\in [1,m]p_i<2\end{array}$$

莫比乌斯函数

对于该函数，我们有三个性质：

• 性质$1$:$\sum _{d|n}\mu (d)=[n=1]$

• 性质$2$:若$(m,n)=1$,则$\mu (mn)=\mu (m)\cdot \mu (n)$

• 性质$3$: 莫比乌斯反演定理

根据二项式定理，我们可以证明性质$1$:

当$n=1$时，显然有$\sum _{d|n}\mu (d)=\mu (1)=1$

• 所有满足条件的$d$的值，都可以化为由$n$的质因子的乘积的形式。
• 考虑一下，若选择$k$个质因子作为$d$的值，则有$C_m^k$种选法
• 当$k$为$0$时，满足条件的$d$的值为$1$
• 于是我们可以将其恒等变形。

$$\sum _{d|n}\mu (d)=\mu (a_1)+\mu (a_2)+...+\mu (a_m)+\mu (a_1{a}_2)+..+\mu (a_1{a}_2{a}_3...a_n)$$
$$=\sum _{k=0}^m(-1{)}^k{C}_m^k=0(n>1)$$

关于性质$2$的证明，网上资料较为隐晦，这里给出证明过程：

令：
$$m=\prod _{i=1}^{k_1}{a}_i^{p_i}$$
$$n=\prod _{i=1}^{k_2}{b}_i^{q_i}$$
设有正整数$i,j(i\in [1,k_1],j\in [1,k_2])$

由$(m,n)=1$可知:$\nexists a_i=b_j$,于是我们有：
$$mn=\prod _{i=1}^{k_1}{a}_i^{p_i}\cdot \prod _{i=1}^{k_2}{b}_i^{q_i}$$
考虑$p,q$的取值：

• 若$\exists p\ge 2$或$q\ge 2$,则$\mu (mn)=0=\mu (m)\cdot \mu (n)$
• 其余情况易证，依据定义，我们有：

$$\mu (mn)=(-1{)}^{k_1+k_2}=(-1{)}^{k_1}(-1{)}^{k_2}=\mu (m)\cdot \mu (n)$$
证毕。

莫比乌斯反演：

有一组定义在${\mathbb{N}}^{+}$上的函数$F(n)$与$f(n)$,令它们满足：
$$F(n)=\sum _{d|n}f(n)$$
看出$F(n)$为$f(n)$的和函数，现在我们将其反演，得到一个猜想
$$f(n)=\sum _{d|n}\mu (d)F\left(\frac{n}{d}\right)$$
这就是莫比乌斯反演定理。

考虑将其恒等变形，我们可以得到：
$$\sum _{d|n}\mu (d)F\left(\frac{n}{d}\right)=\sum _{d|n}\mu (d)\sum _{d^{\prime }|\frac{n}{d}}f(d^{\prime })$$
利用乘法分配率，又有：
$$\sum _{d|n}\mu (d)\sum _{d^{\prime }|\frac{n}{d}}f(d^{\prime })=\sum _{d|n}\sum _{d^{\prime }|\frac{n}{d}}\mu (d)f(d^{\prime })$$
于是：
$$\sum _{d|n}\sum _{d^{\prime }|\frac{n}{d}}\mu (d)f(d^{\prime })=\sum _{d|n}f(d)\sum _{d^{\prime }|\frac{n}{d}}\mu (d^{\prime })$$
考虑到性质$1$:
$$\sum _{d|n}\mu (d)=[n=1]=\{\begin{array}{ll}1& n=1\\ 0& n>1\end{array}$$
代入原式，因为有且仅有$n|n$且$\frac{n}{n}=1$,所以：
$$\sum _{d|n}f(d)\sum _{d^{\prime }|\frac{n}{d}}\mu (d^{\prime })=f(n)$$