初中数学八上：全等三角形与几何公理法简介.pdfVIP

几何公理法简介

欧几里得是古希腊最的一位几何学家．他是派的学生，曾在埃及的亚历山

大城教过数学，并且是希腊的亚历山大学派的创始人．

欧几里得在他的千古不朽的名著《几何原本》（以后简称为《原本》）中，不仅非常详

尽地搜集了当时人们所知道的一切几何学方面的资料，而且还把这些非常分散的知识用逻辑

推理的方法，编排成为一个系统的．他把几何学依照亚里斯多德所说的严密科学理

论的要求建筑在几个最初的假设（定义、公设、公理）上，由这些假设利用逻辑推理导出后

面的一切定理．不仅如此，欧几里得还示范式地规定了几何证明的方法，主要是分析法、综

合法和归谬法．因此，欧几里得的《原本》不但在完善和充实上大超过了在它以前的所

有几何学著作，并且在以后的两千余依然没有一部几何著作可以和它比美．虽然十九世

纪二十年代，的数学家尼·伊·切夫斯基（1792～1856年）有了新的发现，

使几何学发生了，但直到现在，中学几何中的叙述方法，仍与《原本》没有多大

的实质性的差别．

欧几里得《原本》的基本结构是定义、公设和公理的系统．《原本》共有十三卷，其中

1、2、3、4、6、11、12、13卷属于几何本身，其余则讲比例（用几何方式来叙述）和算术

（属代数学的内容）．第一卷，包括三角形全等的条件、三角形的边角关系、平行线的理论

以及三角形、多边形面积相等的理论．第二卷，叙述了如何把多边形变成等积的正方形．第

三卷，叙述了圆的性质．第四卷，讨论了圆的内接和外切多边形．第六卷，论述了相似多边

形．在最后三卷中，叙述了立体几何的理论．

《原本》的每卷里，首先给要建立相互关系的一些重要概念下了定义．例如在第一卷

里，首先列举了23个定义．为便于以后分析研究，在这里我们摘引最先的八个．

定义：

1.点是没有部分的．

2.线是有长度而没有宽度的．

3.线的界限是点．

4.直线是这样的线，它上面的点是一样放置着的．

5.面是只有长度和宽度的．

6.面的界限是线．

7.平面是这样的面，它上面的直线是一样放置着的．

8.平面上的角度是平面上的两条相交直线相互的倾斜

度．在定义以后，欧几里得引进了公设和公理．

公设：

1.从任一点到另一点可以引直线．

2.每条直线都可以无限延长．

3.以任意点作可以用任意半径作圆周．

4.所有的直角都相等．

5.平面上两直线被第三条直线所截，若截线一侧的两内角之和小于二直角，

则两直线必相交于截线的这一侧．

公理：

1.等于同一量的量彼此相等．

2.等量加等量得到等量．

3.等量减等量得到等量．

4.不等量加等量得到不等量．

5.等量的两倍相等．

6.等量的一半相等．

7.能合同的量相等．

8.全体大于部分．

在公理后面，欧几里得按逻辑关系叙述了几何定理，把它们按一定的顺序，排成使得

每个定理可以根据前面题、公设和定理来证明．他整理几何所用的方法是正确的，编著

的《原本》是的，但由于的局限性，欧几里得不可能把作为几何根基的基础整理得

完美无缺．因此在《原本》的逻辑系统中显示出许多来．

首先在概念方面，欧几里得要给他的书里所遇到的所有概念来下定义，实际上这是不可

能的．例如“点”“线”“面”就是不能下定义的原始概念．所以，在欧几里得的《原本》里，

除了一些有价值的定义外，也有一些定义并没有起定义的作用．例如定义4，直线是关于它上

面的点都一样放置着的线，这句话可随便解释．可以解释为直线在它的所有点处都有同一方

向，但是这样以来，就必须建立“方向”这个概念；也可以解释为，任何直线都可以合同，但是

这样以来就必须建立“合同”（或“叠合”“”）这个概念．其他如定义1，“点是没有部分

的”，这个定义本身并没有什么精确的几何内容，所以在《原本》中连欧几里得都不能应用这

样的定义．

关于《原本》中列举的公设和公理，若严格按逻辑要求来证明以后的所有定理，这些公

设与公理是不够的．例如，虽然欧几里得用到了连续性，