那個惱人的唯一例外
一路爬上這座階梯，有一件事一直悄悄讓你付出代價。兩個相異點永遠恰好決定一條線——乾淨俐落，沒有例外。但鏡像的敘述，兩條相異線永遠恰好交於一點，卻破了一個大洞：平行線根本永不相交。你最早是在歐幾里得那條麻煩的平行公設裡遇見這個不對稱，後來又在普萊菲爾公理裡遇見它——那條公理保證過線外一點恰有一條平行線。平行，正是「兩線交於一點」這句話不得不一直補上「除非它們剛好平行」的原因。
這個小小的「除非」不只是不方便——它是一道貫穿整個學科的裂縫。每條關於相交線的定理都得分岔成一般情形與平行情形；每條關於斜率的公式都得提防斜率無定義的鉛直線。射影幾何的夢想是把例外徹底拿掉，讓那兩句話成為完美的雙胞胎：任意兩點恰好落在一條線上，任意兩線恰好交於一點，毫無但書。整個問題在於：我們能不能誠實地買到這份對稱，而不對「線是什麼」這件事說謊。
替每個方向各添一個點
招式如下。取一族平行線——比方說所有指向東北、斜率為 1 的線。它們共有單一個方向。我們發明一個新點，稱它為理想點或無窮遠點，並宣布那一族裡的每一條線都通過它。另一個方向——比方說所有水平線、斜率為 0——則得到它自己、不同的無窮遠點。所以每個方向恰有一個新點，每一族平行線一個，不多也不少。
留意這個記帳手法雖然精細卻精確。方向不等於單獨一個斜率數字，但它等於斜率連同沿著該族走哪一邊的選擇——而關鍵在於，一條線與它正好相反的走向（斜率 1 朝右上、斜率 1 朝左下）屬於同一平行族，所以它們共有一個理想點，不是兩個。線本身並沒有兩端各自奔向兩個不同的無窮；它只有單一個無窮遠點，兩個遠端都朝它奔去。這是初學者常漏掉的微妙修正。
有了這些新點，例外就溶解了。從前平行的兩條線如今真的共有一個點——它們共同的理想點——所以恰好相交一次，和任何別的線對一樣。原本就在普通點相交的兩條線，仍在那裡相交、別無他處，因為它們指向不同方向、因而奔向不同的無窮遠點。無論哪種情形，恰好一個交點。普通平面連同它所有的理想點，就是射影平面，而它的關聯規則終於擺脫了一切但書：兩點一線，兩線一點。
所有新點都落在一條新線上
我們剛剛添了一大群新點——每個可能的方向各一個。為了讓規則保持一致，我們必須決定線要如何對待它們。自然且被迫的選擇是：把所有無窮遠點收進一條新線裡，即無窮遠線。所以現在射影平面有普通點、理想點、普通線（每條恰帶一個理想點），以及一條額外的線——無窮遠線——它承載每一個理想點，卻不含任何普通點。
來檢查這個選擇是否讓那對孿生定律維持完好。在有限點相交的兩條普通線，共有那個有限點、別無其他；兩條普通平行線，共有它們共同的理想點、別無其他；而任何普通線與無窮遠線恰好相交於它那唯一的理想點。每一對相異線都恰好相交一次——就算其中一條是那條新線也一樣。這個構造不是臨時拼湊的裝飾；它是為使「兩線一點」之律毫無例外地成立、而添加新點的唯一辦法。
為何畫家最先看見它
若這感覺太抽象，看看任何一張長直道路或鐵軌的照片。兩條軌道完全平行，但在照片裡它們明顯地收斂，相交於地平線上的一點——消失點。那不是測量不準的錯覺；它正是被看見的無窮遠點。文藝復興時期發現透視法的畫家，雖沒有術語，畫的正是射影平面：場景中每一族平行線都奔向它自己單一個消失點，而所有這些消失點都落在同一條地平線上——也就是畫面的無窮遠線。
這也是為什麼射影幾何最對的工具就是投影本身。想像你的眼睛在一個點上，望向一張平坦的桌面，把它的像投到一塊傾斜的畫布上。線仍是線，但長度、角度與平行性全被打亂——桌上的一個圓可能在畫布上現身為橢圓，桌面遙遠的邊緣可能落成畫布上一條普通的線。在這種投影下倖存的，恰恰就是射影幾何所研究的東西。用你早先遇過的愛爾蘭根綱領的語言來說，射影幾何就是那種以這些投影為其容許運動的幾何，而它的定理就是這些投影留下不變的那些事實。
你保留什麼，你放掉什麼
對這筆交易要看得清楚。為了贏得無例外的關聯規則，射影幾何放掉了不少。距離沒了——普通點與無窮遠點之間沒有「|AB|」這回事。角沒了，所以「垂直」失去意義。連平行也丟了差事，因為從前平行的線如今跟大家一樣會相交；平行性曾是仿射幾何的特色——那是較溫和的鬆綁，保留平行卻丟掉距離與角。射影幾何又比它鬆一階：它只保留純粹的「直」與「關聯」所能表達的東西。
那麼還剩什麼可以拿來做數學？多得很，而且正因為如此精簡才更牢固。三個點是否共線、三條線是否過同一點、某點是否落在某線上——這一切都毫髮無傷地撐過每一次投影，因為投影把線送成線、並保持誰落在誰之上。後續導引裡那些深刻的定理都住在這裡：關於兩個透視三角形的笛沙格定理、關於兩線上六點的帕普斯定理，以及一個投影撼動不了的單一數字——交比。丟掉距離與角，這些關聯事實便鮮明地凸顯出來。
WHAT EACH GEOMETRY KEEPS (looser as you go down) Euclidean : distance, angle, parallel, straightness, incidence Similarity : ratio, angle, parallel, straightness, incidence Affine : - parallel, straightness, incidence Projective : - - straightness, incidence parallels meet? Euclid/affine: NO projective: YES (at infinity)
這一階要往哪裡去
你現在握有那個奠基的念頭：每個方向併入一個理想點、再添一條無窮遠線，於是關聯變得完美對稱。但到目前為止，無窮遠點都是用文字描述的——「所有斜率為 1 的線相交之處」——拿來計算很彆扭。緊接著的下一篇導引就用齊次座標替每個點（無論普通或理想）配上一組誠實的三元數組來解決這件事，於是無窮遠點得到的座標和任何別的點一樣具體，而線變成一條你解得開的方程式。
從那裡開始，這一階真正的回報便展開來。因為點與線如今遵守完美鏡像的定律，每條定理都帶著一個雙胞胎——把「點」與「線」兩個詞互換就得到——這就是對偶原理，第三篇。第四篇從只談關聯的世界裡開採它的古典珍寶：笛沙格、帕普斯，以及投影撼不動的交比。而第五篇回到你曾以平面截痕來研究的圓錐曲線，卻發現在射影平面裡，橢圓、拋物線與雙曲線不再是三樣東西、而合為一樣，只憑它們如何與無窮遠線相交來區分。
往上爬時，口袋裡記得揣著一句誠實的提醒。這一切都沒有說歐幾里得錯了，正如非歐幾何的發現也沒有。射影幾何不是對你所知平面的修正；它是一個不同的、刻意更鬆的遊戲，有它自己的規則，而歐氏平面安然坐在它裡面，正是你一旦挑出一條線喚作「無窮」之後所看見的那一部分。你贏得的是一座更寬的舞台，而不是拿舊的去換。