第426章 四种途径

在“陈氏定理”上画了个圈。

陈舟在想，也许有一天，也许用不了多久。

“陈氏定理”会变成完整的哥德巴赫定理。

当然，从某种意义来说，哥德巴赫定理，也可以称之为“陈氏定理”。

至于这个“陈”，自然就是陈舟的陈了。

收回这个还算遥远的思绪，陈舟的注意力，再次集中到哥德巴赫猜想身上。

从以往的研究来看，对哥猜的研究途径，分为四种。

分别是殆素数、例外集合、小变量的三素数定理，以及几乎哥德巴赫问题。

殆素数就是素因子个数不多的正整数。

设n是偶数，虽然不能证明n是两个素数之和，但足以证明它能够写成，两个殆素数的和。

也就是a+b。

其中，a和b的素因子个数，都不太多。

也就是陈舟刚写下的，哥猜的命题。

而“a+b”命题的最新进展，便是陈老先生的“1+2”了。

至于，终极奥义的“1+1”，则遥遥无期。

在殆素数这一方向上的进展，都是用筛法所得到的。

可是，陈老先生把筛法用到极致，也只是停留在了“1+2”上面。

所以，很多数学家也认为，现在的研究，很难再突破陈老先生在筛法上面的运用。

这也是这一方向的研究，这么长时间停滞不前的最大原因。

在没有找到更合理，或者说能够进一步发挥筛法作用的工具之前。

“1+1”的证明，始终不会有较大的突破。

这一观点，陈舟也是认同的。

然而，一个被运用到极致的工具，想要再突破，谈何容易？

对于一个成熟的数学工具来说，新的数学思想的引入，也会变得更为困难。

但好在，陈舟在研究克拉梅尔猜想时，或多或少，或有意或无意的，就搞出来了分布结构法。

最初的分布结构法，就是糅合了筛法、圆法等等数学思想的一个工具。

所以，陈舟的想法里，他突破大筛法限制的关键点，就在分布结构法上面。

草稿纸上，陈舟把分布结构法，单独的写在了右边。

殆素数的方法，则是在左边。

而殆素数方法的下面，就是例外集合。

所谓的例外集合，指的就是在数轴上，取定大整数x。

再从x往前看，寻找使得哥德巴赫猜想不成立的那些偶数。

这些偶数，也就被称为例外偶数。

这一思路的关键就是，不管x多大，只要x之前，只有一个例外偶数。

而这个例外偶数就是2，也就是只有2使得猜想是错的。

而2，大家都懂的。

那么，就能说明这些例外偶数的密度是零。

也就证明了，哥德巴赫猜想对于几乎所有的偶数成立。

这条思路的研究，在华国可能没有那么著名。

但是从世界上来看，维诺格拉多夫的三素数定理一发布，在例外集合这一途径上，就同时出现了四个证明。

其中，就包括华老先生的著名定理。

说来有趣的一件事是。

民科们，经常会有人宣称自己证明了哥德巴赫猜想在概率意义下是对的。

可实际上，他们就是“证明”了例外偶数是零密度。

至于这个结论嘛……

华老先生早在60年前，就已真正证明了出来。

所以说，有时候真不能听民科瞎咋呼。

就拿陈舟自己来说，他要是在乎民科们的声音。

那，塞满邮箱的那些民科们发来的邮件，就真的够他头大的了。

“如果偶数的哥德巴赫猜想正确，那么奇数的猜想也正确……”

陈舟在第三种研究途径“小变量的三素数定理”后面，开始边思考，边写下这条途径的研究思路。

【已知奇数n，可以表示成三个素数之和，假如又能证明这三个素数中，有一个非常小……】

在这条途径上，一直研究下去的人，也是华国著名的数学家潘老先生。

如果说第一个素数，可以总取3，那么也就证明了哥猜。

潘老先生就是沿着这个思想，从25岁时，开始研究有一个小素变数的三素数定理。

这个小素变数，不超过n的θ次方。

而研究目标，就是要证明θ可以取0。

也就是这个小素变数有界，从而推出偶数的哥德巴赫猜想。

潘老先生首先证明了θ可以取14。

可惜的是，后来在这方面的工作，一直没有进展。

直到上世纪90年代，展韬教授把潘老先生的定理，推到了7200。

这个数，虽然算是比较小的了。

但它仍然大于0。

从上面三种途径的研究历程来看，华国数学家在这方面的贡献，可以说是功勋卓著。

只是，没有人能最终解决这个困扰数学家近三百年的难题罢了。

而且，因为这些数学家的研究，也才使得哥德巴赫猜想，在华国数学界，甚至是华国，有着非比寻常的意义。

陈舟在草稿纸上，边梳理研究思路，边写下自己的思考。

对于他的分布结构法，陈舟已经有了非同一般的想法。

这个糅合了许多数学思想的方法，也被陈舟寄予了更多的期待。

“小变量的三素数定理”这条途径，梳理完后，陈舟看了一眼草稿纸上的留白。

幸好先前的那条横线，他画的比较靠下。

这些被整理压缩的精华，才得以立足于这块白纸之上。

伸了个懒腰，陈舟看了眼时间，才晚上10点多而已。

既然时间还早，那就继续！

这样想着的陈舟，就开始了“几乎哥德巴赫问题”这一途径的梳理。

关于“几乎哥德巴赫问题”，是林尼克在1953年的一篇，长达70页的论文中，率先进行研究的。

林尼克证明了，存在一个固定的非负整数k，使得任何大偶数，都能写成两个素数与k个2的方幂之和。

有人说，这个定理，看起来像是丑化了哥德巴赫猜想。

但实际上，它是有着非常深刻意义的。

能够注意到的是，能写成k个2的方幂之和的整数，构成一个非常稀疏的集合。

也就是说，对任意取定的x，x前面的这种整数的个数，不会超过logx的k次方。

因此，林尼克定理指出，虽然我们还不能证明哥德巴赫猜想，但是我们能在整数集合中，找到一个非常稀疏的子集。

每次从这个稀疏的子集里面，拿一个元素贴到这两个素数的表达式中去，这个表达式就成立。

这里的k，是用来衡量几乎哥德巴赫问题，向哥德巴赫猜想的逼近程度的。

k的数值越小，就表示越逼近哥德巴赫猜想。

那么，显而易见的就是，k如果等于0。

几乎哥德巴赫问题中2的方幂，就不再出现。

从而，林尼克定理，也就变成了哥德巴赫猜想。