时空几何｜欧几里德（平面）几何非欧几里德（双曲、椭圆）几何
数学研究的对象是“数”与“形”，形的数学就是几何学．它是以直观为主导，以培养人的空间洞察力与思维为目的．从数学发展的历史来看几何学的第一个最重要著作就是欧几里得(Euclid，约公元前330一275年)的《几何原本》．它被世界各国翻译成各种文字．它的印刷量仅次于“圣经”，所以不少人称《几何原本》为数学工作者的“圣经”。《几何原本》在数学史乃至人类思想史上有着无比崇高的地位。
1 欧几里德几何（Euclid Geometry）－平面
2 非欧几里德几何（noneuclidean geometry）－非平面
2.1 负曲面几何(罗氏几何)，双曲几何（Hyperbolic Geometry）-鞍形
2.2 正曲面几何(黎曼几何)，椭圆几何（Elliptical Geometry）-球形
1 欧几里德几何（Euclid Geometry）－平面
欧氏几何源于公元前3世纪。古希腊数学家欧几里德把人们公认的一些几何知识作为定义和
公理(公设)，在此基础上研究图形的性质，推导出一系列定理，组成演绎体系，写出《几何原本》，形成了欧氏几何。按所讨论的图形在平面上或空间中，又分别称为“平面几何”与“立体几何”(欧几里得空间)。
一米等于多少厘米
Euclid(约公元前330一275) ↑
写春天的句子
玉米糁在欧几里德以前，古希腊人已经积累了大量的几何知识，并开始用逻辑推理的方法去证明一些几何命题的结论。欧几里德将早期许多没有联系和未予严谨证明的定理加以整理，写
下《几何原本》一书，标志着欧氏几何学的建立。这部划时代的著作共分13卷，465个命题。其中有八卷讲述几何学，包含了现今中学所学的平面几何和立体几何的内容。但《几何原本》的意义却绝不限于其内容的重要，或者其对诸定理的出色证明。真正重要的是欧几里德在书中创造的公理化方法。
在证明几何命题时，每一个命题总是从再前一个命题推导出来的，而前一个命题又是从再前一个命题推导出来的。我们不能这样无限地推导下去，应有一些命题作为起点。这些作为论证起点，具有自明性并被公认下来的命题称为公理，如“两点确定一条直线”即是一例。同样对于概念来讲也有些不加定义的原始概念，如点、线等。在一个数学理论系统中，我们尽可能少地先取原始概念和不加证明的若干公理，以此为出发点，利用纯逻辑推理的方法，把该系统建立成一个演绎系统，这样的方法就是公理化方法。欧几里德采用的正是这种方法。他先摆出公理、公设、定义，然后有条不紊地由简单到复杂地证明一系列命题。他以公理、公设、定义为要素，作为已知，先证明了第一个命题。然后又以此为基础，来证明第二个命题，如此下去，证明了大量的命题。其论证之精彩，逻辑之周密，结构之严谨，令人叹为观止。零散的数学理论被他成功地编织为一个从基本假定到最复杂结论的系统。因而在数学发展史上，欧几里德被认为是成功而系统地应用公理化方法的第一
人，他的工作被公认为是最早用公理法建立起演绎的数学体系的典范。
2 非欧几里德几何（noneuclidean geometry）－非平面
九连环的玩法欧几里德几何公理五又称之为平行公设（Parallel Postulate），叙述比较复杂，并不像其他公理那么显然。这个公设衍生出“三角形内角和等于一百八十度”的定理。在高斯（F. Gauss）的时代，公设五就备受质疑，俄罗斯数学家罗巴切夫斯基（Nikolay Ivanovitch Lobachevski）、匈牙利人波尔约（Bolyai）阐明第五公设只是公理系统的一种可能选择，并非必然的几何真理，也就是“三角形内角和不一定等于一百八十度”，从而发现非欧几里得的几何学，即“非欧几何”（non-Euclidean geometry）。
项脊轩志作者
优柔寡断的意思平面、正、负曲率 ↑
2.1 负曲面几何，双曲几何（Hyperbolic Geometry）－鞍形
罗巴切夫斯基几何，也称双曲几何，波利亚-罗巴切夫斯基几何或罗氏几何，是一种独立于欧几里得几何的一种几何公理系统。双曲几何的公理系统和欧氏几何的公理系统不同之处在于欧几里得几何的“第五公设”（又称平行公理，等价于“过直线之外一点有唯一的一条直线和已知直线平行”）被代替为“双曲平行公理”（等价于“过直线之外的一点至少有两条直线和已知直线平行”）。在这种公理系统中，经过演绎推理，可以证明一系列和欧式几何内容不同的新的几何命题，比如三角形的内角和小于180度。
1868年，意大利数学家贝特拉米发表了一篇著名论文《非欧几何解释的尝试》，证明非欧几何可以在欧几里得空间的曲面（例如拟球曲面）上实现。这就是说，非欧几何命题可以“翻译”成相应的欧几里得几何命题，如果欧几里得几何没有矛盾，非欧几何也就自然没有矛盾。工程施工合同
眉目直到这时，长期无人问津的非欧几何才开始获得学术界的普遍注意和深入研究，罗巴切夫斯基的独创性研究也就由此得到学术界的高度评价和一致赞美，他本人则被人们赞誉为“几何学中的哥白尼”。
Lobachevski (1792 –1856) ↑
