素数整除,永远余1,所以P是素数同理可证得,P-2=(P1P2P3*...*Pn)-1显然也是素数,被任何从P1到Pn的素数除永远差
由于P是素数,P-2也是素数,俩个构成一对孪生素数
那么问题来了,P和P-2构成的孪生素数对,比最初设置的那个“最大素数对”还要大,从而否定(Pn,Pn-1)为最大孪生素数对
就像是爬梯子一样,无论(Pn-1,Pn)多大,永远能找到比(Pn-1,Pn)更大的素数对
从而推翻假设中,“孪生素数对是有限的”这一结论,反过来“孪生素数对无限”便是对的
中间的过程还有很多,但整体思路就是这样
陆舟将他在黑板上罗列的过程从头看到了尾
让人意外的是,他没有引用到任何现有的研究成果去解决这个问题
这种跳出框架寻求答案的思路值得提倡
但是……
陆舟总算是明白,为什么没人搭理他了
“你构建的大素数P,确实可以保证不被从P1到Pn的一系列素数整除,但前提条件是Pn是最大素数很明显,你掉进了一个逻辑陷阱,你如何证明Pn是已知的最大素数?”
迪让眉毛一挑:“你没看清我第一行写的是什么吗?在孪生素数对有限的情况下,取最大的孪生素数对(Pn-1,Pn)……”
陆舟:“2*3*5*7*11*13+1=”
听到陆舟念出这行算式的时候,旁边围观的人群中,不少人的脸上浮现了一丝恍然,还有些人明显早就猜到了,这会儿已经忍不住小声笑了出来
还有人……
小声鼓起了掌
迪让愣住了,感觉有些不对劲,皱着眉头问道:“什么意思?”
陆舟叹了口气:“30031可以拆解为59和509两个素数的乘积,所以这个数是合数……你是自费来的普林斯顿吗?换我是你的教授,肯定不会帮你争取经费”
旁边有人吹了声口哨
“好了,请你闭嘴”
意识到自己犯了个低级错误,迪让的脸涨红成了猪肝色,骂骂咧咧地一把扯下海报,将桌上的东西塞进背包旁边有人对他吹口哨,但他毫不理会,头也不回地快速溜了
陆舟有些无奈地耸了耸肩
其实他还想告诉这位印度小哥,从数理逻辑的角度分析,为什么不能设(Pn-1,Pn)是最大的素数对,不过印度小哥很明显不打算给他指点的机会,也只能作罢了
没有热闹可以看,人群很快就散去了
只有一个人留了下来,正笑眯眯地看着他这边
看着这位,陆舟发现有些眼熟
连衣服都没换,正是昨天带他找到酒店的那个金发小姐姐
见陆舟看向自己这边,莫丽娜挑了挑眉毛,笑着说