高二数学几何学的发展_第1页
高二数学几何学的发展_第2页
高二数学几何学的发展_第3页
高二数学几何学的发展_第4页
高二数学几何学的发展_第5页
已阅读5页,还剩28页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第五章几何学的发展

形的认识

形是人类对生存空间形式的直接认识

从无规则图形逐渐制造出一些规则的形体,形成抽象意义下的几何图形。图5.1由鱼形演化出的不规则的几何图形

从立体图形到平面图形图腾崇拜和宗教礼仪5.2测量与几何

在几何发展最早的古代埃及,几何一词具有“土地测量”的含义。在古希腊几何学传入中国之后,汉字用几何一词来称谓这门学科,而汉语中“几何”具有“多少”的意思。5.2.1经验公式

古埃及人有计算矩形、三角形和梯形面积的方法三角形面积用一数乘以另一数的一半来表示圆面积的计算公式是A=(8d/9)2,其中d是直径。这就等于取π为3.1605。四边形的面积公式:(a+c)(b+d)/4(其中a、b、c、d依次表示边长)。高为h、底边长为a和b的方棱锥的平头截体的体积公式:V=(1/3)h(a2+ab+b2)5.2.2求积方法

勾股术与图证[插入图5.5]

“析理以辞,解体用图”——

“弦图”

[插入图5.7]

大方=弦方+2矩形,(1)大方=勾方+股方+2矩形,(2)比较(1)与(2),得弦方=勾方+股方。阿基米德的双重方法——用力学原理发现公式,再用穷竭法加以证明[插入图5.11]

如图5.11抛物线有内接三角形PQq,其中P与Qp中点V的连线平行于抛物线的轴。阿基米德从物理的方法发现:抛物线被Qp截得的抛物线弓形的面积,与三角形QPq的面积之比是4:3。阿基米德进而使用穷竭法证明5.2.3多边形数[插入图5.12][插入图5.13][插入图5.14]

最早的演绎几何学《几何原本》(约公元前300年,古希腊数学家欧几里得)建立了第一个数学理论体系——几何学。标志着人类科学研究的公理化方法的初步形成,

《几何原本》共十三卷,其中第一、三、四、六、十一和十二卷,是我们今天熟知的平面几何和立体几何的知识,其余各卷则是数论和(用几何方法论证的)初等代数知识。全书证明了465个命题。5.3.1《原本》的公理化体系《原本》的公理化体系:全书先给出若干条定义和公理,再按由简到繁的顺序编排出一系列的定理(465个命题)。使整个几何知识形成了一个演绎体系

公设:(1)从任一点到任一点作直线是可能的。(2)把有限直线不断循直线延长是可能的。(注意,这里所谓的直线,相当于今天我们所说的线段。)(3)以任一点为中心和任一距离为半径作一圆是可能的。(4)所有直角彼此相等。(5)若一直线与两直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点(现今称为平行公理)。

公理:(1)跟一件东西相等的一些东西,它们彼此也是相等的。(2)等量加等量,总量仍相等。(3)等量减等量,余量仍相等。(4)彼此重合的东西是相等的。(5)整体大于部分。从现代公理化方法的角度来分析,《原本》的公理化体系存在着以下一些缺陷。没有认识到公理化的体系一定建立在一些原始概念上

《原本》的公理集合是不完备的,这就使得欧几里得在推导命题过程中,不自觉地使用了物理的直观概念.但是建立在图形直观上的几何推理肯定是不可靠的例如,每一个三角形都是等腰的“证明”

[插入图5.18]5.3.2《原本》中的几何方法《原本》在证明相关结论中使用了多种几何方法,如,叠合法,归谬法,代数式的几何证法,等等。这些方法是人类早期研究图形性质的数学方法,在现代基础教育中仍发挥着积极的作用。举例如下:毕德哥拉斯定理,《原本》使用几何的证法如下:如图5.19,先证明△ABD△FBC,推得矩形BL与正方形GB等积。同理推得矩形CL与正方形AK等积。5.4三大作图问题与《圆锥曲线》三个作图问题:倍立方,即求作一立方体的边,使该立方体的体积为给定立方体的两倍;三等分角,即分一个给定的任意角为三个相等的部分;化圆为方,即作一正方形,使其与一给定的圆面积相等。直到19世纪,才证实了只用圆规和直尺来求解这三个作图题的不可能性,然而对这三个问题的深入探索引出大量的发现。其中包括圆锥曲线理论梅内克缪斯(约公元前4世纪)最先发现了圆锥曲线:[插入图5.24]

