经典的经典：《几何原本》

【编者按：西方的科技源于数学，从数到几何再到力学，《几何原本》对科技发展的作用不亚于《易》对东方思想形成的作用，尤其是公理形式化系统中，它唤醒了混沌幽暗的世界……】

《几何原本》是古希腊数学家欧几里得创作的一部数学著作，成书于公元前300年左右。

《几何原本》共13卷，其中：第1卷用23个定义提出了点、线、面、圆和平行线的原始概念，提出了5个公设和5个公理，进一步研究了三角形全等的条件、三角形边和角的大小关系、平行线的理论、三角形和多角形等积的条件；第2卷研究多边形的等积问题；第3、4卷分别讨论了圆的问题及圆的内接和外切多边形；第5卷详细探讨了关于量的比例的理论；第6卷为相似多边形的理论；第7、8、9卷为数论，共100个命题；第10卷共115个命题，讨论了线段的加、减、乘以及开方运算，对所得之特殊线段命了名，并讨论了这些特殊线段之间的关系；第11、12、13卷主要是立体几何的内容。

《几何原本》总结了前人的几何知识和研究成果，用公理法建立起演绎的数学体系的最早典范，标志着几何知识从零散、片断的经验形态转变为完整的逻辑体系，深刻影响到后世数学的发展，采用的演绎结构被移植到其它学科后也同样促进了这些学科的发展，但因受时代限制而存在部分证明有遗漏和错误、基础部分不够严密等明显的不足。

创作背景

公元前8至公元前6世纪，在小亚细亚地区，希腊移民建立了一群经济上繁荣富裕的工商业城市，发展出了希腊城邦制度。希腊人凭借地理上的优势，大力发展海上贸易，广泛吸收先进的古埃及和古巴比伦的文化，成为古希腊文明的中心，培育出了公元前6世纪以后的小亚细亚诸城邦的一批思想家和学者，小亚细亚、尤其爱奥尼亚成了古希腊自然哲学和科学的故乡。希波战争以后，雅典取得了希腊城邦的领导地位，海上贸易更加发达。经济生活更加繁荣，古希腊文明中心由小亚细亚移向希腊本土雅典，此时，希腊民主城邦制度逐步走向全盛时代。“各城邦实行独立的主权在民和直接民主制度，即城邦的政治主权属于它的公民，公民们直接参与城邦的管理。”“在这种制度下，凡享有政治权利的公民的各项决议无论在寡头、贵族或民主政体中总是最后的裁断，具有最高的权威”，这种“民主生活又使得议会、陪审法庭和公民大会成为说话的艺术即雄辩术的广阔的用武之地。雄辩术可以使一个普通的公民成为民众的领袖”。在这种环境下，雅典学术气氛十分活跃，雅典公民在公开的政治生活中获得广泛的知识，希腊世界各地的知识分子也群趋雅典，希腊哲学、艺术、文化科学等各方面呈现出百花齐放、各炫异彩的空前盛况。马其顿王亚历山大的帝国崩溃以后，作为东西海陆交通枢纽的埃及的亚历山大里亚逐渐成为古希腊文化中心。其时，托勒密一世重视科学文化，在那里修建科学中心。修建博物园，建立图书馆，藏书70余万卷，几乎包括所有古希腊的著作和东方的一部分典籍，还把当时所有学术中心的许多学者请到亚历山大里亚，欧几里得就是在公元前300年左右受邀到那里从事教学和研究的。数学在一个自由的学术气氛中最能获得成功，而希腊的民主城邦制度则提供了这种自由的学术环境，在那里古希腊人创立了思辩的哲学，发展和积累了丰富的自然科学和数学知识，《几何原本》就是在这样的环境中诞生的。

大约在公元前300年，欧几里得比较系统地总结了古代劳动人民长期积累的几何知识，把人们公认的一些事例归纳成定义和公理，用它来研究图形的性质，写成了《几何原本》一书。

作品思想

公理化思想

公理化方法的建立具有分析、归纳和总结数学知识的作用，能把分散的、杂乱的、支离片段的几何知识整理成为一门完整的、严密的、系统的科学体系。在一个数学理论体系中，尽可能少地选取原始概念和不加证明的一组公理，以此为出发点，利用纯逻辑推理的规则，把该理论体系建立成一个演绎系统，这样一种构建理论体系的思想就是公理化思想。《几何原本》即从少数几个公理出发，由简到繁地推演出460多个命题，建立起人类史上第一个完整的公理演绎体系。

首先，《几何原本》系统使用公理化方法。书中从定义、公设、公理出发，按逻辑规则勾织了一张命题之网，锤炼出了严密的公理化演绎系统，建立了几何学的逻辑体系。为数很少的初始原则几乎无一例外具有自明性，但却能演绎出极其丰富可靠的命题。

其次，《几何原本》构建了完整的几何体系。欧几里得总结了前人积累的成果，使零散的数学知识编织成一个完整的几何体系，又通过对早期柏拉图数学思想，尤其是几何论系统的周详研究，敏锐观察到了几何学理论发展的趋势，把欧多克索斯的许多定理收入《几何原本》，并完善了前人的证明，给出了无懈可击的论证。

最后，《几何原本》发展了数学思想方法。欧几里得为几何证明提供了规范，书中许多证明是他自己独创的，表现了很高的技巧。书中的证明方法主要有综合法、分析法和反证法、几何代数法，既用几何代数法叙述了比例论，巧妙地解决了很多经典问题；又广泛使用了穷竭法，使这一数学方法得到发展，而从中可以看到微积分的思想方法的雏形；还论证命题的过程中使用了辗转相除法，给出了两个正整数的最大公因数。

