第二百八十五章 陈氏定理
第二百八十五章 陈氏定理可以应用在等差素数猜想的研究当中吗？ 历代的诸多数学家已经给了这个问题一个否定的答案。 在进行等差素数猜想的研究时，康斯坦丁同样是有些想当然。 思维的惯性让康斯坦丁从头至尾，都没有考虑过使用陈氏定理尝试一番。 但现在，康斯坦丁意识到，自己或许犯了一个无比巨大的错误。 陈氏定理，或许真的是打开等差素数猜想那一半大门的钥匙。 ………… “等差素数猜想的内容，是指存在任意长度的素数等差数列。” “这里需要注意的一点是，是任意长度的等差数列，而并非是无限长度的等差数列。” “任意长度和无限长度这个两个名词还是有很大区别的。” “就拿等差素数猜想举一个最简单的例子。” 说到这，顾律握着马克笔，在身后的黑板上写下几个符号。 “首先，我们假设一个素数等差数列的首项为n，公差为d，那么该等差数列的第n 1项是什么？” “是n nd。”顾律自问自答，接着把该公式圈起来，“而n nd必定为首项n的倍数，很显然，这样的话，n nd并非是一个素数。简单来说，该等差数列就不是一个全部由素数构成的素数等差数列！” “因此！”顾律敲敲黑板，划重点，“针对等差素数猜想，我们只能说存在任意长长度的素数等差数列，而不能说存在无限长度的等差数列。” 这些内容，代数几何领域的数学家们早就清楚。 顾律之所以再说一遍，是为了给会议室内那群其他领域的数学家稍微普及一点相关知识，避免待会儿讲起来，使他们处于一脸懵逼的状态。 “那么，关于等差素数猜想，我们的目标就很明确了。那就是证明由素数构成的等差数列可以任意长，并且有任意多组。” “这里，我们引入了一个k值的概念，这个k值，便是指一个完全由素数组成的等差数列中，存在的素数个数。” “而当k为偶数时，等差素数猜想的成立问题，在几天前，已经由康斯坦丁教授讨论并证明过，在这里我就不再过多的进行赘述。” 说到这的时候，顾律瞥了一眼抱着胳膊，神色阴沉的康斯坦丁一眼，然后自顾自的继续开口说道，“接下来，我直接阐述当k为奇数情况下，等差素数猜想的证明！” 顾律的证明正式开始。 台下的众人一个个正襟危坐，竖起耳朵，笔记本摆在手边，随时准备记录，生怕漏掉任何一个细节。 和昨天一样，顾律不借助任何电子设备的辅助，直接在黑板上一步步推导演绎等差素数猜想的证明过程。 关于等差素数猜想，顾律是在昨天下午才刚刚证明成功的。 但每一个细节，每一道步骤，早就烙印在顾律的脑海里。 顾律现在需要做的，就是将其在众人面前呈现。 会议室内，数台摄影机同时对准顾律，拍摄下顾律证明的全过程。 对数学界来说，这是一份注定的宝贵影像资料。 ………… “……我们首先命p(1，2)为适合下列条件的的素数p的个数，x——p=p1或x——p=p1p2。其中，p1，p2，p3都是素数。” “接下来，我们用x表示一充分大的偶数，命cx=Π(p>2)p-1/p-2Π(p>2)(1-1/(p-1)^2)。对于任意给定的偶数h，以及充分大的xp，用xh(1，2)表示满足下面条件的素数p的个数：p≤x，p h=p1或p h=p2p3。在这里，p1，p2，p3同样代表素数。” “……之后，我们便会得到两个定理，分别是： 定理一：【(1，2)及px(1，2)≥0.67xcx/(logx)^2.】 定理二：对于任意偶数h，都存在无限多个素数p，使得p h的素因子的个数不超过2个以及xh(1，2)≥0.67xcx/(logx)^2.】” 顾律讲了已经有五分钟的时间。 四块黑板，其中有将近两块黑板已经快被顾律所写的公式占满。 而顾律采用的证明等差素数猜想的方法，在随着不断的顾律的阐述已经初见端倪。 尤其是康斯坦丁，可以说看的最为透彻。 顾律的证明过程，确实是使用了陈氏定理。 但和康斯坦丁猜测的不同，顾律引用的并非是陈氏定理的具体内容，而是陈院士当年在推导陈氏定理过程中，使用的一些方法和理论。 比如说，顾律在构造p1，p2，p3这三个素数时，和陈院士当年的构造方式简直是如出一辙。 还有偶数的设定以及两个关键定理的推导，字里行间都流淌着陈院士当年那篇论文的影子。 即便康斯坦丁对顾律的观感并不好，但亦不得不承认，顾律这个操作足以被称作是神来之笔。 不只是康斯坦丁，会议室内其余看懂的数学家亦是惊呼不已。 这是什么天马行空般的想法！ 众人不禁赞叹。 虽然想法天马行空，但不得不承认，顾律的这个操作，可以说是没有任何阻碍的将等差素数猜想和陈氏定理联系起来。 让众人看到了成功证明等差素数猜想的希望。 “但，只是有这些的话，明显还不够啊！”康斯坦丁望着黑板上顾律的推导步骤，轻轻喃喃自语。 康斯坦丁要比众人看的更加透彻一些。 顾律这一下的神来之笔，虽说足够的惊艳，但还不足以成为压到等差素数猜想的最后一根稻草。 要顾律真的只有这点本事的话，那今天恐怕就到此为止了。 ………… 顾律会到此为止吗？ 显然并不会。 很显然的一点是，顾律从来不会打没准备的仗。 顾律既然选择上台汇报，那就说明对自己的证明过程，有着十足的信心和把握。 只见顾律微微一笑，拉下一块空白的黑板，一边写一边阐述。 “接下来，我们还需要构造几个引理。” “引理一：假设y≥0，而[logx]表示logx的整数部分，x＞1，φ(y)=1/2πi∫(2 i∞，2-i∞)ydw/w(1 w/(logx)^l)^[logx] 1.” “引理二：令c(α)=e^2πiα，s(α)=∑ane(na)，z=……” “引理三：……” 三个引理构造完毕。 顾律笑着开口，“下面，我们需要再引入一个公式，与这三个引理相结合。” 说完，顾律在黑板上写下一串公式。 ∑(m1^2 m2^2 m3^2≤x)1=4π/3*x^1.5 o(x^2/3)！ 这个公式是…… 球内整点问题的素数分布公式！ 不少数学家望着这个熟悉的公式，瞳孔猛地一缩。