莫比乌斯反演的两种形式及其证明

全栈程序员-站长 • 2025年6月28日下午6:15 • 未分类 • 阅读 2

莫比乌斯反演的两种形式及其证明莫比乌斯反演形式一 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 证明把代入右边的式子得 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 根据莫比乌斯函数的性质有定理 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 因此只有

莫比乌斯反演形式一：

莫比乌斯反演的两种形式及其证明

证明：

把 $\large F(\frac{n}{d})$ 代入右边的式子，得：

$\large f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})=\sum_{d|n}\mu(d)\sum_{k|\frac{n}{d}}f(k)=\sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)$

根据莫比乌斯函数的性质，有定理：

莫比乌斯反演的两种形式及其证明 $\large \frac{n}{k}==1$ 时，即n==k时， $\large \sum_{d|\frac{n}{k}}\mu(d)=1$ ，其余时为0。

故

$\large \sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)=f(n)$

形式一得证。

莫比乌斯反演形式二：

莫比乌斯反演的两种形式及其证明 $\large F(d)$ 代入右边的式子，令 $\large k=\frac{d}{n}$ 得：

$\large f(n)=\sum^{+\infty}_{k=1}\mu(k)F(nk)=\sum^{+\infty}_{k=1}\mu(k)\sum_{nk|t}f(t)=\sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)$

同理，当且仅当 $\large \frac{t}{n}=1$ 时，也即t==n时， $\large \sum_{k|\frac{t}{n}}\mu(k)=1$ ，其余时为0，

最终有

$\large \sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)=f(n)$

形式二得证。

证明完毕。

版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们举报，一经查实，本站将立刻删除。

发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/233696.html原文链接：https://javaforall.net

赞 (0)

全栈程序员-站长

0 0

Java学习之JSP篇

Java学习之JSP篇0x00前言关于jsp的内容其实不多，就来简单的记录一下jsp概念性的内容，避免忘记。0x01Jsp概念jsp的全称是JavaServerPages：java服

全栈程序员-站长
2021年12月12日
53
乌班图下压缩文件的处理

乌班图下压缩文件的处理

全栈程序员-站长
2021年8月28日
132
pycharm配置svn有什么用_SVN安装配置

pycharm配置svn有什么用_SVN安装配置PyCharm是一款非常优秀的PythonIDE，以前用Editplus，用惯了感觉还行。用了PyCharm后被它丰富的功能吸引了。无论是普通python脚本、Django框架项目、还是GoogleAppEngine项目，它都能完美运行。不过设置起来比较麻烦，比如Subversion的用法我就一直没参透，我总是写完代码后出去用小乌龟提交。今天google一下，终于搞定了。现在写完代码后直接在…

全栈程序员-站长
2022年8月26日
4
anaconda pycharm设置编译器_anaconda默认环境

anaconda pycharm设置编译器_anaconda默认环境Pycharm是一个非常好用的Python编译运行IDE，anaconda则用于管理Python中各种有用的包。下面讲讲在Ubuntu系统下让Pycharm能够使用anaconda管理的各种包。1找到编译器选项首先打开Pycharm然后点击File-&amp;amp;amp;amp;gt;settings，然后就可以看到下图所示界面：…

全栈程序员-站长
2022年8月28日
5
mybatis的resultType integer(resultmap标签详解)

在官方文档中对resultType做了如下介绍：从这条语句中返回的期望类型的类的完全限定名或别名。注意如果是集合情形，那应该是集合可以包含的类型，而不能是集合本身。使用resultType或resultMap，但不能同时使用。mybatis中resultType可选类型:1，java的基础类型及其包装类int,double和java.lang.Integer,java…

全栈程序员-站长
2022年4月13日
77
Git 分支合并分支代码

Git 分支合并分支代码git分支合并分支

全栈程序员-站长
2025年6月19日
3

发表回复

关注全栈程序员社区公众号