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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 敷料敷料乃一重要急救用品,用以直接覆盖伤口。敷料分有黏性和无黏性,应因应伤口选择最合适的敷料,但如附近无敷料,可使用清洁、柔软、吸水之物品,如手帕、纸巾等。急救学 作者:抗高
  • 判例判决先例(英语:precedent、或英语:authority;又称判例、先例、前例),在普通法体系下指的是根据先前的法律案件(legal case)而建立起的法律原则或规范。遵循先例(拉丁语:Stare decisis)
  • 日蒙关系日本与蒙古国的关系,简称日蒙关系,包括双方在历史上的不同时期。最早始于13世纪,然而两国直到1972年2月24日才树立邦交。巴巴多斯(英语:Barbados–Japan relations) · 加拿大
  • 膨胀宇宙的远景有物理宇宙学家指出,宇宙的未来很可能为继续膨胀。如果事实如此,宇宙将因其膨胀而继续冷却,导致达到不足以维持生命的温度。因此,膨胀宇宙的未来又称为大冻结。膨胀宇宙的未来将
  • 军事法庭军事法庭(英语:Court-martial,简称CM),亦可译为军事法院、军法审判、军法裁判、军法会议、军法处置等,是依照军法(英语:Military justice)审判关于军队等军事组织的犯罪或者在军事组
  • 自由之声电台 (短波广播)自由之声电台(朝鲜语:자유의 소리/自由의 소리 ;英文:Voice of Freedom)是韩国针对朝鲜的宗教广播。广播语言为朝鲜语,用短波广播。该台主要由脱北者创办,于2008年4月24日开播,最初的
  • 东北大米东北大米是一种粳稻,主要种植于中国黑龙江省、吉林省与辽宁省的广大平原地区,种植在富含矿物质的黑土地中,阳光雨露均足,又有来自松花江、嫩江与东辽河等水系的灌溉用水。东北大
  • 太平洋之岚‘太平洋之岚’(はわい・みっどうぇいだいかいくうせん たいへいようのあらし)是1960年4月26日上映的日本战争电影,描述日美太平洋战争,从珍珠港事变到中途岛海战的经过,当时在
  • 林辉山林辉山(1906年-1980年),原名上听,化名飞山、苏岳,男,浙江平阳人,中华人民共和国政治人物,曾任浙江省政协副主席,浙江省人大常委会副主任。
  • 无辜 (1976年电影)《无辜》(意大利语:)是一套1976年的意大利-法国合拍电影,是意大利导演卢切诺·维斯康堤的最后遗作,直至他逝世后才上映。电影改编自加布里埃尔·邓南遮的同名小说《无辜者(英语:The