1、欧氏几何的公理体系和我国平面几何课本的历史演变(一) 几何原本与几何基础我们都知道,两千多年前,古希腊的数学家欧几里得写了一本著名的书原本 。在古往今来的浩瀚书海中, 原本用各国文字出版的印数仅次于圣经而居世界第二位。我国最早的中译本是在明朝末年由外国传教士利玛窦与我国科学家徐光启翻译的,1607年出版,书名定为几何原本 。此后,我国出版的各种译本都沿袭这一名称叫做几何原本 。几何原本列出了五条公设与五条公理,并在各章的开头给出了一系列定义,然后根据这些定义,公理和公设推导出了 465 个数学命题, (按照目前通行的希思英译本Euclids Elements13 卷计算, 该书的中译本于 19
2、90 年出版) ,其系统之严谨,推理之严密,令人叹为观止。 几何原本的内容涉及初等数学的各个领域,包括代数,数论,平面几何,立体几何,甚至现代极限概念的雏形,但各部分的表述大都是从图形出发的。第一卷讲直线形,包括点、线、面、角的概念,三角形,两条直线的平行与垂直,勾股定理等;第二卷讲代数恒等式,如两项和的平方,黄金分割;第三卷讨论圆、弦、切线等与圆有关的图形;第四卷圆的内接和外切三角形,正方形,内接正多边形(5,10,15 边)的作图;第五卷比例论,取材于欧多克索斯(Eudoxus)的公理法,使之适用于一切可公度和不可公度的量;第六卷将比例论应用平面图形,研究相似形;第七八九卷是初等数论,其中
3、给出了辗转相除法,证明了素数有无穷多;第十卷篇幅最大,占全书的四分之一,主要讨论无理量,可以看作是现代极限概念的雏形;第十一卷讨论空间的直线与平面;第十二卷证明了圆面积的比等于直径的平方比,球体积的比等于直径的立方比,但没有给出比例常数;第十三卷详细研究了五种正多面体。欧几里得几何原本中的内容已在现代中等教育中分成了若干部分,分别归入平面几何,代数,三角,立体几何。初中平面几何的内容主要取材于几何原本的前六章,大致可以概括为点、线、面、角的概念,三角形,两条直线的位置关系(包括平行,垂直) ,四边形,圆,相似形,求图形的面积这样几个部分。在全书的开头列出的 5 个公设和五个公理如下。公理适用于
4、数学的各个领域:1. 等于同量的量彼此相等。2. 等量加等量,其和相等。3. 等量减等量,其差相等。4. 彼此能重合的物体是全等的。5. 整体大于部分。公设适用于几何部分:1. 由任意一点到任意(另)一点可作直线。2. 一条有限直线可以继续延长。3. 以任意点为心及任意距离可以画圆。4. 凡直角都相等。5. 同平面内一条直线和另外两条直线相交,若在某一侧的两个内角的和小于而直角,则这二直线经无限延长后在这一侧相交。当然,按照现代数学的公理化体系去衡量, 几何原本的公理体系不是很完备,比如对点、线、面等原始概念的定义不甚清晰,关联,顺序,运动,连续性等方面的公理还有待补充,个别公理欠独立性。一些
5、命题的证明基于公理 4 的几何直观,即:彼此能重合的物体是全等的。也就是说,一个平面图形可以不改变形状和大小从一个位置移动到另一个位置。这实际上是不加定义默认了平面的刚体运动。后者在现代数学中的严格定义是平面到自身的保持距离不变的一个映射。1899 年数学泰斗希尔伯特 Hilbert 出版了他的著作几何基础 ,并于 30 多年间不断地修正和精炼,于 1930 年出了第七版。 几何基础一书为欧几里得几何补充了完整的公理体系,给出了点、线、面、关联、顺序、合同这些原始概念的的准确定义。几何基础将公理体系分为下述五类。第一类叫做关联公理,由两点确定一条直线;一条直线上至少有两个点,至少有三个点不在一
6、条直线上,等 8 个公理组成。第二类叫做顺序公理,由下述四个公理组成。1. 设 A,B,C 是一条直线上的三点,如果 B 在 A,C 之间,则 B 也在 C, A 之间。 2. 已知 A, B 是直线上两点,则直线上至少有一点 C, 使得 B 在 A, C 之间。3. 一条直线的三点中,至少有一点在其它两点之间。4. 若直线 a 不经过三角形 ABC 的顶点,且与线段 AB 相交,则 a与 AC 或 BC 相交。由此可以证明(见几何基础第一章第 4 节定理 8):平面上的任意一条直线将该平面上其余的点分为两个区域,一个区域的每一点 A 和另一区域的每一点 B 所确定的线段 AB 内,必含有 a
7、 的一个点,而同一个区域的任意两点 A 和 A所确定的线段 AA内,不含有直线 a 的点。有了这个定理,我们才可以定义平面上直线 a 的同侧或异侧。我们还可以根据顺序公理的前三条,定义直线 a 上的一点 O 将直线分为两侧:设 A、A、O 和 B 是一直线 a 上的四点,若 O 不在点 A, A 之间,称 A, A 在 O 的同侧;若 O 在点 A, B 之间,称 A, B 在O 的异侧。因而直线上点 O 同侧的点的集合,叫做始于 O 点的一条射线。第三类是合同公理, (或全等公理) 。 1. 已知直线 a 及 a 上的线段 AB, 给出直线 a 及其上的点 A并指定 a上点 A的一侧。则在
8、a 上点 A的该侧存在点 B, 使 AB合同于(或等于)AB. 记作AB=AB. 2. 若 A B = AB, 且 AB=AB, 则 AB=AB. 3. 关于两条线段的相加。 4. 关于角的合同, (或相等) 。 5. 若两个三角形ABC 和A BC 有下列合同式:AB=AB,AC=AC,BAC=BAC,则ABC=ABC ,且 ACB= ACB. 并以此为根据,通过几何基础第一章第 5 节定理 28 建立了平面的刚体运动。为几何原本中“彼此能够叠合的物体是全等的”这一事实奠定了公理化基础。第四类中只有一个公理,即著名的平行公理:过直线外一点至多有一条直线与已知直线平行。与几何原本的叙述稍有不同
9、,后者的表述是:两条直线被第三条直线所截,若某一侧同旁内角之和小于两个直角,则两直线在该侧相交。第五类是连续公理,包括阿基米德度量公理和直线的完备性两条。(二)我国平面几何课本的历史演变几何原本作为教科书在西欧讲授有 1000 年以上的历史,我国最早的中译本是在 400 年前明朝末年出版。那个时代不太重视科学技术,包括当时称为算学的数学。虽然在明末清初,包括清朝康熙皇帝在内,出现过有一定数学水准的学者,但一般来讲,学习数学的人还是为数不多的。随着清朝末期英,美,法,德,日,俄等列强对我国的侵略,西方传教士大量进入中国。他们兴办了各类学堂,即新学,并编译了一些国外的数学教科书作为教材。与此同时,
10、清朝各级政府和留洋归国的有识之士亦陆续设立了各种新学,较著名的中学有王氏育才书塾,即后来的上海南洋中学,北京五城中学堂,即后来的北京师大附中。这一时期可以看作是我国数学教育的启蒙阶段。1902 年清朝政府正式颁布了钦定学堂章程,于 1905 年下诏“立停科举,以广学校” ,建立了初小 5 年,高小 4 年,中学 5 年的洋学制,并正式开始在中学讲授平面几何。由于日本十九世纪后半叶的明治维新运动对我国触动很大,当时所用课本大都为日本教材的中译本。数学教育逐步走上了正轨。辛亥革命后,1912 至 1922 年,民国政府教育部将学堂改为学校,算学改称数学, (这一称谓于三十年代在民间普及) ,学制改
11、为初小 4 年,高小 3 年,中学 4 年,教育部审定教学用书,平面几何教材逐步开始使用一些英译本,如美国人温德华氏几何学,和我国自己编的课本,数学教育的水平已大大提高。1922 年,民国政府教育部制定了课程纲要,学制改为小学 6年,初中 3 年,高中 3 年,平面几何在初中三年级与高中一年级讲授。 高中课程为升入大学进行准备,初中纲要已包括了平面几何的基本内容。从三十年代初直到五十年代初,我国很多初中使用 3S 平面几何作为教材,作者为美国的 Schultz-Sevenoak-Schuyler 三位姓氏以S 开头的数学工作者。这本书可以看作是 几何原本中平面几何部分的改写本,结合了中学生的接
12、受能力,体系严谨,语言平实。二战胜利后,经过修订又出了一套新 3S 平面几何,由上海中学余元庆老师等人翻译,一直沿用到 50 年代初。1949 年中华人民共和国成立,我们开始学习苏联。人民教育出版社于五十年代初期出版了自己编写的平面几何课本,主编者是已调到人民教育出版社工作的余元庆老师等,有多人参加编写。内容仍然类比着几何原本 。自六十年代初,我国的平面几何课本在内容的编排上有了一些变动,使用了较多的公理,并将平行线部分调到三角形的前面来讲。其中主要的公理有:1. 两点确定一条直线。2. 两点间直线段最短。3. 过直线外一点有且仅有一条直线与已知直线平行。4. 同位角相等,两直线平行。5. 过
13、直线外(或直线上)一点有且仅有一条直线与已知直线垂直。6. 三角形全等的判定: 边角边,角边角,边边边。据有关专家介绍,3S 平面几何强调了知识的从易到难,目前的几何课本则强调了图形的从简到繁。编写基础教育阶段的几何课本时,最基本的要求是:在保证前因后果的逻辑顺序的前提下,在论述难易上应由易到难,在图形结构上应由简到繁。 遇有命题的论证难以被学生接受,便把这个命题不加证明,暂作公理使用,使得课本中的公理扩大范围。 我国六十年代初至今的初中平面几何课本就是这样处理的。这一阶段的课本充分注意到了公理体系的严格性,也注意到了初中生的接受能力。为学生展现出一个完整的逻辑系统,是自成体系的,逻辑清晰的。
14、 课本逐年进行着改进和完善。1963,1964 年发行的课本已经相当不错。据说到 1966 年又有一套更好的课本准备出版使用,却由于文化大革命的到来而夭折了。改革开放以后,我们的平面几何课本有时加进视图,锐角三角函数(原高一年级三角课本的部分内容) ,直线和圆的方程(原高三年级解析几何的部分内容) 。上世纪六十年代至本世纪初,公理体系扩大化的程度以及视图等内容增添的程度随着政治形势的变化而时强时弱,其间有些课本亦编得相当精彩。据说每个定理的叙述,每个例题的选取,都是经过若干堂教学实践,反复推敲定稿的。(三) 几何原本证明点滴最近几个月,我浏览了自三十年代至今国内外的一些初中平面几何课本。在以讲
15、授平面几何的逻辑体系为宗旨的课本中,都注意到了体系的系统与完整。换言之,都能够自圆其说。我也读了一点几何原本和几何基础 ,我想对于中学教师或与编写中学课本有关的老师而言,了解一些欧几里得和希尔伯特的原始的证法也许是有益的。下面略举几例。三角形全等的判定“边角边”在欧式几何中是作为定理如下证明的(见几何原本第一卷命题 4) ,其中用到了平面图形可以不改变形状和大小从一个位置移动到另一个位置。已知: ABC 与 ABC 中,A= A,AB=AB, AC=AC.求证:B=B,C=C,且 BC=BC.证明:将 A 与 A 叠合, 使 B 落在射线 AB 上,C 落在射线 AC 上。则 AB=AB,AC
16、=AC 使得 B 落在 B 上,C 落在 C 上。根据两点确定一条直线这一公设,BC 与 BC 叠合。在希尔伯特的几何基础中,三角形全等的判定“边角边”基本上是作为公理给出来的。 合同公理的第 5 条中,只要再加上 BC=BC 就是三角形全等的判定“边角边” ,而 BC=BC 是可以证明的,且证明不难(见几何基础第一章第 6 节定理 11) 。如前所述,合同公理的第 5 条是用公理化方法建立平面刚体运动的重要依据(见几何基础第一章第 5 节定理 28) 。三角形全等的判定定理“边边边”在几何原本和几何基础中都是定理,我们可以用拼合法及等腰三角形的性质证明如下,而等腰三角形的两底角相等可以用三角
17、形全等的判定“边角边”得到。下述证法与原书略有不同。已知: 与 中 , , .ABC BACA求证: .证明:将 与 叠合,且使 与 位于 的异侧,连接 , , . , , ,BA1CA221即 ,由“边角边”得 。 (当然更详细CBCA地还需考虑 是直角或钝角的情况)在几何原本和几何基础中, “同位角相等,两直线平行”都是定理,证明方法也十分类似。平行公理只告诉我们过直线外一点至多有一条直线与已知直线平行,并没有说这样的直线是不是真的有,而“同位角相等两直线平行”保证了这样的直线一定有。如果把这件事情当作基本事实承认下来,就得到下面对平行公理的表述:过直线外一点有且只有一条直线与已知直线平行
18、。三角形外角定理对平行线存在性的证明至关重要:三角形的外角大于任一不相邻的内角(见几何原本第一卷命题 16, 几何基础第一章第 6 节定理 22) 。已知: ,求证: 的外角 .ABCACE证明:取 中点 ,连 延长于 ,使 BD=DF,则 点位于DBFF内。连 有 (边角边) ,这时EF(全体大于部分) 。AC11AB CDFE以上是欧几里得的证法,将射线 CF 位于ACE 内部当作了直观的事实。希尔伯特也把这一定理作为平行线存在性的准备,他的证明运用了反证法,避开了射线 CF 是否位于ACE 内部的问题。定义:同一平面内不相交的两条直线叫平行线。判定定理:同位角相等,两直线平行(几何原本第
19、一卷命题 27, 28, 几何基础第一章第 7 节定理 30) 。已知:直线 与直线 分别相交于 两点,同位角CDAB,lNM,.求证: .21证明:如果 相交于 ,则在 中,外角 ,与已,P21知矛盾,故 不相交, 。CDABABCD性质定理:两直线平行,同位角相等。 (几何原本第一卷命题 29, 几何基础第一章第 7 节定理 30) 。lABCDMN12 已知:直线 ,求证:同位角 .ABCD21证:若 ,过 与 的交点作直线 与 交成 ,使21l BAl1,则 与 不重合且 ,与平行公理矛盾。21 CD(四) 结束语我国近百年来数学教育的一个突出特点是对双基的重视,也就是说,学生们对基础
20、知识的把握比较准确,深入,对基本技能的运用比较熟练。我听过不少数学家和科技工作者谈起他们当年学习平面几何的体会,认为平面几何的学习对于他们逻辑思维习惯的养成起了至关重要的作用。记得我六十年代读初中时,不少同学喜欢做平面几何题,有时还比着做,觉得挺好玩。那时学生们每天下午有一节或两节自习课,做完功课后没什么可干的,就做点儿题。四点钟放学在操场上玩到吃晚饭,晚饭后看看课外书什么的。那时候的数学课外书不多,更没有习题集。有一套数学家为中学生写的小册子给那一代喜欢数学的中学生留下了深刻的印象,现在这套丛书在大陆和台湾分别再版了。其中有华罗庚的从杨辉三角谈起 , 从祖冲之的圆周率谈起 ,段学复的对称 ,
21、吴文俊的力学在几何中的一些应用 ,姜伯驹的一笔划和邮递路线问题 ,龚昇的从刘徽割园谈起 ,史济怀的平均等等。老师也很少给我们出难题,作业只留书上的习题,书上打星号的题作为思考,不记分数。只有个别时候在黑板的角落里写几道更难一点的思考题,做不做两可。老师倒是十分在意我们的基本概念是不是清楚。比如有时上课铃一响,老师第一句话就说拿出一张纸来,写出三角形全等的判定定理“边边边”及其证明。十分钟后收上去,接着讲新的内容。谁要是不明白,可以在自习课时去找老师补课。随着科学技术的飞速发展,数学在经济建设中发挥着越来越重要的作用。作为数学大厦基础的初等数学,作为初等数学重要组成部分的平面几何学,亦应得到更好
22、的重视。这并不意味着平面几何的课时越多越好,知识点越多越好,而是说要把平面几何的公理体系简明扼要地讲精、讲透。按照项武义教授的话说,就是返璞归真,抓住平面几何的本质把它的逻辑体系说透。使学生们感受到欧氏几何内在的逻辑美,感受到推理证明的巨大力量。现在很多老师都在积极地钻研数学课程的内容和讲授方法。这是一个可喜的现象。我相信在我们的中学老师、数学工作者和数学教育工作者的共同努力下,一定能够发扬光大我国中小学数学教育的优良传统,把平面几何课本写得更好,为把我国的下一代培养成有数学素养的劳动者,当然也包括有数学素养的科技人才做出应有的贡献。就讲到这里,谢谢大家。参考文献1. 欧几里得,几何原本,兰纪正,朱恩宽译,陕西科学技术出版社,1990.2. 希尔伯特,几何基础,江泽涵译,中国科学出版社,1958.3. 中国中学数学教育史,魏庚人主编,人民教育出版社,1987.