莫比乌斯函数的证明

遗忘是可怕的东西……好记性不如烂笔头讲真……

命题

现在假设我不知道什么是莫比乌斯函数，只知道

$$F(x)=\sum_{d\mid x}f(d)$$ 若已知$F(x)$，求$f(x)$的表达式。

性质

从已知的关系，可以得到性质：
1. 若$y|x(y<x)$，则$F(y)$包含的所有$f(d)$都被$F(x)$包含了，$F(y)$不能包含$f(x)$
2. 包含$f(x)$的最小项是$F(x)$

构造

记$x$的第$i$小的约数是$y_i(y_i<x)$，共有$k$个约数，则

$$f(x)=F(x)-\sum_{1\leq i\leq k} f(y_i)$$ 由于左边的$f(x)$是一次的，所以右边是$F(y_i)$的线性组合，设$a_i$作为$F(y_i)$的系数，即

$$f(x)=F(x)+\sum_{1\leq i\leq k} a_iF(y_i)=F(x)+\sum_{1\leq i\leq k} b_if(y_i)$$ 可知所有的 $b_i=-1$.现在即要求解 $a_i$.

从$y_k$，即$x$的最大真约数开始解，只有$F(y_k)$包含了$f(y_k)$，可得$a_k=-1$。同时对所有$f(y_k的约数)$前的系数都贡献-1。
再看$y_{k-1}$，如果$f(y_{k-1})$前的系数已经被贡献了-1，则$a_k=0$，看下一个约数；否则要令$当前的贡献值+a_{k-1}=-1$，由此确定$a_{k-1}$

举例

举个例子：$x=180,\{y_i\}=\{1,2,3,4,5,6,9,10,12,15,18,20,30,36,45,60,90\}$
先确定90的系数$a_{17}$为-1，前面是90的约数的系数添上-1；
再看60的列和为0，故$a_{16}$为-1，前面是6的约数的系数添上-1；
再看45的列和为-1，故$a_{15}$为0；
……
直到所有系数都确定如下表：使得每列之和都为-1，即$f(y_i)$前的系数都为-1

$y_i$	1	2	3	4	5	6	9	10	12	15	18	20	30	36	45	60	90
$a_{17}$	-1	-1	-1	0	-1	-1	-1	-1	0	-1	-1	0	-1	0	-1	0	-1
$a_{16}$	-1	-1	-1	-1	-1	-1	0	-1	-1	-1	0	-1	-1	0	0	-1	0
$a_{15}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{14}$	-1	-1	-1	-1	0	-1	-1	0	-1	0	-1	0	0	-1	0	0	0
$a_{13}$	+1	+1	+1	0	+1	+1	0	+1	0	+1	0	0	+1	0	0	0	0
$a_{12}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{11}$	+1	+1	+1	0	0	+1	+1	0	0	0	+1	0	0	0	0	0	0
$a_{10}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{9}$	+1	+1	+1	+1	0	+1	0	0	+1	0	0	0	0	0	0	0	0
$a_{8}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{7}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{6}$	-1	-1	-1	0	0	-1	0	0	0	0	0	0	0	0	0	0	0
$a_{5}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{4}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{3}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{2}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
$a_{1}$	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

朴素证明

逐步求解的过程比较长，有没有什么关于$a_i$的性质呢？

假设已经现在正在求$a_i$，其列和由已经确定的$a_j(j>i)$决定，且只有当$y_i|y_j$时，才会对$f(y_i)$做非零标记。
设$p$为素数，若${x\over y_i}=p$，则说明没有满足的$j$，确定$a_i=-1$；
若${x\over y_i}=p_1p_2$，则有${x\over y_j}=p_1或p_2的y_j$已经先行对$f(y_i)$做了两次-1标记，则确定$a_i=+1$；
若${x\over y_i}=p_1p_2...p_s$，则已有标记为

$$-C_s^1+C_s^2-C_s^3...+(-1)^{s-1}C_s^{s-1}$$ $$=\sum_{i=0}^s{C_s^i(-1)^i}-C_s^0-(-1)^sC_s^s$$ $$=(1-1)^s-1-(-1)^s$$ $$=-1-(-1)^s$$ 则确定 $a_i=(-1)^s$；
若 ${x\over y_i}=p_1^{v_1}p_2^{v_2}...p_s^{v_s}且至少有一个v大于1$，则已有标记为 $$-C_s^1+C_s^2-C_s^3...+(-1)^sC_s^s$$ $$=\sum_{i=0}^s{C_s^i(-1)^i}-C_s^0$$ $$=(1-1)^s-1$$ $$=-1$$ 则确定 $a_i=0$

由此可以确定

$$f(x)=F(x)+\sum_{1\leq i\leq k} a_iF(y_i)$$ 所有的系数 $a_i$如下：
$$a_i=\begin{cases} (-1)^s &\text{${x\over y_i}=p_1p_2...p_s,其中p_s为不同的素数$}\\ 0 &\text{${x\over y_i}=p_1^{v_1}p_2^{v_2}...p_s^{v_s}且至少有一个v大于1$} \end{cases}$$

把$F(x)$前的系数1也统一起来，定义莫比乌斯函数

$$\mu(d)=\begin{cases} 1 &\text{d = 1}\\ (-1)^r &\text{$d=p_1p_2...p_r,其中p_i为不同的素数$}\\ 0 &\text{else} \end{cases}$$ 原式写为 $$f(x)=\sum_{d\mid x}\mu({x\over d})F(d)$$ 或 $$f(x)=\sum_{d\mid x}\mu(d)F({x\over d})$$

---

构造性证明

如果已经构造好了莫比乌斯函数，证明只会更简单(T.T)

已知$F(x)=\sum_{d\mid x}f(d)$，求证$f(x)=\sum_{d\mid x}\mu(d)F({x\over d})$

证明：$\sum_{d\mid x}\mu(d)F({x\over d})=_{(1)}\sum_{d\mid x}[\mu(d)\sum_{k\mid {x\over d}}f(k)]=_{(2)}\sum_{k\mid x}[f(k)\sum_{d\mid {x\over k}}\mu(d)]=_{(3)}f(x)$

(1). ${x\over d}$作为整体，代入定义式
(2). 两边都为$\sum_{kd\mid x} f(k)\mu(d)$，左边提了$\mu(d)$为公因子，右边提了$f(k)$为公因子，继续求和
(3). 令$x=p_1^{v_1}p_2^{v_2}...p_s^{v_s}$，给定k，则d为${x\over k}$的约数。
当${x\over k}\ne 1$，则d的取值为$p_1^{a_1}p_2^{a_2}...p_s^{a_s}(a_i\leq v_i,a_i不同时为0)$，若有任何的$a_i>1$则$\mu (d)=0$，故只需考虑$a_i为0或1$。$a_i组成的解向量(a_1,a_2,...,a_s)中有(...,0,...),(...,1,...)$若省略的部分相同，这两者总是成对出现的，使得$\sum a_i$的奇偶性恰好相反，即有$\mu (d_1)=1$，就有$\mu (d_2)=-1$，两者和为0。得到当${x\over k}\ne 1,\sum_{d\mid {x\over k}}\mu(d)=0$.
只有当${x\over k}= 1,\sum_{d\mid {x\over k}}\mu(d)=1$.

---

鸡冻ing…终于写完了….