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

✍ dations ◷ 2025-12-10 22:44:11 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 浊齿龈擦音浊齿龈擦音是辅音的一种。和此音对应的国际音标符号会因为此音是否有咝音还是无咝音而有所改变:吴语中的属有咝音,据邪俟船子音而定,均属阳调。浊齿龈有咝音的特征:英语中有此音
  • 科学博物馆科学博物馆:主要陈列与科学技术相关展品的博物馆。
  • 密歇根领地密歇根领地(英语:Michigan Territory),美国历史上的一个合并建制领土,存续时间为1805年6月30日至1837年1月26日。1837年1月26日,加入联邦,成为密歇根州。
  • 美国的大规模监控2001年–2007年–与英国政府通信总部合作项目非持续进行项目美国的大规模监控可以追溯到第一次世界大战的战时监控与审查制度(英语:Censorship_in_the_United_States#Wartime_
  • 弗拉德斯德拉谢拉弗拉德斯德拉谢拉(西班牙语:Frades de la Sierra),是西班牙卡斯蒂利亚-莱昂萨拉曼卡省的一个市镇。 总面积28平方公里,总人口255人(2001年),人口密度9人/平方公里。
  • 埃米尔·赫里斯托夫埃米尔·约尔丹诺夫·赫里斯托夫(英语:Emil Yordanov Hristov,保加利亚语:Емил Йорданов Христов,1924年6月16日-2009年),保加利亚政治家,是保加利亚共产党中央书
  • 比伯湖 (弗龙罗伊特)坐标:47°51′54″N 9°33′28″E / 47.86500°N 9.55778°E / 47.86500; 9.55778比伯湖(德语:Bibersee),是德国的湖泊,位于该国西南部,由巴登-符腾堡州负责管辖,处于弗龙罗伊特,面积
  • 霍斯特·辛德曼霍斯特·辛德曼(德语:Horst Sindermann,德语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2
  • 张采张采(1596年-1648年),字受先,直隶太仓州(今江苏省苏州市太仓市)人。明末学者,复社领导人之一。生于明神宗万历二十四年(1596年),与同乡张溥齐名“形影相依,声息相接,乐善规过,互推畏友”,号
  • 托马斯·F·贝亚德托马斯·弗朗西斯·贝亚德(Thomas Francis Bayard,1828年10月29日 - 1898年9月29日),美国律师、政治家,曾任美国国务卿。