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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • MRSA耐甲氧西林金黄色葡萄球菌(Methicillin-resistant Staphylococcus aureus)或多重抗药金黄色葡萄球菌(Multiple-resistant Staphylococcus aureus)是金黄色葡萄球菌的一独特菌株,
  • 复兴式建筑希腊化建筑复兴是指18世纪晚期至19世纪初期的一场流行于北欧和美国的建筑风格变革运动,以模仿古希腊建筑风格为特点。它是希腊化运动(英语:Hellenism (neoclassicism))的产物之
  • 银河系天文学银河系天文学是研究我们的银河系和其所有内容。相对来说,星系天文学是研究在我们银河系之外的一切,包括所有其他的星系。不要将银河系天文学和星系的形成和演化混淆,后者一般是
  • 君士坦丁君士坦丁(阿拉伯语:قسنطينة‎,法语:Constantine)位于阿尔及利亚东北部,是君士坦丁省的首府,西距首都阿尔及尔322公里。根据2008年人口普查,它有448,374名居民,是阿尔及利亚第
  • 对蒙抗战中亚(花剌子模) – 格鲁吉亚与亚美尼亚 – 伏尔加保加利亚(萨马拉弯 – 比拉尔) – 安纳托利亚(克塞山) – 欧洲(立陶宛(英语:Mongol invasions of Lithuania) – 罗斯 – 波兰
  • 布伦纳氏腺布伦纳氏腺是位于十二指肠壁的一种外分泌腺,负责分泌弱碱性的碳酸氢盐,以中和来自胃的酸性食糜。
  • 多项式多项式(Polynomial)是代数学中的基础概念,是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知
  • 潘达里耶潘达里耶(Pandariya),是印度恰蒂斯加尔邦Kawardha县的一个城镇。总人口12453(2001年)。该地2001年总人口12453人,其中男性6398人,女性6055人;0—6岁人口1964人,其中男1014人,女950人;识
  • 卡迪尔·吉姆盖金卡迪尔·拉西莫维奇·吉姆盖金 (俄语:Кадыр Рахимович Тимергазин;巴什基尔语:Ҡадыр Рәхим улы Тимерғазин;1913年2月5日(格里历
  • 克拉克·阿什顿·史密斯克拉克·阿什顿·史密斯(Clark Ashton Smith 1893年1月13日-1961年8月14日)是一位美国作家,早年靠写诗出名,诗风学自乔治·斯特灵。他和H·P·洛夫克拉夫特有交情,后来也曾在《诡