第一章绪论：几何学-时间与空间的数学.pptVIP

第一章 绪论：几何学——时间与空间的数学起源及论证几何;*;一、几何学的进步概说;*;初等几何的三个要素;1、几何的起源——无意识几何阶段;①“形”的萌芽;①“形”的萌芽;①“形”的萌芽;①“形”的萌芽;②度量的意识;②度量的意识;③ “结构”意识;;2、几何的发展——经验几何阶段;经验几何思想方法——“特例研究发现法” ;经验几何的思想方法——“实验研究发现法”;;;;3、论证几何阶段;*;*;*;*;*;*;*;*;*;*;;*;*;*;*;《雅典学院》简介;*;*;*;*;《原本》;*;;;*;*;*;*;*;*;（三）论证几何在中国;如关于点的定义;;;;; 直到18世纪末，几何领域仍然是欧几里得一统天下。解析几何改变了几何研究的方法，但没有从实质上改变欧几里得几何本身的内容。解析方法的运用虽然在相当长的时间内冲淡了人们对综合几何的兴趣，但欧几里得几何作为数学严格性的典范始终保持着神圣的地位。;欧几里得平行公设;古希腊数学家对第五公设的讨论; 早在9世纪，当欧几里得《几何原本》传入伊斯兰国家后，第五公设就引起学者们的注意．所谓第五公设或平行公设就是在《原本》中提出的公理：“如果一直线和两直线相交，所构成的两个同旁内角之和小于两直角，那么，把这两直线延长，它们一定在那两内角的一侧相交．”这公设不论在词句或内容方面都比其他四个公设复杂得多，而且也不那么显而易见．人们自然会发生是否可以证明的疑问． ????? 阿拉伯学者对此公设进行试证的有焦赫里(al－Jawharī)，塔比伊本库拉(Thābit ibn Qurra)，伊本海塞姆(Ibn al－Haytham，即Alhazen)，奥马海亚姆等人．实质上他们并没有证明了公设，而是采用另外一与之等价的公设来代替它．; 奥马在1077年撰写了《辩明欧几里得公设中的难点》(Explanation of the difficul－ties in the postulates of Euc－lid)一书，讨论了两个难题，一是平行公设，二是比的问题．他考察四边形ABCD，DA与CB同垂直于AB且DA=CB(图2)．无需用平行公设，很容易证明∠C=∠D．而∠C，∠D的大小有三种可能：(1)等于直角；(2)等于钝角；(3)等于锐角．若采用平行公设．可以证明∠C，∠D等于直角．反之，若能证明∠C，∠D等于直角，便可推出平行公设．奥马用反证法，“证明”钝角、锐角假设必导致矛盾，因此只有直角的情形成立，这就无异证明了平行公设．但他的证明是有缺陷的，实际是引入下述假设来代替平行公设：两条直线如果越来越接近，那么它们必定在这个方向上相交．所以他也未解决平行公设问题． ; 18世纪，对第五公设的研究开始出现有意义的进展。在这方面的代表人物是意大利数学家萨凯里、德国数学家克吕格尔和瑞士数学家兰伯特。; Legendre（1752～1833）是第三位（在 Saccheri 与 Lambert 之后）为想建立欧氏平行公設而下了很大功夫的数学家。他證明了 定理： 若三角形的內角和等於兩直角，則歐氏平行公設成立。 然后他想证明三角形的內角和不能小于兩直角，卻產生了瑕疵。他鍥而不捨地在平行問題上下功夫，堅持最久。1833年在他死那年還出版了最後一篇論文。可惜未有多大進步。 ;9.2.1 高斯;波约;罗巴切夫斯基; 设给定了直线a和直线外一点A，从A引a的垂直线AB。按照罗巴切夫斯基的基本假设，至少存在两条直线b, b’，通过点A且不与直线a相交（如图）。罗巴切夫斯基考虑所有过A不与a相交的直线的极限情形，指出这样的极限直线有两条（c与c’），并证明了它们也不与a相交。因此，c与c’便构成了所有不与a相交的直线的边界，在这两条边界直线所成夹角?内的所有直线都不与a相交（如图）。罗巴切夫斯基称c与c’为a的“平行线”，而落在角?内的所有直线叫不相交直线。如果按不相交即平行的意义理解，那么罗巴切夫斯基的几何里，过直线外一点就可以引无穷多条直线与给定的直线平行。; 非欧几何要获得普遍接受，还需要确实地建立自身的无矛盾性和现实意义。1854年，德国数学家黎曼发展了罗巴切夫斯基等人的思想，以高斯关于曲面的内蕴微分几何为基础，建立了一种更广泛的几何。即现在所称的黎曼几何。; 黎曼几何中，最重要的一种对象就是所谓的常曲率空间，对于三维空间，曲率可以为正常数、负常数、或恒为零。黎曼指出后两种情形分别对应于罗巴切夫斯基的非欧几何学和通常的欧几里得几何学。而第一种情形则是黎曼本人的创造。在这种几何中，过已知直线外一点，不能作任何平行于已知直线的直线。这实际上是以萨凯里等人的钝角假设为基础而展开的非欧几何学。黎曼可以说是最先理解非欧几何全部