平行线是指两条直线永远不会相交，无论你把它们延伸多远。这是我们从小就学过的几何知识，也是欧几里得几何的基础。

但是，你有没有想过，平行线真的不会相交吗？有没有可能存在一种不同的几何，让平行线可以相交呢？

平行线会相交吗

古希腊数学家欧几里得可谓是数学领域的巨匠，他在公元前三世纪创作的《几何原本》是一部数学巨著，被誉为数学史上的瑰宝之一，影响了后来的数学家和科学家，成为几何学的经典之作。

但就像所有伟大的作品一样，它也有一些小小的不足之处，其中一个就是平行公设。

平行公设似乎有点像定理，而不是一个必然成立的公设。因为公设理应能够用其他公理来证明，而不是仅仅作为一个前提存在。这一点曾在数学历史上引起过不少争议。

数学家们曾竭力尝试通过逻辑推理来证明或否定平行公设，但始终未能完全成功。有些人甚至开始怀疑，平行公设是否真的始终成立，是否可能存在一种不同的几何体系，让平行线最终可以相交呢？

这个问题的答案，是由一位俄国数学家给出的，他的名字叫罗巴切夫斯基。

罗巴切夫斯基的相交平行线

罗巴切夫斯基，出生在俄国一个贫困的家庭，父亲是一名小官吏，七岁时便离世。在政府的奖学金支持下，罗巴切夫斯基与他的两个兄弟都得以接受教育，而他们的才华也逐渐显现。

15岁那年，罗巴切夫斯基顺利进入了喀山大学，对数学和物理表现出浓厚兴趣，尤其钟情于几何学。

他的导师是一位德国数学家，名叫巴特尔斯，是高斯的好友，为罗巴切夫斯基介绍了欧几里得几何的经典之作《几何原本》。

阅读完这本书后，罗巴切夫斯基怀揣着一份雄心，希望能完成欧几里得未竟之业——证明平行公设。他开始尝试各种可能的途径，然而每一次都以失败告终。

他发现以前所有的证明都陷入了循环论证的误区，无法摆脱。渐渐地，他意识到这个问题或许根本没有确切的答案，或许第五公设是不可证的。这一颠覆性的思考，让他陷入了对几何学基石的深度思索。

于是，罗巴切夫斯基转变了思维方向，开始追寻第五公设不可证的答案。他采用了反证法的逻辑手段，首先否定了第五公设，得出了一个相反的命题：过直线外的一点，可以画出无数条与已知直线平行的直线。

他将这个否定命题与其他公理组合，构建了一个全新的公理体系，从而展开了逻辑的推演。

在这一探索中，他得出了一系列异常奇特且颠覆常理的命题。比如，三角形的内角和不再是固定的180度，而是随着三角形的大小而变化，可以更大或更小。

然而，他并未在这些命题中发现任何逻辑上的矛盾。他得出结论，这个没有矛盾的新公理体系能够构建一种新的几何学，其逻辑完整性和严密性可与欧几里得几何媲美。

他将这种几何称为罗氏几何，又称为双曲几何。他运用数学语言描述了这种几何的性质和定理，尽管没有提供具体的例子或图形，因为他认为这种几何只是一种虚构的构想，而非真实存在的东西。

罗巴切夫斯基的想法是非常创新和大胆的，但是他的理论却没有得到同行的认可和支持，反而遭到了很多的嘲笑和质疑。他的论文被拒绝发表，最终郁郁而终，没有看到他的理论被证明的那天，更没有看到罗氏几何被应用到了真实的世界。