就在陆舟看向这位印度小哥的时候,这位印度小哥明显也注意到了他。
当陆舟走近了之后,他满脸如沐春风的笑容,立刻用咖喱味的英语招呼道。
“嘿,哥们儿,你的眼光不错,你也是数论方向的?”
“算是吧。很令人……震惊的研究成果,”勉强听懂了他在说啥,陆舟看了眼那张海报,又四处看了下,发现周围并没有人对这里感兴趣地样子,便忍不住问道,“可为什么这里没人?”
“因为‘普林斯顿人’的傲慢与偏见,他们无法接受一个土生土长的印度人在数学上击败了他们,甚至毫无道理地拒绝让我上台作报告。看来还是同在大洋一侧的朋友更能理解我的心情,”这位皮肤略黑的印度小哥咧嘴一笑,伸出手,“迪让,尼赫鲁大学硕士生,你的名字?”
陆舟其实想说,我并不是很能理解你的心情,因为我的研究成果将在第五天的以报告会的形式展出,不过想了想,为了不刺激这外国友人,还是将这句话憋在了心里。
“陆舟,金陵大学,”没提自己的学位,陆舟伸出手和他握了握,然后便迫不及待问,“我可以看下你的论文吗?”
“论文在这,不过我推荐你看那玩意儿,”拍了拍手上的一叠纸,迪让将其丢在了旁边,然后搬出了一大块白板,用记号笔在上面写写画画了起来,“过程有点麻烦,但原理很简单,你只需要听我讲解一遍,很快便能理解反推数学的奥妙。”
“反推数学?”诧异地看着这位印度小哥,陆舟忍不住吐槽道,“你是用反推数学证明的?我还以为你是研究代数数论的。”
“代数只是研究数论的工具,并不是唯一途径……我知道这句话可能让你听起来有点不爽,毕竟你们的张先生为代数方法证明孪生素数有界距离开了个好头,而我拿出的这套证明方法,将意味他不但自己走进了死胡同,还带着一群数学家一起走进了坟墓。”
陆舟无语道:“……我并没有任何不爽,你能快点进入正题吗?”
迪让将黑板挂了起来,回头对陆舟得意地挑了挑眉毛。
“马上就好!”
就在这位印度小哥在白板上写写画画的时候,陆舟注意到,不少人将饶有兴趣的视线投向这边,并且朝着这边靠近过来。
怀着好奇的心里,站在海报旁边的陆舟,顺着这位印度小哥的证明思路看了下去。
其实抽象来看,他的思路很简单。
首先假设孪生素数是有限对,并且设最大的孪生素数对为(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)……”
陆舟:“2*3*5*7*11*13+1=30031。”
听到陆舟念出这行算式的时候,旁边围观的人群中,不少人的脸上浮现了一丝恍然,还有些人明显早就猜到了,这会儿已经忍不住小声笑了出来。