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

✍ dations ◷ 2025-09-18 07:49:29 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 岩鼠科非洲岩鼠(学名:Petromus typicus)是岩鼠科(Petromuridae)下唯一的一种,分布于南部非洲的干旱和半干旱地区。目前确认有14个亚种。
  • Orange (公司)Orange(法语:Orange S.A.),是法国主要的电信公司,前身为法国电信(France Télécom S.A,),2013年7月1日改现名。李嘉诚的和记黄埔曾于1991年至1999年控股Orange公司。后几经易手,最终
  • 莒光号列车莒光号列车是台湾铁路管理局所辖铁路客车车种之一,是自强号列车等级以下的第二级高级客车车种。其中“莒光”命名,来自“毋忘在莒”成语故事。1970年,台铁向世界银行贷款购车以
  • .il.il为以色列国家及地区顶级域(ccTLD)的域名。目前以色列正在申请希伯来语顶级域名.ישראל‎。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az
  • 二乙烯酮二乙烯酮由乙烯酮在合适条件下二聚生成,可看作β-丙烯内酯及氧杂环丁烷的衍生物,在有机合成中有应用。它是无色液体,加热解聚生成乙烯酮。烷基取代的烯酮同样很容易二聚,生成取
  • 凯撒战记《凯撒战记》(拉丁语:),是《高卢战记》、《内战记》、《阿非利加战记》、《亚历山大战记》、《西班牙战记》五部拉丁文文学作品的总称。叙述了凯撒武力征服高卢及其后同以庞培父
  • 桂琳琳桂琳琳(1933年1月-2015年2月27日),女,浙江慈溪人,中国物理化学家、结构化学家,中国石油催化界元老。北京大学教授。1933年1月3日,出生于浙江省慈谿县慈城镇(今属宁波市江北区)。抗日战
  • 杨馨杨馨(?-1786年),清朝官员,本籍直隶大兴。吏员出身。1785年,杨馨前往台湾担任台湾府淡水厅竹堑巡检,统辖今台北至彰化一带之北中台湾军政。翌年,他因为于林爽文民变中弃城潜逃,遭清朝政
  • 哥斯拉vs碧奥兰蒂《哥斯拉vs碧奥兰蒂》(日文原名:ゴジラvsビオランテ)是1989年12月16日上映的日本电影,哥斯拉系列电影的第17部作品,日本观众人数200万人,票房约20亿日圆,片商盈利收入为10亿4000万
  • 巴尼斯G函数巴尼斯G函数是超级阶乘函数在复数上的扩展。它与Γ函数、K函数以及格莱舍常数(Glaisher constant)有关。以数学家欧尼斯特·巴尼斯(Ernest William Barnes)的名字命名。巴尼斯G