个数表并不是爱多士猜想证明方法的复合数列表。
而是陈舟在其基础上进行改变得到的。
把数表列出来后,陈舟拿笔开始圈数。
克拉梅尔修正猜想的表述是,n1naxn1nognognogogn2。
这里陈舟圈出来的便是分别符合,n1naxn1n和ognognogogn2的数。
这种方法,其实和筛法有点类似。
筛法,又称埃拉托斯特尼筛。
具体做法是,先把n个自然数按次序排列起来。
1不是质数,也不是合数,直接划去。
2是质数,留下。
而后把2后面能被2整除的数都划去。
2后面第一个没划去的数是3,把3留下。
再把3后面所有能被3整除的数全部划去。
以此推类,就会把不超过n的全部合数都筛掉,留下的就是不超过n的全部质数。
当然,这只是简单的表述。
筛法的应用很广泛,从四色定理开始,到构造无穷多个两两相连的区域,到哥德巴赫猜想的研究,等等等等。
而把筛法运用到极致的人,便是陈老先生了。
这位把哥德巴赫猜想推进到“12”的老先生,便是在研究哥猜的过程中,把筛法理论带到了顶点。
一直到现在,都无法再进一步。
陈舟自然也知道筛法的运用基本上已经到了极致,很难再有突破。
但不妨碍他从这方面去寻找思路。
“如果用筛法的公式,去验证n1naxn1nognognogogn2的话”
随着时间的推移,陈舟渐渐皱起了眉头。
“克拉梅尔修正猜想本身就是以近似值去做出的改变,如果用公式的话,是不对等的”
“相反,这样绕下去,又会绕回克拉梅尔猜想本身”
陈舟放下笔,暂时脱离眼前的研究,转而打开电脑上的献看了起来。
看着看着,他忽然眼前一亮。