4.1 平行公設問題#

第五公設與前四條氣質迥異。前四條皆簡短直觀，可視為作圖規則；第五條卻涉及無限延伸後的相交，無法直接驗證。歐幾里德自己似乎也意識到這一點，在第一卷前二十八個命題中有意避開它，直到不得不使用時才首次引用。

等價表述更能顯示其分量。普萊費爾公理說：過直線外一點，恰有一條直線與已知直線平行。與之等價的還有三角形內角和等於兩直角、存在相似而不全等的三角形等。這些命題看似顯然，實則都依賴平行假設。

上式在歐氏幾何中成立，但在球面或雙曲面上皆不成立。這說明平行公設並非邏輯的必然，而是對空間性質的實質斷言。問題於是誕生：它能否從其餘公設推出，還是獨立的假設。

因果分析#

表述的複雜是因，懷疑是果，千年難題是更遠的果。正因第五公設不像公理，更像定理，後人自然想把它降格為定理，以恢復體系的簡潔。歐幾里德刻意延遲使用它，反而暴露了它的特殊地位，提醒讀者此處另有玄機。一條公設的風格瑕疵，最終演變為撬動整個幾何觀的槓桿，可見形式細節具有實質的因果力量。