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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 果糖-6-磷酸果糖6-磷酸(英语:fructose 6-phosphate)是生物体内的常见分子之一,也是糖解作用的过程中所生成的产物之一,属于酮糖。在糖解作用中,果糖6-磷酸是葡萄糖6-磷酸在磷酸葡萄糖异构酶(英
  • NaSH硫氢化钠,化学式为NaHS,水溶液呈碱性。实验室中可通过无水乙醇钠与硫化氢反应制得硫氢化钠:硫氢化钠可用作多组分反应Asinger反应中的试剂,与α-卤代醛、氨和另一分子羰基化合物
  • 角锥柱在几何学中,角锥柱又称为棱锥柱、长锥体或长角锥(英语:Elongated pyramid),是指一系列的多面体,满足一个锥体由底面向下延伸形成柱体并与原来的锥体共同围出的一个封闭空间或一个
  • 阿尔贝托·J·阿曼多体育场阿尔贝托·J·阿曼多体育场(西班牙语:Estadio Alberto J. Armando;旧称:卡米洛·西切罗体育场)是一座位于阿根廷首都布宜诺斯艾利斯博卡的体育场。体育场看台一侧扁平而其余三侧
  • 吕留良吕留良(1629年-1683年),别名光轮,字用晦,又字庄生,号晚村,别号有耻斋老人、耻翁、吕医山人、南阳布衣等,暮年剃发出家,法名耐可,字不昧,号何求老人。浙江嘉兴府崇德县(今桐乡市崇福镇)人,明
  • 辛沙里施昆辛沙里施昆(英语:Sinsharishkun)(?-前612年),新亚述时期亚述国王(公元前626年—公元前612年在位),是亚述最后的国王之一。公元前626年巴比伦反叛,亚述军队穷于应付。公元前623年巴比伦再
  • 李查理 (计算机科学家)李查理是一位计算机科学家,他最广为人知的身份为莱特币的创办人,他是莱特币基金会的常务董事。 2013年7月,他还任职于交易所Coinbase。李查理出生于科特迪瓦,他于13岁时移居美国
  • 七星坑自然保护区七星坑自然保护区、七星坑原始森林,也称七星坑省级自然保护区,位于中国广东恩平西部,西北与阳春、阳东两地交界,横亘于云浮、江门、阳江三市的天露山脉的南端,距恩平市区57公里。
  • 小亨特·哈里斯小亨特·哈里斯(英语:Hunter Harris Jr.;1909年11月27日-1987年3月5日)美国得克萨斯萨姆豪斯顿堡人,美国空军四星上将、曾任美国太平洋空军总司令。小亨特·哈里斯是1930届弗吉尼
  • 曼利奥·迪罗萨曼利奥·迪罗萨(意大利语:Manlio Di Rosa,1914年9月14日-1989年3月15日),出生于里窝那,意大利前男子击剑运动员。他曾参加四届夏季奥运会,共获得2枚金牌、2枚银牌和1枚铜牌。他也是1