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

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

莫比乌斯反演的两种形式及其证明莫比乌斯反演形式一 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

C语言的文件操作_C语言调用文件

C语言的文件操作_C语言调用文件文件打开与关闭C文件操作用库函数实现,包含在stdio.h中。文件使用方式:打开文件→文件读/写→关闭文件系统自动打开和关闭三个标准文件：标准输入——键盘 stdin标准输出——显示器 stdout标准出错输出—–显示器 stderr文件读写操作当我们把文件打开之后，就可以对它进行读与…

全栈程序员-站长
2022年8月18日
6
activexobject对象不能创建_无法创建office组件对象

activexobject对象不能创建_无法创建office组件对象JavaScript中ActiveXObject对象是启用并返回Automation对象的引用。使用方法：newObj=newActiveXObject(servername.typename[,location])ActiveXObject对象语法有这些部分：其中newObj是必选项。要赋值为ActiveXObject的变量名。1.servername是必选项。提供该对象的…

全栈程序员-站长
2022年10月15日
2
整除计算器_整除

整除计算器_整除原题链接这里所谓的“光棍”，并不是指单身汪啦~ 说的是全部由1组成的数字，比如1、11、111、1111等。传说任何一个光棍都能被一个不以5结尾的奇数整除。比如，111111就可以被13整除。现在，你的程序要读入一个整数x，这个整数一定是奇数并且不以5结尾。然后，经过计算，输出两个数字：第一个数字s，表示x乘以s是一个光棍，第二个数字n是这个光棍的位数。这样的解当然不是唯一的,题目要求你输出最小的解。提示：一个显然的办法是逐渐增加光棍的位数，直到可以整除x为止。但难点在于，s可能是个非常大的数 ——

全栈程序员-站长
2022年8月8日
6
Eureka集群配置

Eureka集群配置eureka作为注册中心，生产环境必须多节点部署，保证其高可用性。现以两台服务器来完成集群部署。服务器A：172.16.21.34服务器B：172.16.21.35方式一：使用ip形式完成。服务器A：172.16.21.34server:port:7777spring:application:name:register#指定eureka客户端的登录账户security:user:…

全栈程序员-站长
2022年5月1日
45
SpringBoot 配置之：阿里druid数据库连接池 com.alibaba.druid.pool.DruidDataSource 报红「建议收藏」

SpringBoot 配置之：阿里druid数据库连接池 com.alibaba.druid.pool.DruidDataSource 报红「建议收藏」第一步在idea中使用官方的创建项目的工具，创建一个新项目。第二步自己添加数据源配置但是”com.alibaba.druid.pool.DruidDataSource”报红。到pom.xml中添加依赖<properties>…<druid.version>1.1.14</druid.version>……

全栈程序员-站长
2022年7月23日
85
Python学习笔记(15)-Python代码转换为exe可执行程序详解

Python学习笔记(15)-Python代码转换为exe可执行程序详解一，简介Python写完程序，要靠命令执行那么行，太低调了，还不华丽了。再说别人的电脑，都没有Python库，怎么执行，还能不能愉快的一起玩耍了。所以哪怕只会写一个HelloWorld，也要弄成exe程序，方便伟大的代码传播事业。其实很简单，有一个现成的pyInstaller工具，直接用就是了。二，pyInstaller安装配置1，打开网址：pyInstalller下载网址如图：因为我的Pyth

全栈程序员-站长
2022年6月1日
49

发表回复

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