证明黎曼ζ函数的欧拉乘积公式

✍ dations ◷ 2025-12-01 07:07:56 #素数,数论,包含证明的条目

欧拉在他的论文《无穷级数的一些检视》()中证明黎曼ζ函数的欧拉乘积公式,并于1737年由当时的科学院出版。

黎曼ζ函数以欧拉乘积的方式可写成

而左方等于黎曼ζ函数:

右方的乘积则扩展至所有素数:

证明过程只需用到简单的代数概念,这亦是欧拉当初使用的证明方法。

从(1)式减去(2)式:

重复上面步骤:

从(3)式减去(4)式,可得:

这次2和3的所有倍数项都被减去。可见右方的的倍数项可被筛去,不断重复以上步骤可得:

左右两方除以所有括号项,我们得到:

最后,公式可写成素数的无穷乘积:

证毕。

为了使证明更严密,我们只需注意到当 ( s ) > 1 {\displaystyle \Re (s)>1} ,已筛的右方项趋向1,并遵从狄利克雷级数的收敛性。

从以上公式可推导出 ζ(1) 的有趣结果。

可以写成,

又知:

所以

我们得知左式是调和级数,并发散至无穷大,故此右式的分子(素数阶乘)必定同样发散至无穷大。由此可以证明素数有无限多个。

相关

  • 气管切开术1 – 声带 2 – 甲状软骨 3 – 环状软骨 4 – 气管环 5 – 气囊气管切开术(tracheotomy /ˌtreɪkiˈɒtəmi/、UK also /ˌtræki-/;tracheostomy),简称“气切”,它是将气管软
  • 横膈裂孔疝气食管裂孔疝(hiatus hernia、hiatal hernia)是一种疝气,是腹部的器官(通常是胃)通过横膈膜进入纵膈腔中。这可能导致胃食道逆流(GERD)或咽喉反流,其症状包括口腔酸味或胃灼热感。其他
  • 吴 淇吴淇,字伯其,睢州人,清朝政治人物。顺治十五年(1658年)戊戌进士,官至江苏镇江府同知。工诗,有《雨蕉斋诗集》。
  • 洛克希德·马丁洛克希德·马丁(英语:Lockheed Martin,NYSE:LMT)是一家美国航空航天制造厂商,1995年由洛克希德公司与马丁·玛丽埃塔公司共同合并而成。洛克希德·马丁以开发、制造军用飞机闻名世
  • 土井辰雄土井辰雄(日语:土井辰雄  ?;1892年12月22日-1970年2月21日)是日本籍天主教司铎级枢机及东京总教区总主教。土井辰雄于1892年12月22日在日本宫城县东北地方最大的城市仙台市出生
  • 商周彝器通考商周彝器通考,作者容庚,1941年哈佛燕京学社出版,正文30万字,是通论商周时代青铜器的扛鼎之作。《商周彝器通考》书中已体认到新旧考古器物的过渡性:“遍观各器形制花纹,鬲与簋尚承
  • 李德立李德立(英语:Edward Selby Little,1864年-1939年)英国人。毕业于剑桥等大学。1886年22岁时来华传教,1895年,李德立从中国官府得到为期999年的租契,开始把庐山山顶气候凉爽的牯牛岭长
  • 原广司原广司(1936年9月9日-),日本建筑师,东京大学名誉教授。出生于神奈川县川崎市,毕业于长野县饭田高中,东京大学工学部建筑系。同大学研究所建筑系专攻博士课程修毕(工学博士)。历任东洋
  • 龙岩民系龙岩民系,亦称龙岩人、龙岩闽南人,是闽南民系的一个支系,主要分布在中国福建西部龙岩市的闽南语地区,包括新罗区、漳平市及其附近地区。龙岩民系一说由厦门大学教授陈支平最早提
  • 波斯双陆波斯双陆(Nard),是古波斯流行的双陆棋。六世纪时,印度人带恰图兰卡至波斯王宫,而波斯人之后也带波斯双陆去印度。