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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 山顶洞人山顶洞人指发现于中国北方的晚期智人化石。因化石地点在周口店龙骨山顶部,北京猿人洞穴上方的“山顶洞”内而得名。其重要化石及遗物均在1941年二次世界大战期间随同北京猿人
  • 北达科他州立大学北达科塔州立大学是美国北达科塔州的一所公立大学,正式名称是北达科塔州立农业与实用科学大学(North Dakota State University of Agriculture and Applied Sciences),1890年设
  • 泉南高速公路泉州-南宁高速公路,简称泉南高速,中国国家高速公路网编号为G72,起点在福建省泉州,途经三明、江西省吉安、湖南省株洲、衡阳、永州、广西壮族自治区桂林、柳州,终点在南宁,全长1635
  • 杜米特鲁·波佩斯库杜米特鲁·波佩斯库(罗马尼亚语:Dumitru Popescu;1928年4月18日-),罗马尼亚共产党中央政治执行委员会委员、中央书记处书记,他是最早吹捧齐奥塞斯库夫妇的中央领导人,记者Ioan T. Mo
  • R176公路 (俄罗斯)M119联邦公路,又称维亚特卡公路(Вятка),是俄罗斯的一条干线公路,始于楚瓦什共和国切博克萨雷,以科米共和国瑟克特夫卡尔为终点,全长872公里。
  • 普利特维拉·卡浦尔普利特维拉·卡浦尔(印地语:पृथ्वीराज कपूर,)是印度宝莱坞电影演员。他的儿子拉吉()和沙希·卡浦尔后来也是宝莱坞演员、导演。
  • 曾对曾对(1906年-?),“盐分地带”人,与吴新荣、郭水潭、林芳年等人相善,是佳里青风会、台湾文艺联盟佳里支部的成员。又名曾晓青,原名曾对,西港人,1906年(明治三十九年)生,日治时期公学校毕
  • 2020年珍尼补选阿布峇卡哈仑(马来语:Abu Bakar Harun) 国阵巫统莫哈末沙林(英语:Mohd Sharim Md Zain) 国阵巫统2020年珍尼补选(马来语:Pilihan raya kecil Chini 2020)是于2020年7月4日举行的马来
  • 布勒半岛布勒半岛(英语:Burrard Peninsula)是一个位于加拿大不列颠哥伦比亚省西南部低陆平原的半岛,北临布勒内湾和英吉利湾,南至菲沙河北支流,西起乔治亚海峡,东至匹特河(Pitt River)。大温
  • 释广钦释广钦(1892年-1986年),俗名“黄文来”,法名“照敬”,字“广钦”,以字行,福建泉州惠安县人,台湾著名的佛教出家众,其信徒经常尊称为“广钦法师”、“广钦禅师”、“广钦老和尚”、“广