查看原文
其他

理解黎曼猜想(二)两个自然数互质的概率是多少? | 袁岚峰

袁岚峰 风云之声 2019-10-07

             

关注风云之声提升思维层次
导读

任选两个自然数,它们互质的概率是多少?它就是s = 2时欧拉乘积公式右边的连乘的倒数,因此它等于s = 2时欧拉乘积公式左边的连加的倒数,即1/ζ(2)。而ζ(2) = π^2/6,因此这个概率等于6/π^2 ≈ 60.79%。同样的,三个自然数互质的概率是1/ζ(3) ≈ 83.19%,四个自然数互质的概率是1/ζ(4) ≈ 92.39%。


在上一期节目(文章见理解黎曼猜想(一)背景 | 袁岚峰,视频见https://www.bilibili.com/video/av34580488)中,我们首先介绍了黎曼猜想的背景,即质数分布问题。然后指出了研究质数分布的基本工具,即欧拉乘积公式



这个公式左边的n指的是所有的自然数,1、2、3、4、5等等,右边的p指的是所有的质数,2、3、5、7、11等等。公式两端都出现的s是一个变量,当s > 1时欧拉乘积公式成立。


数学家经常用大写的希腊字母Σ来表示求和,用大写的希腊字母Π来表示连乘。用这种表达方式,我们可以把欧拉乘积公式简写成下面这样:



然后,我们给出了欧拉乘积公式的证明。如果把n-s记作f(n),左边就是无穷级数Σn f(n)。对这个无穷级数乘以[1 - f(2)],就会消掉所有的f(2n)项。再乘以[1 - f(3)],就会消掉剩下的项中所有的f(3n)项。再乘以[1 - f(5)],就会消掉剩下的项中所有的f(5n)项。把这样的操作重复无限多次,就会消掉所有的质数的倍数对应的项,也就是消掉所有的大于1的自然数对应的项,最后只剩下f(1)这一项,它等于1。把所有乘上去的[1 - f(2)] [1 - f(3)] [1 - f(5)]…等等移到右边去,就是欧拉乘积公式的右边Πp [1 - f(p)]-1。这样,我们就证明了欧拉乘积公式。


这其实就是当初欧拉的证明方法。它确实是一个非常巧妙的证明,堪称人类智慧的伟大结晶,令人赞叹不已。


欧拉


在上期节目的视频中,我注意到一件有趣的事。当我开始讲这个证明过程的时候,弹幕中充满了“告辞”、“劝退”、“阵亡”、“我是谁,我在哪,我在干什么”之类自暴自弃的话。但随着讲解过程的深入,越来越多的弹幕变成了“懂了”、“妙啊”、“存活”、“说得很清楚啊”。最后当证出来的时候,更是充满了一大片的“原来如此”、“太精彩了”、“恍然大悟”、“开心”等等。


真香


隔着屏幕都能感觉到同学们的“开心”,令我很欣慰。呐,做人呢,最重要就是开心!


做人最重要就是开心


理解数学有一种独特的开心,是其他任何东西都不能代替的。就像我以前讲蓝眼睛岛问题的十个层次从蓝眼睛问题,看群众理解能力的巨大差异 | 袁岚峰,完全理解了的同学就会非常高兴,因为他们从中学到的不止是这个问题本身的答案,还包括如何研究问题、如何获得深入理解的思维方法。


在上期节目的开头,我就讲了两个心理建设:一是打破跳蚤效应,勇敢地去面对数学;二是拿起纸笔,把瓜放下。任何同学如果真正按照这两点去做,我相信你就一定能领略到数学的乐趣!


回到欧拉乘积公式,左边的无穷级数Σn n-s是一个以s为自变量的函数,可以记作ζ(s)(ζ是一个希腊字母,发音zeta)。现在我们把它称为欧拉ζ函数,以后我们会看到它如何变成了黎曼ζ函数。通过研究ζ函数,我们就有可能对质数获得深刻的了解。什么样的了解呢?下面就来举一个例子。


请问:任选两个自然数,它们互质(coprime)的概率是多少?


首先来解释一下,两个自然数互质的意思,就是它们没有共同的质因数,换句话说就是,它们的最大公约数是1。例如2和3互质,2和15互质,但15和21不互质,因为15和21都以3作为质因数。很快可以看出,任意两个不同的质数是互质的,一个质数和一个不以它作为质因数的合数是互质的,1和任意自然数都是互质的。


了解了互质的定义之后,我们如何计算两个自然数互质的概率呢?


可以这样思考。首先,考虑两个自然数有公约数2的概率。这等价于它们都可以表示成2n,而所有可以表示成2n的自然数在所有的自然数当中占据的比例是1/2。因此,任选一个自然数,它可以表示成2n的概率是1/2。而任选两个自然数,它们都可以表示成2n的概率就是1/2的平方,这就是它们公约数2的概率。那么作为跟这种情况互补的情况,两个自然数没有公约数2的概率,就是1-1/22


然后,根据同样的推理,两个自然数没有公约数3的概率,就是1-1/32。继续下去,两个自然数没有公约数5的概率,就是1-1/52,如此等等。


最后,两个自然数互质,就等价于它们的公约数既没有2,也没有3,也没有5等等,没有任何一个质数。因此,两个自然数互质的概率等于上面各个概率乘起来,



这个表达式等于什么?仔细看一下,你就会发现,它就是s = 2的时候欧拉乘积公式右边那个连乘的倒数!因此,它等于s = 2时欧拉乘积公式左边那个连加的倒数,也就是1/ζ(2)


真是妙啊!现在问题变成了,ζ(2)等于多少?根据定义,



也就是所有自然数的平方倒数的和。请问,它等于多少?


回答是π2/6,约等于1.6449。咦,在这里为什么会出现圆周率?这当然是有原因的啦。事实上这个等式又是欧拉证明的,这是欧拉的成名作之一。这个证明十分有趣,不过要用到微积分,许多同学们还没有学过,而且这个证明不是我们当前必需的,所以在这里我们就不讲了,有兴趣的同学请自己查阅文献。


欧拉


对于当前的目的,把ζ(2) = π2/6代进去,我们就知道了:两个自然数互质的概率等于6/π2!数值计算一下,它约等于60.79%。


这个结论对不对呢?我们还可以用计算机来验证一下。


我的朋友、风云学会会员陈经是计算机专家,他帮我写了一个程序,在1到32768(即2的15次方)之间随机取两个自然数,看它们是否互质。在测试1千万次后,发现两个自然数互质的次数总共有6080726次。因此在这个测试中,两个自然数互质的频率是60.80726%。请看,它跟理论值60.79%是多么接近!


事实上,如果你学过数值分析,你就会知道这是一个相当粗糙的数值实验。在你考虑全体自然数的性质的时候,32768这个取值上限实在是太小了,小得有点令人发笑。以后我们会讲到一个例子,算到1千亿亿都不足以保证结果成立。我们重复一下,1千亿亿!这是一个令人惊掉下巴的例子。但在这里,令人吃惊的却是,对32768这么小的样本取样,就足以得到十分接近理论值的结果。这说明,两个自然数互质的概率这个问题,随着取样范围的增大,收敛得是非常快的。


你看,我们是不是通过研究ζ函数,对质数的分布获得了惊人的结果?


根据同样的推理,我们很快会发现,任选s个自然数,它们互质的概率就是1/ζ(s)。在这里需要说明一下,三个或更多个自然数互质的意思,是所有这些数的整体的公约数只有1,而不是其中任何两个自然数的公约数也只有1。例如考虑2、3、4这三个自然数,其中的两个数2和4不互质,但这三个数的整体是互质的,这种情况我们把它算作三个数互质。


根据这个定义,你很容易看出,s越大,s个自然数互质的概率就越大。因为随着s的增大,某个质数刚好是s个自然数的共同质因子的可能性,就越来越低了。


从ζ函数的角度来考察,也确实应该如此。当s > 1的时候,n-s是一个减函数,所以ζ(s) = Σn n-s也是一个减函数。随着s的增加,ζ(s)在减小,所以ζ(s)的倒数在增大,也就是说s个自然数互质的概率在增大。


好,现在让我们把视线投向任意正整数s对应的ζ(s)。


在这里可以告诉大家,对于正的偶数s,ζ(s)是可以快速求出的,而且其中总是包含圆周率π的s次方。例如ζ(4),也就是所有自然数的四次方的倒数之和,它等于π4/90,约等于1.0823。由此可以算出,四个自然数互质的概率等于90/π4,约等于92.39%。


然而对于正的奇数s,ζ(s)的计算就会变得非常麻烦,很难有个简单的表达式。例如对于ζ(3),也就是所有自然数的三次方的倒数之和,我们就只能说它约等于1.2021。你要是想把它精确地表示出来,就只有一些比较复杂的积分或者无穷级数或者连分数的表达形式。


无论如何,根据ζ(3) ≈ 1.2021,我们可以算出三个自然数互质的概率约等于83.19%。从两个自然数互质的概率60.79%,到三个自然数互质的概率83.19%,到四个自然数互质的概率92.39%,我们看到它们确实是在上升的,符合预期。


随着s趋于无穷大,ζ(s) = Σn n-s当中只有第一项1不受影响,后面的项都迅速地趋近于0,所以ζ(s)会趋近于1。相应的,s个自然数互质的概率也确实会趋近于100%,这都是很容易理解的。


你也许会问:s只能取整数值吗?当然不是,它完全可以取3/2(也就是1.5)或者1.6或者π等非整数的值。对于非整数的s,ζ(s)仍然是有明确定义的,只不过这时不能跟所谓“s个自然数互质的概率”联系起来了。你可以计算ζ(3/2),它约等于2.6124,但你无法谈论所谓“1.5个自然数”。


如果你对分数指数感到迷惑,请翻一下高中数学课本就知道了。这里可以提示一下,一个数的3/2次方,等于它的三次方的平方根。而一个数的π次方,就等于它的3次方、3.1次方、3.14次方、3.141次方、3.1415次方、3.14159次方等等这个数列的极限。


现在,我们对ζ函数增加了许多了解,明白了它跟质数有深刻的联系,并且知道了它在若干个点上的取值。现在,你是不是对这个函数感到很亲切,而不会感到恐惧了?


不过我们必须强调一下,到目前为止,所有的s都是大于1的。你也许会问,ζ(1)等于多少?也就是说,所有自然数的倒数和等于多少?在数学上,我们又把它称为调和级数(harmonic series)。


现在,一个关键点来了:ζ(1)等于无穷大!也就是说,调和级数是发散的!


为什么会这样?让我们把ζ(1)的表达式写出来,就能够做下面的推理:



最后那个式子中,随着项数的增加,会出现无穷多个1/2。无穷多个1/2加起来当然会大于任意的有限值,因此最后的式子是发散的。而ζ(1)比它还要大,所以当然也是发散的。


如果你觉得上面的表达方式不太严格,那么我们真正想表达的意思是:对于任意大的自然数k,都有下面的不等式。



实际上,调和级数虽然是发散的,但它发散得非常慢。把前面的10的43次方项加起来,都没有超过100。10的43次方是多少?一亿是10的8次方,所以10的43次方就是1千亿亿亿亿亿。用物理世界举个例子,整个宇宙的半径大约是137亿光年,量级是10的26次方米,一个原子核的半径是10的-15次方米的量级,宇宙半径除以原子核半径也不过是10的41次方而已,还要再乘以100才能达到10的43次方。想想看,1千亿亿亿亿亿个数加起来,都没超过100!这是怎样的一种增长速度啊!


为什么会这样呢?原因又是欧拉告诉我们的。欧拉证明了,调和级数的增长速度,大致就是自然对数的增长速度。如果你没学过自然对数,那么可以简单解释一下:常用对数(经常写成lg)是以10为底的对数,而自然对数(经常写成ln)是以e为底的对数,这里的e是一个常数,约等于2.71828。为什么要以这样一个数为底?因为在数学上,lnx具有许多很好的性质,处理起来比lgx方便得多。其实在数学中,自然对数才是“常用”的,比所谓“常用对数”常用得多。


欧拉


更具体地说,欧拉证明了,调和级数的前n项之和约等于lnn,而随着n的增大,它们的差值会趋近于一个常数γ:



这个常数叫什么名字呢?当然,又叫做欧拉常数(Euler’s constant)……咦,我为什么要说“又”呢?


欧拉


我们可以用两个面积的差来形象地表现欧拉常数。一个面积是一系列的矩形之和,它们的宽度都是1,而高度从1到1/2,到1/3,到1/4,如此等等,一路下降。另一个面积是y = 1/x即倒数函数曲线下面的面积,即图中的深红色部分,数学家会告诉你,它就等于lnx。这两个面积的差,就是图中的蓝色部分。


用面积表示欧拉常数


你会看到,在每一个矩形中,矩形的面积都大于倒数函数曲线下方的面积,但相差得越来越小。当x趋于无穷的时候,蓝色部分的面积就趋于一个有限值,它等于欧拉常数。


了解了调和级数即ζ(1)的发散性质以后,让我们回到欧拉乘积公式。在上一期中我们说过,欧拉乘积公式只在s > 1的时候成立。有同学问我,欧拉乘积公式的推导过程好像跟s完全没有关系,那么它是不是对于任意的s都成立呢?回答是:不行,只有对大于1的s才成立


这是因为我们的推导过程有一个前提,就是ζ(s)是一个有限值,或者说ζ(s)是收敛的。只有在这个前提下,才能把它当成一个正常的数进行种种操作,例如乘以1 - f(2),消去所有包含2n的项。但假如ζ(s)是发散的,那么这样的操作就毫无意义,有可能导致各种各样的错误。例如你经常听说的所谓“全体自然数的和等于-1/12”,就是这样的一个错误!


在欧拉那个时代,许多数学知识的基础定义还不够严格,数学家还经常搞一些有越界之嫌的操作,欧拉就搞了不少。而现代的数学家是非常注重严格性的,他们给你看的证明,一定都是保证了可靠性,每一步都有精确定义的。我虽然不是数学家,但我给你看的证明,也一定是保证了可靠性的。


既然ζ(1)是发散的,那么你很容易发现,当s < 1的时候,ζ(s)会变得更大,当然就更是发散的了。因此,对欧拉ζ函数的研究,只能在s > 1的范围内进行。从中我们确实能得到一些有趣的结论,例如s个自然数互质的概率等于1/ζ(s),但这些毕竟还是对质数分布的间接了解,直接的了解还很欠缺。


如何才能对质数的分布获得更加深入的了解呢?


我们的大事件来了:你的好友黎曼已上线!欧拉ζ函数升级为黎曼ζ函数!



黎曼


更多袁岚峰的文章:

中国科技实力正以多快的加速度逼近美国 | 袁岚峰

纪念霍金:人是一根会思想的芦苇 | 袁岚峰

中国科技,别吹上天莫贬入地 | 袁岚峰

中兴、芯片和技术战争 | 科技袁人

科学让人听不懂吗? | 袁岚峰

从芯片到星辰大海 | 袁岚峰

医药的逻辑 | 袁岚峰

韩春雨撤稿一周年回顾 | 袁岚峰

奇妙的数学:蓝眼睛岛和强弱共识 | 袁岚峰

科大60周年校庆,星际迷航发来贺电 | 袁岚峰

日本诺贝尔奖现在多于中国很正常,但未来属于中国 | 袁岚峰

永不消逝的信息:霍金的最后一篇论文 | 袁岚峰

理解黎曼猜想(一)背景 | 袁岚峰


致谢:感谢著名科普作家、《黎曼猜想漫谈》的作者卢昌海博士、美国新墨西哥大学数学与统计系助理教授黄宏年博士、哆嗒数学网网主以及浙江大学数学博士“贼叉”在科学方面的指教。

作者简介:袁岚峰,中国科学技术大学化学博士,中国科学技术大学合肥微尺度物质科学国家研究中心副研究员,科技与战略风云学会会长,青年科学家社会责任联盟理事,微博@中科大胡不归,知乎@袁岚峰(https://www.zhihu.com/people/yuan-lan-feng-8)。

责任编辑:孙远



欢迎关注风云之声


知乎专栏:

http://zhuanlan.zhihu.com/fengyun

一点资讯:

http://www.yidianzixun.com/home?page=channel&id=m107089

今日头条:

http://toutiao.com/m6256575842


    您可能也对以下帖子感兴趣

    文章有问题?点此查看未经处理的缓存