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

✍ dations ◷ 2025-11-23 18:53:02 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 细胞内寄生物细胞内寄生物(英语:Intracellular parasite)是指一类寄生于宿主细胞中生长、繁殖的生物,可分为兼性(Facultative)和专性(Obligate)寄生物。部分细胞内寄生物会导致相关疾病的发生。
  • 伊斯玛仪一世伊斯迈尔一世(波斯语:اسماعیل‎ ; 1487年7月17日-1524年5月23日)或译伊斯玛仪一世,伊朗萨非王朝的创立者,沙阿(1502年—1524年在位)。库尔德人萨菲派首领海达尔之子,母系血统
  • 亨利·里维耶亨利·里维耶(法语:Henri Rivière,1864年3月11日-1951年8月24日)是法国巴黎出身的后印象派画家。深受日本主义的影响,因葛饰北斋《富岳三十六景》的启发,创作《埃菲尔铁塔三十六景
  • 穆塔西姆-比拉·卡扎菲穆塔西姆-比拉·卡扎菲(阿拉伯语:مُعْتَصِمٌ بِٱللهِ ٱلْقَذَّافِيّ‎,英文:Moatassem-Billah Gaddafi,也可以音译为Mutassim或Al-Mu'tasim(穆塔斯
  • 瓦伦多夫湖坐标:51°22′31″N 12°03′24″E / 51.375381°N 12.056751°E / 51.375381; 12.056751瓦伦多夫湖(德语:Wallendorfer See),是德国的湖泊,位于该国东北部,由萨克森-安哈尔特州负
  • 张嘉哲张嘉哲(1983年4月22日-),字朽木,号真男人,台湾田径运动员、奥运国手,擅长项目马拉松。个人马拉松最佳成绩为02:15:02 (2019中国广州国际马拉松赛),此成绩当时使张嘉哲成为台湾男子马
  • 福本伸行福本伸行(1958年12月10日-),日本男性漫画家、漫画原作者。出身于神奈川县横须贺市,已婚。担任过かざま锐二的助手。1980年在《月刊少年Champion》(秋田书店)上连载《よろしく纯情大
  • 允礼允礼(满语:ᠶᡡᠨ ᠯᡳᡳ,穆麟德:;1697年3月24日-1738年3月21日),爱新觉罗氏,原名胤礼,号春和堂、静远斋,清朝康熙帝的第十七子。胤礼善书画丹青,著有《清工部工程做法》、《春和堂集》
  • 王金存王金存(1936年5月-),河北乐亭人,中国社会科学院世界经济与政治研究所研究员,中国社会科学院荣誉学部委员。1960年毕业于辽宁大学经济系。
  • 太湖船宴太湖船宴,俗称太湖船菜,是指在太湖游船上设置的船宴,是食与游相结合的一种宴饮形式。以无锡之太湖湖鲜、苏州之太湖船点为特色。太湖船宴相传起于春秋吴国,当泛舟湖上时,美食、美