欧拉函数 莫比乌斯反演 过程理解

从 $\phi$ 函数 和 $\mu$ 函数开始

首先是 $\phi$ (欧拉)函数的定义

$0$ 到 $m-1$ 的整数中和 $m$ 互素的个数为 $\phi (m)$
对于每个素数 $p$ ， $$\phi (p)=p-1$$
这是因为素数的定义：除自己本身外，其余全部与 $p$ 互素

我们可以计算素数幂 $$\phi (p^k)=p^k-p^{k-1}$$
因为在 $0\sim p^k$ 中 $p$ 的倍数是 $0,p,2p,...,p^k-p,p^k$ 去掉最后一项，我们得到总共与 $p^k$ 有因子关系的数只有 $p^{k-1}$ 个,至于怎么数出来的我们可以简单看下它每个 $p$ 前面的系数，“系数 $+1$ ” 就是标号，从 $1,2,3$ 一直标到 $p^{k-1}$
互素的个数 $\phi (p^k)$ 即为 {总数} $-$ {与 $p^k$ 有公因子的数}

同时欧拉函数还是一个积性函数，原因是 $\phi (1)=1,\phi (m_1{m}_2)=\phi (m_1)\phi (m_2)$ 同时 $m_1$ 与 $m_2$ 互素

一个很好的例子体会一下
$\phi (12)=\phi (4)\phi (3)=2\times 2=4$
想要进一步的理解我们需要补充一下剩余系的概念
剩余系 $$Res(x)=(xmod{m}_1,xmod{m}_2,...,xmod{m}_r)$$ 同时所有的 $m$ 全都互素，它的意义就是通过同余式的性质，我们可以在不同的分量上独立的进行加减乘法

$n$ 与 $12$ 互素当且仅当 $nmod4=(1or3)($ 与 $4$ 互素的两个数 $)$ 而且 $nmod3=(1or2)($ 与 $3$ 互素的两个数 $)$ 这 $2\times 2$ 个与 $12$ 互素的值就是它们的组合 $(1,1),(1,2),(3,1),(3,2)$

一个积性函数完全由它在素数幂的值定义，所以在计算 $\phi$ 函数的时候就可以将任意的正整数 $m$ 分解成素数的幂因子，对这些幂因子直接求解 $\phi$ 函数，然后再乘起来，就可以很方便的计算它的值

对于 $\phi$ 函数还有一个有意思的公式，后面的证明需要用到$$\sum _{d\backslash m}\phi (d)=m$$对所有的 $m$ 的因子 $d$ 经过 $\phi$ 函数映射后求和为 $m$

要理解这个公式我们可以从分数上找到这样的关系：将 $$\frac{0}{m},\frac{1}{m},...,\frac{m-1}{m}$$ 将这样 $m$ 个数约分后分母相同的分数分为一类，而每一类有 $\phi (d)$ 个。这样所有的 $\phi (d)$ 相加就是 $m$

莫比乌斯函数

莫比乌斯函数的定义 (中括号表示：里面的表达式若成立则整个值为1，否则为0) $$\sum _{d\backslash m}\mu (d)=[m=1]$$这是一个递归定义，有了这个式子我们很容易的将 $m$ 带入 $1$ 来算出 $\mu (1)$ 的值
$1$ 的因子为 $1$ ， $$\begin{gathered} \mu (1)=1 \\ 2 \end{gathered}$$ 的因子为 $1,2$ ， $\mu (1)+\mu (2)=0$ ，解得 $$\begin{gathered} \mu (2)=-1 \\ 3 \end{gathered}$$ 的因子为 $1,3$ ， $\mu (1)+\mu (3)=0$ ，解得 $$\begin{gathered} \mu (3)=-1 \\ 4 \end{gathered}$$ 的因子为 $1,2,4$ ， $\mu (1)+\mu (2)+\mu (4)=0$ ，得到 $1-1+\mu (4)=0$ ，解得 $\mu (4)=0$

