4.2 千年的證明嘗試#

從古代到近代，證明第五公設的努力綿延不斷。五世紀的普羅克洛斯試圖以反證法推導，卻暗中用了等價假設。阿拉伯學者納西爾丁、海亞姆等人引入四邊形研究，逼近了非歐的邊緣，卻因堅信歐氏幾何唯一而回頭。

十八世紀薩凱里的方法最具代表性。他假設第五公設為假，推導鈍角與銳角假設下的結論，希望得出矛盾。當銳角假設推出種種怪異卻無矛盾的定理時，他以有違直線本性為由強行否定，錯失了發現新幾何的機會。克呂格爾與蘭伯特進一步指出，證明之難可能源於公設本身的獨立性。

這些失敗並非徒勞。每一次嘗試都澄清了何為循環論證，何為真正的依賴，使等價命題的網絡愈發清晰。失敗的積累正是突破的前夜。

flowchart LR
    A[普羅克洛斯 5世紀] --> B[納西爾丁 13世紀]
    B --> C[薩凱里 1733]
    C --> D[蘭伯特 1766]
    D --> E[高斯勒讓德爾 19世紀初]
    E --> F[獨立性猜想浮現]

因果分析#

信念是因，盲點是果，而盲點的暴露又是新覺醒的因。歷代學者共享歐氏幾何唯一正確的信念，這使他們把反常結論自動視為荒謬，而非新世界的窗口。薩凱里實際上推出了大量雙曲幾何定理，卻因哲學成見而否定。正是這種屢敗屢試的模式，使後人開始反問：會不會根本不存在證明。每一次循環論證的被識破，都把獨立性的可能性推高一分。