阿波罗尼斯的《圆锥曲线论》将圆锥曲线的性质全部囊括其中圆锥曲线的定义方法如下:[插入图5.25]5.5坐标几何与曲线方程思想17世纪法国数学家笛卡尔和费马创立的。这两位数学家敏锐地看到欧氏几何方法的局限性,认识到利用代数方法来研究几何问题,是改变传统方法的有效途径。并为此开始了各自的研究工作,把代数方程和曲线、曲面的研究联系在一起笛卡尔的工作

几何学》是笛卡尔哲学思想方法实践的重要结果首先运用代数方法解决作图的问题,指出,几何作图实质是对线段作加减乘除或平方根的运算,所以它们都可以用代数的术语表示。假定某几何问题归结为寻求一个未知长度x,经过代数运算知道x满足x=,

他画出x的方法如下:如图5.27作直角三角形NLM,其中LM=b,NL=a/2,延长MN到O,使NO=NL=a/2。于是x就是OM的长度。[插入图5.27]曲线与方程的思想明确指出:几何曲线可以用唯一的含x和y有限次代数方程来表示的曲线费马的工作

费马关于曲线与方程的思想,源于对阿波罗尼兹圆锥曲线的研究。他使用了倾斜坐标系,建立了圆锥曲线的代数表述式。5.6罗巴切夫斯基几何学

在欧几里得几何学中第五公设(即平行公理)的研究过程中,人们不自觉地将得到了许多第五公设的等价命题。发现了罗巴切夫斯基几何学5.6.1第五公设及其等价命题

等价命题普莱菲尔的平行公理:过直线外一点只能作一条直线平行于该直线三角形三个内角之和等于两个直角;每个三角形的内角和都相同;通过一角内任一点可以作与此角两边相交的截线;存在两个相似而不全等的三角形;毕达哥拉斯定理;过不在一直线上的三点可作一圆;圆内接正六边形的一边等于此圆的半径;四边形的内角和等于四个直角;一。个等价命题的证明:如果任意三角形内角和都等于π,那么过线a外一点A只能引进一条直线与a不交。[证明]过A引a的垂线AB,并过A引AB的垂线b,则a与b必定不交。如图5.29。假如另有一条直线AC与a不交,记锐角∠BAC为-,在直线a上取点B1,使B1、C在AB同侧,且使∠AB1B=α<。按假设,直角△ABB1内角和等于π,所以∠B1AB=-a>∠CAB=-,(因为α<)。于是,作得一个△ABB1,而直线AC经过其内部,所以AC必与底边BB1相交。这与AC与a不相交的假设矛盾i\5.6.2非欧几何学的先兆从反面证明第五公设,意大利耶稣会教士、数学家萨凯里(1667~1733)于1733年第一次发表了其极具特色的成果。[插入图5.30]离开了求证第五公设的目标,朝向创造非欧几何的目标靠拢但是,他们没有认识到欧几里得几何并不是在经验可证实的范围内描述物质空间性质的唯一几何5.6.3奇异的罗巴切夫斯基几何学

罗巴切夫斯基非欧几何的平行公理:设a是任一直线,A是a外任一定点。在a与A所决定的平面上,过点A而与a不相交的直线,至少有两条罗巴切夫斯基非欧几何命题三角形内角和都是小于π的,而且其和量因三角形而异,并非一个常量。同一直线的垂线及斜线,并不总是相交的。不存在相似而不全等的两个三角形。如果两个三角形的各内角对应相等,则它们必定是全等的。存在着没有外接圆的三角形。三角形三边的中垂线并非必定交于一点。在平面上一条已知直线a的同一侧,与已知线a有给定距离的点的轨迹是一曲线,它上面的任意三点都不在一条直线上。在任一角内,至少存在这样一点,通过它不能做出一条同时与两边相交的直线。圆内接正六边形的边大于此圆半径5.7几何学的统一性与现实性

5.7.1黎曼几何德国数学家年提出另一种非欧几何学——黎曼几何(黎曼。1854年)直接起源于微分几何的研究黎曼几何的平行公理,是假设过直线外一点不存在与已知直线平行的直线。在黎曼几何中,三角形的内角和大于两直角,圆周率小于π5.7.2非欧几何学的“现实性”

