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

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

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 意向处理分析治疗意向分析法(英语:intention-to-treat analysis;缩写:ITT analysis)是指在分析实验结果时,以受试者最初被分配的治疗计划、而非最终所获的治疗为基础进行分析。使用这一分析法
  • 一世纪公元1年1月1日至100年12月31日的这一段期间被称为1世纪。其他
  • 阿勒颇之战红:政府军控制 绿:反对派控制 黄:库尔德族控制 土:对战中或不明叙利亚反对派: 叙利亚全国联盟 自由叙利亚军伊斯兰主义组织: 伊斯兰阵线(英语:Islamic Front (Syria))叙利亚政府:
  • 铅山.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 一氧化锰一氧化锰是锰的一种氧化物,化学式MnO,在自然界中以罕见的方锰矿(英语:manganosite)的形式存在。它在磁共振成像、电极材料制备等方面有着潜在应用。一氧化锰有着与氯化钠晶体相同
  • 尼古拉二世·伯努利尼古拉二世·伯努利(1695年2月6日-1726年7月31日),瑞士数学家,伯努利家族成员,约翰·伯努利的儿子,13岁入巴塞尔大学,1715年取得法学硕士学位。1725年同其弟弟丹尼尔·伯努利一起应
  • 2月14日2月14日是阳历一年中的第45天,离全年的结束还有320天(闰年则还有321天)。
  • 2036:连锁黎明《2036:连锁黎明》(英语:,或称为)是一部于2017年发布的美国新黑色科幻短片,由路克·斯科特执导,汉普敦·芬奇(英语:Hampton Fancher)与麦克·葛林(英语:Michael Green (writer))编剧,并由
  • 奥运村奥运村(英语:Olympic Village,法语:Village olympique),别称奥林匹克村或选手村,是于每届夏季奥运与冬季奥运中,主办国为各国运动员、官员、裁判、志願者和工作人员等提供的宿舍。除
  • 库西卜·森达尔库西卜·森达尔(),是南印度著名的演员,她1970年9月29日出身于泰米尔纳德邦的穆斯林家庭,娘家姓: 。长大后她改信了印度教。她的丈夫叫. 森达尔,做电影导演。他们居住在钦奈的电影