阿基米德的报复

[复制链接]

字体大小: 正常放大

suolunga

40 主题	5 听众	2388 积分

TA的每日心情

	开心 2024-11-2 10:26

签到天数: 89 天

[LV.6]常住居民II

群组: C 语言讨论组

群组: 数学建模

群组: Matlab讨论组

群组: Latex研学群

群组: 我行我数

电梯直达

1^#

发表于 2009-3-6 12:51 |只看该作者 |倒序浏览

|招呼Ta 关注Ta |邮箱已经成功绑定

阿基米德的报复

当那位伟大的印度数学家斯里尼瓦萨罗摩奴阇得了结核病住在伦敦医院时，他的同事G．H．哈迪去看望他。这位哈迪从来就不善于激起谈兴，他对罗摩奴阇说：“我是乘坐出租车来的，车的牌号为1729。对我来说，这个数字似乎很枯燥，我希望它不是个凶兆。”
“胡说，”罗摩奴阇回答说，“这个数字一点也不枯燥，相反它非常有趣。它是可以用两种不同方式表示的作为两个3次方之和的最小数。” （罗摩奴阇不知怎么立即就辨别出1729＝1³＋12³和9³＋10³。）
罗摩奴阇死于1920年，年仅32岁。他是一位数论学家，是研究整数属性的数学奇才。数论是数学中最古老的领域之一，在一定程度上说也是最简单的领域。数当然是数学最普遍的基础材料，然而，关于它们仍然还
有许多根本问题没有解答。
公元前3世纪，当波加的阿波罗尼奥斯天真地继续研究阿基米德的大数时，可能不知晓等待他以及数代数学家的将是什么。“我要让你们看一看谁懂得大数，”阿基米德想。据说，他出于报复之心而虚构出关于牧牛的计算问题，解决这一问题所需的数字是如此庞大，以致直到最近才得以解决。而且，解决这一问题的并不是人而是机器：世界上最快的电脑。
提出类似牧牛这类极其困难的问题只不过是阿基米德许多令人难以置信的功绩之一，这些功绩使他在他那个时代就成了一个传奇式人物。公元前212年，罗马将军马塞卢斯围困了西西里的叙拉古港，该城之王希伦请求王亲阿基米德驱逐60艘敌舰。阿基米德不久前发明了杠杆（他因此说了这句名言：“给我一个支点，我会搬动整个地球。”），他将杠杆和滑轮结合在一起制成巨大的吊车，这些吊车将那些入侵的战船吊出了港口。在
战斗中，吊车还得到弩石弹射器和凸面镜的协助，凸面镜把阳光聚焦到船上使船着火。结果，罗马舰队遭到了毁灭。马塞卢斯说：“我们不要和这个几何怪物进行战斗了，他拿我们的船当杯子，从海中舀水。”
阿基米德使敌人3年不敢接近。后来，有一个晚上，当叙拉古人忙于宗教庆典时，罗马士兵攀上城墙并打开城门。当马塞卢斯的军队蜂拥而入时，他告诉部下说：“任何人都不得斗胆对阿基米德妄动一个手指头，这人是我们的座上宾。”
马塞卢斯的一个士兵在庭院中找到阿基米德，其时，阿基米德正在沙地上画几何图形，这位士兵违抗指令而拔出了剑。阿基米德请求说：“我的朋友，在你杀死我之前，请让我把我的圆画好。”这位士兵没有等待就
把剑刺向阿基米德，阿基米德躺倒在地，喃喃地说：“他们夺走了我的躯体，但我将取走我的灵魂。”说完安然死去。
按照阿基米德的愿望，人们在他的墓碑上刻了一个圆柱体，柱体里面是一个球体——象征着他的骄傲的发现：球的体积是装下该球的最小的圆柱体体积的三分之二。
这个传说有多少是真的呢？阿基米德无疑是位机械天才。有充分证据表明他设计出能将50磅弩石抛出300英尺远的弩石弹射器。但近来对技术史的研究排除了他建造了能从海中吊起敌船的吊车的可能性。这种神话的根据可能是他发明过一种将他自己（不动的）的船吊到岸上来的吊车式的装置。
许多科学巨匠包括加利莱奥·伽利略和法国博物学家布丰伯爵，乔治-路易斯·莱克勒都对阿基米德用镜子焚烧敌船感兴趣，它与儿童用放大镜点燃纸片非常相似。理论上说这种镜子是可以制造的，但它要有一个保持太阳光线聚焦于移动目标上的可变焦距，普通镜子是做不到这一点的。（1747年，布丰声称用一个复杂的镜子使150英尺远的木头着了火，并熔化了140英尺远的铅。）不管怎样，阿基米德不会费力去制造一个特别镜子的，因为那时已经出现了一种简单而高效的燃烧武器：将石脑油与一种同水接触即自动燃烧的化学物质相混合装入罐中，人们把这种罐子掷向敌船。
对阿基米德之死的生动描述可能相当真实，尽管人们会对他所说的话表示怀疑。公元前75年，伟大的罗马演说家西塞罗来到阿基米德的墓旁，发现墓碑上刻有外切一个球的圆柱体。
牛群的问题是怎么回事呢？它真是首先由阿基米德提出来的吗？别管阿基米德是否真是出于一时赌气而凭空想出这个问题的，人们知道他确曾推算过这个问题，因此至少有2，200年的历史了。
这个问题开始是这样的：“啊！朋友，如果你智慧过人，那就专心致志算出那天那群公牛的数目吧。它们曾在西西里岛的大平原上吃草，按毛色它们被分成4组：乳白牛、黑牛、黄牛和花斑牛。每组中的公牛数占大
多数，它们之间的关系为：
1．白公牛＝黄公牛＋（1/2 ＋1/3 ）黑公牛。

