第6章 几何公理法简介
6.2 欧几里得的《几何原本》
欧几里得是古希腊最伟大的一位几何学家.他是柏拉图派的学生,曾在埃及的亚历山大城教过数学,并且是希腊的亚历山大学派的创始人.
欧几里得在他的千古不朽的名著《几何原本》(以后简称为《原本》)中,不仅非常详尽地搜集了当时人们所知道的一切几何学方面的资料,而且还把这些非常分散的知识用逻辑推理的方法,把它们编排成为一个系统的理论体系.他把几何学,依照亚里斯多德所说的严密科学理论的要求建筑在几个最初的假设(定义、公设、公理)上,由这些假设利用逻辑推理导出后面的一切定理.不仅如此,欧几里得还示范式地规定了几何证明的方法,主要的是分析法、综合法和归谬法.因此,欧几里得的《原本》,不但在完善和充实上大大地超过了在它以前的所有几何学著作,并且在以后的两千余年间依然没有一部几何著作可以和它比美.虽然十九世纪二十年代,俄国伟大的数学家尼•伊•罗巴切夫斯基(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,“点是没有部分的”,这个定义本身并没有什么精确的几何内容,所以在《原本》中连欧几里得本人都不能应用这样的定义.
6.2 欧几里得的《几何原本》
欧几里得是古希腊最伟大的一位几何学家.他是柏拉图派的学生,曾在埃及的亚历山大城教过数学,并且是希腊的亚历山大学派的创始人.
欧几里得在他的千古不朽的名著《几何原本》(以后简称为《原本》)中,不仅非常详尽地搜集了当时人们所知道的一切几何学方面的资料,而且还把这些非常分散的知识用逻辑推理的方法,把它们编排成为一个系统的理论体系.他把几何学,依照亚里斯多德所说的严密科学理论的要求建筑在几个最初的假设(定义、公设、公理)上,由这些假设利用逻辑推理导出后面的一切定理.不仅如此,欧几里得还示范式地规定了几何证明的方法,主要的是分析法、综合法和归谬法.因此,欧几里得的《原本》,不但在完善和充实上大大地超过了在它以前的所有几何学著作,并且在以后的两千余年间依然没有一部几何著作可以和它比美.虽然十九世纪二十年代,俄国伟大的数学家尼•伊•罗巴切夫斯基(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,“点是没有部分的”,这个定义本身并没有什么精确的几何内容,所以在《原本》中连欧几里得本人都不能应用这样的定义.