被星术士称作“先生”——即使仅仅是一级星术士，仍然是一件很光彩的事情，程晋州慢悠悠的喝了一口茶，在口中回味了一番，方才靠在椅背上笑道：“什么问题。”

回答连辅助线都不会用的初中几何问题，连思考都不太需要。

“我觉得第五条公理，也就是关于平行线的公理，似乎可以用前面四条证明……”

“结果呢？”程晋州不为所动。类似的想法，几乎每个数学家都思考过。欧氏几何的前四条公理，简单清晰，令人信服，第五条平行线公理则不同，长且繁复，作为一个应该是不言而喻的公设，显的缺少欧氏美感。因而这几乎成为了一个经典命题，数百年来，有无数的人想要通过前四条公设来证明第五个公设：如一直线与两直线相交，且在同侧相交的两个内角和小于两个直角，则这两直线无限延长后必定在改侧相交。

当然，他们无一例外的失败了，但就像一切经典的数学问题一样，失败带来的礼物远比成功还要多。

项欣脸上露出程晋州想象中的沮丧，但她接下来却令人吃惊的道：“我觉得既然难以证明它是正确的，那么就想要用反证法试试，看看否定它有什么结果，然后有些奇怪的结果……”

一股子冷气从程晋州尾骨升起，直穿脊髓，刺激的他连茶杯都拿不稳，呼啦一声就站了起来，心里只在大叫：“不可能吧。”

……

第四十七章 平行公理（2）

从古至今，研究欧氏几何的天才成千上万，其中成功者无数。如果按照现代教授评选的资格来看，这些成果的主人，其数量能满足整个中国学术界的需求。

但欧式几何为基础衍生而来的成果中，最有名的却是两个反其道而行的牛人，建立了“非欧几何”大厦的罗巴切夫斯基和黎曼。

科幻小说中常常出现的“曲率”一词，其实就来自于黎曼几何学，事实上，爱因斯坦在描述弯曲空间中所用的工具也是黎曼几何学，但它们思想的来源，却简单的令人难以置信。

正是人们对欧氏几何第五条公设，持续不断的怀疑，方才诞生了非欧几何。

为了以反证法来证明平行定理，就要在题设中否定欧氏几何的第五条定理，并尝试证明它是错误的——让许多人尴尬的是，当问题开始运作的时候，由此得出一大堆新的定理，却不能返回题设而证明平行定理是正确的，于是一群相信欧氏几何的人，却在反欧氏的道路上越走越远……

然而，非欧几何是19世纪的事情了，程晋州无论如何都不相信，一个小小的一级星术士，能在17世纪的基础上，解决一个19世纪的问题。

项欣静静的等在旁边，见程晋州不说话，就将随身携带的草稿纸取出，一页页的铺开，其上皆是对平行定理的反证法使用。