莫比乌斯反演

$M\ddot{o}bius$ 反演

  友情提醒：本文中的证明过程大多是作者也就是我自己弄出来的，不能保证过程的严谨性，看着有道理就完了 \doge。

---

  看着这个叫莫比乌斯反演的东西，我们就知道，这玩意儿肯定是由莫比乌斯和反演两部分构成的 /doge。所以我们来分别看看两部分是啥意思。

一、$M\ddot{o}bius$ 函数

  这个函数是一个非常优秀让人看着难受的函数。它的定义式如下：
$$\mu (n)=\{\begin{array}{l}1，n=1\\ (-1{)}^k当n={\prod }_{i=1}^k{p}_i，p_i是互不相同的质数时\\ 0，当n质因数分解时分解出的质因子的次数大于一时\end{array}$$
  你别看它看起来复杂 实际上也确实很复杂，但是它有一些非常神奇的性质，就比如在莫比乌斯反演里面经常要用到的下面这个性质：
$$\sum _{d\mid n}\mu (d)=[n=1]$$
  是不是看起来更复杂了 \doge 。下面我们考虑证明这个性质。首先这个东西肯定是要分成两种情况的：

1. 第一种 n = 1 的时候，显然有 ${\sum }_{d\mid n}\mu (d)=\mu (n)=\mu (1)=1$
2. 第二种 $n\ne 1$ 的时候就有点烦人了，证明是时候要用到二项式定理（其实也可以不用，只是那样写起来就太麻烦了，我会在另一篇文章里面写到关于这部分的东西（链接会放在最下方） ），但是我们还是来看一看。
   显然我们在计算 ${\sum }_{d\mid n}\mu (d)$ 的时候只需要考虑那些使得 $\mu (d)\ne 0$ 的 d，所以我们假设：
   $$n=\prod _{i=1}^k{p}_i^{a_i}$$
   当 $\mu (d)\ne 0$ 的时候也就是说 d 的质因子的幂次都不大于一的时候，d 可以被写成这样：
   $$d=\prod _{i=1}^t{p}_i$$
   所以说我们可以得到拥有 t 个质因子且质因子幂次不大于一的因数的数量为 $C_k^t$，当 t 为奇数的时候 $\mu (d)=-1$，当 t 为偶数的时候 $\mu (d)=1$，所以我们得到以下的式子：
   $$\sum _{d\mid n}\mu (d)=C_k^0-C_k^1+C_k^2-C_k^3+\cdots +(-1{)}^k{C}_k^k=\sum _{i=0}^k(-1{)}^i{C}_k^i$$
   根据这个式子，接下来我们只需要证明 ${\sum }_{i=0}^k(-1{)}^i{C}_k^i$ 等于 0 就好了。然后我们就要用到大名鼎鼎的二项式定理了，二项式定理他长这样：
   $$(a+b{)}^n=\sum _{i=0}^n{C}_n^i{a}^{n-i}{b}^i$$
   我们将 a = -1，b = 1 带入二项式定理，就得到了：
   $$(1+-1{)}^n=\sum _{i=0}^n{C}_n^i{1}^{n-i}(-1{)}^i=\sum _{i=0}^n(-1{)}^i{C}_n^i=0$$
   然后我们就证毕啦！

---

二、关于莫比乌斯反演

  现在我们来到了重要的部分，也就是莫比乌斯反演。我们先看结论：F(n) 和 G(n) 是定义在非负整数集上的两个函数，如果两者满足：
$$F(n)=\sum _{d\mid n}G(d)$$
  我们就有：
$$G(n)=\sum _{d\mid n}\mu (d)F(\frac{n}{d})$$
  这个神奇的玩意儿的证明肯定也非常的神奇，所以我们就来神奇的证一下它：
$$\begin{array}{rl}& \sum _{d\mid n}\mu (d)F(\frac{n}{d})=\sum _{d\mid n}\mu (d)\sum _{i\mid \frac{n}{d}}G(i)\\ =& \sum _{d\mid n}\sum _{i\mid \frac{n}{d}}\mu (d)G(i)=\sum _{i\mid n}G(i)\sum _{d\mid \frac{n}{i}}\mu (d)\end{array}$$
  这两步应该比较好懂，最后一步就要用到我们在上面证明过的莫比乌斯函数的性质了，也就是 ${\sum }_{d\mid n}\mu (d)=[n=1]$。我们在每次计算 ${\sum }_{d\mid \frac{n}{i}}\mu (d)$ 的时候，只有 $\frac{n}{i}=1$ 的时候，也就是 $n=i$ 时 才有值为 1，其他时候都是 0，也就是说后面那一大坨式子就退化成了 $[i=n]$：
$$\sum _{i\mid n}G(i)\sum _{d\mid \frac{n}{d}}\mu (d)=\sum _{i\mid n}G(i)[i=n]=G(n)$$
也就是：
$$\sum _{d\mid n}\mu (d)F(\frac{n}{d})=G(n)$$
证毕。

  我们也可以知道除了 $F(n)={\sum }_{d\mid n}G(d)$ 这样写， F(n) 也可以写成这样：
$$F(n)=\sum _{d\mid n}G(d)=\sum _{d\mid n}G(\frac{n}{d})$$
  所以莫比乌斯反演也还可以写成：
$$G(n)=\sum _{d\mid n}\mu (d)F(\frac{n}{d})=\sum _{d\mid n}\mu (\frac{n}{d})F(d)$$

---

 附在最后： （莫比乌斯反演）这个人将的超级好！：https://www.cnblogs.com/chenyang920/p/4811995.html。
  然后我说我的那个另一种证明在这里：莫比乌斯函数性质的另一种（作者自己YY出来的）证明