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

✍ dations ◷ 2025-12-05 08:14:27 #素数,数论,包含证明的条目

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

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

而左方等于黎曼ζ函数:

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

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

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

重复上面步骤:

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

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

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

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

证毕。

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

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

可以写成,

又知:

所以

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

相关

  • 保健品营养补充品,又称营养补充剂、膳食补充剂、营养剂、饮食补充剂、保健食品、健康食品等,是一种成分是从食物中萃取对人体有益的营养素(如氨基酸、微量元素、维生素、矿物质等)的补
  • 圣罗莎圣罗莎(英语:Santa Rosa)是美国加利福尼亚州索诺马县的一个市,也是该县的首府。市政府建制于1868年3月26日,面积104.6平方公里,根据2010年美国人口普查共住有人口16万7815人。圣罗
  • 台糖量贩台湾糖业股份有限公司量贩事业部(简称:台糖量贩、台糖健康超市,英语:Taisuco)为台湾一间已结业的连锁量贩店及超市,属于台糖公司旗下事业体之一,成立于2000年,为全国首创结合生活量
  • 加利福尼亚寒流加利福尼亚洋流是一股太平洋的洋流,在加拿大英属哥伦比亚省南部海岸开始,沿着北美洲的西海岸往南行进,最后在墨西哥的下加利福尼亚州外海汇入赤道洋流。加利福尼亚洋流是北太平
  • 十腕总目十腕总目(学名:Decapodiformes),俗称“乌贼”,古称乌鲗,是一种头足纲蛸亚纲新蛸下纲之下的一类软体动物,所有乌贼都可以喷墨。乌贼类可以大致概括本类多数动物。与蛸亚纲的其他分类
  • 科学记数法科学记数法(英语:Scientific notation,英国则称为 Standard form),又称为科学记数法或科学记法,是一种数字的表示法。科学记数法最早由阿基米德提出。在科学记数法中,一个数被写成
  • 兰季德·辛格兰季德·辛格摩诃拉者(英语:Maharaja Ranjit Singh,1780年-1839年)是19世纪上半叶统治了西北印度次大陆的锡克帝国的开国君主。他小时候曾得过天花,活了下来,但左眼失明。十岁那年
  • 磁重联磁重联是一种发生于高导电等离子体中的物理过程,过程中磁拓扑重新分布,同时磁能被转换为动能、热能与加速粒子(英语:Particle acceleration)。磁重联涉及的时间尺度介在磁场的慢
  • BH航空BH航空(保加利亚语:Би Ейч Еър)是保加利亚的一家航空公司,总部位于索菲亚。BH航空开设有飞往英国、斯堪迪纳维亚、德国、意大利、瑞士和其他欧洲国家的包机航班,并还有前
  • 戴钧衡戴钧衡(1814年-1855年),表字存庄,号蓉洲,安徽省桐城县孔城人,桐城派文学家,因研究尚书众家注疏,著有《书传补商》十六卷。“南山案”主角戴南山的后代,搜集南山遗篇,编为《戴南山先生全