几何的发展及公理化体系.ppt

初等几何选讲;1、三角形的重心定理 2、分别用欧氏法、向量法、解析法证明梯形中位线定理 3、过一点作已知直线的垂线 4、线面垂直的判定定理;绪 论;一、为什么要学习初等几何研究;二、学习初等几何研究的方法;三、本课程对大家的要求;第一章绪论：几何学——时间与空间的数学;一、几何学的进步概说;二、欧氏几何与非欧几何;（一）欧氏几何;1、欧氏几何的建立;欧几里德几何指按照欧几里德的《几何原本》构造的几何学。 欧几里德几何有时就指平面上的几何，即平面几何。本文主要描述平面几何。 三维空间的欧几里德几何通常叫做立体几何。 数学上，欧几里德几何是平面和三维空间中常见的几何，基于点线面假设。 欧几里德几何的传统描述是一个公理系统，通过有限的公理来证明所有的“真命题” ;2、一座不朽的丰碑;公理化方法;3、欧氏几何的完善;完善公理体系的原则;4、欧式几何的意义;牛顿的故事;爱因斯坦的故事;（二）非欧几何;非欧几何的起因;因此，一些数学家提出，第五公设能不能不作为公设，而作为定理？能不能依靠前四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于“平行线理论”的讨论。 由于证明第五公设的问题始终得不到解决，人们逐渐怀疑证明的路子走的对不对？第五公设到底能不能证明？;罗氏几何的诞生;矛盾的命题;罗氏几何;罗式几何除了一个平行公理之外采用了欧式几何的一切公理。因此，凡是不涉及到平行公理的几何命题，在欧式几何中如果是正确的，在罗式几何中也同样是正确的。在欧式几何中，凡涉及到平行公理的命题，在罗式几何中都不成立，他们都相应地含有新的意义。例如： 欧式几何1、同一直线的垂线和斜线相交。2、垂直于同一直线的两条直线或向平行。3、存在相似的多边形。4、过不在同一直线上的三点可以做且仅能做一个圆。 罗式几何1、同一直线的垂线和斜线不一定相交。2、垂直于同一直线的两条直线，当两端延长的时候，离散到无穷。3、不存在相似的多边形。4、过不在同一直线上的三点，不一定能做一个圆。;黎曼几何;四、微分几何与黎曼几何几何;（一）微分几何;1、微分几何的产生;2、微分几何学的基本内容;3、微分几何的研究方法