莫比乌斯函数的证明

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

命题

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

$$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}$

举例

举个例子：