简称“欧氏几何”。几何学的一门分科。公元前3世纪,古希腊数学家欧几里得把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。
欧氏几何的建立
欧氏几何是欧几里德几何学的简称,其创始人是公元前三世纪的古希腊伟大数学家欧几里德。在他以前,古希腊人已经积累了大量的几何知识,并开始用逻辑推理的方法去证明一些几何命题的结论。欧几里德这位伟大的几何建筑师在前人准备的“木石砖瓦”材料的基础上,天才般地按照逻辑系统把几何命题整理起来,建成了一座巍峨的几何大厦,完成了数学史上的光辉著作《几何原本》。这本书的问世,标志着欧氏几何学的建立。这部科学著作是发行最广而且使用时间最长的书。后又被译成多种文字,共有二千多种版本。它的问世是整个数学发展史上意义极其深远的大事,也是整个人类文明史上的里程碑。两千多年来,这部著作在几何教学中一直占据着统治地位,至今其地位也没有被动摇,包括我国在内的许多国家仍以它为基础作为几何教材。
一座不朽的丰碑
欧几里德将早期许多没有联系和未予严谨证明的定理加以整理,写下《几何原本》一书,使几何学变成为一座建立在逻辑推理基础上的不朽丰碑。这部划时代的著作共分13卷,465个命题。其中有八卷讲述几何学,包含了现在中学所学的平面几何和立体几何的内容。但《几何原本》的意义却绝不限于其内容的重要,或者其对定理出色的证明。真正重要的是欧几里德在书中创造的一种被称为公理化的方法。
在证明几何命题时,每一个命题总是从再前一个命题推导出来的,而前一个命题又是从再前一个命题推导出来的。我们不能这样无限地推导下去,应有一些命题作为起点。这些作为论证起点,具有自明性并被公认下来的命题称为公理,如同学们所学的“两点确定一条直线”等即是。同样对于概念来讲也有些不加定义的原始概念,如点、线等。在一个数学理论系统中,我们尽可能少地先取原始概念和不加证明的若干公理,以此为出发点,利用纯逻辑推理的方法,把该系统建立成一个演绎系统,这样的方法就是公理化方法。欧几里德采用的正是这种方法。他先摆出公理、公设、定义,然后有条不紊地由简单到复杂地证明一系列命题。他以公理、公设、定义为要素,作为已知,先证明了第一个命题。然后又以此为基础,来证明第二个命题,如此下去,证明了大量的命题。其论证之精彩,逻辑之周密,结构之严谨,令人叹为观止。零散的数学理论被他成功地编织为一个从基本假定到最复杂结论的系统。因而在数学发展史上,欧几里德被认为是成功而系统地应用公理化方法的第一人,他的工作被公认为是最早用公理法建立起演绎的数学体系的典范。正是从这层意义上,欧几里德的《几何原本》对数学的发展起到了巨大而深远的影响,在数学发展史上树立了一座不朽的丰碑。