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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 作曲家作曲家是专门创作音乐的音乐家。在过去,大部分的音乐家都会作曲,但在分工细密的现代社会,作曲家、演奏家甚至指挥家等,已经成为截然不同的音乐家类型。历史上有许多创作的类型,像
  • 耳蜗植入法人工耳蜗,亦称为“人工电子耳”,是一种植入式听觉辅助设备,其功能是使重度失聪的病人(聋人)产生一定的声音知觉。与助听器等其它类型的听觉辅助设备不同,人工耳蜗的工作原理不是放
  • 湖北巡抚湖北巡抚,为清朝前期在湖北省设立的一个巡抚职位。顺治二年(1645年)清朝设置湖广巡抚,驻武昌府。雍正元年(1723年)偏沅巡抚改为湖南巡抚,湖广巡抚改为湖北巡抚。光绪三十年(1904年)裁
  • 塞舌尔猫头鹰塞舌尔猫头鹰(学名),又名裸腿角鸮。是塞舌尔马埃岛的一种角鸮。塞舌尔猫头鹰长19-22厘米,双翼长17厘米。它们呈锈褐色及有黑斑。下身及面部呈赤褐色,长是灰色及没有羽毛。眼睛很
  • 伊丹康直伊丹康直 (1522-1596.8.14),日本战国时代武将。幼名千代松,初名伊丹雅胜。1529年居城被攻破,父亲战死,千代松尚年幼,随外祖父出逃至骏河被今川义元收留。义元战死后,伊丹康直被提拔
  • 首页首页或主页(英语:home page或homepage)是计算机术语,各网站的主要网页——一般是指访问一个应用程序启动时始终显示在网站或网页浏览器中的一个或多个初始网页等画面存在的站点,
  • 桑嘎克桑嘎克(波斯语:سنگک‎,或نان سنگک,阿塞拜疆语:səngək,是一种伊朗原味全麦发酵扁平面包,呈长方形或三角形。在波斯语中,“桑嘎克”意思是小石头。桑嘎克面包便是在由小
  • 亚历山大·德米特里耶维奇·瞿鲁巴亚历山大·德米特里耶维奇·瞿鲁巴(俄语:Алекса́ндр Дми́триевич Цюру́па 1870年9月19日-1928年5月8日)苏联共产党政治家,生于奥列什基,1898年加入俄
  • 淡群赤光淡群赤光(日语:あわむら 赤光),日本轻小说作家。2008年(淡群赤光名义)以短篇“羁绊如连环般无限 爱如盾牌般无敌”获得第1届GA文库大奖奖励奖。代表是目前续刊中的《也许是现在进
  • 逃学威龙3之龙过鸡年《逃学威龙3之龙过鸡年》(英语:)由周星驰、梅艳芳、张敏主演。本片为1993年的贺岁电影,是周星驰与梅艳芳继《审死官》成功之后的再度合作,亦是《逃学威龙》系列的最后一部,于1993