直到19世纪初,所有的数学家都认为欧氏几何是物质空间和此空间内图形性质的正确描述。并且“空间”也专指当时人们所唯一了解的欧几里得空间罗巴切夫几何自诞生之日起,其命题的合理性就不断引起人们的怀疑。非欧几何早期的发现者们为了验证它的合理性,曾作过一些实际的测定。历史的事实却残酷的告诉我们,罗氏几何迟至今日也没能在物理空间找到应用,只有在逻辑的范畴内,利用公理化的思想与方法找到它存在的“合理性”黎曼几何在相对论中的现实应用。爱因斯坦说:“我特别强调刚才所讲的这种几何学的观点,因为要是没有它,我就不能建立相对论。”5.7.3爱尔兰根纲领

19世纪初,运用欧几里得综合方法,创造出与解析几何相媲美的射影几何学爱尔兰根纲领(克莱因,1872年):所谓几何学,就是研究几何图形对于某类变换群保持不变的性质的学问,或者说任何一种几何只是研究与特定的变换群有关的不变量。克莱因以射影几何为基础、对几何学做了如下的分类:射影几何仿射几何单重椭圆几何双重椭圆几何双曲几何(黎曼几何)(罗巴切夫斯基几何)抛物几何其他仿射几何(欧几里得几何)

利用不变性研究图形的性质,为初等几何的研究提供了新的方法。

例如,由于在仿射交换下椭圆可以变成圆,相应地椭圆中心变为圆心,椭圆的切线变为圆的切线。我们不妨将原命题应用仿射变换转化为相应的圆的命题:设△ABC为圆内接三角形,以其顶点作切线构成了切线三角形A1B1C1。如果A1B1∥AB.B1C1∥BC。那么A1C1∥AC。一旦我们证明了这个有关圆的命题,再利用仿射变换下“平行”为不变性,便可知原命题成立。5.8几何基础与公理化方法

5.8.1公理化方法非欧几何、非交换代数(如四元数)的出现,使数学家注意到古希腊把公理当作自明的真理的局限性。分析的算术化研究不断深入,逐渐形成了科学的公理化方法。公理集合的性质相容性,即由公理导出的定理,没有哪两个是相互矛盾的;完备性,即理论系统中的定理都可以从公理导出独立性,即由公理导出的定理中中没有一个是另一个的逻辑结果。在任何一个公理系中,不加定义的概念例如几何学中的“点”和“线”,它们在物理领域中的“意义”或关系,在数学上是非本质的。它们被当作纯粹抽象的东西,它们在演绎系统中的性质,完全用公理的形式加以界定5.8.2欧氏几何公理体系的严密化

希尔伯特几何公理体系被划分为五组,用五组公理联结三种对象及其间的三种关系(六个原始概念)。如果在这个公理体系中去掉第三种几何基本对象(“平面”)以及与它有关的各条公理,余下来的公理和五个原始概念就可以构成一个“平面几何的公理系统”。希尔伯特公理集可以排除欧氏几何证明中的直观成分。例如,用公理IV给出下述命题的证明:命题:联接圆内的一点A与圆外一点B的直线段与该圆周有一个公共点。图5.33圆内外两点连线必与圆相交的证明事实上,令O为给定圆的圆心,r为半径,C为从O到AB线段的垂线。线段AB上的点可被分为两类:对于一些点P,OP<r,和对于一些点Q,OQ≥r。可证明:对每一种情况,CP<CQ。根据戴德金的公设,在AB上存在一个点R,使得:所有位于它之前的点属于第一类,并且所有位于它之后的点属于第二类。于是OR不小于r,否则我们能在R和B之间选AB上的点S,使得RS<r-OR,但是,因为OS<OR+RS,这意味着谬论:OS<r。类似地,能证明:OR不大于r。因此,我们必定有OR=r,于是定理得证。5.8.3公理集合的相容性

形式公理体系的相容性证明的模型方法例如,平面几何公理系统的解析模型罗巴切夫斯基几何学的模型相对相容性的解决方法选用一个,大家都相信它具有逻辑相容性的领域(比如上面这个代数领域),用这里的材料来保证陌生公理体系的相容性。厐加莱不无挪揄的指出:为了防止狼,牧羊人修起了栅栏,但却不知道羊圈里是否还有狼5.9学校中欧氏几何的教育

中学欧氏几何的教学的目的,主要有两种类型:发展学生的演绎推理的能力,培养空间想象和空间推理能力5.9.1几何逻辑思维发展的培养模式

平面几何的课程体系就成为逻辑思维发展的主要思维材料课程体系要适应几何思维发展的需要在整合状态下实现概念、定理的认知发展注意数学方法的中介作用组织问题解决的思维训练5.9.2空间观念的培养策略

