02.htm

阿基米德的报复

　　这4个数是由公式2<sup>n-1</sup>（2<sup>n</sup>-1）当n=2，3，5和7时推出来的。算式如下：<br><br>
　　n＝2，2<sup>1</sup>（2<sup>2</sup>-1）=2（3）=6<br><br>
　　n=3，2<sup>2</sup>（2<sup>3</sup>-1）＝4（7）＝28<br><br>
　　n＝5，2<sup>4</sup>（2<sup>5</sup>-1）＝16（31）＝496<br><br>
　　n＝7，2<sup>6</sup>（2<sup>7</sup>-1）＝64（127）＝8，128<br><br>
　　欧几里得看出，在全部的4个算式中，2<sup>n</sup>-1是素数（3，7，31和127）。这种发现促使他证明一个重要的定理：当2<sup>n</sup>-1为素数时，那么公式2<sup>n-1</sup>（2<sup>n</sup>-1）则得出偶数完全数。<br><br>
　　欧几里得的证明使得完全数理论有了一个兴旺的开端。但由于其他数学家的短视，这一理论进展缓慢。许多思想精微的人自以为他们看出了数字模式，其实这些数字并不存在。如果他们看得更远一点，他们就会发现这种模式是虚幻的。<br><br>
　　古人观察到，前4个完全数都是以6和8结尾的。进一步说，最后一个阿拉伯数字似乎是6，8，6，8地交替出现。所以有人推测，完全数最后一个阿拉伯数总会是6或8，并且它们会继续交替出现。第五个完全数——古代人并不知道——的确是以6结尾的。但第六个完全数也是以6结尾的，这就打破了交替出现的模式。然而，关于最后一个阿拉伯数字总是6或8这一点，古人还是正确的。今天，数学家可以研究30个完全数——比古人多出7倍以上——但他们还必须找出尾数为6和8的模式。<br><br>
　　古人还观察到，第一个完全数有一位数字，第二位完全数有2位数字，第三个有3位数，第四个有4位数。所以他们推测，第五个完全数会有5位数。在欧几里得故去17个世纪后发现了第五个完全数，它赫然具有8位数：33，550，336。并且位数继续迅速增多，以下3个完全数分别为8，589，869，056；137，438，691，328；和2，305，843，008，139，952，128。<br><br>
　　欧几里得证明了一旦2<sup>n</sup>-1是素数，那么2<sup>n-1</sup>（2<sup>n</sup>-1）就会得出一个完全数，但他并没有说n的哪一个整数值会使2n-1成为素数。由于使2<sup>n</sup>-1为素数的前4个n值为前4个素数（2，3，5，7），可能有人推测：如n为素数，2<sup>n</sup>-1也会是素数。那么，让我们来试试看第五个素数：11。如n=11，2<sup>n</sup>-1则为2，047，而2，047并非素数（它是23和89的积）。真实情况是：要使2n-1为素数，n必须是素数，而n为素数并不就意味着2<sup>n</sup>-1是素数。事实上，对于n的大多数素数值来说，2<sup>n</sup>-1并不是素数。<br><br>
　　由2<sup>n</sup>-1一式得出的数列现在称作默塞纳数列，马林·默塞纳是17世纪的巴黎僧侣，他在尽僧职之余抽空进行数论的研究。根据欧几里得的公式，每发现一个新的默塞纳素数，就会自动出现一个完全数。 1644年，默塞纳自己说，2<sup>13</sup>-1，2<sup>17</sup>-1和2<sup>19</sup>-1这3个默塞纳数是素数（8，191；131，071和524，287）。这位僧侣还声称2<sup>67</sup>-1这个巨大的默塞纳数会是位素数。在250多年的时间里，没有人对这一大胆的声言提出疑问。<br><br>
　　1903年，在美国数学协会的一次会议上，哥伦比亚大学教授弗兰克·纳尔逊·科尔提交了一篇慎重的论文，题为：论大数的分解因子。数学史家埃里克·坦普·贝尔记下这一时刻所发生的事：“一向沉默寡言的科尔走上台去，不言不语地开始在黑板上计算267。然后小心地减去1，得出21位的庞大数字：<br><br>
　　147，573，952，589，676，412，927。<br><br>
　　他仍一语不发地移到黑板上的空白处，一步步做起了乘法运算：<br><br>
　　193，707，721×761，838，257，287<br><br>
　　两次计算结果相同。默塞纳的猜想——假如确曾如此的话——就此消失在数学神话的废物堆里了。据记载，这是第一次也是惟一的一次，美国数学协会的一位听众在宣读论文之前向其作者热烈欢呼。科尔一声不吱在他座位上坐下。没人向他提任何问题。”<br><br>
　　在欧几里得证明他的公式总是得出偶数完全数的大约2，000年之后，18世纪的瑞士数学家伦纳德·尤勒证明，该公式将得出全部的偶数完全数。这样，我们就可以用另一种方式提出奇数完全数问题：是否存在不是由欧几里得公式得出的完全数呢？<br><br>
　　为弄清最近取得的进展，年轻的米歇尔·弗里德曼埋头翻阅过期杂志：《计算数学》、《数论杂志》、《数学学报》及一堆决不会在咖啡桌上看到的其他期刊。他甚至参阅理查德·盖伊的艰深的经典著作《数论中的未决问题》，该书不仅讨论完全数，而且还探讨十几个其他神秘专题：“近超完全数”、“友谊图表”、“优雅图”、“贪婪规则系统”、“纽环游戏”、“达文波特-施尼茨尔系列”、“半友善数”、“友善数”和“不可接触数”。<br><br>
　　米歇尔知道，困于这一棘手问题的数论学家们验明：如果真有奇数完全数存在的话，所必须具备的各类特征有：它必须被至少8个不同的素数整除，其中最大的一定要大于300，000，次大的也要大于1，000。如果奇数完全数不能被3除，它至少应被11个不同的素数整除。此外，当一个奇数完全数除以12时，它应有余数1；当它除以36时，它的余数应该是9。<br><br>
　　我们从这些验证中能得出什么结论呢？对奇数完全数的限制越多，奇数完全数存在的可能性就越小。1973年，彼得·哈吉斯运用这样的限制条件并借助于计算机肯定地证明了10<sup>50</sup>以下没有奇数完全数。米歇尔从盖伊的书中看到，自1973年以来，其他数论家“渐渐地把奇数完全数不可能存在的上限推到10<sup>100</sup>，尽管有人对后面这一证明表示怀疑”。<br><br>
　　既然与盖伊一样有权威的人对这些证明提出质疑，米歇尔决定重新研究更低限问题。他运用 IBM PC机及一组限制因素，包括一些文献中极少提到的来自印度的限制因素，证明在10<sup>79</sup>之下不存在奇数完全数，10<sup>79</sup>有8个素数因数——这是一个奇数完全数所能有的最少的素数因数的数目。<br><br>
　　米歇尔说：“我在论文中只是引用了盖伊的话：以前（关于奇数完全数低限很高）的证明是可疑的。当我参加威斯汀豪斯决赛时，我决定检查其他一些证明，但没有发现它们可疑的原因。因此，我给盖伊打了电话，他告诉我，数学家不喜欢由计算机做出的证明，因为你没法知道：编程序的人出继漏了吗？计算机出故障了吗？”<br><br>
　　即使该计算机的计算错误（比如说在别的计算机上）被检查出来，但由于那些证明本身常常很长并且很复杂，因而除了原作者没人对它们一步步地仔细加以审查。只有哈吉斯的证明（整整长达83页！）曾由其他数学家全面地审查过，并宣布为有充分根据。<br><br>
　　米歇尔哧哧地笑了，他不无骄傲地说：“我的证明也是可疑的。威斯汀豪斯的人们不是没有理解就是满不在乎。就我所知，没人真正审阅过我的论文。”<br><br>
　　根据他的论文及其他辅助材料，米歇尔成了从多达1，100名参赛者中选出的40名威斯汀豪斯决赛选手之一。他们40人被召到华盛顿，在那儿决出10位优胜者。米歇尔解释说：“一旦你来到华盛顿，那几乎就不是根据你的论文来看了。一组科学家对你进行面试，他们会问：‘你如何测出太阳与地球间的距离？你如何测出华盛顿纪念碑的高度？’有一女孩说：‘用卷尺测量。’有位科学家领带上面附有半张元素周期表，他就元素周期表问题向每个人提问。有些人注意到了领带并径直读出答案。我不这样，因此我不得不记住氧的质子数及电子层数。”<br><br>
　　米歇尔补充说：“向我们提问的还有一位精神病医生。”我吃了一惊。“当我谈到精神病医生时，人们都感到吃惊。他向人们询问他们的家庭生活。威斯汀豪斯想发现未来的诺贝尔奖获得者。那才是他们的大事。他们希望在前10名中有未来的诺贝尔奖获得者。”米歇尔解释说，过去有5名威斯汀豪斯决赛选手（一年有40个，并且这种竞赛一直进行了44年）获得诺贝尔奖，但这5人之中，只有1人是前10名的。米歇尔耐心地向我解释，威斯汀豪斯这种做法还不如随意选择呢。（每年从40名中随意选择10名会在前10名中产生出1．25名诺贝尔奖金获得者。至于怎么会有0．25个科学家到斯德哥尔摩去领奖就只能留给数学家去想象了。）那些精神病专家显然是被请来从参赛者中发现获诺贝尔奖人物的苗子，以便提高他们的比例的。<br><br>
　　米歇尔接着说：“我的指导人在我的申请中写道，我不会放过一个问题，我是非常固执的。因此，精神病专家就固执一事整整问了我15分钟，‘你怎么个固执法？你考虑过固执会给你今后的生活造成损害吗？你是否会就是因为你曾经反对过某些建议而根本拒绝接受呢？’”<br><br>
　　既然米歇尔成功地进入了前10名，那也许可以说固执是荣获诺贝尔奖桂冠者的部分品性。对威斯汀豪斯（以及米歇尔）来说，不幸的是：没有数学或计算机科学方面的诺贝尔奖。如果他一心要获得这方面的诺贝尔奖，恐怕最终只好去摆弄海虾了。<br><br>
　　其实，米歇尔如果放弃完全数会更有利于他的健康。其他研究完全数时间太长的人结果都不可避免地陷入到古人的数字神秘主义中去。文艺复兴时的数学家米歇尔·施蒂费尔和彼得·邦格斯没能解开完全数之谜；施蒂费尔错误地宣称，除6以外的所有完全数可被4整除，邦格斯也就尾数做出错误的判断。他们在摆弄过数字的完满性之后转向了相反的性质——罪恶，他们是在那个臭名昭著的凶数——666——上发现罪恶的。<br><br>
　　华莱士·约翰·斯坦霍普——保罗·内森的科幻小说《牛顿的天赋》中的物理学家——为这一想法所困扰，即牛顿和往日其他科学巨子一定在乏味的数学计算上费了很多的时间。试想一下可怜的牛顿由于算术上的简单错误而无休止地拖延了重力的发现的情形吧！当斯坦霍普发明了一种背囊大小的时间机器时，他决定到1666年的英格兰去——当时牛顿正处在他的黄金年华，恰巧，那年还是那场世纪性瘟疫的最后一年——送给牛顿一个袖珍计算器。斯坦霍普的动机无疑是要把牛顿的非凡的大脑从乏味的计算中解脱出来。<br><br>
　　可是，牛顿害怕这个计算器，尤其是它通红的数字显示：“上帝是我的救主，它是魔王的发明吗？它的眼睛闪耀着魔鬼王国的颜色呢。”<br><br>
　　“你不能不相信你自己的眼睛，”斯坦霍普回答说，“让我演示给你看它是如何工作的。我只要按几个钮就可以给你除两个数。”斯坦霍普随便地按了几个数：81，918除以123。当得数亮出来时，牛顿立刻双膝跪倒在地并开始祈祷。然后，他站起来，猛地从火炉中抓起一把烫手的拨火铁棍向斯坦霍普掷去，斯坦霍普这才慌忙逃回到今日的时空坐标中来。<br><br>
　　牛顿粗暴的反应可由斯坦霍普不幸选择的数来解释：81，918除以123正巧是666：凶数。信仰宗教的牛顿在可怕的红灯中惊恐地看到倒下的大天使在他面前悸动的指纹。据说，正是这次与魔鬼的遭遇才促使牛顿写神学著作。<br><br>
　　虽然这个精妙的故事是虚构的，但它在精神上与牛顿迷恋于玄奥和超自然是一致的。牛顿就宗教和神学问题写下了130多万字的著作。他写了多方面的文字来解释先知的语言，他无疑对《圣经》关于凶数666的预测很熟悉。由于其他研究科学和数学的人都陷于666的神秘性中，因此有必要探求一下该数是如何得此恶名的。<br><br>
　　在中世纪，一群以希伯来神秘主义哲学家闻名的犹太学者就异教徒指出《圣经》中明显的矛盾、琐屑和谬误做出了睿智的回答。这些哲学家声称，《旧约》中的许多内容是用密码写成的。这是《圣经》显得紊乱的原因。然而，一旦破译出密码，一切都会豁然开朗，神的真谛也就被揭示出来了。破译的主要方法是隐语解法：通过对所有字母进行处理，将一个词或短语转换成数，以预定数值代替每个字母，并算出这些数字之和。他们认为该字母或短语与其他具有相等的和的词或短语有关。<br><br>
　　例如，《创世纪》第十八章第二节：亚伯拉罕举目观看，“瞧！有3个人在对面站着”，但没有指明这3个人是谁。神秘主义哲学家们运用隐语解法发现这3个人是大天使米歇尔、加百列和拉斐尔。如果把希伯来原文的字母“瞧！3个人”代之以相应的数，它们的和为701，与“这些是米歇尔、加百列和拉斐尔”字母相应数之和相等。神秘主义哲学家们通过类似的数学破译密码法回答了《申命记》第三十章第十二节中提出的问题：“谁替我们上天去？”这些词的希伯来文所有字母合在一起得出的和与“割礼和耶和华”和希伯来语所有字母之和相等，这意味着上帝认为割礼是去向天国的通行证。这种以数学解《圣经》的方法激发了犹太学者对数学的兴趣。<br><br>
　　基督教神学家们很快采用了神秘主义哲学家们的神秘分析方法。《新约》本身实际上推动了在姓名与数字之间寻求对应关系的应用，正是在那儿第一次出现了666这个数。《启示录》第十三章第十一节警告邪恶力量：“我又看见另有一个兽从地中上来。有两个角如同羊羔，说话好像龙。”7行后，我们知道了这只兽是与666这个数相关的一个人：“在这里有智慧，凡有理解力的人可以计算兽的数字：因为这是人的数字，他的数字是六百六十六。”但这人是谁呢？上文所述诱使我们对人名使用隐语解法来确认这头兽。<br><br>
　　这头兽是敌基督或假基督。在《圣经》里所记的时代，假基督被认为是罗马皇帝。他通过创立一种异教而对上帝的统治进行挑战，这种异教崇拜皇帝并有自己的教士。《圣经》评论家怀疑这头兽是罗马皇帝尼禄，但要从他的名字中得出666来需要经过多次处理。如果把尼禄的名字用希腊语写成尼罗恩，再加上独裁者的称号，然后将独裁者尼禄合译为希伯来文，再将字母转为相应的数字，总数相加之和就是666。<br><br>
　　不管怎样，神奇地把该兽描绘成名数为666的人使得一代又一代的占数家绞尽脑汁。在16世纪，数学家们也参与其中。德国修道士米歇尔·施蒂费尔研究过代数和数论。他是首先使用加号+和减号-的人之一。他偷偷地把对该兽之数的奇特解释写入一本论代数的经典著作中去。施蒂费尔决心指摘教皇利奥十世的品性，他要对宗座之名进行曲解。<br><br>
　　他把十拼成DECIMUS（拉丁语“第十”），然后按罗马人的习惯把U改为V而得DECIMVS。他从LEO DECIMVS中挑选出为罗马数字的字母——L，D，C，I，M和V，作为额外增添而从LEOX中加进X。这样，施蒂费尔通过以数代替这些罗马数字而计算出该名字的数值：L（50）＋D（500）＋C（100）+I（1）＋M（1，000）＋V（S）＋X（10）=1，666。<br><br>
　　啊！多了1，000。施蒂费尔想，数值为1，000的M一定是代表mysterium（神秘）。他从这组字母中除去神秘正好得出了666。他做出这一发现后背弃了出家人的誓言而成为马丁·路德的追随者。<br><br>
　　如果施蒂费尔把注意力集中到该教皇拉丁语尊号之一的罗马数字上，他就会更为令人信服地获得同样的结果，该尊号为Vicar－ius Filii Dei，其计算结果为：V（5）＋I（1）＋C（100）＋I（1）＋U（5）+I（1）＋L（50）+I（1）＋I（1）＋D（500）＋I（1）=666。<br><br>
　　尽管如此，施蒂费尔还是努力获得了他想要的东西。罗马天主教徒为这种叛逆的发现所激怒，威胁要杀死他。1522年，他避难到路德自己的家中。路德很高兴有一个新的皈依者，但要他忘记占数那玩意儿。施蒂费尔没有理会这一劝告而开始从《圣经》中搜寻世界末日到来的线索。他深信世界末日是1553年10月18日，并到处传播这一消息，结果被捕。随着这一天的临近，他教区的教民倾其积蓄大肆吃喝。而当他们 10月 19日一早醒来看到世界依旧平静时，他们想杀死这个骗子，由于路德的干预，施蒂费尔才免于一死。对施蒂费尔来说，一生中面临两次死亡威胁已经够受的了，因此他放弃了预言而全身心地投入到数学中去。结果他成了16世纪德国一位杰出的代数学家。<br><br>
　　我要补充的是，施蒂费尔对那头野兽的数字的解释并非没有引起争议。他的同时代人、长达700页《数的奥秘》一书的作者彼得·邦格斯试图悄悄把该数应用于路德本人。选取马丁·路德的名字 Martin Luther，姓用拉丁语则成MARTINLUTERA。然后，让A至I的字母代表1—9的数字（I和J按当时的习惯可以互换），K到S的字母代表10—90（均乘以10），T到Z代表100至700的数（均乘以100）。邦格斯根据字母和数之间的这种联系看出M（30）＋A（1）＋R（80）＋T（100）+I（9）＋N（40）＋L（20）＋U（200）＋T（100）＋E（5）＋R（80）＋A（1）=666。想想看嘛！<br><br>
　　除666外，《圣经》为趣味数学提供了许多启示。如果《圣经》中运用的某个数不是像100或1，000这样的大整数，古人就认为该数有神秘的意义。一般来说，如果一个数被发现有某些别致而简单的算术特征——往往与一连串整数的和或积有关，那么这个特别的数则具有了神秘的意义。例如，在约翰福音的第二十一章第十一节中，耶稣和他的门徒在太巴列海成功地进行了一次捕鱼行动。当他们把那网鱼拖上来时发现有153条鱼：“西门·彼得就去把网拉到岸上，那网盛满了大鱼，共153条，鱼虽然很多，网却没有破。”153在数学上有何特殊之处呢？想一想，然后我再透露实情。<br><br>
　　首先，153=1＋2＋3＋4＋5＋6＋7＋8＋9＋10＋11＋12＋13＋14＋15＋16＋17。换句话说，它等于1至17间所有整数之和。<br><br>
　　但153的魔力还不止这些。它可用另一种重要方式来表示：153=1＋（1×2）＋（1×2 ×3）＋（1×2× 3× 4）＋（1×2×3 ×4×5）。现代数学家会更简练地写出这一等式：153=1！+2！+3！+4！+5！如果一个数后面跟着一个感叹号，你就可以得到从1到该数本身所有整数的乘积。这种运算被称作求阶乘。<br><br>
　　一位学者大致按照这种方法发现如果把153中各位数的3次方相加也可得出153。可简单地表示为，153=13＋53+33。据数学作家马丁·加德纳说，1961年，菲尔·科恩（以色列约纳姆人）告诉英国反传统周刊《新科学家》说，153潜藏在每个含有因数3的数中。我要留给读者自己去推算科恩在《新科学家》中谈及的内容。不过这里有一个提示：选取3的任何倍数，计算出其各位数字3次方之和。再计算出得数的各位数字3次方之和。就这样不断地算下去。<br><br>
　　我们再来看看《圣经》中的另一个数：220。《创世纪》第三十二章第十四节记载，雅各布给以扫220只山羊（母山羊200，公山羊20）以示友好。但为何是220呢？毕达哥拉斯的信徒们探求出作为“友好”的特别数字，而220则是这些数字中的第一个。友好数的概念是基于人的朋友是一种变相自我这一看法而来。毕达哥拉斯曾说：“一个朋友是另一个我，如同220与284一样。”这两个数在数学上有何特别突出之处呢？<br><br>
　　原来，220和284相互等于对方真除数之和（真除数是能被一个数整除的所有除数[ 包括1，但不包括该数本身] 。）220的真除数为1，2，4，5，10，11，20，22，44，55和110。果然，1＋2+4＋5＋10＋11+20+22+44＋55＋110=284。而284的真除数为1，2，4，71和142，它们之和为220。<br><br>
　　虽然古人对友好数很感兴趣，但第二对友好数（17，196和18，416）直到1636年才由皮埃尔·弗马特发现。到19世纪中期，许多有才能的数学家为发现一对对的友好数做了长期而艰苦的努力，结果发现了60对友好数。而直到1866年，才发现次最小的一对友好数：1，184和1，210，它是由一位16岁的男孩发现的。<br><br>
　　现代数学家将友好数的概念从一组2个扩展到一组3个。在一组友好的3个数中，任何一个数的真除数之和都等于其他两个数之和。103，340，640；123，228，768和124，015，008就是如此。另一组友好的三个数为1，945，330，728，960；2，324，196，638，720和2，615，631，953，920。但对我来说，这种数看起来不像友好数。诚18然，如伟大的创造性数学家约瑟夫·马达奇所说，3个一组的友好数并不易发现，在上面这一组数字中3个数分别有959，959和479个除数。<br><br>
　　数学家们虽然注意到了“保障来自反复”这一古老谚语，他们可不是见好就收的人。有人想看看如果选一个数，算出其真除数之和，然后再算出该和的真除数之和，如此往复无穷，会出现什么样的情形。在大部分时间里，计算总是索然无味，但如果你一直这么做下去，就会难得地在某处回到了原来数上。以12，496为例，其真除数为1，2，4，8，11，16，22，44，71，88，142，176，284，568，781，1，136，1，562，3，124和6，248。这些数相加，得14，288。再把14，288的真除数相加，得数为15，472（如果你不相信可以自己试一试！）。再做两次这样的运算，会先后得出14，536和14，264。现在看14，264的真除数，它们分别为1，2，4，8，1，783，3，566和7，132。将这7个除数相加，噢，你看，是12，496。如果你不怕浪费时间的话，就从14，316这个数开始做同样的运算。你会在28轮后重新得出这个数！

