《第七节数学的全面繁荣优秀PPT.ppt》由会员分享，可在线阅读，更多相关《第七节数学的全面繁荣优秀PPT.ppt（39页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、第七节数学的全面繁荣现在学习的是第1页，共39页本节教学目的和要求本节教学目的和要求1.了解近代资本主义大工业的建立对近代数学的推了解近代资本主义大工业的建立对近代数学的推动作用；动作用；2.了解解析几何的创立在数学史上的划时代意义；了解解析几何的创立在数学史上的划时代意义；3.全面认识微积分的发展线索，重点了解牛顿和莱全面认识微积分的发展线索，重点了解牛顿和莱布尼兹各自建立微积分的过程和特点；布尼兹各自建立微积分的过程和特点；4.深入把握非欧几何学的创立过程，着重理解科学深入把握非欧几何学的创立过程，着重理解科学发展的内在逻辑。发展的内在逻辑。现在学习的是第2页，共39页近代变量数学发展线索
2、近代变量数学发展线索 解析几何解析几何 非欧几何非欧几何-拓扑学拓扑学 微积分（牛顿、莱布尼兹）微积分（牛顿、莱布尼兹）-分析类分析类的分支的分支 概率统计概率统计现在学习的是第3页，共39页变量数学的兴起变量数学的兴起 数学中的转折点是笛卡儿的变数数学中的转折点是笛卡儿的变数数学中的转折点是笛卡儿的变数数学中的转折点是笛卡儿的变数.有了变数，运有了变数，运有了变数，运有了变数，运动进入了数学，有了变数，辩证法进入了数学有了动进入了数学，有了变数，辩证法进入了数学有了动进入了数学，有了变数，辩证法进入了数学有了动进入了数学，有了变数，辩证法进入了数学有了变数，微分和积分也就立刻成为必要的了变数
3、，微分和积分也就立刻成为必要的了变数，微分和积分也就立刻成为必要的了变数，微分和积分也就立刻成为必要的了 在一切理论成就中，未必再有什么像在一切理论成就中，未必再有什么像在一切理论成就中，未必再有什么像在一切理论成就中，未必再有什么像1717世纪下半叶世纪下半叶世纪下半叶世纪下半叶微积分的发现那样被看作人类精神的最高胜利了，如果微积分的发现那样被看作人类精神的最高胜利了，如果微积分的发现那样被看作人类精神的最高胜利了，如果微积分的发现那样被看作人类精神的最高胜利了，如果在某个地方我们看到人类精神的纯粹的和唯一的功绩，在某个地方我们看到人类精神的纯粹的和唯一的功绩，在某个地方我们看到人类精神的纯
4、粹的和唯一的功绩，在某个地方我们看到人类精神的纯粹的和唯一的功绩，那正是在这里。那正是在这里。那正是在这里。那正是在这里。恩格斯恩格斯恩格斯恩格斯现在学习的是第4页，共39页一、解析几何的创立一、解析几何的创立 在在在在1717世纪，数学科学发生了根本性的转折，这种转折实世纪，数学科学发生了根本性的转折，这种转折实世纪，数学科学发生了根本性的转折，这种转折实世纪，数学科学发生了根本性的转折，这种转折实质上是由社会生产力的急速发展所引起的。数学根本性的转质上是由社会生产力的急速发展所引起的。数学根本性的转质上是由社会生产力的急速发展所引起的。数学根本性的转质上是由社会生产力的急速发展所引起的。数
5、学根本性的转折之一是解析几何的诞生。折之一是解析几何的诞生。折之一是解析几何的诞生。折之一是解析几何的诞生。解析几何的创始人是笛卡儿和费马解析几何的创始人是笛卡儿和费马解析几何的创始人是笛卡儿和费马解析几何的创始人是笛卡儿和费马.他们都对欧氏几何的他们都对欧氏几何的他们都对欧氏几何的他们都对欧氏几何的局限性表示不满局限性表示不满局限性表示不满局限性表示不满:古代的几何过于抽象古代的几何过于抽象古代的几何过于抽象古代的几何过于抽象,过多地依赖于图形过多地依赖于图形过多地依赖于图形过多地依赖于图形.他他他他们代数也批评代数过于受法则和公式的约束们代数也批评代数过于受法则和公式的约束们代数也批评代数
6、过于受法则和公式的约束们代数也批评代数过于受法则和公式的约束,缺乏直观缺乏直观缺乏直观缺乏直观.同时同时同时同时,他们都认识到几何学提供了有关真实世界的知识和真理他们都认识到几何学提供了有关真实世界的知识和真理他们都认识到几何学提供了有关真实世界的知识和真理他们都认识到几何学提供了有关真实世界的知识和真理,而代而代而代而代数学能用来对抽象的未知量进行推理数学能用来对抽象的未知量进行推理数学能用来对抽象的未知量进行推理数学能用来对抽象的未知量进行推理,代数学是一门潜在的方代数学是一门潜在的方代数学是一门潜在的方代数学是一门潜在的方法科学法科学法科学法科学.因此因此因此因此,把代数学和几何学中一切
7、精华的东西结合起来把代数学和几何学中一切精华的东西结合起来把代数学和几何学中一切精华的东西结合起来把代数学和几何学中一切精华的东西结合起来,可以取长补短可以取长补短可以取长补短可以取长补短.这样一来这样一来这样一来这样一来,一门新的科学诞生了。一门新的科学诞生了。一门新的科学诞生了。一门新的科学诞生了。现在学习的是第5页，共39页一、解析几何的创立一、解析几何的创立解析几何学是由法国的费马（解析几何学是由法国的费马（解析几何学是由法国的费马（解析几何学是由法国的费马（1601160116651665）和笛卡尔）和笛卡尔）和笛卡尔）和笛卡尔（159615961650）各自独立创立的。）各自独立创
8、立的。费马把代数学运用于几何学，采用在一个坐标系中以费马把代数学运用于几何学，采用在一个坐标系中以费马把代数学运用于几何学，采用在一个坐标系中以费马把代数学运用于几何学，采用在一个坐标系中以一系列的数字表示一条曲线轨迹的方法。费马的成就一系列的数字表示一条曲线轨迹的方法。费马的成就一系列的数字表示一条曲线轨迹的方法。费马的成就一系列的数字表示一条曲线轨迹的方法。费马的成就在其去世后才发表。在其去世后才发表。在其去世后才发表。在其去世后才发表。费马费马费马费马笛卡尔笛卡尔笛卡尔笛卡尔现在学习的是第6页，共39页笛卡儿的理论笛卡儿的理论笛卡儿的解析几何学成就体现在其笛卡儿的解析几何学成就体现在其1
9、637年发表的方年发表的方法论中，以两个思想为基础法论中，以两个思想为基础:一个是坐标思想；一个是坐标思想；一个是坐标思想；一个是坐标思想；另一个是方程与曲线的思想，即两个未知数表示的某个另一个是方程与曲线的思想，即两个未知数表示的某个另一个是方程与曲线的思想，即两个未知数表示的某个另一个是方程与曲线的思想，即两个未知数表示的某个代数方程可以看成平面上的一条曲线；反之，一条曲线代数方程可以看成平面上的一条曲线；反之，一条曲线代数方程可以看成平面上的一条曲线；反之，一条曲线代数方程可以看成平面上的一条曲线；反之，一条曲线可以用曲线上任意点（可以用曲线上任意点（可以用曲线上任意点（可以用曲线上任意
10、点（x,yx,y）坐标之间的方程关系来表）坐标之间的方程关系来表）坐标之间的方程关系来表）坐标之间的方程关系来表示。示。示。示。笛卡儿对几何问题应用了代数方法笛卡儿对几何问题应用了代数方法笛卡儿对几何问题应用了代数方法笛卡儿对几何问题应用了代数方法:研究几何轨迹问题，研究几何轨迹问题，研究几何轨迹问题，研究几何轨迹问题，提出在由两条直线构成的平面坐标系里的几何图形都可提出在由两条直线构成的平面坐标系里的几何图形都可提出在由两条直线构成的平面坐标系里的几何图形都可提出在由两条直线构成的平面坐标系里的几何图形都可以转化成一个二元方程，这样平面几何学的问题就都可以转化成一个二元方程，这样平面几何学的
11、问题就都可以转化成一个二元方程，这样平面几何学的问题就都可以转化成一个二元方程，这样平面几何学的问题就都可以用代数学的方法加以处理。以用代数学的方法加以处理。以用代数学的方法加以处理。以用代数学的方法加以处理。解析几何的精华在于把几何曲线用代数方程来表示解析几何的精华在于把几何曲线用代数方程来表示解析几何的精华在于把几何曲线用代数方程来表示解析几何的精华在于把几何曲线用代数方程来表示,同时又同时又同时又同时又用代数的研究方法来研究几何。用代数的研究方法来研究几何。用代数的研究方法来研究几何。用代数的研究方法来研究几何。现在学习的是第7页，共39页殊途同归殊途同归费马从代数方程出发来寻找其轨迹，
12、笛卡尔则从轨迹出发费马从代数方程出发来寻找其轨迹，笛卡尔则从轨迹出发费马从代数方程出发来寻找其轨迹，笛卡尔则从轨迹出发费马从代数方程出发来寻找其轨迹，笛卡尔则从轨迹出发来寻找其代数方程，是数学发展的殊途同归。来寻找其代数方程，是数学发展的殊途同归。来寻找其代数方程，是数学发展的殊途同归。来寻找其代数方程，是数学发展的殊途同归。过去的数学只能描写一些确定的、不变化的量，解析过去的数学只能描写一些确定的、不变化的量，解析过去的数学只能描写一些确定的、不变化的量，解析过去的数学只能描写一些确定的、不变化的量，解析几何学使得变量的描述成为可能，几何学使得变量的描述成为可能，几何学使得变量的描述成为可能
13、，几何学使得变量的描述成为可能，这是数学发展史上这是数学发展史上这是数学发展史上这是数学发展史上的一次质的飞跃。的一次质的飞跃。的一次质的飞跃。的一次质的飞跃。现在学习的是第8页，共39页 解析几何出现后不久，微积分也被发现了。解析几何出现后不久，微积分也被发现了。可以说，微积分不仅是数学的伟大发现，也为近可以说，微积分不仅是数学的伟大发现，也为近代科学开辟了光明的道路；微积分不仅是代科学开辟了光明的道路；微积分不仅是17世纪世纪的伟大发现，而且是世界人类文明史上最为光辉的伟大发现，而且是世界人类文明史上最为光辉灿烂的发现。灿烂的发现。二、微积分的诞生二、微积分的诞生现在学习的是第9页，共39
14、页 十六、十七世纪科学和生产中面临十六、十七世纪科学和生产中面临的大量重要问题，促进了微积分的诞生的大量重要问题，促进了微积分的诞生与发展。微积分的来源是科学发展对数与发展。微积分的来源是科学发展对数学要求的必然：学要求的必然：速度、距离、重心速度、距离、重心；切线、切线、长度、面积、体积长度、面积、体积；极值问题极值问题等等。等等。二、微积分的诞生二、微积分的诞生现在学习的是第10页，共39页微积分发展的历史足迹微积分发展的历史足迹 古希腊时代伟大的数学家、力学家阿基米德，古希腊时代伟大的数学家、力学家阿基米德，我国古代著名数学家刘徽，祖冲之、祖暅父子等我国古代著名数学家刘徽，祖冲之、祖暅父
15、子等为积分思想的形成和发展做出了重要的贡献，他为积分思想的形成和发展做出了重要的贡献，他们的工作领先了欧洲数学家的工作一千多年。们的工作领先了欧洲数学家的工作一千多年。16 16，1717世纪是微积分思想发展最为活跃的时世纪是微积分思想发展最为活跃的时期，其杰出的代表有伽利略、开普勒、卡瓦列里、期，其杰出的代表有伽利略、开普勒、卡瓦列里、费马、巴罗，等。他们的工作为牛顿、莱布尼兹费马、巴罗，等。他们的工作为牛顿、莱布尼兹(Gottfried Wilhelm Leibniz 1646-1716(Gottfried Wilhelm Leibniz 1646-1716，)创创立微积分理论奠定了基础。
16、立微积分理论奠定了基础。现在学习的是第11页，共39页牛顿的微积分牛顿的微积分 牛顿在牛顿在牛顿在牛顿在17171717世纪世纪世纪世纪60606060年代创立了微积分，他称之年代创立了微积分，他称之年代创立了微积分，他称之年代创立了微积分，他称之为流数术，其基本原理是把数学中的量看作为流数术，其基本原理是把数学中的量看作为流数术，其基本原理是把数学中的量看作为流数术，其基本原理是把数学中的量看作是由连续轨迹运动产生的，不再看作是由无穷小是由连续轨迹运动产生的，不再看作是由无穷小是由连续轨迹运动产生的，不再看作是由无穷小是由连续轨迹运动产生的，不再看作是由无穷小元素构成的。牛顿使用了无穷小增量
17、，但对这个元素构成的。牛顿使用了无穷小增量，但对这个元素构成的。牛顿使用了无穷小增量，但对这个元素构成的。牛顿使用了无穷小增量，但对这个概念没有给出明确的规定和严格的数学的证明。概念没有给出明确的规定和严格的数学的证明。概念没有给出明确的规定和严格的数学的证明。概念没有给出明确的规定和严格的数学的证明。现在学习的是第12页，共39页 微分与积分微分与积分:无穷级数的形式无穷级数的形式 微积分的应用微积分的应用 牛顿求积分牛顿求积分:二项式定理二项式定理牛顿的微积分牛顿的微积分现在学习的是第13页，共39页莱布尼兹莱布尼兹的微积分的微积分 莱布尼兹于莱布尼兹于莱布尼兹于莱布尼兹于16841684
18、16841684年发表了微积分成果，他年发表了微积分成果，他年发表了微积分成果，他年发表了微积分成果，他称之为求差的方法和求和的方法。其基本称之为求差的方法和求和的方法。其基本称之为求差的方法和求和的方法。其基本称之为求差的方法和求和的方法。其基本思想是把一条曲线下面的面积分割成许多思想是把一条曲线下面的面积分割成许多思想是把一条曲线下面的面积分割成许多思想是把一条曲线下面的面积分割成许多小矩形，矩形与曲线之间微小的直角三角小矩形，矩形与曲线之间微小的直角三角小矩形，矩形与曲线之间微小的直角三角小矩形，矩形与曲线之间微小的直角三角形的两边分别是曲线的相邻两点的纵坐标形的两边分别是曲线的相邻两点
19、的纵坐标形的两边分别是曲线的相邻两点的纵坐标形的两边分别是曲线的相邻两点的纵坐标和横坐标之差，当这两个差无限减小时，和横坐标之差，当这两个差无限减小时，和横坐标之差，当这两个差无限减小时，和横坐标之差，当这两个差无限减小时，曲线上相邻两点便无限接近。连接这样的曲线上相邻两点便无限接近。连接这样的曲线上相邻两点便无限接近。连接这样的曲线上相邻两点便无限接近。连接这样的两点就得出曲线在该点的切线，就是求差两点就得出曲线在该点的切线，就是求差两点就得出曲线在该点的切线，就是求差两点就得出曲线在该点的切线，就是求差的方法。求差的反面就是求和。的方法。求差的反面就是求和。的方法。求差的反面就是求和。的方
20、法。求差的反面就是求和。现在学习的是第14页，共39页莱布尼兹莱布尼兹的微积分的微积分现在学习的是第15页，共39页微积分发明权之争微积分发明权之争 牛顿和莱布尼兹关于微积分发明牛顿和莱布尼兹关于微积分发明牛顿和莱布尼兹关于微积分发明牛顿和莱布尼兹关于微积分发明权之争导致英国数学家与大陆数学家权之争导致英国数学家与大陆数学家权之争导致英国数学家与大陆数学家权之争导致英国数学家与大陆数学家之间的对峙，学术上形成门户之见，之间的对峙，学术上形成门户之见，之间的对峙，学术上形成门户之见，之间的对峙，学术上形成门户之见，严重地妨碍了科学的进步，应引以为严重地妨碍了科学的进步，应引以为严重地妨碍了科学的
21、进步，应引以为严重地妨碍了科学的进步，应引以为鉴。鉴。鉴。鉴。牛顿和莱布尼兹的方法都是建立牛顿和莱布尼兹的方法都是建立牛顿和莱布尼兹的方法都是建立牛顿和莱布尼兹的方法都是建立在一个未加严格定义的无穷小增量的在一个未加严格定义的无穷小增量的在一个未加严格定义的无穷小增量的在一个未加严格定义的无穷小增量的基础之上，基础之上，基础之上，基础之上，尽管该方法在应用中非常尽管该方法在应用中非常尽管该方法在应用中非常尽管该方法在应用中非常有效，但其数学基础并不牢固，直到有效，但其数学基础并不牢固，直到有效，但其数学基础并不牢固，直到有效，但其数学基础并不牢固，直到19191919世纪法国柯西（世纪法国柯西
22、（世纪法国柯西（世纪法国柯西（17891857178918571789185717891857）和德）和德）和德）和德国维尔斯特拉斯（国维尔斯特拉斯（国维尔斯特拉斯（国维尔斯特拉斯（18151897181518971815189718151897）等人）等人）等人）等人给出给出给出给出“极限极限极限极限”概念，才为微积分奠定概念，才为微积分奠定概念，才为微积分奠定概念，才为微积分奠定了严格的基础。了严格的基础。了严格的基础。了严格的基础。柯西柯西维尔斯特拉斯维尔斯特拉斯现在学习的是第16页，共39页微积分的伟大意义微积分的伟大意义1 1 1 1、微积分改变了数学的研究对象、方式和方法，带来、微
23、积分改变了数学的研究对象、方式和方法，带来、微积分改变了数学的研究对象、方式和方法，带来、微积分改变了数学的研究对象、方式和方法，带来了数学空前和持久的繁荣昌盛！显示了数学内部的辨了数学空前和持久的繁荣昌盛！显示了数学内部的辨了数学空前和持久的繁荣昌盛！显示了数学内部的辨了数学空前和持久的繁荣昌盛！显示了数学内部的辨证统一的深刻哲理。证统一的深刻哲理。证统一的深刻哲理。证统一的深刻哲理。2 2 2 2、推动了科学技术的发展。有了微积分，它就成为、推动了科学技术的发展。有了微积分，它就成为、推动了科学技术的发展。有了微积分，它就成为、推动了科学技术的发展。有了微积分，它就成为了物理学的基本语言。
24、其他如力学、天文学、化了物理学的基本语言。其他如力学、天文学、化了物理学的基本语言。其他如力学、天文学、化了物理学的基本语言。其他如力学、天文学、化学等学科都得到了无限的推动力。学等学科都得到了无限的推动力。学等学科都得到了无限的推动力。学等学科都得到了无限的推动力。3 3 3 3、对人类物质文明作出了巨大贡献。数学方法的应用、对人类物质文明作出了巨大贡献。数学方法的应用、对人类物质文明作出了巨大贡献。数学方法的应用、对人类物质文明作出了巨大贡献。数学方法的应用和更新，通过其他学科对人类的进步产生了前所未和更新，通过其他学科对人类的进步产生了前所未和更新，通过其他学科对人类的进步产生了前所未和
25、更新，通过其他学科对人类的进步产生了前所未有的作用。有的作用。有的作用。有的作用。现在学习的是第17页，共39页三、概率论的建立三、概率论的建立 概率论的建立首先是费马和他同时代的帕斯概率论的建立首先是费马和他同时代的帕斯卡的功绩，他们通过对游戏和赌博中掷骰卡的功绩，他们通过对游戏和赌博中掷骰子的考察，从大量的偶然性事件中寻求其子的考察，从大量的偶然性事件中寻求其统计上的必然性，从而创立了概率论。统计上的必然性，从而创立了概率论。现在学习的是第18页，共39页四、非欧几何学的出现四、非欧几何学的出现 为为了了消消除除欧欧氏氏几几何何学学第第五五公公设设的的“疵疵点点”，英英国国高高斯斯、俄俄国
26、国人人罗罗巴巴切切夫夫斯斯基基、匈匈牙牙利利人人波波耶耶、德德国国人人黎黎曼曼分分别别创创立立了了非非欧欧几几何何学学，打打破破了了欧欧氏氏几几何何的的一一统统天天下下，拓拓宽宽和深化了人们对空间的认识。和深化了人们对空间的认识。现在学习的是第19页，共39页公理体系公理体系 一组公理体系应当具有以下三个性质：一组公理体系应当具有以下三个性质：（1 1）完完备备性性：就就是是说说使使整整个个学学说说中中要要用用的的一一切切事事物物都都完完全全可可归归结结到到公公理理，使使之之不不存在任何默许的其他假定。存在任何默许的其他假定。（2 2）相相容容性性：从从公公理理不不能能推推出出两两个个互互相相
27、矛矛盾的定理。盾的定理。（3 3）独独立立性性：任任何何一一个个公公理理都都不不是是另另一一个个公理的推论。公理的推论。现在学习的是第20页，共39页欧氏几何的公理体系出现在欧几里德的集合原本中，欧氏几何的公理体系出现在欧几里德的集合原本中，欧氏几何的公理体系出现在欧几里德的集合原本中，欧氏几何的公理体系出现在欧几里德的集合原本中，在在在在2200220022002200年之后，希尔伯特在几何基础加以完善。其间，年之后，希尔伯特在几何基础加以完善。其间，年之后，希尔伯特在几何基础加以完善。其间，年之后，希尔伯特在几何基础加以完善。其间，许多数学家作了许多公理体系的完备性工作。许多数学家作了许多
28、公理体系的完备性工作。许多数学家作了许多公理体系的完备性工作。许多数学家作了许多公理体系的完备性工作。然而，令人放心不下的是该公理体系中的第五公理，即平然而，令人放心不下的是该公理体系中的第五公理，即平然而，令人放心不下的是该公理体系中的第五公理，即平然而，令人放心不下的是该公理体系中的第五公理，即平行公理的独立性问题。因为人们发现即使欧几里德本人也行公理的独立性问题。因为人们发现即使欧几里德本人也行公理的独立性问题。因为人们发现即使欧几里德本人也行公理的独立性问题。因为人们发现即使欧几里德本人也尽量避免使用它。所以人们开始从三个方面研究平行公理。尽量避免使用它。所以人们开始从三个方面研究平行
29、公理。尽量避免使用它。所以人们开始从三个方面研究平行公理。尽量避免使用它。所以人们开始从三个方面研究平行公理。（1 1 1 1）试图给出新的平行线定义以绕开这个困难；）试图给出新的平行线定义以绕开这个困难；）试图给出新的平行线定义以绕开这个困难；）试图给出新的平行线定义以绕开这个困难；（2 2 2 2）试图用比平行公理缺点更少的其他公理取代它；（等）试图用比平行公理缺点更少的其他公理取代它；（等）试图用比平行公理缺点更少的其他公理取代它；（等）试图用比平行公理缺点更少的其他公理取代它；（等价或包含）价或包含）价或包含）价或包含）（3 3 3 3）试图用其他公里推出它。）试图用其他公里推出它。）
30、试图用其他公里推出它。）试图用其他公里推出它。第三个问题得到的最多的研究，但是毫无结果。第三个问题得到的最多的研究，但是毫无结果。第三个问题得到的最多的研究，但是毫无结果。第三个问题得到的最多的研究，但是毫无结果。现在学习的是第21页，共39页 现在学习的是第22页，共39页第五公设的证明：非欧几何的萌芽第五公设的证明：非欧几何的萌芽在公设、公理基础上建立起来的在公设、公理基础上建立起来的在公设、公理基础上建立起来的在公设、公理基础上建立起来的欧几里德欧几里德欧几里德欧几里德几何学被几何学被几何学被几何学被公认为是数学严格性的典范。公认为是数学严格性的典范。公认为是数学严格性的典范。公认为是数
31、学严格性的典范。但是数学家们同时也感到欧氏几何中存在着某种瑕疵。但是数学家们同时也感到欧氏几何中存在着某种瑕疵。但是数学家们同时也感到欧氏几何中存在着某种瑕疵。但是数学家们同时也感到欧氏几何中存在着某种瑕疵。其中最让数学家们感到不大舒服的是第五公设。其中最让数学家们感到不大舒服的是第五公设。其中最让数学家们感到不大舒服的是第五公设。其中最让数学家们感到不大舒服的是第五公设。第五公设所说明的事实不象其他几条那样显而易见，第五公设所说明的事实不象其他几条那样显而易见，第五公设所说明的事实不象其他几条那样显而易见，第五公设所说明的事实不象其他几条那样显而易见，缺少作为一条公设所必须有的自明性。缺少作
32、为一条公设所必须有的自明性。缺少作为一条公设所必须有的自明性。缺少作为一条公设所必须有的自明性。人们不怀疑其真实性，但怀疑其作为公设的资格。人们不怀疑其真实性，但怀疑其作为公设的资格。人们不怀疑其真实性，但怀疑其作为公设的资格。人们不怀疑其真实性，但怀疑其作为公设的资格。因此许多人试图来证明第五公设。因此许多人试图来证明第五公设。因此许多人试图来证明第五公设。因此许多人试图来证明第五公设。现在学习的是第23页，共39页非欧几何的创立非欧几何的创立17921792年高斯（年高斯（Carl Carl Friedrich Gauss 1777-Friedrich Gauss 1777-1855185
33、5）十五岁时就开始）十五岁时就开始考虑第五公设问题。考虑第五公设问题。18161816年左右他已获得了年左右他已获得了非欧几何的基本思想，非欧几何的基本思想，确信存在一种与欧氏几确信存在一种与欧氏几何不同的几何学。何不同的几何学。现在学习的是第24页，共39页创始人？创始人？但是高斯有一个习惯，在任何情况下，他都把他但是高斯有一个习惯，在任何情况下，他都把他的结果保密一段时间。的结果保密一段时间。所以数学史上认为首先确立非欧几何的是另外两所以数学史上认为首先确立非欧几何的是另外两所以数学史上认为首先确立非欧几何的是另外两所以数学史上认为首先确立非欧几何的是另外两位数学家罗巴切夫斯基和波耶。位数
34、学家罗巴切夫斯基和波耶。位数学家罗巴切夫斯基和波耶。位数学家罗巴切夫斯基和波耶。高斯这样做或许还出于别的考虑，主要是为了少招高斯这样做或许还出于别的考虑，主要是为了少招高斯这样做或许还出于别的考虑，主要是为了少招高斯这样做或许还出于别的考虑，主要是为了少招徕愚蠢的偏见。因为他说过，徕愚蠢的偏见。因为他说过，徕愚蠢的偏见。因为他说过，徕愚蠢的偏见。因为他说过，“它的公开将引起愚它的公开将引起愚它的公开将引起愚它的公开将引起愚人的叫喊人的叫喊人的叫喊人的叫喊”。第一个公开发表非欧几何论文的罗巴切夫斯基的第一个公开发表非欧几何论文的罗巴切夫斯基的第一个公开发表非欧几何论文的罗巴切夫斯基的第一个公开发
35、表非欧几何论文的罗巴切夫斯基的确付出了相当大的代价。确付出了相当大的代价。确付出了相当大的代价。确付出了相当大的代价。现在学习的是第25页，共39页罗巴切夫斯基罗巴切夫斯基罗巴切夫斯基罗巴切夫斯基 Nikolai Nikolai Ivanovich Ivanovich LobachevskiiLobachevskii（1793-1793-18561856）大约在大约在18151815年开始研究第年开始研究第五公设问题。五公设问题。罗巴切夫斯基以深刻的洞罗巴切夫斯基以深刻的洞察力提出了导致几何学革察力提出了导致几何学革命的新思想。他大胆预言，命的新思想。他大胆预言，由第五公设的否命题出发由第五公
36、设的否命题出发而得到的结果代表着一种而得到的结果代表着一种新的几何学。新的几何学。现在学习的是第26页，共39页非欧几何的诞生及其阻力非欧几何的诞生及其阻力 1826 1826 1826 1826年年年年2 2 2 2月月月月11111111日罗巴切夫斯基在喀山大学物理数学日罗巴切夫斯基在喀山大学物理数学日罗巴切夫斯基在喀山大学物理数学日罗巴切夫斯基在喀山大学物理数学系会议上宣读了题为几何学原理简述及平行线定律系会议上宣读了题为几何学原理简述及平行线定律系会议上宣读了题为几何学原理简述及平行线定律系会议上宣读了题为几何学原理简述及平行线定律的严格证明的论文。在否定第五公理的同时，假设的严格证明
37、的论文。在否定第五公理的同时，假设的严格证明的论文。在否定第五公理的同时，假设的严格证明的论文。在否定第五公理的同时，假设其反面之一：其反面之一：其反面之一：其反面之一：“过已知直线外一点，可作多于一条的直过已知直线外一点，可作多于一条的直过已知直线外一点，可作多于一条的直过已知直线外一点，可作多于一条的直线与已知直线平行线与已知直线平行线与已知直线平行线与已知直线平行”，建立了一门新的几何学。这是过，建立了一门新的几何学。这是过，建立了一门新的几何学。这是过，建立了一门新的几何学。这是过去去去去2000200020002000年以来的重大突破。年以来的重大突破。年以来的重大突破。年以来的重大
38、突破。但是在一般人心目中，甚至数学家的心目中，欧但是在一般人心目中，甚至数学家的心目中，欧但是在一般人心目中，甚至数学家的心目中，欧但是在一般人心目中，甚至数学家的心目中，欧几里德堡垒是如此坚固。罗巴切夫斯基的工作得到的几里德堡垒是如此坚固。罗巴切夫斯基的工作得到的几里德堡垒是如此坚固。罗巴切夫斯基的工作得到的几里德堡垒是如此坚固。罗巴切夫斯基的工作得到的是许多数学大家的嘲笑、讽刺。是许多数学大家的嘲笑、讽刺。是许多数学大家的嘲笑、讽刺。是许多数学大家的嘲笑、讽刺。现在学习的是第27页，共39页波耶（波耶（1802-18601802-1860，Jnos BolyaiJnos Bolyai）非欧
39、几何的另一位创始人非欧几何的另一位创始人是匈牙利数学家波耶。是匈牙利数学家波耶。就读于维也纳工学院的波就读于维也纳工学院的波耶醉心于第五公设问题。耶醉心于第五公设问题。在在18201820年左右他相信建立年左右他相信建立一套新几何学是完全可能一套新几何学是完全可能的。的。波耶和罗巴切夫斯基所描波耶和罗巴切夫斯基所描述的非欧几何习惯上称为述的非欧几何习惯上称为罗巴切夫斯基几何或双曲罗巴切夫斯基几何或双曲几何。几何。现在学习的是第28页，共39页罗巴切夫斯基几何的基本特征罗巴切夫斯基几何的基本特征（1 1 1 1）承认空间是弯曲的，任何直线都是曲线，任何平面）承认空间是弯曲的，任何直线都是曲线，任
40、何平面）承认空间是弯曲的，任何直线都是曲线，任何平面）承认空间是弯曲的，任何直线都是曲线，任何平面都是曲面；都是曲面；都是曲面；都是曲面；（2 2）其所描述的空间曲率处处等于一个非零常数；就）其所描述的空间曲率处处等于一个非零常数；就是说空间处处一样弯，并且是均匀的；是说空间处处一样弯，并且是均匀的；（3 3 3 3）认为平面上过一点可以作无数条直线和一已知直线）认为平面上过一点可以作无数条直线和一已知直线）认为平面上过一点可以作无数条直线和一已知直线）认为平面上过一点可以作无数条直线和一已知直线不相交，它们和已知直线都不能保持同一距离；不相交，它们和已知直线都不能保持同一距离；不相交，它们和
41、已知直线都不能保持同一距离；不相交，它们和已知直线都不能保持同一距离；（4 4 4 4）三角形三内角之和小于）三角形三内角之和小于）三角形三内角之和小于）三角形三内角之和小于180180180180度；度；度；度；（5 5 5 5）圆的周长与半径不成比例，而是比半径增长得快。）圆的周长与半径不成比例，而是比半径增长得快。）圆的周长与半径不成比例，而是比半径增长得快。）圆的周长与半径不成比例，而是比半径增长得快。现在学习的是第29页，共39页黎曼黎曼Bernhard Bernhard RiemannRiemann1826-18661826-1866 非欧几何在创立后三、非欧几何在创立后三、四十年
42、间完全被学术四十年间完全被学术界忽视，直到十九世界忽视，直到十九世纪中期，黎曼的工作纪中期，黎曼的工作导致了突破。导致了突破。现在学习的是第30页，共39页黎曼空间黎曼空间黎曼在高斯的指导下进行研究。黎曼在高斯的指导下进行研究。黎曼认为，非欧几何不仅仅只有一种。他黎曼认为，非欧几何不仅仅只有一种。他推广了曲面的高斯曲率，建立起黎曼空间推广了曲面的高斯曲率，建立起黎曼空间的曲率概念。的曲率概念。在一般黎曼空间中，空间每一点的曲率是在一般黎曼空间中，空间每一点的曲率是不同的，也就是说黎曼空间本质上是不均不同的，也就是说黎曼空间本质上是不均匀的。匀的。现在学习的是第31页，共39页黎曼曲率为常数黎曼
43、曲率为常数在黎曼曲率为常数的特殊情况下，空间在黎曼曲率为常数的特殊情况下，空间分为三种类型：分为三种类型：（1 1）零曲率空间，即欧氏几何空间；）零曲率空间，即欧氏几何空间；（2 2）负曲率空间，即罗氏几何空间；）负曲率空间，即罗氏几何空间；（3 3）正曲率空间，即狭义的黎曼几何空）正曲率空间，即狭义的黎曼几何空间或称椭圆几何空间。间或称椭圆几何空间。欧氏几何和罗氏几何成了更为一般的黎欧氏几何和罗氏几何成了更为一般的黎曼几何的特例。曼几何的特例。现在学习的是第32页，共39页黎曼几何的特征黎曼几何的特征在黎曼几何中欧几里德的第五公设被替在黎曼几何中欧几里德的第五公设被替换为：通过已知直线外一点
44、，不能画一换为：通过已知直线外一点，不能画一条直线与已知直线平行。条直线与已知直线平行。作为推论，在黎曼空间中，通过两点可作为推论，在黎曼空间中，通过两点可以画无穷多条直线；以画无穷多条直线；不存在无限长直线的概念；不存在无限长直线的概念；三角形三内角之和总大于三角形三内角之和总大于180180度。度。现在学习的是第33页，共39页只有一位听众懂只有一位听众懂18541854年黎曼做了题为关于作为几何学基年黎曼做了题为关于作为几何学基础的假设的就职讲演，在这个讲演中正础的假设的就职讲演，在这个讲演中正式提出和建立了黎曼几何。讲演题目是高式提出和建立了黎曼几何。讲演题目是高斯指定的。斯指定的。他
45、的听众中除了年迈的高斯之外没有一个他的听众中除了年迈的高斯之外没有一个人听得懂他在说些什么。人听得懂他在说些什么。黎曼的讲演在他死后两年即黎曼的讲演在他死后两年即18681868年出版。年出版。现在学习的是第34页，共39页非欧几何地位的确立非欧几何地位的确立同一年同一年(1868)(1868)意大利数学家贝尔特拉米意大利数学家贝尔特拉米（BeltramiBeltrami，1835-18991835-1899）给出了罗氏几何的）给出了罗氏几何的一个欧几里德解释；一个欧几里德解释；克莱因（克莱因（KleinKlein，1849-19251849-1925）在）在18701870年给出年给出了另一
46、个更直观的模型，使得原来似乎复杂了另一个更直观的模型，使得原来似乎复杂和难以接受的思想变得易于理解了。和难以接受的思想变得易于理解了。以贝尔特拉米和克莱因的工作为契机，非欧以贝尔特拉米和克莱因的工作为契机，非欧几何在数学领域的地位才牢固地确立起来。几何在数学领域的地位才牢固地确立起来。现在学习的是第35页，共39页1 1、解决了平行公理的独立性问题。推动了一般公理体、解决了平行公理的独立性问题。推动了一般公理体、解决了平行公理的独立性问题。推动了一般公理体、解决了平行公理的独立性问题。推动了一般公理体系的独立性、相容性、完备性问题的研究，促进了数学系的独立性、相容性、完备性问题的研究，促进了数
47、学系的独立性、相容性、完备性问题的研究，促进了数学系的独立性、相容性、完备性问题的研究，促进了数学基础这一更为深刻的数学分支的形成与发展。基础这一更为深刻的数学分支的形成与发展。基础这一更为深刻的数学分支的形成与发展。基础这一更为深刻的数学分支的形成与发展。2 2、证明了对公理方法本身的研究能推动数学的发展，理、证明了对公理方法本身的研究能推动数学的发展，理、证明了对公理方法本身的研究能推动数学的发展，理、证明了对公理方法本身的研究能推动数学的发展，理性思维和对严谨、逻辑和完美的追求，推动了科学的进性思维和对严谨、逻辑和完美的追求，推动了科学的进性思维和对严谨、逻辑和完美的追求，推动了科学的进
48、性思维和对严谨、逻辑和完美的追求，推动了科学的进步。在数学内部，各分支纷纷建立了自己的公理体系，步。在数学内部，各分支纷纷建立了自己的公理体系，步。在数学内部，各分支纷纷建立了自己的公理体系，步。在数学内部，各分支纷纷建立了自己的公理体系，包括被公认为最困难的概率论也在包括被公认为最困难的概率论也在包括被公认为最困难的概率论也在包括被公认为最困难的概率论也在2020世纪世纪世纪世纪3030年代建立自年代建立自年代建立自年代建立自己的公理体系。实际上公理化的研究又孕育了己的公理体系。实际上公理化的研究又孕育了己的公理体系。实际上公理化的研究又孕育了己的公理体系。实际上公理化的研究又孕育了元数学元
49、数学的的产生和发展。产生和发展。非欧几何的产生的重大意义非欧几何的产生的重大意义现在学习的是第36页，共39页3 3、非欧几何实际上预示了相对论的产生，就象微积非欧几何实际上预示了相对论的产生，就象微积分预示了人造卫星一样。非欧几何与相对论和汇合是分预示了人造卫星一样。非欧几何与相对论和汇合是科学史上划时代的事件。人们都认为是爱因斯坦创立科学史上划时代的事件。人们都认为是爱因斯坦创立了相对论，但是，也许爱因斯坦更清楚，是他和一批了相对论，但是，也许爱因斯坦更清楚，是他和一批数学家等共同的工作。出现动钟延缓，动尺缩短，时数学家等共同的工作。出现动钟延缓，动尺缩短，时空弯曲等现象。这些都是非欧几何
50、与相对论的科学发空弯曲等现象。这些都是非欧几何与相对论的科学发现。现。非欧几何的产生的重大意义非欧几何的产生的重大意义现在学习的是第37页，共39页思考题思考题1.解析几何的创立在数学史上有何重大意义解析几何的创立在数学史上有何重大意义？2.牛顿和莱布尼兹各自在建立微积分的过程牛顿和莱布尼兹各自在建立微积分的过程中分别有什么特点？共同的局限是什么？中分别有什么特点？共同的局限是什么？3.非欧几何学的创立过程中有哪些学者作出非欧几何学的创立过程中有哪些学者作出了重要贡献？了重要贡献？4.从非欧几何学的发展中说明科学发展的内从非欧几何学的发展中说明科学发展的内在逻辑。在逻辑。现在学习的是第38页，