空间能力主要包括空间定向和空间想象能力前者是理解空间中对象的相互位置关系,并能对其进行操作,例如能够在大楼里或街道之间顺利地行进。空间想象是指能够在二、三维空间的条件下对想象的物体运动,如反射、平移、旋转等操作对周围的环境直接感知的基础上观察、想象、比较、综合、抽象分析等众多思维方法,达到对空间与平面相互关系的理解和把握。物化那些感知到的、在直观的水平上有所把握的“转化”关系运用图形形象的描述问题,利用直观进行思考。直观思考是没有经过严格演绎推理的“形象化”的推理,是结合情景进行的思考重视现实世界中有关的空间与图形的问题花の诸人,莫非她也有苦衷?她晓得此时の王爷备受打击和煎熬,她真想大声地告诉他:婉然姐姐不是见异思迁之人,姐姐与您是真心相爱、情投意合,姐姐这只是迫不得已……这壹侧の水清为咯婉然与王爷两各人操心费神、思前想后,另壹边の婉然在初见到水清の那壹刹那,同样先是为她能与王爷修成正果而高兴,继而又担心这样の结果,是否是出自于王爷の真心,还是水清被迫就范の结果?婉然の担心绝非是杞人忧天,因为她深深晓得,水清の眼光有多高,水清对心爱之人の要求又有多么高。虽然王爷是婉然今生今世见过の最令她心动の男子,可是水清与他相处咯五年の时间都没能够相互倾心爱慕,才这么短短の三、四各月の时间里,他们两人の关系怎么可能取得如此实质性の进展?因此婉然也对水清の处境分外地担忧,她由衷地希望这是王爷是发自内心地真心喜欢水清の结果,而不是因为别の啥啊事情而让水清成为牺牲品。为水清和王爷两各人忧心忡忡の婉然是多么希望能从凝儿の口中晓得事情の真相,好让她真正地放下心来。可是宴客厅里不只她们姐妹两人,这里还有排字琦,淑清、惜月们,还有穆哲、塔娜、完琦们,这里根本就不是姐妹两人能够互诉衷肠の地方,她们纵有好些疑问、迷惑、不解,全都要统统地咽进肚子里,因为她们不想成为其它诸人们茶余饭后の谈资,更不想成为众人讥讽耻笑の话柄。虽然她们各自の心中有着不同の担忧、不同の牵挂,但是有壹点却是共同の,那就是她们确实是真心实意地为对方の现状感到万分庆幸,继而长长地舒咯壹口气,不管原因如何,对于当前の结果她们都壹厢情愿是认为:妹妹(姐姐)与王爷(二十三叔)是否真心相爱并不重要,最重要の是能够有咯身孕,将来再生各壹儿半女,下半辈子总算是有咯依靠,哪怕生の只是小格格,也总比壹各人凄凄苦苦地过壹辈子要好上不知千百倍。第壹卷第470章断念好不容易,终于挨到咯晚膳即将结束の时刻,对于就要结束の这场各自心怀异胎の晚膳,众人の心中都是欢喜不已。反正也是话不投机半句多の亲戚,膳后就意味着告辞时间。福晋这壹晚上の心情都是欣喜异常,她の全部心思都集中在如何巩固既有の成果上面:婉然有咯身子好,总算是彻底断咯爷の念想,将来还能太太平平地过日子,幸亏天仙妹妹今天参加咯宴席,也算是能够让婉然清醒地认清情势。于是万分庆幸の排字琦在这分别时刻,不失时机地主动走上前去拉着婉然の手,亲亲热热地说道:“小弟妹,刚才四嫂说の话,你可是要记得呢。以后再要是有咯身子啥啊の大喜事,可是要早点儿来报喜呢,这可不是四嫂揪着你の错处不放,而是四嫂们想早早地替你高兴呢。有咯身子好啊,早点儿给二十三叔生各小小格,这小两口の日子过得和和美美の,四嫂们看在眼里,喜在心窝子里!这吃食啊,走路啊啥啊の,可是得好好地惊着十二万分の心,万不可出咯半点儿差池。”“多谢四嫂,您の教诲,弟妹都醒得。其实,也都不碍事呢,弟妹の身子也没有那么娇气。”婉然只当排字琦那番话不过是客套而已,因此也很客气地回复咯她。但是排字琦の重点可不是在这里,这只是壹各开场白而已,她の好戏还在后头呢,岂能

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论