几何学发展的概述.docVIP

第一部分 几何学发展概述 第一章 几何学发展简史 几何学是数学中最古老的一门分科。最初的几何知识是从人们对形的直觉中萌发出来的。史前人大概首先是从自然界本身提取几何形式，并且在器皿制作、建筑设计及绘画装饰中加以再现。图1-1所示图片显示了早期人类的几何兴趣，不止是对圆、三角形、正方形等一系列几何形状的认识，而且还有对全等、相似、对称等几何性质的运用。 根据古希腊学者希罗多德的研究，几何学起源于古埃及尼罗河泛滥后为整修土地而产生的测量法，它的外国语名称geometry就是由geo（土地）与metry（测量）组成的。古埃及有专门人员负责测量事务，这些人被称为“司绳”。古代印度几何学的起源则与宗教实践密切相关，公元前8世纪至5世纪形成的所谓“绳法经”，就是关于祭坛与寺庙建造中的几何问题及求解法则的记载。中国最早的数学经典《周髀算经》事实上是一部讨论西周初年天文测量中所用数学方法的著作，其中第一章叙述了西周开国时期（约公元前1000年）周公姬旦同商高的问答，讨论用矩测量的方法，得出了著名的勾股定理，并举出了“勾三、股四、弦五”的例子。 古希腊数学家泰勒斯曾经利用两三角形的等同性质，做了间接的测量工作；毕达哥拉斯学派则以勾股定理等著名。在埃及产生的几何学传到希腊，然后逐步发展起来而变为理论的数学。哲学家柏拉图（公元前429～前348）对几何学做了深奥的探讨，确立起今天几何学中的定义、公设、公理、定理等概念，而且树立了哲学与数学中的分析法与综合法的概念。此外，梅内克缪斯（约公元前340）已经有了圆锥曲线的概念。 §1 欧几里得与《原本》 1.1 《原本》产生的历史背景 欧几里得《原本》是一部划时代的著作。其伟大的历史意义在于它是用公理法建立起演绎体系的最早典范。它的出现不是偶然的，在它之前，已有许多希腊学者做了大量的前驱工作。从泰勒斯算起，已有三百多年的历史。泰勒斯是希腊第一个哲学学派——伊奥尼亚学派的创建者。他力图摆脱宗教，从自然现象去寻找真理，对一切科学问题不仅回答“怎么样”？还要回答“为什么这样”？他对数学的最大贡献是开始了命题的证明，为建立几何的演绎体系迈出了可贵的第一步。 接着是毕达哥拉斯学派，用数来解释一切，将数学从具体的事物中抽象出来，建立自己的理论体系。他们发现了勾股定理，不可通约量，并知道五种正多面体的存在，这些后来都成为《原本》的重要内容。这个学派的另一特点是将算术和几何紧密联系起来，为《原本》中算术几何化提供了线索。 希波战争以后，雅典成为人文荟萃的中心。雅典的巧辩学派提出几何作图的三大问题：⑴三等分角；⑵倍立方体——求作一立方体，使其体积等于已知立方体体积的两倍；⑶化圆为方——求作一正方形，使其面积等于一已知圆。问题的难处是作图只许用直尺（没有刻度，只能画直线的尺）和圆规。希腊人的兴趣并不在于图形的实际作出，而是在尺规的限制下从理论上去解决这些问题。这是几何学从实际应用向演绎体系靠拢的又一步。作图只能用尺规的限制最先是伊诺皮迪斯提出的，后来《原本》用公设的形式规定下来，于是成为希腊几何的金科玉律。 巧辩学派的安提丰为了解决化圆为方问题，提出颇有价值的“穷竭法”，孕育着近代极限论的思想。后来经过欧多克斯的改进，使其严格化，成为《原本》中的重要证明方法。埃利亚学派的芝诺提出四个著名的悖论，迫使哲学家和数学家深入思考无穷的问题。无穷历来是争论的焦点，在《原本》中，欧几里得实际上是回避了这一矛盾。例如第Ⅸ卷20命题说：“素数的个数比任意给定的素数都多。”而不用我们现在更简单的说法：素数无穷多。只说直线是可任意延长而不是无限长。 原子论学派的德谟克利特用原子法得到的结论：锥体体积是同底等高柱体的，后来也是《原本》中的重要命题。 柏拉图学派的思想对欧几里得无疑产生过深刻的影响，欧几里得早年大概就是这个学派的成员。柏拉图非常重视数学，特别强调数学在训练智力方面的作用，而忽视其实用价值。他主动通过几何的学习培养逻辑思维能力，因而几何能给人以强烈的直观印象，将抽象的逻辑规律体现在具体的图形之中。这个学派的重要人物欧多克斯创立了比例论，用公理法建立理论，使得比例也适用于不可通约量。《原本》第Ⅴ卷比例论大部分采自欧多克斯的工作。 柏拉图的门徒亚里士多德是形式逻辑的奠基者，他的逻辑思想为日后将几何整理在严密的体系之中创造了必要的条件。 到公元前4世纪，希腊几何学已经积累了大量的知识，逻辑理论也渐臻成熟，由来已久的公理化思想更是大势所趋。这时，形成一个严密的几何结构已是“山雨欲来风满楼”了。 建筑师没有创造木石砖瓦，但利用现有的材料来建成大厦也是一项不平凡的创造。公理的选择，定义的给出，内容的编排，方法的运用以及命题的严格证明，都需要有高度的智慧并要付出巨大的劳动。从事这宏伟工程的并不是个别的学者，在欧几里得之前已有好几个数学家做过这种