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

✍ dations ◷ 2025-11-25 22:17:04 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 环境可持续指数环境可持续指数(Environmental Sustainability Index,ESI)是一项整合性指标系统,追踪21项环境永续的元素,包括自然资源、过去与现在的污染程度、环境管理努力、对国际公共事务的
  • 辽阳辽阳可指:
  • 黄腹纹霸鹟黄腹纹霸鹟()是一种细小及吃昆虫的霸鹟。黄腹纹霸鹟上身呈橄榄褐色,双翼及尾巴较深色,下身则呈黄色。眼睛上有白圈,白色的翼干,尾巴短小。细小的鸟喙上部呈深色,下部则呈橙粉红色。
  • 马丁·内斯比特 (政治家)马丁·内斯比特(英语:Martin Luther Nesbitt, Jr.,1946年9月25日-2014年3月6日),是一位美国民主党的成员,并担任北卡罗来纳州参议院参议员。他出生于北卡罗来纳州阿什维尔。2014年3
  • 森田等价在抽象代数中,森田等价(Morita equivalence)是定义在环之间的一个等价关系,这个等价保持许多环论性质。以日本数学家森田纪一(英语:Kiiti Morita)命名,他在1958年定义了这个等价关系
  • 卡拉威高尔夫公司卡拉威高尔夫公司(英语:Callaway Golf Company,NYSE:ELY),总部设于美国加利福尼亚州卡尔斯巴德,1982年成立,是一间高尔夫球具生产商,亦是全世界最大的高尔夫球杆生产商。卡拉威赞助过
  • 马塔·莫德尔马塔·莫德尔(Martha Mödl,1912年3月22日-2001年12月17日),德国女高音,女中音演唱家,著名的瓦格纳戏剧女高音。
  • 孙维城孙维城(1540年-1602年),字宗甫,号卫宇,山东承宣布政使司东昌府丘县(今河北省邱县邱城镇)人,明朝政治人物。隆庆四年(1570年),乡试中举。隆庆五年(1571年),联捷辛未科进士,相继担任河南濬县、
  • 中加里曼丹省中加里曼丹是印尼在婆罗洲岛加里曼丹地区的五个省份之一。首府是帕朗卡拉亚,中加里曼丹面积153,564平方公里。中加里曼丹于2018年的人口2,300,000。位于婆罗洲岛中南部地区西
  • 弗雷德里克·汉莱·希尔雷斯弗雷德里克·汉莱·希尔雷斯(英语:Frederick Hanley Seares,1873年5月17日-1964年7月20日)是一位美国的天文学家。他曾工作于威尔逊山天文台,于1940年获得布鲁斯奖。月球上的希尔