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

✍ dations ◷ 2025-11-06 02:48:33 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 地理9,629,090 平方公里9,158,960 平方公里470,131 平方公里8,893 公里3,327 公里19,920 公里美国位于西半球,由美国本土、阿拉斯加州及夏威夷州三个部分所组成:美国本土包含北美
  • 托伦市托伦(波兰语:Toruń ;德语:Thorn,托恩)是波兰的一个城市,是1233年由条顿骑士团所建立。属库亚维-波美拉尼亚省。托伦曾是托伦省的省会。托伦的旧市区也是世界文化遗产。托伦在瓜分
  • 阿肯纳顿阿蒙霍特普四世(按不同的时间体系估计,去世于前1351年-前1334年之间),后改名埃赫那吞(Akhenaten,亦译做埃赫那顿),古埃及第十八王朝法老。阿蒙霍特普四世是第十八王朝全盛时期的法老
  • 南德意志报《南德意志报》(德语:Süddeutsche Zeitung,读作.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2
  • 肾丝球肾小球(英语:glomerulus,又称肾丝球、丝球体)是肾元中的用于将血液过滤生成原尿的一团毛细血丛,被鲍氏囊所包裹,是尿液形成的重要构造。血液经由入球小动脉进入肾小球。肾小球内的
  • 图洁·阿尔巴伊拉克图洁·阿尔巴伊拉克(土耳其语:Tuğçe Albayrak;1991年11月28日-2014年11月28日)是一位在德国黑森州巴特索登-萨尔明斯特出生的土耳其裔师范学院学生。2014年11月15日,当时在奥芬
  • 舍迈尔山酋长国舍迈尔山酋长国(阿拉伯语:إمارة جبل شمر‎,或依西文译为沙马尔山酋长国),又称哈伊勒酋长国、拉希德酋长国,是一个位于内志地区的酋长国,存在于1836年至1921年间,首都位于
  • 最小生成树最小生成树是一副连通加权无向图中一棵权值最小的生成树。在一给定的无向图 G = (V, E) 中,(u, v) 代表连接顶点 u 与顶点 v 的边(即 ( u
  • 殷虚卜辞综述《殷墟卜辞综述》,陈梦家作品,是甲骨文研究的百科全书。《殷墟卜辞综述》于1956年出版,全书分:总论、文字、文法、断代上、断代下、年代、历法天象、方国地理、政治区域、先公旧
  • 小玩意 (1933年电影)《小玩意》(英语:),是一部于1933年由导演孙瑜执导的无声电影。