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

✍ dations ◷ 2025-11-17 09:22:41 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 草药药用植物也被称为草药、药草,自史前时代以来一直在传统医学实践中被发现和使用。植物合成了数百种化合物,其功能包括植物抵抗昆虫,真菌,植物病害和食草哺乳动物。许多植物化学物
  • 盐沼盐碱滩,又称盐沼,是沿海潮间带和陆地间的一种生态系统,海水或咸水有规律地涌入流出地带。这一地带主要生长盐土植物。这些植物是陆生植物且耐盐碱。在水域食物链及海陆营养交换
  • 头目头目可以指:
  • 坎贝尔 (俄亥俄州)坎贝尔(Campbell),美国俄亥俄州马霍宁县的一个城市。该市总人口8,235(2010年)。该市面积9.6平方公里。
  • 黄樟素黄樟素( 或 ),是一种无色或微黄色的油状液体,属于苯基丙烯的一种。 通常由黄樟树的根、树皮、果实中所提取的黄樟油,或是经由儿茶酚或其他相关亚甲二氧基的化合物化学合成所生产
  • 法尔计划法尔计划是为预备加入欧盟国家提供并由欧洲联盟提供资金的三个工具之一,旨在援助位于中欧和东欧的申请国及协助其加入欧盟的准备工作。该方案最初创建于1989年,被称为《波兰和
  • 沈芯菱沈芯菱(1989年11月-),知名慈善行动家。出身云林县农村贫困摊贩,历代祖辈为佃农长工。自幼半工半读,自11岁起投身公益,从未接受捐款,十九年来独力支出900多万元行善,最年轻当选“总统
  • U盾U盾(USBKey)是中国工商银行推出的一种用于在网络上以客户端的形式识别客户身份的数字证书。它结合IC卡与数字证书、数字签名等技术。U盾采用非对称加密算法。U盾的私钥(唯一序
  • 笪姓笪姓(“笪”,拼音:da2,南京官话:da5,當割切),是中文姓氏之一,在《百家姓》中排第497位。 笪姓人口规模很小,历史上对此姓研究非常之少,部分姓氏考证书籍又多讹传,据各地笪氏家谱资料表明
  • 头流山头流山(韩语:두류산)是韩国江原道华川郡的一座山,山顶海拔993米