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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 明治三陆地震明治三陆地震是一场在日本时间1896年(明治29年)6月15日下午7时32分30秒发生于东北地区三陆外海的地震灾难,是低角逆断层型的海沟型地震。明治三陆地震引发日本史上最具破坏力的
  • 森诺曼期-土仑期灭绝事件森诺曼期-土仑期灭绝事件(英语:Cenomanian-Turonian boundary event,简称OAE2)是发生于白垩纪的二个海洋含氧量降低物种灭绝事件之一。该次事件大约发生于9150 ± 860 万年前,不过
  • 国道352号国道352号是日本由新潟县柏崎市至栃木县河内郡上三川町的一般国道。从新潟县中部起横穿福岛县南会津地方、采用通过栃木县的路线、新潟・福岛县境以外相当部分为与其他国道
  • 三角仑山三角仑山,位于台湾新北市坪林区大林里与石里交界处,近宜兰县礁溪乡边界的一座山峰,峰顶海拔1,029米,于2006年入选新版台湾小百岳。该山为石�溪支流四堵溪、姑婆寮溪与得子口溪分
  • 木星探测木星探测是指人类向木星发射太空探测器对木星进行探测活动。至今已通过用自动化无人航天器进行了密切观察。但从地球飞往到太阳系中的其他行星具有较高的能量消耗。航天器从
  • 宗一郎宗一郎(そういちろう),日本的漫画家、插画家。
  • 塘坑站 (广州)塘坑站是广州地铁4号线的一座车站,车站位于南沙区环市大道西江南路口。2017年12月28日随4号线南延段通车而启用。本站共有两层。地面为环市大道西、江南路、南沙小学及其他建
  • 茱莉亚·昆恩茱莉亚·昆恩(或译茱莉亚·奎恩或茱莉亚·肯恩,英语:Julia Quinn,1970年-)为茱莉亚·波廷杰(Julie Pottinger)所使用的笔名,1970年出生时教名为Julie Cotler。她是美国历史罗曼史小说
  • 牛郎织女牛郎织女是中国四大民间传说之一,被部分人誉为中国文化中的故事爱情经典。七夕传统节日便是从牛郎织女的故事而来的。从古代典籍的记载看,民间认为织女聪明美丽、多才多艺,在七
  • 俞斌俞斌(1967年4月16日-),中国浙江天台县人,中国棋院围棋九段。俞斌1982年被定为三段,早年棋风飘逸,有“小马晓春”之誉。1991年升为九段,其后一度致力于电脑程序开发,导致成绩上常年