作品影响

数学方面

首先，《几何原本》建立了比较严密的几何体系，其诞生标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科，在几何学发展史上具有划时代的意义。在这个体系中有四个方面的内容：①定义。亦即几何学里用的名称或术语的意义，都是以生产实践中抽象出来且为人们所共知的，因而无需加以说明。例如“点”的定义是：点只有位置而没有大小，且不能被分割。②公理。亦即不加逻辑推证而自明的真理。③公设。就是几何学中假设其成立的事项，但这种假设必须有客观依据而被大家公认。例如，过任何不同的两点，可以作一条直线。近代的学者不再把公设与公理分开，而统称之为公理。④命题。包括作图题和定理两部分。作图题是从几何学里已知的对象出发，找出或作出所要求的对象；定理则是根据假定、公理、公设和定义，应用逻辑推理方法推证而得出的结论。全书就是以第1卷的定义、公设、公理为依据，逻辑地展开各部分内容。比如之后出现的每一个定理，都写明什么是已知的、什么是要求证的，都根据前面的定义、公设、公理、定理等进行逻辑推理给予严格的证明。

其次，欧几里得在《几何原本》中把几何学建筑在最初的公设、公理的基础上，然后运用逻辑的定义和推理方法依次导出后面的定义和定理，把庞大的零散的几何知识用逻辑的链子整理和编织成为一个系统的概念和理论的完整体系，并规定了几何的证明方法（如分析法、综合法和归纳法等），这是用公理方法建立几何体系的雏形，对近代数学的发展有着巨大的推动作用，给现代几何学打下了坚实的基础。

最后，欧几里得的第五公设在数学史上占有特殊的地位。后世的数学家注意到，与论述直线和圆的基本性质的前四条公设相比，第五公设的性质显得太复杂了，更像一条定理而不是公设。因此人们开始怀疑第五公设作为公理的地位，并探索用其它公理来证明它，从而使之变成为一条定理。在两千余年中，进行这种求索试探并有案可查的就达2000人以上，其中包括许多知名的数学家。虽然，所有这一切几乎都失败了，但是，由于数学家们对欧几里得第五公设的怀疑、探索，并在这些失败教训中，引出了许多与欧几里得几何不同的几何，诞生了一种崭新的几何学体系——非欧几何学。

一开始欧几里德就开门见山地给出了23个定义，5个公设，5个公理。其实他说的公设就是我们后来所说的公理，他的公理是一些计算和证明用到的方法（如公理1：等于同一个量的量相等，公理5：整体大于局部等）他给出的5个公设倒是和几何学非常紧密的，也就是后来我们教科书中的公理。分别是：

公设1：任意一点到另外任意一点可以画直线

公设2：一条有限线段可以继续延长

公设3：以任意点为心及任意的距离可以画圆

公设4：凡直角都彼此相等

公设5：同平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于二直角的和，则这二直线经无限延长后在这一侧相交。

教育方面

欧几里得《几何原本》系统地整理并记载了长时期以来人们在生活实践中所积累的丰富的几何知识以及较严密的逻辑结构，因此，尽管科学技术的发展日新月异，但是《几何原本》一直是传播几何知识和培养逻辑思维能力的较好的教材，对数学教育起着重要的作用，历史上诸多科学家从中得到益处，从而作出了伟大的贡献。例如牛顿、爱因斯坦。其中，牛顿在公元1664年4月一次奖学金考试中落选，当时的考官巴罗博士对他说：“因为你的几何基础知识太贫乏，无论怎样用功也是不行的。”此后，牛顿把《几何原本》从头到尾反复地进行深入钻研，在少年时代打下了坚实的数学基础，后来成为数学、物理学的卓越科学家。

哲学方面

首先，大凡是具有科学哲学倾向的哲学家和百科全书式的哲学家，都受过《几何原本》的深刻影响：或者从接触到它而转向研究哲学；或者从中得到基本的逻辑训练，形成了一个注重和善于逻辑思维的大脑；或者从中吸取思想养料，并把它转化成哲学材料；或者受到它的公理化体系和演绎方法的启示，为构造各自的哲学大厦得到框架和建构方法。诸如霍布斯、笛卡尔、斯宾诺莎、莱布尼茨、狄德罗等。

其次，《几何原本》的公理化体系成为许多派别的哲学家构筑哲学理论体系的框架。不论是唯物派哲学家，还是唯心派哲学家，不论是经验派哲学家，还是唯理派哲学家，都对这种公理化的体系大加推崇，把它用到构筑自己的哲学体系中来，这几乎已经成为全部欧洲近代哲学的传统。

最后，《几何原本》引发了深刻的认识论问题。两千多年来，人们对《几何原本》的绝大多数公理和用于推导逻辑程序是深信不疑的，认为它们具有普遍必然性。至于这种公理和逻辑程序的普遍必然性是从何而来的，许许多多的哲学家对此进行了持续不断的研究和探索，在哲学史上形成了一个答案各异、观点迭出、派别林立的异采纷呈的局面。有的哲学家认为，它来自经验归纳；有的哲学家认为，它来自“天赋观念”；有的哲学家则认为，它既不来自先天分析，又不来自后天综合，而是来自先入、综合；等等。只有马克思主义的唯物论的反映论才唯一正确地回答了这一深刻的认识论问题：无论是《几何原本》的公理，还是《几何原本》的用于推导的逻辑程序，都只能来自人们的社会实践，特别是用于改造自然的生产实践。但马克思主义的回答是为研究这一问题确定了正确的原则和方向，并不意味着结束对这一问题的研究。