阿基米德之后的古典数学　

　　阿基米德在数学景观上投下了长长的影子。其后的古代数学家虽然都有自己的建树，但却没有一个人能够比得上叙拉古城这位伟大的数学家，随着希腊文明的衰落和罗马的同时兴起，事情益发明显。阿基米德死于罗马人之手，预示了以后所发生的事情，这种看法也许有点儿简单化，但并非没有道理。希腊人专注于自己的理念世界，在罗马强大的军事力量面前，确实不堪一击，而罗马人则忙于建立政治秩序和征服世界，完全无视希腊人热中的抽象思维。如同对阿基米德一样，罗马新秩序同样也不能容许希腊传统的存在。

　　一些资料也许有助于我们的认识。我们已看到，叙拉古城于公元前212年陷落于罗马的马塞卢斯之手。三次残酷的布匿战争最终以公元前146年罗马消灭迦太基而告终，罗马人从此确立了对中地中海两岸的控制。同一年，希腊的最后一座重要城邦科林斯向罗马军投降。一百年后，尤利乌斯·凯撒征服了高卢；公元前30年，在安东尼与克娄巴特拉的统治失败后，埃及落入屋大维之手。甚至野蛮的不列颠也于公元30年臣服于罗马。自此，罗马正式成为帝国，对西方世界行使着史无前例的统治。

　　随着罗马的征服，他们复杂的工程项目也随之发展起来：桥梁、道路和沟渠遍布欧洲大陆。然而，曾强烈吸引希波克拉底、欧几里得和阿基米德的纯粹数学却未能像以前那样兴盛。

　　但是，依然保持辉煌的是亚历山大图书馆。这座环境优美的图书馆吸引了地中海地区最优秀的学者，是一个最令人兴奋的地方。阿基米德的一位同时代人，著名数学家厄拉多塞（公元前约284—192年）就曾大半生在这里担任馆长。厄拉多塞身居学术要职，是一位阅读广泛、著作等身的学者，许多关于纯数学、哲学、地理学，特别是天文学的著作都出自他的手，这最后一项，不仅包括许多学术论文，而且还包括一部题为《赫耳墨斯》的长诗，将天文学的基本知识写成了诗歌！像众多的古代著作家一样，厄拉多塞的著作大部分散失了，我们只能依靠后来注释者的描述来了解他。但他身为当时的学界名流，似乎是没有疑问的。阿基米德至少有一篇著作是题献给厄拉多塞的，并视其为一个伟大的天才。

　　厄拉多塞的一大贡献是他著名的“筛法”，这是一种寻找素数的简便方法。为了用厄拉多塞筛法选出素数，我们首先写下从2开始的连续正整数。请注意，2是第一个素数，然后我们依次划掉后面所有2的倍数，即4、6、8、10等。越过2，下一个没有划掉的整数是3，这一定是第二个素数。我们现在再划掉所有3的倍数——6

　　（虽然它已经被划掉了）、9、12、15等。下面我们来看，4已经被划掉了，于是，下一个素数是5；我们再划掉表中所有5的倍数——10、15、20、25等。如此循序渐进。显然，我们划掉的数字都是较小整数的倍数，它们都不是素数，因而，都被筛掉了。而另一方面，素数却永远不会被筛掉，它们将成为我们表中唯一剩下的数字：

　　用厄拉多塞筛法，可以自然而然地产生100以下的所有素数。但要找出，比如说，100万亿以下的所有素数，用这种方法显然就非常困难了，但现代计算机运用这一古老方法，却有极大收获。

　　厄拉多塞最著名的科学成就也许是他对地球周长的测定。虽然有许多文字描述了他的这一计算，但由于找不到他的原始论文《论地球的测量》，我们还不能肯定厄拉多塞究竟用的是什么方法。但是，据说，他运用了一些地理数据和一个非常简单的几何图形，具体如下：

　　在埃及亚历山大以南，今天的阿斯旺附近，有一座城市叫赛伊尼。在夏季第一天的中午，赛伊尼处的太阳直射地面。如果此刻有人往井里看，就会感到水面反射的太阳非常刺眼，从而证实了太阳的直射。但在同一天的同一时刻，亚历山大处的竹竿却投下一个短影。厄拉多塞注意到，从竹

图5.1）。假设亚历山大位于赛伊尼的正北（这大体正确），而且，因太阳距离地球十分遥远，假设阳光射到地球是平行的（又一个合理的假设），厄拉多塞根据《原本》的命题Ⅰ.29，判定内错角∠AOS等于∠a，而O则代表球状地球的球心，如图5.1所示。最后的已知条件是测得这两座城市之间的距离为5000斯达地。因此，我们得到比例

