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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 氨酰tRNA合成酶胺酰-tRNA合成酶(aminoacyl tRNA synthetase,通常简写为aaRS)是一类催化特定氨基酸或其前体与对应tRNA发生酯化反应而形成胺酰tRNA的酶。由于每一种的氨基酸与tRNA的连接都需要
  • 波普约翰·安东尼·波普尔爵士,KBE,FRS(英语:Sir John Anthony Pople,1925年10月31日-2004年3月15日),英国化学家,1998年诺贝尔化学奖得主之一。约翰生于英格兰索美塞特郡一个名为滨海伯
  • 跨国企业跨国公司、多国公司(英语:Multinational Corporation,MNC),经常被称为跨国企业(英语:Multinational Enterprise,MNE),是在世界多国有营运,且规模庞大的股份有限公司。它们在不同的国家
  • 旋尾亚目旋尾亚目(学名:Spirurina),原为旋尾亚纲,现时被降为小杆目之下的一个线虫的分类单元,皆为海洋生物。根据WoRMS,本亚目包括下列五个下目:
  • 前列腺特异抗原n/an/an/an/an/an/an/an/an/an/a前列腺特异抗原(英语:Prostate Specific Antigen、PSA)血浆前列腺特异抗原浓度升高是提示前列腺癌的敏感监测指标;但不能作为确诊指标。由于前列
  • 罗莎手术机器人励罗莎手术机器人(英语:ROSA)是一种医疗手术机器人能够在神经外科手术过程中协助医师减少手术完成时间并提高手术精准度。励罗莎手术机器人被法国的捷迈医疗器材股份有限公司(英
  • 亚得里亚海联合世界书院亚得里亚海联合世界学院(英语:United World College of the Adriatic)是联合世界书院的分校之一,是一项全球性教育运动。它将来自世界各地不同背景的青年择优选拔、汇聚在一起学
  • 吴都文粹《吴都文粹》,宋朝郑虎臣编,共九卷,记载了吴郡(今苏州)遗文。所录有宋朝李寿朋、汪应辰、赵肃等札奏。《四库总目提要》:“书虽称文粹,实与地志相表里。东南文献,藉是有征;与范成大《
  • 大卫·E·里奇大卫·E·里奇(英语:David Emil Reich,1974年7月14日-)是一位美国遗传学家,主要研究领域是古人类的群体遗传学,即通过全基因组关联分析来发现人类的迁徙和种群的混合。
  • 苻娀娥苻娀娥(4世纪-404年),十六国后燕昭文帝慕容熙的昭仪(高级妃嫔),皇后苻训英的姐姐。姐妹俩的父亲是前秦的皇族苻谟。永康二年(397年)慕容详在中山自立为帝时,苻谟家族惨遭屠杀,只有姐妹