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

✍ dations ◷ 2025-10-21 13:08:40 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 饭馔饭馔(韩语:반찬),俗称伴菜,是朝鲜族就米饭食用的各种小菜,食毕可添加。在朝鲜语中,반찬一词既是单数词,也表示众数。朝鲜族传统的一餐由米饭、汤、酱、炖菜、泡菜等组成。按饭馔多少
  • 卡尔·路德维希·布卢姆卡尔·路德维希·冯·布卢姆(德语:Karl Ludwig von Blume,荷兰语:Charles Ludwig de Blume,1796年6月9日-1862年2月3日)为德国与荷兰植物学家。 他出生于德国的不伦瑞克,毕业于莱顿
  • 窗口式空调窗口式空调,是空调电器的其中一种,此类空调一般只会安装在窗户中。此类型的空调相对分体式空调更显细小和浓缩化,因为此类的空调机身包括了制冷和排风装置。一般来说,窗口式空调
  • 开路者号航天飞机开路者号航天飞机(英语:Pathfinder),是一架由钢铁和木材建造的模拟航天飞机,1977年建造于马歇尔航天中心,后运往肯尼迪航天中心用作地面测试之用,实际上不具备飞行能力。由于开路
  • 阿尔布雷希特·彭克阿尔布雷希特·彭克(Albrecht Penck,1858年9月25日-1945年3月7日)德国地理学家、地质学家。生于莱比锡附近的Reudnitz(德语:Reudnitz (Leipzig)),曾任维也纳大学(1885年-1906年)和柏林
  • 马尔蒂纳斯·格采维丘斯马尔蒂纳斯·格采维丘斯(立陶宛语:Martynas Gecevičius,1988年5月16日-),立陶宛篮球运动员,现在效力于立陶宛球队莱塔斯篮球俱乐部。他也代表立陶宛国家篮球队参赛。
  • 小智小智(英文:Ash Ketchum,日文:サトシ),是日本动画作品《精灵宝可梦》的虚构角色,同时亦是动画全系列故事的主角。他的梦想是成为世界上最伟大的宝可梦大师。他拥有皮卡丘、喷火龙等
  • 杨斗文杨斗文(1903年-1930年),字艳芳,曾用名杨世校。江西瑞金县人。中国工农红军将领。1917年,考入赣州省立第四中学,毕业后回乡任小学教员,1925年在瑞金私立绵江中学任教员。1926年,参加农
  • 松溪县松溪县(闽北语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif}Cê̤n
  • 秦润卿秦润卿(1877年-1966年),钱业巨擘。名祖泽,字行,晚号“抹云老人”,宁波慈溪县慈城(今宁波市江北区慈城镇)人。历任程氏家族福源、福康钱庄经理(程氏是上海九大钱庄资本家族集团之一),上海