当前位置: 首页 > 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.jsqmd.com/news/118864/

相关文章:

  • Excalidraw自动对齐与布局功能使用技巧
  • learning_gem5 part1_05 gem5 v24.1:使用 gem5 标准库安装脚本
  • Windows系统文件davhlpr.dll损坏或缺失 下载修复
  • Open-AutoGLM广域网访问配置全攻略(专家级实战经验曝光)
  • 从耗时10小时到40分钟:Open-AutoGLM微调效率逆袭之路
  • 【专家亲授】Open-AutoGLM迁移学习加速方案:训练时间缩短70%的实操路径
  • 2025年合肥管道疏通联系方式汇总:全市专业服务商官方联系方式与高效合作指引 - 品牌推荐
  • Windows系统文件daxctle.ocx缺失或损坏问题 下载修复
  • Open-AutoGLM系统版本兼容优化实战(专家级调优秘籍)
  • 【优化充电】基于位置和价格激励的电动汽车智能充电研究附Matlab代码
  • FCKEditor组件支持Word图片上传转存矢量格式
  • 不再局限于局域网!Open-AutoGLM广域网访问配置的5个关键步骤
  • 2025成都火锅口碑榜,排队也要吃!特色美食/烧菜火锅/老火锅/社区火锅/火锅/美食/火锅店火锅哪家好吃口碑推荐榜 - 品牌推荐师
  • Windows系统文件dbghelp.dll损坏或丢失 免费下载修复
  • 为什么90%的团队在Open-AutoGLM适配阶段失败?:深度剖析底层对齐机制缺失
  • 2025年合肥管道疏通联系方式汇总:全市专业服务商官方联系通道与高效合作指引 - 品牌推荐
  • 跨平台AI模型部署难题全解析,Open-AutoGLM适配方案深度拆解
  • Excalidraw安全机制解读:数据加密与权限控制
  • Windows系统文件dbnmpntw.dll损坏或丢失 免费下载修复
  • 如何在5分钟内完成Open-AutoGLM安全认证加固?(附配置模板)
  • (首次公开)Open-AutoGLM多端部署适配框架设计全貌
  • 从配置到上线:Open-AutoGLM局域网部署全流程详解,AI落地不再难
  • Excalidraw自定义主题设置:打造品牌专属白板
  • Excalidraw图层管理功能进阶用法
  • DAO350.DLL文件缺失 无法注册问题 下载修复
  • 【Open-AutoGLM适配秘籍】:掌握7大核心技术点,轻松应对异构环境挑战
  • 母婴房除甲醛首选?2025空气净化器十大品牌零臭氧实测权威推荐 - 速递信息
  • 【零基础也能懂】Open-AutoGLM广域网访问配置:从入门到生产环境落地
  • 【大模型落地关键一步】:Open-AutoGLM适配实战中的7个致命陷阱与规避方案
  • Windows系统文件DataExchange.dll缺失或损坏问题 下载修复