莫比乌斯函数学习

前言

以前学过一次了，然后全部就忘记了
于是重新学习了一次，学习顺序大概是按照我觉得好懂的。。

正文

定义

我们定义一个函数$\mu (d)$
当d=1时 $\mu (d)=1$
当d=$p_1\ast p_2\ast p_3\ast ...\ast p_k$，且$p_1,p_2,p_3,...,p_k$为不同质数时，则$\mu (d)=(-1{)}^k$
其余情况 $\mu (d)=0$

性质1

${\sum }_{d|n}\mu (d)=[n=1]$
证明：
当$n=1$时，显然成立
当$n!=1$时，我们不妨把他分解为$n=p_1^{a_1}\ast p_2^{a_2}\ast ...\ast p_n^{a_n}$
明显地$\mu$有值的情况，只有质因子为1的情况，不难看出，${\sum }_{d|n}\mu (d)=C_n^0-C_n^1+C_n^2...+{(-1)}^k\ast C_n^k$
这个的话，就可以用二项式定理来证了

性质2

若$F(n)={\sum }_{d|n}f(d)$，则有$f(n)={\sum }_{d|n}\mu (d)F(\frac{n}{d})$
证明：
$$\sum _{d|n}\mu (d)F(\frac{n}{d})=\sum _{d|n}(\mu (d)\sum _{t|\frac{n}{d}}f(t))=\sum _{td|n}\mu (d)\ast f(t)=\sum _{t|n}(f(t)\sum _{d|\frac{n}{t}}\mu (d))=F(n)$$
对最后一步稍作解释，其实你把里面的${\sum }_{d|\frac{n}{t}}\mu (d)$，代入性质1，就会发现，其实，只有$t=n$的时候是不为$0$的，因此显然成立

性质3

${\sum }_{d|n}\frac{\mu (d)}{d}=\frac{\varphi (n)}{n}$
把$F(n)=n,f(n)=\varphi (n)$，然后就很显然了

题表将在这里给出

update2019.1.1:

补充另外一个形式
若$F(n)={\sum }_{n|d}f(n)$，则有$f(n)={\sum }_{n|d}\mu (\frac{d}{n})F(d)$
容易发现，这个形式里面后面$\mu$的$F$里面的数字不可以翻转
但是形式二里面可以，这个在化式子的时候要注意