本人兔年第五封电子邮信

trx

trx

尚九天

下面引用由trx在 2011/06/17 01:31pm 发表的内容：
:em05:  此主题相关图片如下：

:em05: 肚子胀得鼓鼓滴，于无声处放蔫屁。

trx

【转自《科学时报》】            
                 美丽的素数  伟大的证明
   公元前3世纪，古希腊数学家欧几里得已经证明素数的数目是无穷的；2004年，陶哲轩和格林证明存在任意长的素数等差数列，他们的发现揭示了素数中存在的某种规律。
    在数学家的眼中，素数是美丽的。就像原子之于化学家、DNA之于遗传学家，素数是自然界中全部数的最基本的结构砖块。那么究竟什么是素数呢？也许任何一位小学三年级的学生都会清楚地回答这个问题：在正整数中，除了1以外，只能被自身和1整除的数就是素数，素数从2，3，5，7，11和17开始……
    美丽的素数
    1，2，3……是正整数，其他数字如负数、有理数则都是以正整数为基础定义出来的，所以，研究正整数的规律非常重要。因为任何一个整数均可表示为素数的乘积，而且这个表示是唯一的，所以，研究清楚素数的问题非常重要，但从素数中是很难得到一条定理的。
    公元前3世纪，古希腊数学家欧几里得已经证明素数的数目是无穷的。今天，陶哲轩和格林证明“存在任意长度的素数等差数列”，揭示了素数中存在的某种规律。
    什么是等差数列呢？这是一个古老的数学课题。一个数列从第二项起，从后项减去前项所得的差是一个相同的常数，则这个数列就被称为等差数列。比如，1，3，5是一组由三个数构成的等差数列，1，3，5，7则是由4个数构成的等差数列。
    用素数构成的等差数列被称为素数等差数列。比如从5开始，以12为间隔常数，就可以得到这样的序列：5，17，29，41，53，65……但对这个数列来说，只有前5个数是素数，因此，5，17，29，41，53是一个由5个素数构成的等差数列。因为65可以被5和13整除，不是素数，所以这个特定的素数等差数列不可能延展到6个数的长度。
    问题出现了：由其他素数构成的等差数列会更长吗？答案是肯定的。事实上，199，409，619，829，1039，1249，1459，1669，1879，2089就是间隔常数为210的10个素数构成的等差数列。
    而且，数学家们一直认为，由素数构成的等差数列可以任意长，这个猜想提出的时间太长，以至没有人知道这个问题最初是由谁提出来的。但是，在2004年前，没有数学家能证明它。
    永不消失的素数
    到目前为止，已知的素数等差数列的长度为23，即由23个素数构成的等差数列，而且这还是在当今最先进的计算机上找到的，这个数列的第一个数是56211383760397，数之间的间隔常数为44546738095860，最后一位数是56211383760397+44546738095860×22.
    根据上面的描述，一个比较清楚的事实是：随着自然数数值的增加，素数的分布变得越来越稀疏，要寻找这样的等差素数序列就越来越困难。但是，古希腊数学家知道素数是永远不会彻底消失的，自然界中有无穷多个素数。
    尽管在正整数中，素数看起来是以一种随机的方式出现的，但在19世纪末，法国数学家雅克。哈达玛达（Jacques Hadamard）和比利时数学家法勒布赛（Charles de la Vallee-Poussin ）证明：一种隐藏的规则存在于素数稀疏的背后。换言之，在看似混乱无序的素数数列中，一定存在某种规律。
    而存在任意长的素数等差数列则是素数性质中的另外一种规律。尽管数学家一直认为“存在任意长度的素数等差数列”，但到2004年前，还没有人能证明它的存在。
    有关这个问题的一个真正的进展出现在1939年，当时，荷兰数学家Johannes van der
