数学中的几种“奇怪几何学” _几何

欧几里得几何著名数学家欧几里德被认为是将几何公理化的第一人，他描述了支配这个世界的几何规则，并且基于这些公理来证明定理——这是数学史上最早使用证明的情形之一。
欧几里得把这些内容都写在《几何原本》一书中，虽然很可能是对他所处时代几何知识的总结，但依然是有史以来最有影响力的教科书，其逻辑、公理化的方法和严格的证明仍然是数学的基石。
【数学中的几种“奇怪几何学”】

文章插图

▲ 欧几里得平面几何的五条公设
欧几里得对现代数学最显着的影响之一是对平行公设的讨论。在第一卷中，欧几里得列出了五个公设，其中第五条就是平行公设，叙述如下：

若两条直线都与第三条直线相交，并且在同一边的内角之和小于两个直角，则这两条直线在这一边必定相交。

十九世纪，法国数学家阿德里安-马里·勒让德证明这一公设等价于如下表述：

三角形内角和等于两个直角。

文章插图

对于平行公设，欧几里得描述得明显要比前四条复杂。在他之后的两千年里，许多专业和业余的数学家尝试证明第五公设可由前四条公设推理得到并都以失败告终。
第五公设成立的几何被称为“欧几里得几何”或“平面几何”，它的定义特征是三角形内角和总是 180° 。
荷兰著名版画艺术家知名艺术家埃舍尔(Escher)对几何尤为着迷。在下面的图片中，他描绘了一幅由天使与恶魔拼接而成的平面几何图案。

文章插图

直到 1829 年，第五公设不成立而其余公设成立的几何例子最终才被俄罗斯数学家尼古拉·罗巴切夫斯基发现。事后再来看，数学家历经这么长时间才得出这一发现，忽略掉了一个常见的例子。它就是球体表面的几何，称为“球面几何” 。
球面几何

文章插图

▲ 一个大圆将球体分成两个相等的半球，大圆线是连接球面上两点最短的路径所在的曲线(图自维基@jhbdel)
在球面几何(Spherical geometry)里，这里欧几里得的直线不再是“直线”，因为球面上两点之间的最短距离是在大圆(Great circle)上的一段弧。球体是曲面，这样三角形内角和总是 180° 这一结论不再成立，比如在球面上既是非常小的三角形的内角和也会略大于 180°(但局部区域按照平面欧几里得几何的定律还是很好的近似方法)，而更大的三角形会有更大于 180° 的内角和。

文章插图

▲ 球面三角形的内角和不等于180°(图自维基@Lars H. Rohwedder)
数学家花了很长时间才注意到关于球面的几何学，这是因为与地球的大小相比，人类实在是过于渺小。即便在地面上画一个大大的三角形，然后测量角度之和与 180° 几无偏差，以致于根本无法检测到。
现在你可能会问：是否还存在一种几何学，其中第五公设不成立，但其中三角形内角和小于 180° 。
答案是，有的。这就是所谓的双曲几何。
双曲几何双曲几何不像球面几何一样容易想象，因为它不能在三维欧氏空间中无扭曲地建立模型。在双曲几何中，如同在球面几何里，欧几里得的前四条公设成立，但第五公设不成立。但在双曲几何中，至少可以找到两条相异的直线，且都通过 P 点，并不与 R 相交(如下图所示)，因此它违反了平行公设。

文章插图

▲ 通过 P 点且渐渐趋近 R（但不相交）的直线(图自维基 @Vladimir0987)
想象双曲几何的一个方式是庞加莱半平面模型。这个模型和“真正的”双曲空间之间的关系同平面地图和我们的球形世界之间的关系相似。例如，如果你沿直线从伦敦坐飞机到圣弗兰西斯科，然后在地图上画出你的路线，路线就不再是直线，因为地图扭曲了直线。（在标准“麦卡托投影法”映射下，接近极点处的距离被大大扭曲）在庞加莱半平面模型中，双曲平面被展平成一张欧几里得半平面。作为展平的一部分，双曲平面中的许多直线在模型中变成弯曲的。双曲平面中的直线在模型中变成垂直于半平面边界的直线或圆心在半平面边界上的圆。