莫比乌斯反演和函数
本人学艺不精,如有错误,敬请指出……
莫比乌斯函数
概念
莫比乌斯函数的定义如下:
- 若\(d=p_1 p_2 \cdots p_k,p_i\)为互异质数,那么\(\mu(d)=(-1)^k\)。(注意,p互不相等,也就是说,一个数不能有多个相同的质因子)
- 其他情况下\(\mu(d)=0\)。
性质
对于任意正整数\(n\)有
证明:
-
当\(n=1\)时显然
-
当\(n>1\)时
首先将\(n\)分解成\(n=p_1^{a_1} p_2^{a_2}\cdots p_k^{a_k}\)
因为在\(n\)中的所有因子\(d\)中,只有\(\mu(d)\)不为零的才会计算到答案里,所以说我们设\(r=p_1p_2\cdots p_r\)
此时有
\[\sum_{d|n}\mu(d)=C^0_k-C^1_k+C^2_k+\cdots+(-1)^kC^k_k=\sum_{i=0}^{k}(-1)^iC^i_k \]由二项式定理得
\[(x+y)^n=\sum_{i=0}^n C^i_nx^iy^{n-i} \]当\(x=1,y=-1\)时
\[\sum^{n}_{i=0}C^i_n(-1)^i=(-1+1)^n=0 \]得证
求法
因为莫比乌斯函数是积性函数,所以求莫比乌斯函数可以用线性筛来求。
莫比乌斯反演
概念
我们设
然后我们可以用\(f(n)\)来推\(F(n)\),经过一波推规律(先把每个\(F(1~8)\)表示出来,再把每个\(f(1~8)\)用\(F(1~8)\)表现出来),就可以发现
其中\(\mu(d)\)就是莫比乌斯函数。
证明
形式一
我们来看看怎样证明莫比乌斯反演。
首先我们将\(F(\dfrac{n}{d})\)代入式子
通过合适的变幻,我们可以得出
因为
所以只有在\(\frac{k}{n}=1\)时,\(\sum_{d|\frac{n}{k}}\mu(d)=1\),其余时为零,故
得证
形式二
这一种在推导过程中更常用。
我们设
莫比乌斯反演后
这两个公式乍一看和上面没什么不同,但仔细多看几遍,会发现,你枚举的\(d\)是\(n\)的倍数,而形式一中\(n\)是\(d\)的倍数。
其实我第一眼看上去,也觉得不可思议,倍数不是有无限个吗?为什么还能成立呢?接下来我们在来证明一下。
首先将\(F(d)\)代入
然后经过合适的变幻,有
因为
所以只有在\(\frac{k}{n}=1\)时,\(\sum_{d|\frac{k}{n}}\mu(d)=1\),其余时为零,故
得证
本文作者:加载是为了更好的体验
本文链接:https://www.cnblogs.com/konjakhzx/p/16339600.html
版权声明:本作品采用知识共享署名-非商业性使用-禁止演绎 2.5 中国大陆许可协议进行许可。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步