几何公理系统与中学几何.ppt
《几何公理系统与中学几何.ppt》由会员分享,可在线阅读,更多相关《几何公理系统与中学几何.ppt(134页珍藏版)》请在三一办公上搜索。
1、第一章几何公理系统与中学几何的相关问题,1 几何学发展简史2 欧几里得的几何原本3 希尔伯特公理体系4 我国中学几何教材的逻辑结构以 及教材改革的基本精神5中学几何教学的基本要求,假如我们要预见数学的未来,适当的途径是研究这门科学的历史和现状。,彭加莱,1.1古代几何学简史,相传古代的埃及尼罗河经常泛滥,两岸田亩地界尽被淹没,事后必须设法进行测量,以重新确定田亩的地界.在这个实际需要中,测量土地的方法自然应运而生,据说西方的几何学就是起源于这种测地术,“几何”最早是“多少”之意,用(Geometry)表示,Geo代表土地,metry是测量的意思。,古埃及,巴比伦,泥板书,最先使用度量制,几何侧
2、重计算,几何的性质和公式都是靠观察和总结得出的。,中国,勾股定理表述为:“勾股各自乘,并之,为弦实。开方除之,即弦。”,赵爽,周髀算经和秦九韶九章算术,证明方法叙述为:“按弦图,又可以勾股相乘为朱实二,倍之为朱实四,以勾股之差自相乘为中黄实,加差实,亦成弦实。”,祖冲之,圆周率精确到七位小数的第一人,墨子,平行线(面)、中心、正方形、圆(球),“平,同高也”“中,同长也”“圆,一中,同长也”“方,柱隅四灌也”,古希腊,泰勒斯,爱奥尼亚学派,最先开始几何证明,毕达哥拉斯,毕达哥拉斯定理,给出了两直角边和斜边的整数表达式,算术和几何紧密联系起来,柏拉图,几何建立在逻辑的基础上,坚持准确的定义,清楚
3、的假设,和逻辑证明,不懂几何学不得入内,欧几里得,几何原本,世界第一次目睹了一个逻辑体系的奇迹,这个逻辑体系如此精密地一步一步推进,以致它的每一个命题都是绝对不容置疑的我这里说的就是欧几里得几何,推理的这种可赞叹的胜利,使人类理智获得了为取得以后的成就所必需的信心。,爱因斯坦,对于职业数学家,这本书常常有着一种不可逃避的诱惑力,而它的逻辑结构,大概比世界上任何其他著作更大地影响了科学思想。,原本仅次于圣经,大约成为西方世界历史中翻版和研究最广的书。,T.斯威克,第一时期是几何作为数学的萌芽时期,从人类积累生产、生活经验到大约公元前五世纪止。(实验几何的形成和发展)特点:几何主要是经验事实的积累
4、和初步整理,如丈量土地、测量容器,形成了一批粗略的概念,反映了某些经验事实之间的联系,形成了实验几何。我国古代、古埃及、古印度等研究的几何大体就是实验几何学的内容。,1.2.几何学发展的几个阶段,第二个时期,几何成为数学的独立学科,希腊的几何传遍世界各地,从公元前3世纪到十七世纪以前。(理论几何的形成)特点:公元前3世纪,古希腊的柏拉图学派欧几里得的几何原本的问世,标志着理论几何的形成。从公元6世纪开始,古希腊学者在丰富的经验材料的基础上,比较重视在形式、逻辑体系下去揭示几何事实之间存在的联系,但还没有真正做到公理化,仍需要凭直观和默认。,第三个时期是因资本主义的萌芽促成欧洲文艺复兴而引起了几
5、何学的重新繁荣。从十七世纪到十九世纪初。(解析几何的产生和发展)标志:1637年法国数学家笛卡尔引进坐标解决几何问题,产生了解析几何以及后来的微分几何。,第四个时期是从罗巴切夫斯基建立了第一种非欧几何开始的。(现代几何的发展),1893年,在喀山大学树立起了世界上第一个为数学家雕塑的塑像。这位数学家就是俄国的伟大学者、非欧几何的重要创始人罗巴切夫期基。罗巴切夫斯基(,英文串法Lobachevsky/Lobachevskii)(1792年12月1日1856年2月24日),俄罗斯数学家,非欧几何的早期发现人之一。,1826年2月23日,罗巴切夫斯基于喀山大学物理数学系学术会议上,宣读了他的第一篇关
6、于非欧几何的论文:几何学原理及平行线定理严格证明的摘要。这篇首创性论文的问世,标志着非欧几何的诞生。,历史是最公允的,因为它终将会对各种思想、观点和见解作出正确的评价。1868年,意大利数学家贝特拉米发表了一篇著名论文非欧几何解释的尝试,证明非欧几何可以在欧氏空间的曲面上实现。这就是说,非欧几何命题可以“翻译”成相应的欧氏几何命题,如果欧氏几何没有矛盾,非欧几何也就自然没有矛盾。,几何学变成研究各种不同空间(欧氏空间、罗氏空间、黎氏空间、仿射空间、射影空间、)以及这个别空间图形的数学理论的总体。在认识到空间概念多样化的同时,感到欧几里得建立他的几何学的基础远远不够完善,新兴了一门几何分支即初等
7、几何基础。射影几何、微分几何、几何基础成了十九世纪几何方面大放光芒的三大分支。1899年希尔伯特发表了集大成的名著几何基础,成为欧几里得的完善的公理法结构。,小 故 事,卡尔.弗里德里希.高斯德国数学家、物理学家和天文学家。“欧洲数学之王”,2.1几何原本的内容,原本共分十五卷,内容如下:,第一卷讨论三角形相等的条件、三角形边角关系、垂线、平行线理论、平行四边形、三角形与多边形等积的条件、勾股定理等,共48个命题。,第二卷讨论线段计算(包括黄金分割)、面积的变换、用几何法解代数问题,共14个命题。,第三卷讨论圆周角、圆心角、圆的切线、割线、圆幂定理等,共37个命题。,第四卷讨论圆的内接、外切多
8、边形和正五边形、正六边形、正十五边形的作图,共16个命题。,第六卷讨论相似多边形的理论,共33个命题。,第十一卷立体几何、直线与平面、平行六面体的体积,第十二卷穷竭法、证明圆的面积之比等于其直径的平方比,柱,锥、台、球的体积,第十三卷正多面体,第十四卷资料(95个问题),第十五卷图形的分割,为了了解原本的逻辑结构,下面专门讨论第一卷的结构,它是全书逻辑推理的基础。原本的第一卷给出了23个定义、5个公设和5个公理。,定 义,(1)点是没有部分的;(2)线是有长度而没有宽度的;(3)线的界限是点;(4)直线是这样的线,它对于在它上面的所有各个点都有同样的位置;(5)面有长度和宽度;(6)面的界限是
9、线;(7)平面是这样的面,它对于其上的所有直线有同样的位置;,(8)平面上的角是在一个平面上的两条相交直线相互的倾斜度;(9)当形成一角的两线是一直线的时候,这个角叫做平角;(10)(22)是关于直角和垂线、钝角和锐角、圆、圆的中心、直线形、三角形、四边形、等边三角形、等腰三角形、不等边三角形、正方形、直角三角形、菱形等的定义;(23)平行直线是在同一平面上而且尽管向两侧延长也决不相交的直线。,公设,(1)从每个点到另一点可以引直线;(2)每条直线都可以无限延长;(3)以任意点为中心,可用任意长为半径作一圆;(4)所有直角都相等;(5)同平面内两条直线与第三条直线相交,若其中一侧相交的两个内角
10、之和小于两直角,则该两直线必在这一侧相交。(欧氏第五公设),公设:是一种假设事项,从其结果是否符合实际,检验是否为真,只适用于几何。,公理:适用于一切科学的真理,是人们明白无疑的公共观念。,公 理,(1)等于同一个量的量相等;(2)等量加等量,其和相等;(3)等量减等量,其差相等;(4)能重合的量相等;(5)全体大于部分。,从上可以看出原本第一卷就是在23个定义,5个公设,5个公理的基础上,按公理化的手法,以一定的逻辑体系建立起来的,由此,推导出平面几何和立体几何的全部内容。,2.2原本的评述,(1)首先尝试利用公理化手法建立几何学。,(2)关于定义方面,欧几里得试图对一切概念都给与定义,但这
11、是不可能的。如在第一卷里的点、线、面、直线、平面都加以定义,这些定义却用了一些未经定义的概念“部分”、“长度”、“宽度”、“界限”、“同样的位置”等等,意义模糊不清,缺乏逻辑性,(3)原本最大的缺点是公理、公设的不完备,缺少“顺序性”公理,如“直线上一点在另外两点之间”、“在直线同侧的两点”、“在三角形内的一点”等,只能凭借直观理解。缺少“运动”公理,如“把一个三角形叠合到另一个三角形上去”默认图形经过移动后大小、形状不变。缺少“连续性”公理,默认直线与圆,圆与圆相交一定有两个交点。(4)第五公设表述罗嗦,不够显然。,第五公设问题,罗氏几何,黎曼几何,思考题:,有人说,埃及人研究几何只相当于“
12、一个粗糙的木匠”,而希腊人则是几何学的“建筑大师”。你对这句话如何理解?,非欧几何的产生对你有什么启示?,3.1近代公理法的产生,19世纪的末期(1899),希尔伯特,几何基础,希氏的公理系统是其后的一切公理化的楷模,它的出版标志着数学公理化时期的到来。,-希氏的公理系统是其后的一切公理化的楷模,它的出版标志着数学公理化时期的到来。,3.2希尔伯特公理系统,1.希尔伯特与欧几里得在建立几何学基础的不同,首先列出不定义的基本概念:点、直线、平面,把这三种对象堪称几何学中的“基本对象”只承认其存在。,提出了三个“基本关系”,即规定点、直线、平面相互间存在三种基本关系:结合关系、顺序关系、合同关系。
13、提出的基本对象和基本关系满足五组公理,即结合公理、顺序公理、合同公理、连续公理、平行公理。据这五组公理就可推导出平面几何和立体几何的全部内容。,认识公理法的思想,公理法:用公理系统定义几何学的基本对象及其关系的研究方法称为数学中的“公理法”。实质是,从一些不定义的术语出发,这些术语的性质由公理规定;工作的目标是导出这些公理的推论。,作用:运用公理法的思想研究几何,几何空间就被认为是基本对象所成的集合,对象之间只须满足公理所规定的关系。一切符合公理系统的对象都能组成几何学,几何图形只不过是几何学的一种直观形象,每一个几何学的直观形象不是只有一种,可能有无穷多个。,2.希尔伯特公理系统,规定:用大
14、写字母A、B、C等表示点,小写a、b、c表示直线,用字母 表示平面。,2.1结合公理,1对于任意两个不同的点,恒有一条直线通过其中的每个点2对于任意两个不同点,至多有一条直线通过其中的每一个点3.1每条直线上至少有两个点;3.2至少有三个点不在同一直线上4.1对于不共线三点,恒有一个平面通过其中每个点4.2每个平面上至少有一个点5对于不共线三点,至多有一个平面通过其中每个点6如果直线a的两个点在平面上,则a的每个点都在上7如果两个平面有一个公共点,则至少还有另一个公共点8至少有四个点不在同一个平面上,保证了基本概念点、直线、平面的存在。其中3.2和8保证了点的存在;1 和3.2保证了直线的存在
15、;3.2 和4.1保证了平面的存在。3.1 4.1,4.2,7等都是说明在怎样的条件下存在什么,称之为“条件存在公理”。公理2,5,6不涉及存在问题。,各条公理的作用:,结合公理刻划了点、直线、平面间的结合关系。1 3属于点和直线的结合关系,称为平面结合公理,4 8称为空间结合公理。”点和直线相互结合“、”点和平面相互结合“是基本结合关系,而”直线和平面相互结合“不是基本结合关系。它可以定义为:如果直线a的所有点都在平面上,则称直线在平面上。推论:直线a上若有两个点在平面上,则直线a在平面上。,定理1:两条直线至多有一个公共点,两个平面或者没有公共点,或者有一条公共直线,其所有的公共点均在这条
16、直线上,一平面和不在它上面的直线至多有一个公共点。定理2:通过不共线的三点恒有一个平面;通过一直线及不在其上的一点,恒有一个平面;通过有公共点的两条直线恒有一个平面。定理3:每个平面至少有三个不在一条直线上的点。(略),证明:(1)假设两条直线a、b除了一个公共点A以外,还有第二个公共点B,则根据1 及2,点A及点B可唯一确定一条直线,与a、b是两条不同的直线矛盾,所以,两条直线至多有一个公共点。,(2)现设平面及有一个公共点A,根据公理7,还有第二个公共点B。又据1 及2,过点A、B可确定一条直线a。根据推论知a在上,a在上,直线a是平面和的公共直线。现证明平面和平面所有的公共点均在这条直线
17、上。假设和的公共点C不在直线a上,则A、B、C不共线,据5,至多有一个通过A、B、C三个点的平面,所以平面与就成为同一平面,这与题设平面和是不同的平面矛盾,所以两个平面如果有一个公共点,则它们有一条公共直线。,(3)假设a与平面有两个公共点,则据6,及a在平面上,与已知矛盾。,定理2:证明:据4.1证得成立。据3.1知,每条直线上至少有两个点。此三点成为不共线的三点证得。设直线a、b有一个公共点A,则据定理1及3.1,知a上至少有异于A的点B,且B不在b上,据5知,通过b与B有一个平面。,结合公理是中学平面几何和立体几何中有关点、直线、平面结合关系的理论基础。,*结合公理对于中学几何的作用,1
18、,2,4.1,5,6都反映在平几、立几的公理系统中,7中关于两平面的结合关系在中学几何中采用“若两平面有一个公共点,则它们有且仅有一条通过此点的公共直线”作为公理,它实际上是希氏下的一条定理,3,4.2,8都是作为直观或默认,允许在平面内、外取点,实际上是默认了这些性质,在希氏体系下作为公理给出,从此可看出在中学几何中默认、直观的性质,在希氏体系下有严格的理论保证,给中学几何中的某些做法提供了理论基础。,这一组公理叙述直线上的一个点,可以对于同一条直线上另外两个点有一种位置关系。基本顺序关系是“一点B在另两点A和C之间”用 表示。,2.2顺序公理,1若点B在点A和C之间,则A、B、C三点是一直
19、线上的三个不同点,且B也在点C和A之间。2对于任意的两点A及B,在直线AB上至少存在一点C,使B在点A和C之间。3在一直线上的三点中,至多有一点在另外两点之间。,4(巴士公理):设A、B、C是不共线的三点,a是平面ABC上一直线,它不通过A、B、C中的任何一点,若a有一点介于A、B之间,则a必还有一点介于A和C或B和C之间。,各条公理的作用:公理13是直线上点的顺序公理,也称为线性顺序公理,公理4是平面的顺序公理。公理2保证线段外部有点,公理3保证在共线的三点中至多有一点在另外两点之间,但不保证至少有一点在另外两点之间,公理4是论证线段有内点的理论依据。,公理3不保证存在性。设点A,B,C是同
20、一直线上的三点,在 中,至多有一种情形成立。四条公理为基础,可以给出线段,内点,三角形,顶点,边,角,射线,内部,外部,异侧,同侧的定义,还可以证明线段上有无穷多点,线段外有无穷多点。,定义:无序两点A、B的集合叫做线段,记作AB或BA。A,B之间的点叫做线段AB内部的点或内点。A,B间一切点的集合叫做一开线段,记作(AB)点A,B分别叫做线段AB和(AB)的端点。直线AB上异于A,B且不属于(AB)的点称为线段AB或(AB)的外部的点。,定义:不共线的三点A,B,C的集合叫做三点形;这三点形和(AB),(BC),(CA)的所有点的集合称为一三角形,记作ABC。点A,B,C各称为这三角形的顶点
21、,开线段(AB),(BC),(CA)各称为这三角形的边。巴士公理的另一种表述:与三角形共面且不过其顶点的一直线,若与三角形的一边相交,则必与其另一边相交。,公理的推论,定理1.对于任意两点A,C,在直线AC上至少有一点B在A和C之间。定理2.在一直线的三点中,必有且仅有一点在其它两点之间。定理3.直线a与ABC共面且不过其任一顶点,若a交其一边则必交其另一边,但不再交第三边。(巴士公理的重要补充,在巴士公理的叙述中并没有否定一直线若交一三角形的一边,该直线和三角形的三边都相交,定理3明确了该直线不能和三角形的三边都相交),证明:根据3.2,存在着不在直线AC上的点E。由1 及2,确定直线AE.
22、根据定理2,A,E,C在同一个平面内,把这个平面记为,由 2,在直线AE上存在点F,使.由6知,F点也在平面内。同理,在直线FC上存在点G,使,并且E和G是不同的点。否则,有 和.由1 及1知,A,E,F,C四点在一条直线上,即E在直线AC上,这与E的选取矛盾。同理,F点也不在AC上由6知,G在平面内。,对于AFC和直线EG,EG不过A,F,C三点并且和AFC共面,已知EG和(AF)相交于E,根据巴士公理,直线EG应交(FC)或(AC)。现在证明直线EG不交(FC)。假设EG交(FC)于点H,如果H和G不是同一点,因为直线EG和FC有两个交点,则和定理1相矛盾;如果H和G是同一点,则有FGC和
23、FCG都成立,这与3矛盾。所以直线EG不交(FC)。根据巴士公理,直线EG必交(AC),交点记作B,即有ABC。,*顺序公理对中学几何的作用,在中学几何教材中不定义顺序关系,不引入顺序公理,但却渗透着顺序关系,以直观默认的方式处理,如:线段存在内点、外点、侧、角的内部、外部、多边形等均需直观默认。希尔伯特公理则解释了中学几何教材中有关默认的顺序问题的合理性,并加以证明(直线上有无数个点,两点之间有点等),从理论上保证。,中学平面几何中指出:线段AB可以向任意一方延伸。什么叫“任意一方延伸”?为什么可以延伸?公理2则从理论上揭示了“延伸”的意义,保证了延伸的可能性。,2.3合同公理,合同关系:假
24、设一条线段对另一条线段(或对自己)可以有一种关系,用“合同”表示这种关系,即“一线段 合同于另一线段”,记作=或;还可假设一个角 对另一个角(或对自己)可以有一种“合同”关系,即一角合同于另一角,记作,合同公理:1 设A、B是直线a上的两点,是同一或另一直线 上的一点,则在直线 上点 的指定一侧,存在一点,使得线段 合同于线段.记作 2 若两线段与第三条线段都合同,则这两线段也合同。即 则 3 合同关系具有可加性。即若点B介于点A和C之间,则,4 已知平面 上一角,平面 上一直线 的一侧以及 上一点 为端点的一射线,则在 上恰有一射线 使,且 在 的指定的一侧.5 对于两个三角形 中,若,则,
25、公理1保证线段可迁移,但在所设条件下未保证线段迁移的唯一性。公理4保证角可以迁移,并且迁移是唯一的。公理5是证明三角形合同的重要依据,*合同公理对中学几何的作用,由可以得出许多推论,如边角边定理,角边角,边边边、外角定理,定义线段、角的大小,三角形合同,并可证明每条线段恒有一个中点,每个角恒有一条角平分线,保证了异面直线的存在等等。,公理的推论,定理:线段合同关系满足反身性、对称性、传递性.补充公理1,证明线段迁移的唯一性定义三角形合同定理:三角形合同的边角边定理,中学几何教材中不引入“合同关系”及“合同公理”,而是讨论线段和线段,角和角、三角形和三角形、多边形和多边形的“全等”关系。我们可以
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 几何 公理 系统 中学
链接地址:https://www.31ppt.com/p-6407147.html