第119章 绅士风度（2 / 5）
其实抽象来看，他的思路很简单。
首先假设孪生素数是有限对，并且设最大的孪生素数对为（pn-1，pn）。可知pn以内的素数是有限的，设为p1、p2...pn-1、pn。
然后构造一个大素数p=（p1p2p3*...*pn）+1
显然p不能被从p1到pn的所有素数整除，永远余1，所以p是素数。同理可证得，p-2=（p1p2p3*...*pn）-1显然也是素数，被任何从p1到pn的素数除永远差1。
由于p是素数，p-2也是素数，俩个构成一对孪生素数。
那么问题来了，p和p-2构成的孪生素数对，比最初设置的那个“最大素数对”还要大，从而否定（pn，pn-1）为最大孪生素数对。
就像是爬梯子一样，无论（pn-1，pn）多大，永远能找到比（pn-1，pn）更大的素数对。
从而推翻假设中，“孪生素数对是有限的”这一结论，反过来“孪生素数对无限”便是对的。
中间的过程还有很多，但整体思路就是这样。
陆舟将他在黑板上罗列的过程从头看到了尾。
让人意外的是，他没有引用到任何现有的研究成果去解决这个问题。
这种跳出框架寻求答案的思路值得提倡。
但是……
陆舟总算是明白，为什么没人搭理他了。
“你构建的大素数p，确实可以保证不被从p1到pn的一系列素数整除，但前提条件是pn是最大素数。很明显，你掉进了一个逻辑陷阱，你如何证明pn是已知的最大素数？”
↑返回顶部↑
首先假设孪生素数是有限对，并且设最大的孪生素数对为（pn-1，pn）。可知pn以内的素数是有限的，设为p1、p2...pn-1、pn。
然后构造一个大素数p=（p1p2p3*...*pn）+1
显然p不能被从p1到pn的所有素数整除，永远余1，所以p是素数。同理可证得，p-2=（p1p2p3*...*pn）-1显然也是素数，被任何从p1到pn的素数除永远差1。
由于p是素数，p-2也是素数，俩个构成一对孪生素数。
那么问题来了，p和p-2构成的孪生素数对，比最初设置的那个“最大素数对”还要大，从而否定（pn，pn-1）为最大孪生素数对。
就像是爬梯子一样，无论（pn-1，pn）多大，永远能找到比（pn-1，pn）更大的素数对。
从而推翻假设中，“孪生素数对是有限的”这一结论，反过来“孪生素数对无限”便是对的。
中间的过程还有很多，但整体思路就是这样。
陆舟将他在黑板上罗列的过程从头看到了尾。
让人意外的是，他没有引用到任何现有的研究成果去解决这个问题。
这种跳出框架寻求答案的思路值得提倡。
但是……
陆舟总算是明白，为什么没人搭理他了。
“你构建的大素数p，确实可以保证不被从p1到pn的一系列素数整除，但前提条件是pn是最大素数。很明显，你掉进了一个逻辑陷阱，你如何证明pn是已知的最大素数？”
↑返回顶部↑