斯达地。至此，读者肯定会问：“一斯达地是多长？”厄拉多塞所用单位究竟多长已无从考订，只能冒险地引用估计值，即一斯达地约等于516.73英尺。利用这一数字，可以得出厄拉多塞计算的地球周长为129，182，500英尺，或约24，466英里。目前公认的地球周长为24，860英里，所以，厄拉多塞的计算结果非常接近此值。实际上，由于这个数字太精确了，以致一些学者怀疑其真实性，或者至少同意托马斯·希思爵士的观点：厄拉多塞给了我们“一个令人惊奇的近似值，不论其在多大程度上归因于计算中的偶然。”

　　暂且抛开这些怀疑不谈，厄拉多塞的推理方法还是值得我们注意的，这不仅是因为其巧妙，而且还因为，无论如何，他坚信我们的地球是一个球体。而1500年后的欧洲水手却还惧怕从扁平大地的边沿掉下去。我们有时忘记了古希腊人已完全意识到地球的球体形状，如果后来的水手还睁大双眼，搜寻地平线的边缘，这与其说是学问太少，不如说是记性不佳。

　　另外，还有两位阿基米德之后的数学家值得介绍。其中一位是阿波罗尼奥斯（公元前约262—190年），他也是阿基米德同时代人，也曾到过亚历山大，在那充满学术气氛的环境里学习、工作。他在那里完成了他的代表作《圆锥曲线》，这是一部广泛讨论所谓圆锥曲线的巨著，涉及椭圆、抛物线和双曲线（图5.2）。虽然古希腊数学家曾深入研究过这些曲线，但阿波罗尼奥斯重新整理了前人的工作，使之系统化、条理化。这种情形，很像欧几里得编著《原本》的情况。《圆锥曲线》共有八篇，前四篇系统叙述了圆锥曲线的基本原理，后三篇讨论了更专业化的问题，第八篇现已失传。

　　即使在古代，阿波罗尼奥斯的著作也被公认为是圆锥曲线问题的权威论述，而且，在文艺复兴期间被重新发现后，亦得到了很高的评价。当约翰·开普勒（1571—1630年）提出他关于行星以椭圆形轨道围绕太阳运动的独创性理论时，圆锥曲线的重要性得到了证实。椭圆绝不仅是古希腊数学家手中把玩的珍品，它已成为地球，乃至地球上我们全体人类运行的轨道。大约一百年后，因发现彗星而声名大噪的英国科学家埃德蒙·哈雷用了几年时间来编定《圆锥曲线》的最后定本，并对这一古典数学著作推崇备至。今天，这部巨著与欧几里得的《原本》和阿基米德的著作并列，成为古希腊数学的里程碑。

　　最后一位古代数学家与本章的伟大定理有关，他就是亚历山大（还能是哪里呢？）的赫伦。一些现代书把他的名字写成“希罗”（Hero，即英雄之意——译注），这主要是因翻译造成的，而不是他自命不凡。遗憾的是，我们对他的生平知之甚少，甚至对他的生卒年月也颇多争议。不过可以肯定地说，赫伦是在阿波罗尼奥斯之后，但更确切的日期就有待于一位天才像侦探小说里经常描写的那样去推断了。我们采用了霍华德·伊夫斯的观点，确定赫伦的活动时期为公元75年前后。

　　尽管我们对赫伦的生平知之甚少，甚至不知是否相差了150年，但学者们却拥有大量关于赫伦数学的资料。赫伦的兴趣主要是在实践方面，而不是理论，他的许多著作都涉及了非常有用的实用科学，如机械学、工程学和测量学。他的这种侧重反映了希腊人与罗马人兴趣的截然不同。例如，赫伦在其《经纬仪》一书中介绍了挖掘穿山隧道及计算泉水流量的方法。在另一部著作中，他回答了一些日常生活问题，例如“为什么用膝盖在一根木棍的中间用力顶，木棍会折断？”或者“为什么人们用钳子而不用手拔牙？”

　　然而，有趣的是他关于三角形面积的命题。这一命题像赫伦的其他许多课题一样，明显地带有实用性，但他对这一命题的证明却是一篇出色的几何抽象推理。这条命题是赫伦《量度》一书中的命题Ⅰ.8，这一重要著作的发现还有一段有趣的历史。数学家们早就知道有这样一篇论文存在，因为评注家欧托休斯早在公元6世纪时就曾提到过这部著作，但人们却找不到它的下落。它就像恐龙一般神秘地消失了。1894年，数学史家保罗·坦纳利在一个13世纪巴黎人的手稿中偶然发现了这篇论文的片段。更幸运的是，两年后，R.舍内在君士坦丁堡发现了这部著作的全部手稿。这样，现代人才有幸目睹《量度》一书的全貌。