corput证明：有无穷多个由3个素数构成的等差数列。那么，由4个素数构成的等差数列的数目是不是也无穷多呢？
    伟大的证明
    英国大数学家Atath Brown证明，由前面三个素数和后面不超过两个素数的乘积构成的4个数的等差数列有无穷多。
    1975年，匈牙利科学院的数学家施米列迪（Endre Szemeredi）证明了一个定理。如果简单地解释，这个定理的意思是在任何不会快速稀疏的整数子集中，肯定会有任意长度的等差数列。世界上只有极少数数学家能懂得这个证明，但施米列迪定理不适合于素数，因为，随着自然数的增加，素数的出现会突然变得稀疏。
    2002年，两位20多岁的数学家着手证明施米列迪定理在某种特定性质的素数子集中也成立，他们希望能证明：有无穷多个由4个素数构成的等差数列。为了证明这个问题，陶和格林用了两年多的时间分析证明施米列迪定理的4个完整证明的背后因素。
    陶哲轩说：“我们研究施米列迪定理并努力推进它，以便它能解决素数的问题。为了实现这个目标，我们借用这4个证明方法来建造一个施米列迪定理的扩展版。每次当格林和我陷入困境时，其中一个证明的思想总能解决我们的问题。”
    两年后，用了一个非常漂亮的方法，格林和陶哲轩解决了问题，但结果实在惊人。2004年4月18日，两人宣布：他们证明了“存在任意长度的素数等差数列”，也就是说，对于任意值K，存在K个成等差级数的素数。例如 K=3，有素数序列3， 5， 7 （每两个差2）……K=10，有素数序列 199， 409， 619， 829， 1039， 1249， 1459， 1669，
1879， 2089 （每两个差210）。他们将长达50页的论文——《素数含有任意长度的等差数列》——张贴在当日的预印本网站上，并向《美国数学年鉴》（Annals of Mathematics）投稿。
    这是一项惊人的成就，他们的发现揭示了素数中存在的某种规律。这是一项伟大的成就，他们的证明立即在国际学术界引起轰动。2004年5月21日出版的美国《科学》杂志报道说，“两位数学家用数论中一个令人眩晕的突破结束了一个问题。”
    《发现》杂志将陶哲轩和格林在素数方面的研究评选为2004年100项最重要的发现之一；2004年出版的《现代数论导引》已经引用这篇尚未正式发表的论文所涉及的工作。

vfbpgyfk

连续等差素数列，从无穷多数猜度考虑，应该存在相当长的数列，而且等差宽度也是相当大的，但是，无论有多么长，都是有限的，绝对不可能存在无限长。根据素数分布形态来分析，从总的趋势不看，是一种间距越来越大的态势，但是，仍然存在密集区，也就是说，在整个分布态势上，存在着一种相对规律性的密集区，这种密集区，也是伴随着整体加宽而存在着，这种存在态势，也使人们无法以相对固定的数学式将其描绘出来。所以，只有从变中求定的方法，才是唯一的描绘素数存在性的数学方法。这就是“哥德巴赫猜想题蕴含求解全面性，数学结构架构式囊括猜想无穷解”的由来。
[br][br]-=-=-=-=- 以下内容由 vfbpgyfk 在 时添加 -=-=-=-=-
纠正：“从无穷多数猜度考虑”应该是“从无穷多数角度考虑”；
“从总的趋势不看”应该是“从总的趋势来看”；

trx

下面引用由vfbpgyfk在 2011/06/18 03:12pm 发表的内容：
连续等差素数列，从无穷多数猜度考虑，应该存在相当长的数列，而且等差宽度也是相当大的，但是，无论有多么长，都是有限的，绝对不可能存在无限长。根据素数分布形态来分析，从总的趋势不看，是一种间距越来越大 ...

请vfbpgyfk注意素数等差数列基本知识的数学用词及述语！

vfbpgyfk

谢谢！打字偷懒，少打了一些字。

trx

                 真情期盼！！！！！
   真情期盼本吧网友中的有识之士能以本主题帖中的任意长度的质数等差数列形成模式为主导，对“存在任意长度的质数等差数列”问题作精心再论，使这一长期以来都认为艰难异常的“惊天” 的数论问题变得浅显易懂，为人类数学科学的进步作一贡献吧！！

trx

尚九天

下面引用由trx在 2011/06/20 08:04am 发表的内容：
:em05:  此主题相关图片如下：

:em05: 铁肩担大粪，臭手掏狗屎。