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

✍ dations ◷ 2025-11-30 19:16:44 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 权利后设伦理学 规范性 · 描述性 效果论 义务论 美德伦理学 关怀伦理学 善与恶 · 道德生物伦理学 · 网络伦理(英语:Cyberethics) · 神经伦理学(英语:Neuroethics) ·
  • 韩杰才韩杰才(1966年3月-),四川巴中人,中国复合材料和光学材料专家,哈尔滨工业大学教授、副校长。2015年当选为中国科学院院士。1985年毕业于哈尔滨科学技术大学,1988年和1992年先后获得
  • 摄政公园摄政公园(英语:Regent's Park,正式名称英语:The Regent's Park),又音译作丽晶公园,是位于伦敦市中心的公园和住宅区,是伦敦御苑之一,占地166公顷(410英亩)。摄政公园位于市中心的西北端
  • 巴斯特·基顿约瑟夫·弗兰克·“巴斯特”·基顿(英语:Buster Keaton,1895年10月4日-1966年2月1日) 是一名美国演员、喜剧演员,电影导演、制片人、编剧和特技演员。他以其无声电影而闻名于世,同
  • 英语种类列表方言依照不同的种类会有不同的发音方式、词汇与语法使得不被混淆,而腔调可知道他们是哪里人,因为每种国家使用的官方语言发音都不尽然。北美洲英语(英语:North American English
  • 强纳生·荷马·莱恩强纳生·荷马·莱恩(英语:Jonathan Homer Lane,1819年8月9日-1880年5月3日)是一位美国天文学家和发明家。莱恩生于美国纽约州,双亲是马克·莱恩和亨丽埃塔·莱恩(婚前姓 Tenny)。莱
  • 冯惟讷冯惟讷(1513年-1572年),字汝言,号少洲,山东临朐人,明朝政治人物。嘉靖戊戌进士,官至光禄寺卿。山东乡试第五十六名,嘉靖十七年(1538年)戊戌科进士。嘉靖十九年(1540年),任直隶常州府宜兴县
  • 中视爱心基金会财团法人中视慈善爱心基金会(英语:CTV Charities Aid Foundation)是中国电视公司(中视)旗下唯一的基金会,简称中视爱心基金会,2004年2月1日成立,成立宗旨为“办理社会公益慈善活动”
  • 纳豆 (艺人)林郁智(1981年1月7日-),艺名纳豆,台湾男演员、主持人,为金星娱乐旗下签约艺人。2013年9月26日,纳豆和主持搭档任家萱(Selina)以《小宇宙33号》首次入围第48届金钟奖综艺节目主持人奖
  • 广大院广大院(こうだいいん)生于安永2年6月18日(1773年8月6日),卒于天保14年11月10日(1844年12月19日)。江户时代后期女性,11代将军德川家齐正室(御台所)。实父为萨摩藩8代藩主岛津重豪,实母