一個可以維持關閉的開關
在第 2 篇導覽中，你看著希爾伯特在五個公理家族上重建幾何：接合公理（哪些點落在哪些線上）、次序公理（哪個點介於哪些點之間，並由帕施公理收緊）、全等公理（兩線段或兩角何時相符）、連續公理（阿基米德公理與完備性公理，填補直線上的針孔），最後是平行公理。前四個家族搭起舞台、安排演員。唯獨第五個只決定一件事：過線外一點，能畫出幾條平行線。
中性幾何就是刻意保留前四個家族、只把第五個關掉的決定。你完整地主張接合、次序、全等與連續——然後，對於平行，你什麼都不說。不說「恰好一條」（歐幾里得的選擇），不說「許多條」（雙曲的選擇），也不說「一條也沒有」。你拒絕選邊站。中性幾何有時也被稱為絕對幾何，這是來自波利耶的舊名，兩個詞指的是同一份克制。
沒有第五公理仍倖存的是什麼
下面這點令人吃驚：學校幾何裡有極大一部分，根本從來不需要平行公理。對頂角相等、邊角邊與角邊角全等成立、等腰三角形定理為真、每條線段都有唯一的垂直平分線，而三角形不等式 |AB| + |BC| > |AC| 也屹立不搖。這些全都是中性定理——只用接合、次序、全等與連續就能證明。你多年來一直在做中性幾何，只是不知道它的名字。
最重要的單一中性定理是外角定理，值得一字不差地陳述，因為它的精確措辭正是關鍵所在。中性幾何的外角定理說：三角形的一個外角嚴格大於兩個不相鄰內角中的任一個。請注意它沒有說的部分——它沒有說外角等於那兩個內角之和。那個更強、更俐落的等式，正是你在學校學到的版本，而它悄悄夾帶了平行公理進來。中性版本才是誠實的那個，而它是一個嚴格不等式。
這道缺口為何重要？因為三角形的內角和，m(angle A) + m(angle B) + m(angle C) = 180 度，並不是中性定理。在中性幾何裡你只能證出較弱的陳述：三個內角之和至多為 180 度（薩凱里–勒讓德定理）。內角和究竟恰好命中 180，還是永遠差那麼一點，正是平行公理所回答的問題——而一個中性幾何學家被禁止回答它。
平行線確實存在——這一點是中性的
人們很容易把中性幾何誤記成一個沒有平行線的地方，但那是錯的，而這個更正很有啟發性。在中性幾何裡你確實可以證明至少存在一條平行線。取一條線與線外一點 P。從 P 向那條線作垂線，再在 P 處對那段垂線立起第二條垂線。外角定理保證這條新線永遠不會與原線相交——所以過 P 的一條平行線存在。
P
| \
| \ m (second perpendicular at P; parallel to L)
| \
-------+---------------- L (original line)
F
PF _|_ L (drop a perpendicular, foot F)
m _|_ PF at P
=> m never meets L (exterior angle theorem)
=> at least one parallel through P EXISTS -- this is NEUTRAL
HOW MANY such m are there? <-- the parallel postulate decides
Euclidean: exactly ONE Hyperbolic: INFINITELY MANY因此有爭議的點，從來不是平行線是否存在——它總是存在。有爭議的點是有幾條。這正是為什麼普萊費爾公理——「過線外一點，恰有一條平行線」——是歐幾里得第五公理俐落的現代面貌：扛起全部重量的那個詞是一。把「恰有一條」減弱為「至少一條」，這句話就變成你能證明的中性定理。堅持「至多一條」，你就重新加回了歐幾里得的選擇。
薩凱里四邊形：探測那道缺口
當你的公理禁止你回答某個問題時，你該如何研究它？你建造一個中性的物件，它的行為將會解決這個問題，然後看看單憑中性幾何能釘死什麼、不能釘死什麼。1733 年，耶穌會士薩凱里（Giovanni Saccheri）就用一個如今著名的圖形做了這件事。一個薩凱里四邊形建在底邊 AB 上，兩條相等的腰 AD 與 BC 都垂直於底邊（所以 m(angle DAB) = m(angle CBA) = 90 度），|AD| = |BC|，再以頂邊 DC 連接它們的端點。
只用中性工具——全等與等腰三角形定理——薩凱里證明了 D 與 C 處的兩個頂角永遠彼此相等。中性幾何能保證的就到這裡。但它無法告訴你這兩角的大小。三種情形回望著你：頂角為直角（各 90 度）、為鈍角，或為銳角。就中性幾何所能看見的範圍而言，每一種情形內部都自洽，而每一種都是一個等待被選擇的不同幾何。
- 直角情形：頂角等於 90 度。這與平行公理等價——它給你歐氏幾何，此時四邊形是真正的矩形，三角形內角和恰為 180 度。
- 鈍角情形：頂角大於 90 度。這迫使三角形內角和超過 180 度——這是橢圓與球面幾何的世界，在那裡（經適當調整後）任兩線必相交。
- 銳角情形：頂角小於 90 度。這給出小於 180 度的三角形內角和——這是雙曲幾何，過一點可作出許多條平行線。
薩凱里自己的目標，與他實際達成的恰恰相反。他想證明歐幾里得第五公理：假設銳角情形並導出矛盾——把公理變成定理。他殺掉了鈍角情形（它與「直線可無限延伸」的中性結論相衝突），但銳角情形怎麼也打不破。他從中擠出種種奇異而陌生的結論，最後宣稱它們「與直線的本性相牴觸」——然而一種牴觸的感覺並不是矛盾。薩凱里在不知不覺間，一直在證明雙曲幾何的定理，比任何人敢稱它為真，還早了整整一個世紀。
為何中性樹幹正是恰到好處的策略
回想第 3 篇導覽中我們如何檢驗一條公理的獨立性：若存在一個模型，其中其餘公理全部成立而它失效，那這條公理就獨立於其他公理。中性幾何正是這項檢驗的天然發射台。因為中性樹幹固定了平行以外的一切，你可以嫁接任一條平行規則，都得到一套自洽的系統——「恰有一條」給歐氏，「許多條」給雙曲。光是兩者並存，就證明了平行公理是獨立的：它不可能是其他四個家族暗藏的後果，否則你根本造不出一個否定它的模型。
這替一場長達兩千年的尷尬重新定了調。從古代以降，幾何學家就懷疑歐幾里得第五公理其實是一條偽裝的定理，並試圖從前四條把它導出來。每一次這樣的嘗試都失敗了——而現在你看得出為什麼它非失敗不可。任何「由前四條證出第五條」的證明都會是一個中性證明，在每一個中性模型裡都有效，包括那個第五公理為假的雙曲模型。一個對假命題的有效證明是不可能存在的。那兩千年的失敗，不是運氣不好或頭腦不靈；那是宇宙在靜靜地堅持：這條公理，是一個自由的選擇。