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

✍ dations ◷ 2025-02-24 11:04:55 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 类语辞典索引典(英语:thesaurus),也称为叙词表或类语辞典,同义词辞典,是主题分析的一种实作方法。所谓主题分析是指辨识某作品之知识内涵,分析其特性,并使用某些文字、代号描述其主题。主题
  • 吉林大学白求恩医学院吉林大学白求恩医学部,Norman Bethune Health Science Center of Jilin University源于吉林省白求恩医科大学,2000年其与吉林大学等合并,成为新的吉林大学白求恩医学院, 2003年
  • 羚羊河南方古猿羚羊河南方古猿(Australopithecus bahrelghazali),又名南方古猿羚羊河种、加扎勒河南方古猿或南方古猿加扎勒河种是人科的化石,最初于1993年由古生物学家米歇·布吕内(Michel Bru
  • 彭实戈中国科学院院士(数学物理学部,2005年)彭实戈(1947年12月8日-),广东省海丰县人,生于山东省滨县。生父、外祖父和舅舅是革命烈士。山东大学数学研究所所长,金融研究院院长,泰山学堂院长,
  • 蟾蜍甾蟾蜍甾或蟾蜍羟酸内酯(英语:bufanolide)是一种甾体结构母核。许多种蟾蜍与绵枣儿属植物能产生其衍生物,常为强心苷的糖苷配基,通常具有毒性。
  • 铰链铰链(英语:hinge),又称合页,是用来连接两个固体,使两者之间可做转动的机械装置。铰链可由可移动的组件构成,或者由可折叠的材料构成。最常见的铰链是门窗上安装的铰链。
  • 黄道十二宫杀手黄道十二宫杀手(英语:Zodiac Killer,又译星座杀手、黄道杀人魔,以下简称黄道带杀手)是一名于60年代晚期在美国加州北部犯下多起凶案的连环杀手。直至1974年为止,他寄送了许多封以
  • 2010年卡梅尔山区森林大火2010年卡梅尔山区森林大火是2010年12月初发生在以色列北部卡梅尔山区的森林大火,造成44人丧生,是以色列立国62年来最严重的森林火灾。大火于当地时间12月2日上午约11点半从山
  • 宝岗体育场宝岗体育场,是广东省广州市的一间运动场,位于海珠区宝岗大道新凤祥大街。19世纪西人来华,带来各种体育运动,其中就包括赛马运动。广州最先出现赛马,大约在光绪初年,而宝冈就是夷人
  • 高天梅 (1911年)高天梅(1911年-),曾用名叶英,女,广东海丰人,中华人民共和国政治人物,曾任广西壮族自治区政协副主席。