按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
虼艘仓挥形也拍芮嵋椎仄埔肽切┬偶Ｈ欢庵置苈胂低称鹱饔玫奈┮辉蚴鞘垩Ъ移褚廊徊恢绾谓薮蟮暮铣墒晒钩伤堑乃厥�
佐治亚大学著名的素数学家卡尔。波梅兰斯说：“这种密码系统是对无知的利用。由于这种密码，更多的人卷入了对数论的研究。而致力于研究分解因子问题（寻找素数除数）而未获成功的数学家愈多，这种密码就愈可靠。”因此，这种密码系统的成功又以另一种方式仰赖于数论：要确认那相乘的100位数的素数必须运用尖端的数学方法。
既然素数处于密码学的显要位置，我想考察一下关于素数何为已知的，以及何为未知的。很久以前，欧几里得就证明素数是无限多的。他2，300年前的证明依然是数学简明而别致的范例。
欧几里得说，我们假设素数是有限的，那么其中之一——我们称之为P——就会是最大的。现设有一个比P大的数Q，Q等于1加上从1到P所有整数的积。换句话说，Q＝1＋1×2×3……×P。对于Q来说，很明显，从2到P的所有整数都不能整除它；每次除都会得出余数1。如果Q不是素数，它就会被某个比P大的素数整除。相反，如果Q是素数的话，Q本身就是一个比P大的素数。两种可能性都意味着比最大素数还要大的素数的存在。这当然就意味着，“最大的素数”这概念是虚设的。但如果没有这样一个怪数，素数就一定是无限的。
长期以来，数学家们一直梦想着发现一种公式，运用这个公式代入从0到无穷大的n的整数值就可以得出所有素数。18世纪的大数学家列奥纳德。欧拉反复考虑用那个诱人的简单公式n2＋n＋41。如n＝0，该公式则得出素数41；如n＝1，得素数43；n＝2得素数47。的确，当n为0至39中连续的整数值时，欧拉公式得出的全是素数。但如n＝40时，这一公式突然不灵了。其得数1，681是41的平方。
欧拉公式1963年，曾在洛斯阿拉莫斯从事早期原子弹研制性工作的卓越数学家斯坦尼斯劳。乌拉姆在一片纸上随意写出一串数字，它们是连续的整数，从1开始呈方形螺旋地向外扩展：乌拉姆的小草笺使他震惊的是，草笺中的素数——我已用线标了出来——都落在了对角纸上。乌拉姆受到这种偶然发现的鼓舞便与两个助手马克。韦尔斯和迈伦。斯坦一起研究从除了1之外的整数开始的方形螺线。从41到44的整数也构成了一个螺线。同样，素数也常常落在对角线上。从421至383这条长对角线与由欧拉的n2＋n＋41的公式所得出的素数是相对应的。
乌拉姆的大草笺1963年，洛斯阿拉莫斯的马尼艾克二型主机储存了前9，000万个素数。“在洛斯阿拉莫斯我们也有一台第一流的图解计算设备，”韦尔斯回忆说，“因此我们对用计算机绘出素数图式感到异常激动。”马尼艾克二型为1，000万以下的所有素数都绘出方形螺线图。果然，许多数都神奇地出现在对角线上。
欧拉公式n2＋n＋41在n为大数值时证明有令人震惊之效。马尼艾克二型计算出，在1，00O万以下的所有素数中，该公式可得出占总素数的47。5％。而当n值较低时，该公式工作得更有成效。当n值小于2，398时，得素数的机会一半对一半。而当n值小于100时，该公式得出86个素数，合成数只有14个。
乌拉姆和助手们还发现了其他几乎与欧拉公式同样有效的生成素数的公式。公式4n2＋170n＋1，847计算1，000万以下素数的成功率为46。6％，并得出760个欧拉公式所不能推出的素数。公式4n2＋4n＋59的成功率为43。7％，同时得出大约1，500个不能由其他两个公式推出的素数。
最奇怪的是，虽然这些公式都有很高的成功率，虽然在方形螺线中存在明显的对角线规则，但数理论家已证明与欧拉公式相仿的公式无一能生成全部的素数，或除素数外别无他物。但这一证明并未阻止浪漫主义者寻找素数的模式。
在100以内的数字中有25个素数：2，3，5，7，11，13，17，19，23，29，31，37，41，43，47，53，59，61，67，71，73，79，83，89和97。这些连续的素数（以及随后无限多的素数）之间的间隔并无明显的范式可循。由于2是惟一的偶数素数，2与3也是惟一一对只相差1个的素数。
相差2的素数——被称为孪生素数——又如何呢？在前25个素数中有8对孪生素数：（3，5），（5，7），（11，13），（17，19），（29，31），（41，43），（59，61）和（71，73）。大约150年来，数字理论家就推测过，孪生素数就像素数本身一样是无限多的，但还没有人能证明这一点。在1966年，研究取得进展，那时，中国数学家陈景润证明：在只相隔两个的无穷对数字中：第一个数为素数，第二个数也是素数或是两个素数的积。（为两个素数之积的数被称为“殆素数”，这一叫法既表明了数学家们不可抑制的乐观主义，又证明了真正素数的发现之难。）
乐观主义的另一表现是：陈先生证明了哥德巴赫猜想的较无力那一面的说法：每个“充分大”的偶数是一个素数和一个殆素数之和。“充分大”是素数文献中对“我知道我的证明对比某数Q大的所有数都有效，但我不知道Q是多少”的婉语。虽然短语“充分大”一词模糊不清，数学家们仍然认为陈的证明是过去30年来对素数理论意义最为重大的发现。
人们对素数之间离得多开比素数如何相互靠近知道得更多一些。的确，很容易证明存在任意长的非素数的连续数列。让n！表示1到n的所有整数的乘积。这样，n！就可以被从2到n的每个整数整除。试想一下n！＋2，n！＋3，n！＋4……n！＋n的连续数列。这时，数列中的第一项n！＋2则可被2整除；第二项n！＋3可被3整除；第三项n！＋4可被4整除；等等。在这个数列中有n—1个数，没有一个是素数。通过任意选择n的大小，你可以得出你想要的无素数的连续整数数列。
但也有大量的长串素数数列。事实上，数理论家认为素数可以形成漫长的等差级数（由同样差分开的素数数列）。较短的等差级数是容易发现的。例如，素数3，5和7构成3项差额同为2的等差级数。（1944年，有人证明有无限组等差级数的3个素数。）素数199，409，619，829，1039，1249，1，459，1，669，1，879和2，089构成一个10项共同差额为210的等差级数。至于更长的级数，由于初始的素数和共同差额急剧上升，因而难于发现它们。然而，1983年，保罗。普里查德在康奈尔发现了19个呈等差级数的素数；初始素数为8，297，644，387，共同差额为4，180，566，390。一些数学家甚至推测存在任意长连续素数的等差级数。例如，连续素数1，741，1，747，1，753和1，759构成4项差为6的等差级数。然而，现在还没人能证明这一猜想，更不必说素数不必是连续的等差级数这一根据相对不足的猜想了。
对于素数，我们知道什么又不知道什么？对此可写一篇长篇论文。再举一个简单例子就足已。有人已证明在比1大的任何数和其倍数之间至少有一个素数。（这个证明的一个令人震惊的后果是：在n位数中至少有3个素数——n可为任何正整数。）但无人知道在任何比1大的数的平方和其相邻数平方之间是否有一个素数。
既然素数本身没有已知的模式可循，那么数学家在努力证明它们时明显显示出杂乱无章也许是惟一合适的做法。某些基本定理——如有无限多的素数，它们之间有任意长的间隔——已简单明了地得以证明。其他定理，如哥德巴赫猜想依然有待证明。虽然没有一个自重的数学家对其正确性表示怀疑。为取得进展，数理论家采用了证明关于“殆素数”和“足够大的数”的办法。这一领域需要出现另一个欧几里得或欧拉。在那之前，我们可能依然处于这种奇妙的状态：依赖于秘密通讯的政府和工业继续从数学家的无知中获利。
对数理论有兴趣的读者不妨对这些未被证明的猜想动动手和计算器。如果猜想是正确的，证明工作可能会采用技术数学的成果，这是门外汉所做不到的。但如果与所期望的相反，它们碰巧是错的，全部所需要的则是一个反例。据历史记载，那些最具数学头脑的人也会出错。欧拉声称，1个5次方的数决不会等于两个5次方的数、3个5次方的数或4个5次方的数之和。（换句话说，不存在满足等式x5=y5＋z5条件的整数x、y和z；不存在满足等式a5=b5＋c5＋d5条件的整数a，b，c和d；也没有满足等式m5=n5＋o5＋p5＋q5条件的整数m，n，o，p和q。）两个世纪后的1966年，这一断言受到驳斥，因为发现了一个反例：144的5次方正是另外4个5次方的数——即27，84，110和133——之和。
如果推断未获证明的猜想不是你的事，考虑考虑某些数也许是。但不要再犯哈迪的错误：早早地就把出租车号斥为无趣的。前不久我乘机远行。当我为一本小说所吸引住时，邻座那位坐卧不安的同伴笨嘴拙舌地试图激起谈兴：“我们乘坐的是407号飞机。对我来说，这个数似乎很枯燥，我希望它不是个凶兆。”
“胡说，”我从书中抬起头来答道，“这个数字一点也不枯燥，相反，它非常有趣。它是等于其各位数3次方之和的最大的3位数。”那人直盯着我，好像我是个疯子，但他拿出一张便条开始不停地草算起来。他做了一路的计算，而我却可以不受打扰地读完我的小说。
第四章 比尔密码之谜密码学——编制和破译密码的科学——日益成为那些能够获得最新计算机技术的数学家所从事的量性学科。今天在军队和私人企业中所使用的密码与昨日的密码截然不同，总的来说是变得更为难以破译了。然而，尽管取