|

楼主 |
发表于 2021-8-19 20:25
|
显示全部楼层
03 欧几里得与《原本》
如果说,亚里士多德的《诗学》认定艺术的本性是摹仿,是对人类生活的三维空间的形象仿制。那么,我们完全可以这么说,比他稍晚的欧几里得的《原本》是对同一个三维空间的抽象仿制。有关数学家欧几里得,无人知道他确切的生卒年,他出生、长大和去世、安葬的地方④,他以一部《原本》扬名后世。在19世纪以前,欧几里得是几何学的代名词,有一个流行的说法,《原本》的总印数仅次于《圣经》,欧几里得也被视为所有纯粹数学家中对世界历史的进程最有影响力的一位。
19世纪的欧几里得塑像。现藏于牛津大学博物馆
现在我们知道,大约在公元前300年前后,欧几里得作为数学家,活跃于地中海边古希腊的文化和科教中心亚历山大,其时为托勒密王朝的都城,如今的埃及第二大城市。这表明,欧几里得生活的年代,比亚里士多德晚,但比另一位大数学家阿基米德早。主要依据是两部著作,一部是柏拉图学园晚期的导师普罗克洛斯的《几何学发展概要》(约450年,简称《概要》),这是他为《原本》写的注释。另一本是4世纪数学家帕波斯的《数学汇编》(简称《汇编》)。
《概要》中指出,欧几里得是托勒密一世(Ptolemy I,约公元前367-前282,前323-前285在位)时代的人,早年求学于雅典,深谙柏拉图的学说。他的《原本》引用了欧多克索斯等多位柏拉图学派人物的成果,他本人也是柏拉图学派的成员。书中还有提及,阿基米德的著作也引用过《原本》里的命题。《原本》建立了公设和公理,这一点明显受到亚里士多德逻辑思想的影响。《汇编》中则记载,圆锥曲线的集大成者阿波罗尼奥斯(Apollonius of Perga,约公元前262~190年)曾长期居住在亚历山大,与欧几里得的学生们相熟。
《概要》记述了一则轶事:国王托勒密问欧几里得,除了《原本》以外,还有无其他学习几何的捷径,欧几里得回答:“几何学中没有王者之路。”这句话后来被推广为“求知无坦途”。5世纪的编者斯托比亚斯也记载了欧几里得的一则轶事:当有一个新来的学生问,学习几何学将来能得到什么时,欧几里得没有正面回答,而是让奴仆给了他一个便士,然后说,“因为他总想着从学习中捞到好处”。由此可见,欧几里得要求学生循序渐进,反对投机取巧和功利的实用主义。
欧几里得的《原本》是一部划时代的著作,从它诞生的年代流传至今,对人类文明的进步有着持续的重大影响。《原本》的历史意义在于它是一部用公理方法建立起来的逻辑演绎的第一个典范,之前所累积的数学知识是片段零碎的,好比砖瓦和木石,欧几里得借助逻辑方法,把这些知识整理组合起来,使之处于一个严密的系统之中,建成了一座巍峨的大厦。可以这么说,欧几里得是数学领域最杰出的建筑师。
从泰勒斯到欧几里得,希腊数学经历了三个世纪的发展历史。从爱奥尼亚学派开启几何论证到毕达哥拉斯学派从具体的事物中提炼出抽象的数,为《原本》的诞生提供了材料和基石。波希战争以后,雅典成为文化中心,那里的智人学派提出几何作图的三大问题、用直尺和圆规的规则,成为欧氏几何的金科玉律。安蒂丰的“穷竭法”,尝试解决“化圆为方”问题,孕育了近代极限论思想。而德谟克利特用原子法推导出:锥体体积是同底等高柱体的三分之一,则成为《原本》重要的计算方法。
值得一提的是,在欧几里得之前约一个世纪,希波克拉底(Hippocrates of Chios,活动时期约前460)就曾写过一部几何原理的著作,它可能是《原本》的雏形,可惜没有流传下来。这个希波克拉底比同名的“医学之父”略早,出生在小亚细亚海岸的希俄斯岛,该岛位于萨摩斯岛的西北。传说他是个商人,因为货物被海盗抢劫,到雅典去控告,没能收回自己的财物。结果他留在雅典,听数学演讲,最后竟然能依靠教授几何为生。而亚里士多德有不同的说法,认为他是被拜占庭的税务官给骗了。希波克拉底发现并利用泰勒斯定理和毕达哥拉斯定理证明了“月牙定理”:半圆上的直角三角形,两条直角边形成的弓形(lune AC和lune CB)的面积之和等于三角形面积。⑤
月牙定理的证明
对《原本》影响最大的,要数柏拉图学派。柏拉图非常重视数学,特别强调终极实在的抽象本性和数学对于训练哲学思维的重要性,他的弟子欧多克索斯用公理法建立比例理论,《原本》第5卷大多取自他的工作。欧多克索斯还把安蒂丰的穷竭法加以改进,首次用于数学证明,使之成为《原本》的重要论证方法。而亚里士多德创立的形式逻辑,则为欧氏几何的严密体系创造了必要条件。值得一提的是,我国魏晋时代的数学家刘徽创立的“割圆术”也是一种穷竭法,只不过安蒂丰始于正方形,而刘徽则是从正六边形开始的。
当然,《原本》也有着时代的局限性。例如,早在公元前5世纪,意大利南部伊利亚学派的芝诺(Zero of Elea,约前490-约前425,伯利克里是他的学生)便提出了多个著名的悖论,其证明用到了归谬法,迫使那时和后来的数学家、哲学家开始思考无穷问题。这一点《原本》中有所体现,但多多少少回避了。例如,第一卷公设三,明明线段可以“无限”延长,却要说线段可以“任意”延长;又如第四卷命题二十,明明是证明了“素数有无穷多”,却要写成“素数的个数比任意给定的数目都多”。
《原本》共十五卷。前六卷讲几何,接下来四卷是数论的内容,但用几何的方式叙述,最后五卷仍然讲几何。第一卷首先给出了23个定义,开头两个不同凡响:点是没有部分的(A point is that which has no part);线只有长度而没有宽度(A line is breadthless length)。之后,是有关平面、直角、垂直、锐角、钝角、平行线等的定义。定义之后是五个公设,前四个分别是:
从任意一点到另一点可作一直线;
线段可以任意延长;
以任意中心、任意半径可作一圆(以上是欧几里得作图法);
凡直角皆相等。
若一直线与两直线相交,所构成的同旁内角小于两直角,那么,把这两直线延长,一定在那两内角的一侧相交。
第五公设的叙述有些繁琐和费解,但却最为著名,直到两千多年以后,18世纪的苏格兰数学家普莱费尔(Playfair,1748-1819)才给出今天我们熟知的简洁形式(普莱费尔公设):
过直线外一点,可以作且仅能作唯一的一条平行线。
公设之后是公理,也是五个,其中前两个为:
等于同量的量彼此相等;
整体大于局部。
之后各卷,再也没有公设或公理,而只有命题,每卷均有几十个。卷一有48个命题,现在看起来比较初等。比如第5命题说的正是古希腊人老生常谈的话题:等腰三角形两个底角相等,且它们的外角也相等。那时欧洲的数学水平确实也很低,第5命题居然被认为是“驴桥”,意思是“笨蛋的难关”。
卷二要深一些,其中命题5是一元二次方程的求解,基本上给出了如今中学里的公式解,其等价形式可以导出下列勾股数组:
其中n可为任意正整数。依照普罗克洛斯的说法,这一数组是毕达哥拉斯给出的。他同时指出,柏拉图给出了另一数组,即
命题13是如今中学里熟知的余弦定理
不过,欧几里得是用几何方法描述余弦定理的,并没有出现三角函数。
早在8世纪末,《原本》就由巴格达阿拔斯王朝第五代哈里发拉希德时期的学者译成阿拉伯文,它的第一个完整的拉丁文版本大约在1120年由英国经验哲学家阿德拉德(Adelard of Bath, 约1116~1142)从阿拉伯文译出,第一个完整的英译本是苏格兰商人比林斯利爵士(Henry Billingsley, -1606)由希腊文原文在1570年译出,他做过伦敦市长。
1808年,称雄欧洲、酷爱数学的法国人拿破仑在梵蒂冈图书馆找到一些希腊文数学手稿,将它们带回到巴黎。其中就有欧几里得两种著作的手抄本,包括《原本》。几年以后,《原本》的希腊文、拉丁文和法文版在法国同时出版了,它们被称为梵蒂冈本,是公认最接近于原著的版本。
利玛窦与徐光启
《原本》最早的中文版是在1607年在北京出版的,由意大利传教士利玛窦(Matteo Ricci,1552-1610)和明代学者徐光启(1562-1633)合作翻译,卷首并排写着“泰西利玛窦口译”、“吴淞徐光启笔受”。这也是中国近代翻译西方数学典籍的开始,从此开启了中西学术交流的大门。
他们所依据的是德国人克拉维乌斯(Christoph Clavius,1537-1612)的拉丁文增订版,两人只译了前六卷,并起名《几何原本》。出版不久,徐光启父亲去世,他扶柩南归,丁忧三年。1610年,徐光启回京复职,利玛窦已不幸病逝。直到250年以后,才由英国传教士伟烈亚力(Alexander Wylie,1815-1887)和清代数学家李善兰(1811-1882)合作译完《原本》并在上海出版。
在19世纪非欧几何学诞生以前,《原本》一直是几何的推理、定理和方法的主要源泉。它也是现代科学产生的一个重要因素,其完整的演绎推理结构甚至给思想家们带来灵感。可以说,《原本》既是对现实世界的仿制,也为这类仿制提供了必要的工具。
从某种意义上讲,这类仿制就是亚里士多德在《诗学》里谈到的摹仿说。可以这么说,几乎是在同一时期,古希腊以相似的方式诞生了作为数学和艺术最高理论结晶的《原本》和《诗学》。而到了文艺复兴时期,绘画的方法和实践已离不开欧几里得几何学,其中最为突出的是透视原理和没影点。图片
吴文俊先生早年为《数学与艺术》一书亲笔撰写的推荐信(局部)。
附注:
①分析法是把复杂的事物或现象分解成若干简单的组成部分,分别进行研究的方法。分析法是综合法的对称,后者是把各个组成部分、各个方面和各种因素联系起来,从总体上认识和把握事物或现象的方法。
②归谬法是反证法的一种形式。用反证法证时,如果命题只出现一种情况,那只需将它驳倒就可以,这种反证法叫“归谬法”。如果有多种情况,那必需将它们一一驳倒,才能证明命题成立,这种反证法叫“穷举法”。
③倍立方体是所谓古希腊三大几何问题之一,另外两个问题是化圆为方、三等分角,都要求只用直尺和圆规作图。直到19世纪,随着伽罗华理论出现和林德曼证明是超越数以后,数学家们才弄清楚,这三个问题实际上是不可解的。
④存在一种混淆,就是比欧几里得早一个世纪的数学家兼哲学家欧克莱德斯(Eucleides of Megara),他是苏格拉底的学生、柏拉图《泰阿泰德篇》的对话者之一,Megara(麦加拉)是雅典西边的城市。
⑤首先,由泰勒斯定理,半圆上的圆周角是直角;其次,由毕达哥拉斯定理;再由圆或半圆的面积计算公式,以AC和CB为直径的半圆面积之和等于以AB为直径的半圆面积;然后分别减去两个公共的圆弧面积之和,即证得月牙定理。
作者简介
蔡天新
浙江大学数学学院教授、博士生导师、求是特聘学者,近作有《小回忆》增订版、《我的大学》(修订版)、《26城记》、《数学与艺术》、《经典数论的现代导引》(中、英文版)、《完美数与契波那契序列》(即出),主编《地铁之诗》、《高铁之诗》。 |
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?注册
x
|