第682页

两人以为程诺并不擅长这类的问题,也就笑了笑,没有再继续讨论下去。

上一局是程诺为他们剑桥大学挣到了脸面,那这次他们两个带程诺躺一局又有何妨。

素数是否有无穷多个?

这个问题乍听会觉得很荒谬。

素数的定义是除去1和本身之外不存在其他因子的大于1的正整数,单纯从这个定义上来看,素数没什么先验的理由必须有无穷多个。

但数学是一门很将道理的学科,必须要严谨的证明过程将“素数有无穷多个”这个命题证明出来。

第四百四十四章 素数无限的证法

关于“素数有无穷多个”的证明方法,目前最被认可的是数学家欧里几得在《几何原本》第9卷的第20个命题列出的证明过程。

因此,这一命题也因此被称为了“欧几里德定理”。

欧里几得的证法很简单,也很平凡,因此得以进入初等数学的课堂。

他首先是假设素数是有限的,假设素数只有有限的n个,最大的一个素数是。

然后设q为所有素数之积加上1,那么,q=(2x3x5x…x)+1不是素数,那么,q可以被2、3、…、中的数整除。

而q被这2、3、…、中任意一个整除都会余1,与之矛盾。所以,素数是无限的。

这个古老而又简便的证明法,即便时隔两千多年,都无法否认它的强大。

……

“我觉得既然是比数量的话,那我们最好就在欧里几得的证明法的基础上进行变种,这样浪费的时间估计会少一点。”