接下来在普林斯顿大学的几天时间里,秦克比在国内时还要忙碌。
他白天坚持去听整场的报告会,一方面攒点学术积分,另一方面也是学习国际数学界最新的学术成果,完善自身的数学理论体系。
而报告会结束后,秦克连晚宴也不参加了,马不停蹄便返回旅馆里,匆匆扒几口旅馆准备的饭菜,便埋头钻研起几个素数难题。
宁青筠证明周氏猜想的思路确实给了秦克无穷的暇想空间,他忽然发现,“几何数论匹配逼近法”虽然比“函数变换式超几何系统”和“群论函数方程法”要简单点,但在处理一些难度没那么高的素数问题方面确实更具灵活性与创造力。
它就像一把多功能军刀,只要在几何、代数、逼近、匹配四种数学方法之间反复变换,就能组合出不同的用法来。
秦克将周氏猜想的证明交给了宁青筠,自己则磨刀霍霍,将目标锁定在其他难度与周氏猜想相彷或者更低一点的素数猜想上。
当然,所谓的“更低”,只是相对的,素数原本就是数学上比较难的子科目,与它有关的猜想基本上都是世界难题。
不过有关素数的猜想多不胜数,秦克必须有针对性地筛选目标来下手——许多素数猜想之所以没人证明,是因为它本身的意义并不大,难度又高,谁会浪费时间去证明?
秦克自然也没兴趣管那些名气小得可怜的素数猜想。
他首先留意到两个命题:“梅森素数是否有无限多个”,以及“斐波那契数列是否有无穷个素数”。
两个命题不算是猜想,因为没人能给出合理的猜测,但意义很大,足以媲美孪生素数猜想,不过非常难,秦克如果想将它们斩于马下,首先要提出自己的猜测,并将之证明。
此外还有几个备选目标,比如新梅森素数猜想,这是有关质数的猜想,对于任何奇自然数p,若以下其中两句叙述成立,剩下的一句就会成立:
1.p=(2^k)±1或p=(4^k)±3
2.(2^p)-1是质数(梅森质数)
3.[(2^p)+1]/3是质数。
还有另一个比较有名的“克拉梅尔猜想”,它的数学表达式为:l→∞sup(pn+1-pn)/(logpn)^2=1,这里pn代表第n个素数。
上述两个基本上是与周氏猜想的难度、意义在同一级别或者相近的。
此外还有“布罗卡尔猜想”,即“两个素数的平方之间至少有4个素数”;以及“杰波夫猜想”,即“在n^2和(n+1)^2之间一定有素数”,也是有关素数分布规律方面颇有名气的猜想。
秦克决定先从与周氏猜想方向最接近的“布罗卡尔猜想”和“杰波夫猜想”上入手。
事实证明他的选择是正确的,他反复拆解运用“几何数论匹配逼近法”,再加上一点“群论函数方程法”里面的梅林变换和傅里叶变换,再次将“布罗卡尔猜想”的问题化简为繁,转化为了代数几何问题,再通过线性变换……
一行行艰涩难懂的数学算式在他划动的笔尖下流淌而出,化为一把把利剑,斩向名为“布罗卡尔猜想”的小boss,一个个交错变化的数学符号,组合为一道道玄妙的真理光线,直透入“布罗卡尔猜想”的核心。
秦克只花了两个晚上,“布罗卡尔猜想”这个小boss便哀嚎着,化为无数的经验值,倒在秦克的笔下。
“搞定了!”秦克松了口气,脸露喜色。
攻克“布罗卡尔猜想”的基本思路与证明周氏猜想大同小异,在“几何数论匹配逼近法”这把锋利而多变的军刀面前,“布罗卡尔猜想”根本逃不过土崩瓦解的结局。
至于同一级别、而且攻略方法相似的“杰波夫猜想”,秦克有点懒得自己动手了。
到了第三天的早上,对应夏国时间的深夜,宁青筠发来消息,告诉秦克她已完成了周氏猜想的60%左右的证明过程,只是一些细节关键点方面,因为经验以及知识深度方面的原因,她始终未能攻克。
这已让秦克足够惊喜了,宁青筠在证明过程中表现出来的韧性与创造性思维都非常出色。对于难点,她能反复地用自己掌握的各种方法,进行无数次枯燥的尝试。好几个难点就是被她用看似笨拙、却又透出精巧的方法来解决的。
秦克觉得宁青筠在数学方面的才能更像是水,润物细无声,却能深入到每一处缝隙,以水滴石穿的韧性与耐心,化解掉许多强攻不下的问题。
这与秦克形成了非常好的互补,秦克向来是雷厉风行,走的是“快准狠”路线,直插问题核心,再抽丝剥茧般对余下部分进行补刀。
战无不克:“筠儿,周氏猜想接下来的证明就交给我吧。你看看我写的这个‘布罗卡尔猜想’证明过程,帮忙完善一下里面的细节,然后还有这份是有关证明‘杰波夫猜想’的思路与要点,它与‘布罗卡尔猜想’的证明大同小异,