伟大的定理：赫伦的三角形面积公式

　　我们已知，赫伦的公式涉及三角形面积。这个公式似乎完全不必要，

（高），而且已得到了广泛的应用。但是，如果用这个公式去求图5.3中三角形的面积就没有什么意义了，因为我们还不知三角形的高。

　　首先，应当指出，已知一个三角形的三条边，则其面积一定是确定的。这可以直接从“边边边”全等定理（欧几里得，命题1.8）中推导出来，因为我们知道，任何边长等于（比如）17、25和26的其他三角形，一定与图5.3中的三角形全等，因此，其面积也完全相等。所以，如果我们知道三角形的三条边，我们也就知道一定有一个，并且只有一个面积值。

　　但是，如何确定这一面积值呢？今天仍像两千年前一样，最简便的方法是应用赫伦的公式，其公式用现代符号表示，就是：

　　如果K是边长等于a、b、c的三角形的面积，那么，

　　请注意，在应用赫伦的公式时，我们只要知道三角形的三条边就足够了；我们无须求出三角形的高。

　　这是一个非常特殊的公式，乍看之下，人们会感到是不是印刷有误。公式中出现的平方根和半周长似乎非常奇怪，这个公式完全没有直观感染力。然而，作为一项伟大的定理，引起我们注意的不仅有它的奇特，还有赫伦为此所作的证明。他的证明既非常曲折，令人惊叹，又非常巧妙。在某种意义上说，他的证明是很初等的，因为他只用了一些简单的平面几何概念——也就是说，只用了一些“元素”。但是，赫伦展示了他精湛的几何技巧，将这些元素组合成一个非常丰富而漂亮的证明，堪称数学中一个令人叹为观止的结论。赫伦的证明就像阿加莎·克里斯蒂的侦探小说一样，读者一直读到最后几行可能还弄不清问题如何解决。但我们不必着急，他最后的几步推理，将这一证明推向了高潮。

　　在介绍这一证明之前，我们有必要先介绍一些赫伦论证所依据的初步命题。前两个初步命题出自欧几里得的《原本》。　

命题1 三角形的角平分线交于一点，这个交点是三角形外接圆的圆心。　

　　这一命题出自欧几里得《原本》的命题Ⅳ.4。三角形三条角平分线的交点（即三角形外接圆的圆心）恰当地叫做内心。　

命题2 一个直角三角形，如果从直角作斜边的垂线，则垂线两边的三角形分别与整个三角形相似，并互相相似。　

　　读者将会发现，这一命题出自《原本》的命题Ⅳ.8，我们在第三章中曾讨论过这一命题。

　　下面的定理虽然也非常著名，但没有编入欧几里得的《原本》。为了保持完整，我们同时附加了定理的简单证明。

命题3 在直角三角形中，斜边的中点与三个角的顶点距离相等。

证明 首先设直角三角形BAC（图5.4），平分AB边于D，作DM垂

∠ACM=1个直角-∠MBD=1个直角-∠MAD=∠MAC

　　所以，△MAC是等腰

　　我们断定，斜边的中点M与直角三角形三个角的顶点距离相等。 证讫。

　　我们最后的两个初步命题涉及到联圆四边形，也就是圆内接四边形。　

命题4 已知AHBO是一个四边形，作对角线AB和OH，如果∠HAB与∠HOB是直角（如图5.5所示），则可以过四个顶点A、O、B、和H作一个圆。　

证明 这是从前一个命题中直接推导出来的一个特殊命题。如果我们平分BH于M，我们注意到，M是直角三角形BAH与直角三角形BOH的共同斜边上的中点。所以，M与A、O、B和H各点的距离相等，因而，以M

命题5 联圆四边形的对角和等于两个直角。　

　　这个命题出自《原本》的命题Ⅲ.22，其证明见第三章。

　　这五个命题不妨看作一个特殊的工具箱，带给我们一个关于一般三角形面积的证明。但是，它们连同高度的技巧，只是赫伦在证明现在以他的名字命名的公式时所需要的“元素”。

定理 已知一个三角形，其边分别为a、b和c，面积为K，我们得

证明 设任意三角形ABC，使AB边至少不小于其他两条边。为了使赫伦的论证清晰易懂，我们将他的证明分成三大部分。

第一部分 赫伦的第一步就令人非常震惊，因为他首先作了一个三角形的内接圆。他用三角形内心作为确定其面积的关键因素，大大出人预料，因为圆的性质与三角形这种直线图形的面积没有直观联系。尽管如此，我

　　现在，我们应用简单的三角形面积公式，得到：

　　所以，K=面积（△ABC）=面积（△AOB）+面积（△BOC）+面积（△COA），或者，

