莫比乌斯函数定义
μ ( n ) = { 1 n = 1 ( − 1 ) k n = p 1 p 2 p 3 … p k 0 p 2 ∣ n \mu(n)=\begin{cases}1&n=1\\(-1)^k&n=p_1p_2p_3…p_k\\0&p^2|n\end{cases} μ(n)=⎩ ⎨ ⎧1(−1)k0n=1n=p1p2p3…pkp2∣n
其中所有的 p p p都是关于 n n n的质因数
莫比乌斯函数性质
当 ∑ d ∣ n μ ( d ) = [ n = 1 ] \sum\limits_{d|n}\mu(d)=[n=1] d∣n∑μ(d)=[n=1]
其中方括号是艾佛森表示法,类似于条件表达式,当表达式成立时表达式的值为 1 1 1,否则表达式的值为 0 0 0
当 n = 1 n=1 n=1时,可以直接计算得出 ∑ d ∣ 1 μ ( d ) = μ ( 1 ) = 1 \sum\limits_{d|1}\mu(d)=\mu(1)=1 d∣1∑μ(d)=μ(1)=1
当 n ≠ 1 n\neq 1 n=1时,对 n n n进行质因数分解可以得到 n = p 1 a 1 p 2 a 2 p 3 a 3 ⋯ p k a k n=p_1^{a_1}p_2^{a_2}p_3^{a_3}\cdots p_k^{a_k} n=p1a1p2a2p3a3⋯pkak
此时 d d d质因数分解后,若有任何的 a a a大于 1 1 1的情况,那么此时的 μ ( d ) = 0 \mu(d)=0 μ(d)=0,并不会对结果造成任何的影响
我们设 m = p 1 p 2 p 3 ⋯ p k m=p_1p_2p_3\cdots p_k m=p1p2p3⋯pk
可得 ∑ d ∣ m μ ( d ) = ∑ d ∣ n μ ( d ) \sum\limits_{d|m}\mu(d)=\sum\limits_{d|n}\mu(d) d∣m∑μ(d)=d∣n∑μ(d)
因为现在的 m m m是由不同的质因数乘积而成的
所以 m m m的因数 d d d由 t ( t ≤ k ) t(t\leq k) t(t≤k)个 m m m的不同的质因数乘积而成
那么此时的 μ ( d ) \mu(d) μ(d)值为 ( − 1 ) t (-1)^t (−1)t
这样的 t t t值有 C k t C_k^t Ckt个
因此 ∑ d ∣ m μ ( d ) = ∑ t = 1 k C k t ( − 1 ) t \sum\limits_{d|m}\mu(d)=\sum\limits_{t=1}^{k}C_k^t(-1)^t