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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 琥珀酸脱氢酶琥珀酸脱氢酶有两种,一种是以泛醌作为受体的,另一种是作用于所有受体。EC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/22  · 2.1/2/3/4/5/6/7(2.7.10/11-12
  • Adobe InDesignAdobe InDesign是Adobe公司的一个桌面出版(DTP)的应用程序,主要用于各种印刷品的排版编辑。Adobe InDesign是直接针对其竞争对手QuarkXPress而发布的。虽然其最初在争取用户方
  • 捕捉、绝育、释放诱捕、绝育、放回原地或诱捕、绝育、回置(英文:Trap Neuter Return,缩写:TNR),是一种以人道方式管理和减少流浪犬和流浪猫数量的方法。TNR借由对流浪犬猫施以绝育手术,使之无法继续
  • 莫斯科奥运第二十二届夏季奥林匹克运动会(英语:the Games of the XXII Olympiad,法语:les Jeux de la XXIIe Olympiade,俄语:Игры XXII Олимпиады),于1980年7月19日至8月3日在苏
  • 序(英语:preface),又称序文、序言、序论、叙、叙文、叙言、叙论、绪、绪文、绪言、绪论、弁言、引、引文、引言、引语、导言、前言,是作品或书籍的一种依附性文章,主要介绍作品的
  • 伊万·阔日杜布空军主帅伊万·尼基托维奇·阔日杜布(俄语:Иван Никитович Кожедуб,1920年6月8日-1991年8月8日),是苏联苏德战争中诞生的一位传奇的王牌飞行员,他在战争爆发的
  • 袁雪芬袁雪芬(1922年3月26日-2011年2月19日),女,浙江嵊县人,中国越剧表演艺术家,工小旦,为“越剧十姐妹”之一。1922年3月26日(农历二月廿八日),生于浙江省嵊县(今浙江省嵊州市)甘霖镇杜山村。1
  • 起居注起居注是东亚地区史书的一种形式,为编年体,也就是一种以历史事件发生的时间为顺序,来编撰、记述历史的一种方式。起居注的特色在于,它是由专门的史官起居舍人对于皇帝每日的行为
  • 贾杰贾尔贾杰贾尔(Jhajjar),是印度哈里亚纳邦Jhajjar县的一个城镇。总人口39004(2001年)。该地2001年总人口39004人,其中男性20966人,女性18038人;0—6岁人口5531人,其中男3086人,女2445人;识字
  • 长城平台长城平台(英语:Great Wall)是由中华人民共和国的中央电视台、地方电视台和相关境外电视台的频道集成的卫星电视播放平台。收看这个平台的节目可以通过卫星天线接受卫星电视信号