已经可以看出一点规律的影子，另一个关于 $\mu$ 函数的定义明确的展示了它的特点
$$\mu (n)=\{\begin{array}{ll}1& 如果n=1\\ (-1{)}^r& 如果n=p_1{p}_2...p_r,p_i是各不相同的素数\\ 0& 其他\end{array}$$

莫比乌斯反演

什么叫做反演呢？
简单来讲，如果有一个函数 $g$ ，它的作用是将 $m$ 的所有因子经过积性函数 $f$ 的映射之后再求和，我们想要使用 $g$ 来表示 $f$ 的公式就需要用到反演。
莫比乌斯反演的公式是这样的，如果有 $$g(m)=\sum _{d\backslash m}f(d)$$ 则 $$f(m)=\sum _{d\backslash m}\mu (d)g\left(\frac{m}{d}\right)$$

接下来就是非常详细的证明过程解读：每一步都是一个定理，仔细看吧。

第一步 $$\sum _{d\backslash m}\mu (d)g\left(\frac{m}{d}\right)=\sum _{d\backslash m}\mu \left(\frac{m}{d}\right)g(d)$$
我们慢慢把它搞清楚，它使用了这样一个定理 $\sum _{m\backslash n}{a}_m=\sum _{m\backslash n}{a}_{n/m}$ 因为在本质上 $n$ 和 $n/m$ 都是 $m$ 的因子，而且相乘得 $m$ ，在遍历 $m$ 的同时实际上也就遍历了 $n/m$ ，它将原式里的参数 $m$ 替换为了 $n/m$ 。我们的第一步也是同样的思路，我们将式子中参数 $m$ 的因子 $d$ 替换为 $m/d$ ，和式仍然遍历所有的项，等式成立。

第二步： $$\sum _{d\backslash m}\mu \left(\frac{m}{d}\right)g(d)=\sum _{d\backslash m}\mu \left(\frac{m}{d}\right)\sum _{k\backslash d}f(k)$$
第二步我们使用了 $g$ 的定义 $g(m)=\sum _{d\backslash m}f(d)$

第三步：
$$\sum _{d\backslash m}\mu \left(\frac{m}{d}\right)\sum _{k\backslash d}f(k)=\sum _{k\backslash m}\sum _{d\backslash (m/k)}\mu \left(\frac{m}{kd}\right)f(k)$$
这一步是比较难理解的，用到的公式是这样的 $\sum _{m\backslash n}\sum _{k\backslash m}{a}_{k,m}=\sum _{k\backslash n}\sum _{l\backslash (n/k)}{a}_{k,kl}$
这里的公式其实就是变换了一个下标的分组，它的求和 第二维是 $n$ 的因子 $m$ ，第一维是 $m$ 的因子 $k$ ，转换之后、第一维 $k$ 直接是 $n$ 的因子，跳过了 $m$ ，第二维则是 $l$ 因为 $n/k$ 和 $k$ 是同阶的，而 $l$ 又是 $n/k$ 的因子，你会发现它也是对儿子和儿子的儿子进行了分别两次求和，它们说的其实是一回事，唯一的区别就是后者用 $kl$ 替换了 $m$ 。这里的第三步则是这样的，我们在式子中使用 $kd$ 来替换 $d$ ，而求和下标则用我们的 $m$ 的因子 $d$ 的因子 $k$ 跳过 $d$ 直接成为 $m$ 的因子，使用 $m/k$ 的因子 $d$ 作为第二维求和的下标。

第四步： $$\sum _{k\backslash m}\sum _{d\backslash (m/k)}\mu \left(\frac{m}{kd}\right)f(k)=\sum _{k\backslash m}\sum _{d\backslash (m/k)}\mu (d)f(k)$$和第一步类似，我们将 $m/k$ 看作一个整体，遍历 $m/k$ 的因子 $d$ 的同时，也就遍历了 $m/k$ 的另一个因子 $(m/k)/d$.

第五步： $$\sum _{k\backslash m}\sum _{d\backslash (m/k)}\mu (d)f(k)=\sum _{k\backslash m}[m/k=1]f(k)$$这一步则是莫比乌斯函数的定义

最后：由于除了m=k的项被累加进入和式以外，其余项都为0 $$\sum _{k\backslash m}[m/k=1]f(k)=f(m)$$证明结束。
至于莫比乌斯反演的用途，我就不多讲了，是一个非常有用的公式。详解的证明过程就分享出来为了帮助大家理解。

Have a good time!

参考文献
Ronald L. Graham, Donald E.Knuth, Oren Patashnik. Concrete Math.
Kenneth H.Rosen. Elementary Number Theory and Its Applications.