第二百八十五章 壮心不已（2 / 2）

这类结果估算的是相邻素数之间的最小间隔，用数学语言表达，便是：Δ:=limn→∞inf[(pn+1-pn)/ln(pn)]。

翻译成白话文，这个表达式所定义的是两个相邻素数之间的间隔，与其中较小的那个素数的对数值之比在整个素数集合中所取的最小值。

很显然，孪生素数猜想如果成立，那么Δ必须等于0。

因为孪生素数猜想表明pn+1-pn=2对无穷多个n成立，而ln(pn)→∞，因此两者之比的最小值对于孪生素数集合(从而对于整个素数集合也)趋于零。

不过要注意，Δ=0只是孪生素数猜想成立的必要条件，而不是充份条件。

换句话说，如果能证明Δ≠0，则孪生素数猜想就不成立；但证明Δ=0却并不意味着孪生素数猜想就一定成立。

国际上对Δ的进一步估算始于哈代和李特尔伍德。

一九二六年，他们运用圆法证明了假如广义黎曼猜想成立，则Δ≤2/3。

这一结果后来被被兰金改进为Δ≤3/5。

但这两个结果都有赖于本身尚未得到证明的广义黎曼猜想，因此只能算是有条件的结果。

一九四零年，鲍尔·爱迪斯利用筛法首先给出了一个不带条件的结果：Δ<1。

此后里奇于一九五五年，波比利和德文堡于一九六六年，Huxley于一九七七年，分别把这一结果推进到Δ≤15/16，Δ≤(2+√3)/8≈及Δ≤。

在张一唐之前，这一方法最好的结果是迈尔在一九八六年取得的Δ≤。

而张一唐，则将这一结果大大往前推进了一步。

但即便如此，张一唐之前的工作，距离最终证明孪生素数猜想，依旧有着很远的距离。

“庞教授，我手稿上的写的这些东西，你觉得思路上存在什么问题或者瑕疵吗？”

张一唐问道。

庞学林摇了摇头，说道：“不好说，我对孪生素数猜想研究不多，您提出的这个思路，我觉得可以尝试一下，但具体能不能成功，我也不敢保证。”

张一唐笑道：“只要整体思路上没问题就好。”

张一唐犹豫了片刻道：“庞教授，我有个不情之请，不知道你愿不愿意答应？”

庞学林微微一楞，点头道：“您说！”

张一唐道：“庞教授，我今年已经六十六了，说实话，这个年纪，主要工作已经放在了帮助培养一下年轻一代的数学家上，想要在学术道路上再往上走一走，难度很大。但我不甘心，我这辈子浪费了太多时间了，我依旧希望能在学术道路上往上走一走。所以我想请你帮个忙，未来两年内，你能不能把主要精力放在攻克孪生素数猜想上，老头子我想和你来一场学术竞赛。你如果能加入进来，我反而更有动力了！到时候不管是你，还是我自己证明了这一猜想，都算了却了我心中最大的愿望！如果两年后，我们都没出成果，那这个约定就自动取消！”

庞学林笑了起来，说道：“张教授，我答应你！”

不管是出于对这位大器晚成，壮心不已的数学家的尊重，还是出于对这一困扰人类一百二十年的猜想的兴趣，庞学林都不会拒绝。