当前位置: 首页 > news >正文

莫比乌斯基本定理证明

已知

\[g(n) = \sum_{d \mid n} f(d) \quad \text{对所有 } n \]

要证:

\[f(n) = \sum_{d \mid n} \mu(d) \, g\!\left( \frac{n}{d} \right) \]


关键性质(莫比乌斯函数):

\[\sum_{d \mid m} \mu(d) = \begin{cases} 1, & m = 1, \\ 0, & m > 1 \end{cases} \quad (1) \]


证明

将 \( g(\frac{n}{d}) = \sum_{e \mid \frac{n}{d}} f(e) \) 代入右边:

\[\begin{aligned} \sum_{d \mid n} \mu(d) \, g\!\left( \frac{n}{d} \right) &= \sum_{d \mid n} \mu(d) \sum_{e \mid \frac{n}{d}} f(e) \\ &= \sum_{e \mid n} f(e) \sum_{d \mid \frac{n}{e}} \mu(d) \quad (\text{交换求和次序}) \end{aligned} \]


由性质 \(1\)

\[\sum_{d \mid \frac{n}{e}} \mu(d) = \begin{cases} 1, & \frac{n}{e} = 1 \text{ 即 } e = n, \\ 0, & \text{其他 } e < n \end{cases} \]

所以:

\[\sum_{e \mid n} f(e) \sum_{d \mid \frac{n}{e}} \mu(d) = f(n) \cdot 1 = f(n) \]


因此:

\[\sum_{d \mid n} \mu(d) \, g\!\left( \frac{n}{d} \right) = f(n) \]

http://www.rkmt.cn/news/130890.html

相关文章:

  • Excalidraw自动对齐与布局功能使用技巧
  • Open-AutoGLM系统版本兼容优化实战(专家级调优秘籍)
  • 【优化充电】基于位置和价格激励的电动汽车智能充电研究附Matlab代码
  • FCKEditor组件支持Word图片上传转存矢量格式
  • 2025年合肥管道疏通联系方式汇总:全市专业服务商官方联系方式与高效合作指引 - 品牌推荐
  • 不再局限于局域网!Open-AutoGLM广域网访问配置的5个关键步骤
  • Excalidraw安全机制解读:数据加密与权限控制
  • 2025年合肥管道疏通联系方式汇总:全市专业服务商官方联系通道与高效合作指引 - 品牌推荐
  • Windows系统文件dbnmpntw.dll损坏或丢失 免费下载修复
  • DAO350.DLL文件缺失 无法注册问题 下载修复
  • 零基础学大数据隐私保护:3个月学习计划+推荐书籍_课程_工具
  • 【零基础也能懂】Open-AutoGLM广域网访问配置:从入门到生产环境落地
  • 【大模型落地关键一步】:Open-AutoGLM适配实战中的7个致命陷阱与规避方案
  • openEuler安装elasticSearch
  • 探索5G技术:推动未来智能世界的引擎 - 指南
  • 【零信任时代下的AutoGLM安全】:构建坚不可摧的API访问防线
  • 提升生产力:Excalidraw + AI 自动生成系统架构图
  • Excalidraw集成AI后有多强?输入文字秒出图表
  • Pytest 测试用例自动生成:接口自动化进阶实践
  • grafana+prometheus快速实现可视化大屏
  • Excalidraw多语言支持现状及中文优化方案
  • 疾速开发周期中的测试质量守护之道
  • 如何用Open-AutoGLM实现毫秒级延迟定位?一线工程师亲授4步诊断法
  • 计算机毕业设计springbootKTV点歌系统 基于 SpringBoot 的云端 KTV 智能点歌平台 融合 SpringBoot 与 MySQL 的移动端 K 歌点播管理系统
  • 洛谷 P2758 编辑距离
  • Python自动化办公:用wxPython打造智能日期文件夹管理工具
  • Excalidraw虚拟现实交互逻辑图设计
  • 【稀缺资源】Open-AutoGLM官方性能白皮书泄露:影响评分结果的5个核心参数详解
  • 基于大数据的增强可视化的广州IT招聘系统_r9chjd79--论文-爬虫 可视化
  • Excalidraw云计算资源编排图设计技巧