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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 躁郁症躁郁症(英语:bipolar disorder,亦称双相情感障碍、情绪两极症,早期称为躁狂抑郁疾病、manic depression),是一种精神病经历情绪的亢奋期和抑郁期。情绪亢奋期(躁期)可分为“狂躁”或
  • Rheumatology人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学风湿病学或称风湿病专科(英语:Rheumatol
  • 提香蒂齐亚诺·韦切利奥(Tiziano Vecelli或Tiziano Vecellio,1488年(一说为1490年)– 1576年8月27日),英语系国家常称呼为提香(Titian),他是意大利文艺复兴后期威尼斯画派的代表画家。提
  • 10月25日10月25日是阳历一年中的第298天(闰年第299天),离全年的结束还有67天。
  • 纳加帕蒂南纳加帕蒂南(泰米尔语:நாகப்பட்டினம்、英语:Nagapattinam),又译讷加帕塔姆,印度泰米尔纳德邦的一个港口城市。《大唐西域求法高僧传》中译作那伽钵亶那,元代汪大渊《岛
  • 巴厘猫巴厘猫(Balinese)是一种长毛的家猫,毛色近似暹罗猫,有天蓝色的眼睛。它实际就是由暹罗猫培育出来的长毛品种。与暹罗猫一样,其性格十分活跃。虽然名字里有巴里二字,但它本身与巴厘
  • 龙安区龙安区是中华人民共和国河南省安阳市西南部分的市辖区。面积236平方公里,2002年人口19万。邮政编码455001,区政府驻梅东路南段。目前下辖:文昌大道街道、文明大街道、太行小街
  • 高岭镇站高岭镇站(韩语:고령진역)是朝鲜民主主义人民共和国咸镜北道会宁市的一个铁路车站,属于咸北线。咸北线
  • Armagetron Advanced采用电影《电子世界争霸战》的创意,支持 Mac OS X,Microsoft Windows,Linux and OpenBSD。游戏在一些"轻型摩托车"间进行,每辆车都在自己的道路上建立一堵光墙,它们很脆弱,不能碰
  • 吉恩·戴克尔尤金·戴克尔(英语:Eugene Dyker,1930年2月17日-1966年1月),美国NBA联盟前职业篮球运动员。