　　我们看到，赫伦在三角形的面积K与其半周长s之间建立了联系。这说明我们的方向走对了，但后面还有许多事情要做。

第二部分 我们继续参照图5.6，并回想一下第一个初步命题，即利用三角形三个角的平分线作内接圆。因此，△ABC可以分解为三对全等三角形，即

　　△AOD≌△AOF，△BOD≌△BOE，和△COE≌△COF，

　　这三对全等三角形，每一对都是根据“角角边”全等定理确定的（欧几里得，命题I.26）。然后，将各部分相对应，我们得到

　　而∠AOD=∠AOF，∠BOD=∠BOE，和∠COE=∠COF

　　因而，赫伦的线段BG的长度等于三角形的半周长，虽然“成了直线”。

　　可以很容易地得出

　　总之，半周长s与s-a、s-b和s-c三个量都等于图中的线段。这也是富有启发性的结论，因为这些量都是我们所求证公式的组成部分。赫伦剩下的工作就是要把这些“零件”组合成一个完整的证明。

第三部分 我们仍然设△ABC及其内接圆，但我们现在需要一个延伸图，以说明赫伦的推理过程（图5.7）。他先作OL垂直于OB，并交AB于K，然后作AM垂直于AB，交OL于H，最后，连接BH。

　　由此形成的四边形AHBO，我们应该很熟悉。根据命题4，它实际上是一个联圆四边形；并且，根据命题5，我们知道，四边形的对角和等于两个直角。即，

　　∠AHB+∠AOB=两个直角

　　现在，我们来看围绕内心O的各角。根据第二部分的全等，这些角可以分解为三对相等角，所以，

　　2α+2β+2γ=四个直角 或等于

　　α+β+γ=两个直角

　　但是， β+γ=∠AOB，因此，α+∠AOB=两个直角=∠AHB+∠AOB。所以，α=∠AHB，这一点似乎是细枝末节，但在以下的推论中，将十分重要。

　　因为∠CFO与∠BAH都是直角，而且，根据上述推理α=∠AHB，所以，赫伦推断△COF与△BHA相似。据此，我们可以推出比例

　　等式，并称之为（*）。

　　赫伦还注意到，由于∠KAH与∠KDO都是直角，且对顶角∠AKH与∠DKO相等，因而，△KAH与△KDO也相似，并据此得出：

　　将这一等式的最后结果与上述等式（*）合在一起，就得出了一个重要等式，我们称之为（**）。

　　至此，读者难免会对这位数学家在这些无休无止的相似三角形中漫无目的地遨游感到不解。这种感觉到下一步时依然不会消失，因为赫伦在下一步又证明出了另外一对相似三角形。

△KDO与△ODB相似，因此，

　　现在，赫伦在等式（**）的两边分别加1，得

　　化为公分母，成为

　　然成立，得

　　最后，赫伦将这大量“零件”组合，迅速而巧妙地达成他所求证的结论。我们只需注意到，这最后一个等式的组成部分恰恰是第二部分所推导出的线段。将第二部分的结果代入，便得到

　　r²s²＝(s-c)(s)(s-a)(s-b）=s(s-a)(s-b)(s-c)

　　=[(b+c)²-a²][a²-(b-c)²]

　　=a²(b+c)²-(b+c)²(b-c)²-a⁴+a²(b-c)²

　　简化为 2a²b²+2a²c²+2b²c²-(a⁴+b⁴+c⁴)。

　　4b²c²=2a²b²+2a²c²+2b²c²-(a⁴+b⁴+c⁴)

　　(b⁴+2b²c²+c⁴)-2a²b²-2a²c²+a⁴=0 或简化为

　　(b²+c²)²-2a²（b²+c²）+a⁴=0或再简化为

　　[(b²+c²)-a²]²=0

　　从这一长串演算中，最后，我们可以得出(b²+c²)-a²=0，并可以化为我们所熟悉的形式 a²=b²+c²。这样，赫伦的公式就为我们提供了另一个毕达哥拉斯定理的证明。当然，这个证明极其复杂，很像从波士顿绕道斯波坎到纽约，似乎有点儿不必要。尽管如此，能够从赫伦古怪公式中发现对毕达哥拉斯定理的证明，虽然是间接的，毕竟值得注意。

　　在最重要的阿拉伯数学家中，有一位数学家名叫穆罕默德·伊本·穆萨，胡瓦里兹米（公元约825年），他借鉴东西方的数学成就——包括印度数学家婆罗摩笈多和我们所知的古希腊数学家，写出了一篇非常有影响的论代数和算术的论文。在这篇论文中，胡瓦里兹米不仅阐明了线性方程（一次方程）的解法，还阐明了曲线方程（二次方程）的解法。对于二次方程ax²+bx+c=0来说，其解为