2.1 證明精神的起源#

古希臘之前的埃及與巴比倫已有豐富的測量與計算技術，但多以實用口訣形式流傳，不問為何成立。約前600年，泰勒斯將幾何帶入論證傳統：等腰三角形底角相等、圓被直徑平分等命題，開始要求給出理由。畢達哥拉斯學派更進一步，主張數是萬物本原，並留下畢氏定理的證明傳統。

此式在巴比倫泥板上早已用作計算，但只有在希臘才變成需要證明的普遍命題。從特例計算到普遍證明，是思維方式的躍遷。芝諾的悖論、智者學派的辯論術，都鍛鍊了對定義與推理的敏感，使數學不再滿足於管用就好。

柏拉圖在學園門口刻下不懂幾何者不得入內，正是這種精神的象徵。他雖未留下數學專著，卻把數學當作訓練理性的階梯，影響了一整代學者。

因果分析#

論證文化的興起是因，證明要求的出現是果，而證明要求又倒逼了概念澄清。城邦辯論與法庭修辭使希臘人習慣追問依據，這種習慣滲入數學，便要求每個命題都有前件可依。若無這一層文化土壤，畢氏定理將永遠停留為計算口訣。正因證明成為共同期待，分散的幾何知識才有了被組織成演繹鏈條的內在壓力。