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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 活动活动可以指:
  • 不定式在语法中,动词不定式(又称不定词)是动词的一种不带词形变化从而不指示人称、数量、时态的形式。它叫做不定式,是因为动词不受限定,或者说不为词形变化所局限。不定式属于非谓语动
  • 奇蹄动物奇蹄目(学名:Perissodactyla)是哺乳动物中的一个目,包括有奇数脚趾的动物。原始奇蹄动物前足四趾,后足三趾,现生的奇蹄动物貘就是这样的脚趾结构。草食,胃的构造和偶蹄目部分成员多
  • 加州州立理工大学波莫纳加州州立理工大学(California State Polytechnic University, Pomona,简称Cal Poly Pomona,又常被译作加州州立理工大学波莫纳分校)是一所位于加利福尼亚州南部波莫纳、历
  • 皮特·舒尔策皮特·舒尔策(德语:Peter Scholze,德语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000",
  • 电子海图显示与信息系统电子海图显示与信息系统(英语:ECDIS, Electronic Chart Display and Information System),是指符合有关国际标准的航用电子海图系统。它以计算机为核心,连接定位、测深、计程仪、
  • 塞弗伦斯塞弗伦斯(英语:Severance)是一个美国城市,位于堪萨斯州多尼芬县。根据2010年人口普查,该城市人口为94人。塞弗伦斯位于39°46′4″N 95°15′1″W / 39.76778°N 95.25028°W / 3
  • 贪婪贪婪指一种攫取远超过自身需求的金钱、物质财富或肉体满足等的强烈欲望。贪婪也可以指得寸进尺,永不满足,贪图可能是属于别人的东西。贪心的个体不会考虑自己是不是真的需要这
  • 皮埃尔-路易·利翁皮埃尔-路易·利翁,法国数学家。其主要研究领域是非线性偏微分方程,因其在巴黎第九大学的工作而获得菲尔兹奖。利翁是首位给出玻尔兹曼方程的解并证明了的人。目前,利翁任职于
  • 法雄法雄,字文强,右扶风郿县(今陕西眉县)人,战国时代田齐君主齐襄王田法章的后人。贤士法真之父,三国时期蜀汉皇帝刘备重臣法正的曾祖父。秦国灭齐国之时,齐襄王的一支子孙不敢自称田姓