负曲率二维表面三角形内角和小于180°,且可以作已知直线的无数条平行线
在做了简短的开场白以后,接下来罗巴切夫斯基所说的话,令当时在场的所有数学家惊愕不已,罗巴切夫斯基所做的报告不仅完全超出了当时数学界的认知,且每一句话都在挑战着人们的常识。
例如罗巴切夫斯基提出:在一个二维的面上三角形的内角之和可以小于180°,当然也可以大于180°;由两条直线组成的锐角,向一边作垂线,这个垂线可以和另外一条边不相交;
正曲率表面,三角形内角和大于180°,无法作平行线
在一个二维面内,过直线外的一点,可以做多条直线与已知直线平行;当然也存在无法做平行线的情况,也就是说在一个二维面上,没有真正的平行线,任何两条直线都有一个共同的交点(平行线相交)。
看了以上的说法是不是很懵,不要慌张,当时在座的所有数学家都被惊掉了下巴,无人能理解罗巴切夫斯基在说什么。
但罗巴切夫斯基说这些看起来奇怪的说法是新的几何学,虽然和欧式几何相互冲突,但是它和欧式几何有着同等重要的地位,并请求同行对他的报告提出评议。
但此时的会场一片寂静,所有的人都流露出了怀疑、否定的态度,不敢相信这么胡扯的话能出在一位治学严谨的数学家之口。
那么罗巴切夫斯基到底说的是什么?它又发现了什么?
上文中我们不断的提到欧式几何,它是公元3世纪由古希腊学者欧几里得编写的一部数学界的旷世巨著《几何原本》。
欧几里得的几何学中,一开始写了5条公设(公理),并在此基础上进行逻辑推理导出了48个命题。公设的意思是那些不用去证明的真理。
这五条公理我们非常熟悉,这是学习几何时必须掌握的知识,其中前四条公理人们看着十分满意,但是唯独第五条(论平行线的)人们怎么看怎么不舒服。
并不是觉得它不对,就是感觉这个语句如此之长一点也不简洁,看起来更像是一条可以被证明的定理,而不是公理。
并且后来的学家也认为,是当时欧几里得无法给出这条定理的证明,投机取巧才把它写进了公理。如此想法一出,数学界就开始了长达数千年利用前四条公理去证明第5公理的道路。