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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • MPPP1-甲基-4-苯基-4-哌啶丙酸酯(MPPP)是一种在1940年代由罗氏的研发人员研制出来的鸦片类止痛药。 MPPP后来在医学上并没有被使用,不过却被作为一种毒品而非法生产。它是一种哌替
  • 三缩脲三缩脲(英语:Triuret)是化学式为(H2NC(O)NH)2CO的有机化合物,是尿素的脱氨三缩产物。三缩脲常温常压下为无色粉末状晶体,易潮解,微溶于冷水和乙醇,易溶于热水。由于分子中心的羰基
  • 帕特里克·马卡乌帕特里克·马卡乌·穆斯约基(Patrick Makau Musyoki,1985年3月2日-,生于东部省曼严兹瓦尼)是一位肯尼亚跑步运动员。他在2011年柏林马拉松中创造了02:03:38的世界纪录(已被打破)。
  • 安陆市安陆市是中华人民共和国湖北省下辖的一个县级市,由孝感市代管,为武汉城市圈重要组成部分,位于鄂中腹地,是楚文化发祥地,是历史上郧子国、安陆郡(安州)、德安府所在地,历史上安陆古城
  • 长老会长老宗(英语:Presbyterianism),其教会称长老教会(英语:Presbyterian church,简称长老会),是西方基督教新教加尔文宗的一个流派,源自十六世纪的苏格兰改革。 长老教会持守加尔文主义,尤
  • 潜移断层潜移断层与会造成大规模运动的一般断层有明显不同,是一种持续释放能量缓慢运动的断层。。世界上仅有非常少数的潜移断层案例。美国加州中部的霍利斯特存有一条著名的例子卡拉
  • 王海晏王海晏(1845年-1937年)原名王晏,艺名海燕。豫剧演员,工须生。清代河南省杞县沙窝集人。他在开封剧坛有很高的声望,被敬崇为开封一带的须生泰斗,人称“红脸王”。王海晏李剑云 ·
  • 设乐博设乐博(日语:設楽 博,1936年9月11日-),日本资深男性动画导演、演出家。出身于山形县村山市。日本大学艺术学部毕业。1960年从日本大学艺术学部毕业之后,立即进入电影公司东映上班。
  • 常海常海(1956年2月-),男,蒙古族,内蒙古科右中旗人,中华人民共和国政治人物,曾任内蒙古自治区人民政府秘书长、党组成员、办公厅党组书记,内蒙古自治区政协副主席,第十届全国人大代表。
  • 我的废墟生活《我的废墟生活》(英语:My Life in Ruins)是一部发生在古希腊废墟中的浪漫喜剧,由妮雅·瓦达萝丝、李察·德雷福斯、Alexis Georgoulis(英语:Alexis Georgoulis)、Rachel Dratch(英