2．黑公牛＝黄公牛＋（ 1/4＋1/5）花斑公牛。

3．花斑公牛＝黄公牛＋（1/6 ＋1/7 ）白公牛。

4．白奶牛＝（ 1/3＋1/4 ）黑牛。
5．黑奶牛＝（ 1/4＋1/5）花斑牛。
6．花斑奶牛＝（1/5 ＋1/6 ）黄牛。
7．黄奶牛＝（ 1/6＋ 1/7）白牛。”
该问题继续说：“啊！朋友，如果你能算出每群中公牛和母牛的数目，你还是称不上无所不知或精通数字，也不能被列入智者之列。”于是该问题涉及到其数学的本质部分：解7个带有8个未知数的等式（4组不同颜色的公牛和4组相应颜色的奶牛）。原来，这些等式并不难解。事实上，它们有无限多的答案，而牛群总头数的最小数值为50，389，082，这些牛可以在西西里6，358，400公顷的大平原上自由自在地吃草。
然而，阿基米德并未就此停止。他对公牛数目另外又提出了两项限制条件，从而使这问题变得难多了：
8．白公牛＋黑公牛＝一个平方数。
9．花斑公牛＋黄公牛＝一个三角数。
问题最后说：“如果你已算出这群牛的总数，噢！朋友，你俨然就是一个征服者了，不消说，你就是数字科学方面的专家了。”
阿基米德的牛群问题由于采用了三角数和平方数的概念而与华达哥拉斯的工作有关。公元前6世纪，毕达哥拉斯及其追随者用圆点布置成三角、四方或其他几何图形来表示数。如3、6和10这些数被称为三角数，因为
它们可由构成三角的圆点来表示：

西门从海中拽出的鱼的数目153也是一个三角数。由于同样的原因，像4，9和16这些数被称为平方数，因为它们可以用圆点布置成正方形来表示：

不要以为古人为断定某个特定的数是否可以由特定的几何圆点图形表示而耗费长时间去胡写乱画，要知道，解决这一问题存在一种纯数的方法。所有三角数都可由连续的整数（从1开始）相加得出；如 3＝1＋2，6＝1＋2＋3，以及10＝1＋2＋3＋4。所有的平方数都可由整数的平方得出：4＝2×2，9＝3×3，及16＝4×4。
由于用三角数和平方数对公牛进行限制，牛问题变得非常棘手，两千年里没有取得真正的进展。1880年，一位德国研究者在经过枯燥计算之后表明：符合所有8项条件的最小的牛头数为一个有206，545位数的数，该
数是以776开头的。阿基米德可能是一个有魔力之人，但他决不是个现实主义者：西西里小岛上决不会容下这样一群牛。正如一位数理论家所说：“即使它们是最小的微生物——不，即使它们是电子，一个以从地球到银
河的距离为半径的圆也只能包含这种动物的很小一部分。”
但没人认为缺乏现实感会妨碍数学研究。20年后的1899年，伊利诺斯希尔斯伯勒的一位土木工程师和他的几位朋友组成希尔斯伯勒数学俱乐部，致力于发现余下的206，542位数。经过4年运算后，他们最后宣布，他们发现了12位最右边的数，又另外发现了28位最左边的数，但后来证明他们算的数都弄错了。60年后，3位加拿大人运用计算机首次发现了全部的答案，但他们从未予以公开发表。1981年，当出自劳伦斯·利弗莫尔国家实验室的克雷1号巨型计算机的47页硬拷贝缩印在《趣味数学》杂志上时，全部的206，545位数才最终公布于世。
当时，克雷1号是世界上运算最快的计算机。克雷巨型计算机是昂贵的——最新型号值2，000万美元，实验室和公司不会买它来解决古老的数论问题。购买它是用于配制新的药物，勘探石油，破译苏联密码，在好莱坞电影中造成辉煌的特别效果以及模拟太空武器。
然而，人们常常让巨型计算机解决数论史上棘手的计算问题，以便证明它们是否运转正常。计算这种问题的好处是可以轻易地对其答案——即使以前不知道这些答案——进行检验：将它们还原到其等式中去。阿基米
德的牛群问题正是在劳伦斯·利弗莫尔实验室检验克雷1号时得以解决的。这台巨型计算机仅用10分钟就发现了206，545位数的答案，并两次检验了这一问题的运算。
让我们以一个阿基米德曾处理过而我们也许能解决的问题来结束本节吧。希伦给金匠一定量的金子（设其重量为W）制造皇冠。当希伦收到那顶皇冠时，他请阿基米德鉴定它是否含有全部的金子，或金匠是否偷走了一些而代之以较廉价的金属。公元前1世纪著名的罗马建筑师维特鲁威是这样记载的：“阿基米德反复琢磨这一问题，一天他偶然来到洗澡间，在那儿，他注意到，当他坐进浴缸里，漫出浴缸的水的数量等于他浸在浴缸
中的身体所排出的水量。这一点向他暗示了解决这一问题的方法，于是他立即欣喜地跳出浴缸，光着身子向家奔去，并大声喊着他已发现了他寻找的东西。因为当他跑的时候，他反复大声地用希腊语叫道，我找着啦！我
找着啦！”
他找到了什么？阿基米德领悟到：既然金是密度最大的金属，那么，重量为W的纯金皇冠的体积会比同样重量搀假的金皇冠的体积要小些。他让一个容器装满水并投进重量为W的金子。然后他将溢出来的水收集起来，这些水的体积与该金子的体积相等。下一步他让另一个容器装满水，皇冠在监督之下被放入水中。果然，它排出的水体积较大，证明那位卑劣的金匠偷去了希伦国王的金子。

zan