我們在階梯上的位置
在上一篇你見識了複數乘法背後的祕密引擎：在極式中，一個數 z = r e^(i theta) 帶著長度 r 與角度 theta，而兩數相乘正是長度相乘、角度相加。光憑這一件事，再加上歐拉公式 e^(i theta) = cos theta + i sin theta，就足以撐起今天的全部內容。我們只問一個看似天真的問題——z^n = 1 的解是什麼？——然後看著幾何遞給我們一個完美的答案。
接著我們以一次場景轉換為這一級畫上句點。平坦的複平面有個惱人的缺口：數可以朝上千個方向奔向無窮、一去不回。我們會補上單獨一個額外的點，把平面捲成一顆球來修補它——這就是黎曼球面。讀到最後，z^n = 1 會像鐘錶一樣井然有序，而無窮遠也不過是你能伸手一指的另一個點。
用旋轉來解 z^n = 1
把候選解寫成極式 z = r e^(i theta)，再取 n 次方。根據棣莫弗定理，長度與角度各自乘上 n，於是 z^n = r^n e^(i n theta)。我們希望它等於 1，而 1 位在長度 1、角度 0 之處。比對長度迫使 r^n = 1，又因 r 是實數長度，r 必恰為 1——每一個解都落在單位圓上，無一例外。
玄機就藏在角度裡。我們要 n theta 對準 1 的角度，但角度 0、2 pi、4 pi 描述的是同一個方向——角度只在差一整圈 2 pi 的意義下才算數。於是 n theta = 2 pi k，k 為任意整數，得 theta = 2 pi k / n。讓 k = 0, 1, 2, ..., n - 1 依序前進，角度便以每步 2 pi / n 的等距跳躍繞行一圈，當 k 走到 n 時就回到了起點。恰好有 n 個相異的答案。
z_k = e^(i * 2 pi k / n) = cos(2 pi k / n) + i sin(2 pi k / n), k = 0, 1, ..., n - 1
完美的環：單位根
這 n 個數就是單位根，畫成圖更是令人屏息：單位圓上 n 個等距分布的點，正是正 n 邊形的頂點。第一個（k = 0）永遠是樸素的 1。第二個 omega = e^(2 pi i / n) 是最小的正旋轉——而其餘每個根都不過是它的乘冪，因為 z_k = omega^k。單獨一個數，靠反覆旋轉，就生成了整個環。
拿 n = 3 來感受一下。1 的三個立方根是 1，接著 e^(2 pi i / 3) = -1/2 + i (sqrt 3)/2，再來 e^(4 pi i / 3) = -1/2 - i (sqrt 3)/2——一個正三角形，其中一頂點釘在 1。其中兩個頑固地是複數，這正是當年在實數世界裡看不到它們的原因：在數線上 1 只有一個立方根，但在平面上卻有三個，彼此相隔 120 度。
有兩個事實免費奉送，且都源於幾何。其一，單位根之和恆為零（n 至少為 2 時）：它們是方向均衡、向外指出的對稱箭矢，彼此抵消——以原點為心的正 n 邊形其形心就是原點。其二，要對任意數（不只是 1）開根，你先求出該複數的一個n 次方根，再依序乘上每一個單位根；這 n 個答案就是同一個正 n 邊形，只是旋轉並縮放後恰好嵌合。
把所有根讀出來
把任意 z^n = w 的整套作法一口氣講完。它不過是把旋轉論證再跑一次，只是這回對準的是 w 而不是 1。
補上一個無窮遠點
現在來換場景。在平面上，當 |z| 無限制地增大時，z 會怎樣？在實數微積分裡你會說它「趨向正或負無窮」，是兩個不同的出口。但複數 z 可以朝無窮多個方向中的任一個飛奔而去，而我們沒有誠實的辦法把這些出口區分開來——它們全都只是離開了畫面。乾淨的修補方式，是宣告一個單獨的新符號，即無窮遠點，記作 infinity，讓每一條逃逸路徑無論朝哪個方向都抵達它。
平面再加上這個額外的點，稱為擴展複平面。要看出無窮遠其實只是喬裝過的普通點，請想像一顆地球儀擱在平面上，於原點（南極）處相切。從北極經過任一平面點 z 拉一條直線；它恰好在一處刺穿球面。這個對應就是球極投影，它在「球面去掉北極」與整個平坦平面之間建立了完美的一一對應。
球面上唯一沒有平面伙伴的點，就是北極本身——而那恰恰是當 |z| 奔向無窮時 z 必須攀向的點。於是我們乾脆把北極指派為 infinity。平面連同它那單獨的無窮遠點，便毫無縫隙、毫無邊緣地捲成了黎曼球面：一顆光滑的球，其上每一點（包含 infinity）都平凡無奇。
球面為何值得這番功夫
把無窮遠當成真正的點，不只是為了整潔——它改變了「什麼算作單一物件」。球極投影有個絕美的性質：它把球面上的每個圓都送成平面上的一個圓或一條直線，而平面上的直線恰恰就是「穿過無窮遠的圓」。於是在球面上，直線與圓不再是兩種不同的東西；它們同屬一族。這正是你日後將遇見的莫比烏斯變換的天然居所——它們把球面攪動重排，並把無窮遠當成與其他點無異。
往階梯上方望去，這一步棋會一再回報。問一個函數在「無窮遠」如何表現，就化為問它在北極如何表現——一個尋常的局部問題。整套豐饒的黎曼曲面理論——其中像對數這樣的多值函數獲得了一座屬於自己的多層樓宅邸——正是從同一個直覺生長出來的：當一個空間有個彆扭的缺口時，別去硬補——把缺的那個點加回去，再把空間捲彎，直到一切都變得光滑。