在一个球面,两点之间可以作无数条直线。
但是直到19世纪初,所有的数学家都逃不过循环论证的噩梦,证明第5条公理就成为了数学家的一大历史遗留问题。
身为数学家的罗巴切夫斯基当然也加入了其中,不过他一样也发现第五条公理怎样都无法证明。但是理论的进步往往都自于一瞬间的灵光乍现。
既然无法证明,那是不是就说明证明的第五条公理的过程根本就不存在,我们去找一件本身不存的事情当然是徒劳。人类花了几千年,就算是再过上万年也会无果。
为了证明第五公理不可证明,罗巴切夫斯基首先否定了第五公理,把他更改为一条新的公理,即:过直线外的一点可以做已知直线,至少两条平行线。
将这个新的公理和前四条公理结合在一起,罗巴切夫斯基从头开始了新的逻辑推理,并发现得出来的结论虽然古怪,但是在理论上并不矛盾,而且与前四条公理完美的相容。
这只能说明,新结论和欧式几何同样具有同等的地位,且是一个完整、逻辑严密的新几何。新几何的存在也说明了第五公理并不是公理,也不是定理,它只能是一个对平行线的定义,不同的定义可以导出不同的结论,因此也无法证明。
这个新的几何学就是我们大学时学到的非欧几何,适用于弯曲的时空。罗巴切夫斯基根据他对平面内平行线的定义所得出来的几何学也被称为罗氏几何。
主要描述的是负曲率空间的几何学,虽然这是一个伟大的发现,但是由于当时人们根本找不到现实世界的类比物来理解罗氏几何。
因此罗巴切夫斯基的新发现得到的是一片冷嘲热讽,甚至是人身攻击,甚至是被当时的俄国教育部开除了公职,迫使他离开了最喜爱的大学校园。
长年的苦闷和压抑使得罗巴切夫斯基在晚年百病缠身,甚至失明。1856年罗巴切夫斯基带着遗憾和无奈走完了自己的一生。这时他的新几何学依然没有被人们认可,在追悼会上人们对他在非欧几何上的贡献也是只字不提,刻意回避。