《几何原本》的伟大历史意义在于,它是用公理法建立起演绎的数学体系的最早典范。在这部著作里,全部几何知识都是从最初的几个假设除法、运用逻辑推理的方法展开和叙述的。也就是说,从《几何原本》发表开始,几何才真正成为了一个有着比较严密的理论系统和科学方法的学科。
欧几里得的《几何原本》
欧几里得的《几何原本》共有十三卷,其中第一卷讲三角形全等的条件,三角形边和角的大小关系,平行线理论,三角形和多角形等积(面积相等)的条件;第二卷讲如何把三角形变成等积的正方形;第三卷讲圆;第四卷讨论内接和外切多边形;第六卷讲相似多边形理论;第五、第七、第八、第九、第十卷讲述比例和算术得里论;最后讲述立体几何的内容。
从这些内容可以看出,目前属于中学课程里的初等几何的主要内容已经完全包含在《几何原本》里了。因此长期以来,人们都认为《几何原本》是两千多年来传播几何知识的标准教科书。属于《几何原本》内容的几何学,人们把它叫做欧几里得几何学,或简称为欧式几何。
《几何原本》最主要的特色是建立了比较严格的几何体系,在这个体系中有四方面主要内容,定义、公理、公设、命题(包括作图和定理)。《几何原本》第一卷列有23个定义,5条公理,5条公设。(其中最后一条公设就是著名的平行公设,或者叫做第五公设。它引发了几何史上最著名的长达两千多年的关于“平行线理论”的讨论,并最终诞生了非欧几何。)
这些定义、公理、公设就是《几何原本》全书的基础。全书以这些定义、公理、公设为依据逻辑地展开他的各个部分的。比如后面出现的每一个定理都写明什么是已知、什么是求证。都要根据前面的定义、公理、定理进行逻辑推理给予仔细证明。
关于几何论证的方法,欧几里得提出了分析法、综合法和归谬法。所谓分析法就是先假设所要求的已经得到了,分析这时候成立的条件,由此达到证明的步骤;综合法是从以前证明过的事实开始,逐步的导出要证明的事项;归谬法是在保留命题的假设下,否定结论,从结论的反面出发,由此导出和已证明过的事实相矛盾或和已知条件相矛盾的结果,从而证实原来命题的结论是正确的,也称作反证法。
欧几里得《几何原本》的诞生在几何学发展的历史中具有重要意义。它标志着几何学已成为一个有着比较严密的理论系统和科学方法的学科。
从欧几里得发表《几何原本》到现在,已经过去了两千多年,尽管科学技术日新月异,但是欧几里得几何学仍旧是中学生学习数学基础知识的好教材。