<div align=right><A HREF="index.htm" class=v1>回本书目录</a> | <A HREF="01.htm" class=v1>上一节</a> | <A HREF="03.htm" class=v1>下一节</a> | <a href="mailto:[e-mail]" class=v1>给编辑来信</a> | <a href="http://bbs.oursci.org" class=v1>三思科学论坛</a> | <a href="javascript:window.close()" class=v1>关闭窗口</a></div>
<br><br>
</td>

            <!-- 表格4第3列，正文右边的内容 -->
<td width=190 bgcolor=white background="ban6.gif" class=p1 valign=top>

  <table width=190 border="0" cellspacing="0" cellpadding="0" cols=2>
<tr><td width=35> </td>
<td width=155 class=p1>
<font color=thistle><b>本文有关信息：</b></font><br>
收录时间：2002.04<br>
作者：保罗·霍夫曼<br>
来源：转载<br><br><br>

<img src="hline.gif" height=1 width=150><br>
<font color=thistle><b>该作者其它作品：<br></b></font>
<br><br>

<img src="hline.gif" height=1 width=150><br>
<font color=thistle><b>其它相关阅读：<br></b></font>
<br><br>

<img src="hline.gif" height=1 width=150><br>
<font color=thistle><b>相关网站：<br></b></font>



</td></tr></table>

</td></tr></table></div>

<!-- 表格4结束 -->

<!-- 表格5，页面最下端部分 -->
  <table width=780 border="0" cellspacing="0" cellpadding="0">
    <tr> 
      <td bgcolor=gray align=center class=p4>         <font color="#FFFFFF"><font class=p4>
<a href="../../index.html" class=v2>首页</a> | <a href="../../copyright.htm" class=v2>版权声明</a> | <a href="../../map.htm" class=v2>本站导航</a> | <a href="../../about.htm" class=v2>关于本站</a> |  <a href="../../contact.htm" class=v2>联系我们</a>　&copy;1999-2002  
          <a href="http://www.oursci.org" class=v2>www.OurSci.org</a>,All Rights Reserved.　
</font></font>
   </td>   </tr>  </table>

</body></html>