莫比乌斯反演定理推导

$已知$

$$F(n)=\sum_{d|n}{f(d)}$$
求证:
$$f(n)=\sum_{d|n}{μ(d)F({n \over d})}$$
(d|n代表d是n的因数)
其中 $μ(d)$为莫比乌斯函数，定义如下：
(1)若 $d=1$则 $μ(d)=1$;
(2)若 $d=p_1p_2...p_k,p_i$为互异素数，那么 $μ(d)=(-1)^k$
(3)其它情况下 $μ(d)=0$

求证之前先证明$μ(d)$的一个性质
对于任意正整数n有:

$$\sum_{d|n}μ(d)=\begin{cases} 1, & \text{n=1} \\ 0, & \text{n>1} \end{cases}$$
证明:
①当n=1时,显然成立
②当 $n\neq1时,将n分解为n=p_1^{a_1}p_2^{a_2}p_3^{a_3}...p_k^{a_k}$
在 $n$的所有因子中,$μ$值不为零的只有所有质因子次数都为1的因,其中质因数个数为 $r$个的因子有$C_k^r$个,那么:
$$\sum_{d|n}μ(d)=C_k^0-C_k^1+C_k^2...(-1)^kC_k^k=\sum_{i=1}^k(-1)^iC_k^i$$
有二项式定理
$$(x+y)^k=\sum_{i=1}^kC_k^ix^iy^{k-i}$$
将 $x=-1,y=1$带入期中,可得
$$0=\sum_{i=1}^k(-1)^iC_k^i$$
证得:
$$\sum_{d|n}μ(d)=\begin{cases} 1, & \text{n=1} \\ 0, & \text{n>1} \end{cases} \quad\quad\quad ②$$

莫比乌斯反演定理推导

$$\sum_{d|n}{μ(d)F({n \over d})}=\sum_{d|n}{μ(d)}\sum_{k|{n\over d}}{f(k)}$$
$$\sum_{d|n}{μ(d)}\sum_{k|{n\over d}}{f(k)}=\sum_{d|n}{f (k)}\sum_{d|{n\over k}}{μ(d)}\quad \quad ②$$
我认为②最难理解了,可以这样理解,两重for循环求解 ${f(k)}*{μ(d)}$
交换循环上限不影响结果.
因为k是 ${n\over d}$的因子,所以存在一个整数p使 $p*k*d=n$,所以枚举 ${n\over d}$和 ${n\over k}$效果是一样的;
在②中,对于 $$\sum_{d|{n\over k}}{μ(d)}$$ 当且仅当 ${n\over k}=1$时, $$\sum_{d|{n\over k}}{μ(d)}=1$$
所以: $$\sum_{d|n}{f(k)}\sum_{d|{n\over k}}{μ(d)}=f(n)$$
所以: $$\sum_{d|n}{μ(d)F({n \over d})} =f(n)$$
证毕.