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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 表面处理技术表面处理技术(Surface treatment)指的是通过对材料的表面进行改性或者涂覆一层其他材料实现对基底材料的保护。材料的损坏和失效大多是从表面破损开始的,因此针对材料的表面处
  • 高雄市凤山体育场高雄市凤山体育场位于高雄市凤山区,隶属于高雄市政府教育局,为一座大型的综合体育场。
  • 南蒂罗尔考古博物馆南蒂罗尔考古学博物馆(德语:Südtiroler Archäologiemuseum; 意大利语:Museo archeologico dell'Alto Adige)是意大利北部南蒂罗尔首府博尔扎诺一个专业的考古学博物馆。博物馆
  • 北高加索酋长国北高加索酋长国(俄语:Северо-Кавказский эмират),是俄罗斯车臣伊斯兰主义者在俄国内战时于车臣与西达吉斯坦成立的国家,由1919年9月至1920年3月存在。首都
  • 西吉斯蒙德王子西吉斯蒙德王子(英语:Prince Sigismund of Prussia,1864年9月15日-1866年6月18日),全名弗兰兹·弗里德里希·西吉斯蒙德(英语:Franz Friedrich Sigismund),是普鲁士国王、德意志帝国皇
  • 苏莱曼一世 (波斯)苏莱曼一世(波斯语:شاه سلیمان‎,17世纪?-1694年7月29日),伊朗萨非王朝的第八任沙阿(1666年—1694年在位)。苏莱曼一世为阿拔斯二世的长子。在他统治时期,萨非王朝衰落,权力移
  • 机器人总动员《机器人总动员》(英语:)是2008年一部由皮克斯动画工作室制作、华特迪士尼影片出版的计算机动画科幻电影,由安德鲁·史丹顿编导。故事描述地球上的清扫型机器人瓦力爱上了机器人
  • 佛教混合梵文佛教混合梵文(英语:Buddhist Hybrid Sanskrit,缩写为BHS),也被称为佛教梵文、混合梵文,现代语言学者,对于佛教经典中使用的梵文所做的分类,属于中古印度-雅利安语的分支。它大致上类
  • 巴登的威廉明妮巴登的威廉明妮(德语:Wilhelmine von Baden,1788年9月21日-1836年1月27日),黑森大公夫人(英语:List of Hessian consorts),1830年至1836年在位。1804年,威廉明妮和表哥路德维希结婚,两人
  • 雅各布·施滕普夫利雅各布·施滕普夫利(Jakob Stämpfli,1820年2月23日-1879年5月15日)是一位瑞士政治家。瑞士联邦委员会委员(1854年-1863年)。他于1854年12月6日当选为联邦委员会委员,任职至1863年1