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

✍ dations ◷ 2025-04-26 11:54:42 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 氨基青霉素氨基青霉素(Aminopenicillin)是一种β-内酰胺类抗生素青霉素的衍生物。氨基青霉素因为在青霉素侧链的α位碳原子上加上了一个氨基(-NH2)而得名,第一种合成的氨基青霉素是氨苄西林
  • 新英格兰爱国者美国美式橄榄球联盟(英语:American Football League)(1960–1969年) 国家橄榄球联盟(1970年至今)联盟冠军(6)联会冠军(11)分区冠军(22)新英格兰爱国者(New England Patriots)是美国国家橄榄
  • 天文计年天文计年是基于公元纪年法设立的纪年法,与之不同的是有0年的存在,并在0年以前的年份加负号,以后加上正号,因此更遵守十进位制。天文计年法省略了公元纪年法使用的前缀AD和后缀CE
  • 格里·亚当斯杰阿罗伊德·麦克·亚当(爱尔兰语:Gearóid Mac Ádhaimh;1948年10月6日-),英语名字为杰拉德·“格里”·亚当斯(英语:Gerard "Gerry" Adams),是爱尔兰共和派(英语:Irish republicanism)
  • 天津四天津四(英语:Deneb)/ˈdɛnɛb/是在天鹅座中的一颗一等星(英语:first magnitude star)。它也是夏季大三角和本十字这两个星群的端点之一。它是天鹅座中最亮的恒星.也是也是已知最明
  • 南部南部联邦管区(俄语:Южный федеральный округ,罗马化:Yuzhny federalny okrug)位于俄罗斯西南部,是目前俄罗斯的联邦管区之一。介乎格鲁吉亚、乌克兰和哈萨克
  • 今颚总目今颚类(学名:Neognathae),亦作新颚类,是鸟纲之下的一个支序。本支序原为总目或下纲级分类,具有充气性的骨骼,龙骨突发达,左右锁骨下端愈合,称之为叉骨,尾综骨发达。体表有羽区跟裸区的
  • 禁止在海床洋底及其底土安置核武器和其他大规模毁灭性武器条约《禁止在海床洋底及其底土安置核武器和其他大规模毁灭性武器条约》(英语:,英语直译:海底武器控制条约)是由联合国发起的,美国、前苏联、英国等22个国家首先签字承认的,目前已经有84
  • 让-维克托·彭赛列让-维克托·彭赛列(Jean-Victor Poncelet,1788年7月1日-1867年12月22日),法国数学家、工程师,也译作彭赛利、庞斯列或蓬斯莱,是射影几何学的创立人之一,曾担任巴黎综合理工学院的校
  • 李子贤李子贤(1938年11月15日-2020年7月13日),云南建水人,中国神话学家、民间文艺学家、民俗学家,云南大学教授。1938年11月15日出生于昆明市,祖籍云南省建水县。1959年考入云南大学首届