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

✍ dations ◷ 2025-11-30 12:00:08 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 维钦托利维钦托利(拉丁语:Vercingetorix,约前82年-前46年)是高卢阿维尔尼人的部落首领,曾领导高卢人对罗马统治的最后反抗。维钦托利是阿维尔尼首领之子,在高卢战争末期,他领导高卢人民试图
  • 科罗拉多州立大学科罗拉多州立大学(英语:Colorado State University,常用简称为CSU),成立于1870年,是美国科罗拉多州教育系统内的一所公立研究型大学、赠地大学。该校注重科学领域的研究开发,根据20
  • 亲缘地理学系统地理学(Systematic geography)是地理学四大分类的其中之一,也是地理学的主干。系统地理学可再分为自然地理学和人文地理学。大多数的地理学研究都是在系统地理学中的各分类
  • 孔尚任孔尚任(1648年11月1日-1718年2月14日),字聘之,又字季重,号东塘,又号岸堂,一号云亭山人,山东曲阜县人,孔子第六十四代孙。历官国子监博士、户部主事、员外郎,清朝戏曲作家,著有《桃花扇》
  • 10+10《10+10》是一部2011年多段式电影,由台北金马影展执行委员会发起之电影联合创作计划。为2011年金马国际影展开幕片,入围2012年第62届柏林影展“电影大观”单元。导演:王小棣导
  • 丹尼斯·米伦伯格丹尼斯·A·米伦伯格(英语:Dennis A. Muilenburg,1964年-)是一位美国企业家。曾任波音公司总裁兼首席运营官。获得爱荷华州立大学航空航天工程学学士学位,之后获得华盛顿大学航空
  • 贝蒂尔·奥林贝蒂尔·戈特哈德·奥林(Bertil Gotthard Ohlin,1899年4月23日-1979年8月3日),瑞典经济学家和政治家。学士(B.A.)就读于隆德大学,硕士就读斯德哥尔摩经济学院与哈佛大学分别取得 M
  • 英属马耳他总督马耳他总督(英语:Governor of Malta,马耳他语:Gvernatur ta' Malta),是在1813年至1964年英国殖民马耳他时期统治马耳他的官员。1964年,英国统治结束,马耳他国(英语:State of Malta)成立
  • 卡尔·海因兹卡尔·戈尔登·海因兹(Karl Gordon Henize,1926年10月17日-1993年10月5日)曾是一位美国国家航空航天局的宇航员,执行过STS-51-F任务。
  • 梁丹妮梁丹妮(1959年10月26日-),生于广州市,中国大陆演员。九岁时考进广州军区文工团任杂技演员,十九岁跃上大银幕,目前为为北京人民艺术剧院演员。代表作品有《漓江春》、《编辑部的故事