88 孪生素数（1/2）

在数学界很数学家把波利尼亚克作为孪生素数猜想的提出者。

另外，早在古希腊时代，著名数学家欧几里德(Euclid)就证明了素数有无穷多个长期以来数学家们普遍猜测，孪生素数的情形与素数类似。

虽然其分布随着数字的增大而越来越稀疏，总数却是无穷的。

这就是与哥德巴赫猜想齐名、集令人惊异的表述简单性与令人惊异的证明复杂性于一身的著名猜想——孪生素数猜想。

孪生素数猜想还有一个更强的形式，数学家哈代和李特德于1923年提出的，有时被称为哈代-李特伍德猜想或强孪生素数猜想。

这一猜想不仅提出孪生素数有无穷多组，而且还给出其渐近分布。

大概计算数值：p(p2)π2(x)≈2c∫2dt2cxπ2(x)≥x，其中π2(x)表示小于x的孪生素数的数目，C2被称为孪生素数常数(twinprimeconstant)，其数值为()()()x()(p)()22220.66016118158468695739278121100145。

强孪生素数猜想对孪生素数分布的拟合程度，很明显是相当漂亮的。

例如：

100，000

1224

1249

..........

10，000，000，000

27，412，679

27，411，417

假如可以拿观测科学的例子来作比拟的话，如此漂亮的拟合几乎能跟天文学家亚当斯和天文学家勒维叶运用天体摄动规律对海王星位置的预言。

以及爱因斯坦的广义相对论对光线引力偏转的预言等最精彩的观测科学成就相媲美，可以算同为理性思维的动人篇章。这种拟合对于纯数学的证明来说虽起不到实质帮助，却大大增强了人们对孪生素数猜想的信心。。

这个猜想中，还有一个非常有意思的现像，即不同的k所对应的素数对的命名是很有趣的：k=1(即间隔为2)的素数对我们已经知道叫做孪生素数；k=2(即间隔为4)的素数对被称为cousinprime(表兄弟素数)，比“孪生”稍远；而k=3(即间隔为6)的素数对竟被称为sexyprime！sex正好是拉丁文中的“6”

因此sexyprime的中文译名乃是毫无联想余地的“六素数”。

栾德芳说话的时候，上面写着很非常多的公式，忽然问道：“小松，你说会不会在超过某个界限之后就再也不存在孪生素数了呢？”

其实，世界真的非常奇妙，栾德与八岁的孙子正在讨论高深素数问题，他不知道是的，在大洋的另外一端，明年也会有一个教授和十岁小孩子讨论同样的问题。