無窮多個係數裡的那一個
上一階梯你學會了把函數在孤立奇點附近展開成羅朗級數，即 sum a_n (z - z_0)^n，其中指標 n 現在也跑到負數去了。那條雙向級數帶著一本無窮長的係數帳：a_0、a_1、a_2、... 向外延伸進解析部分，而 a_(-1)、a_(-2)、... 向下伸進記錄爆破的主要部分。f 在 z_0 處的留數，幾乎令人吃驚地，就只是這本帳裡的一筆：係數 a_(-1)，也就是 1/(z - z_0) 這個唯一冪次上的那個。
你大可問：為什麼這一個係數值得獨享一個名字、一整章理論？為什麼是 a_(-1) 而不是 a_(-2)、或 a_5？理由是一條關於「把冪次繞著以 z_0 為心的小圓積分」的乾淨事實，值得你把它記進骨子裡。逆時針繞一圈走過一個小迴路，去積 (z - z_0)^n。對除了一個之外的每一個整數冪，答案恰好是零——函數轉回出發點，貢獻彼此完美抵消。唯一的例外是 n = -1 這個冪，那裡的積分是那個魔術數 2 pi i。
integral over |z - z_0| = r of (z - z_0)^n dz = 0 for every integer n != -1 integral over |z - z_0| = r of (z - z_0)^(-1) dz = 2 pi i (the one survivor) so, integrating the Laurent series term by term: integral over C of f(z) dz = 2 pi i * a_(-1) = 2 pi i * Res(f, z_0)
現在把整條羅朗級數繞著那迴路逐項積分。每一項都坍縮成零、從和裡消失——除了一項。只有 a_(-1) 乘以 1/(z - z_0) 存活，貢獻 a_(-1) 乘以 2 pi i。於是不論 f 看起來多複雜，整個迴路積分都化簡成 2 pi i 乘以那一個係數。留數恰恰是 f 裡你積不掉的那一部分。這就是它值得擁有名字的全部理由：它是作為羅朗係數的留數，是圍道留下的那唯一一個數。
留數只住在函數行為失常之處
在追配方之前，先把地理弄對，因為這能省下實打實的功夫。留數依附於孤立奇點——那是函數在該點不解析、卻在它周圍一個去心小圓盤上行為完全良好的點。在 f 解析的點，根本沒有主要部分：羅朗級數只是一條普通的泰勒級數，每個負次係數都是零，於是 a_(-1) = 0。好點處的留數就只是零。你只會去那些壞點上獵留數。
即使在壞點之間，三種孤立奇點裡也常有兩種免費把答案交給你。在可去奇點，同樣沒有主要部分——函數只是缺了一個你能補上的值——所以再一次 a_(-1) = 0，留數為零。有趣的情形是極點，那裡主要部分有有限多項、a_(-1) 是你必須提取的係數；以及本性奇點，那裡無窮多個負次項翻騰，你通常得靠真正展開級數才能找到 a_(-1)。不過日常計算多半都住在極點上。
單極點配方：一行極限
光為了讀出 a_(-1) 就展開整條羅朗級數太浪費了，於是本科目建起一些以極點的階為鑰匙的捷徑——而最常見的情形，單極點（一階），是其中最容易的。設 z_0 是單極點，即 f(z) = a_(-1)/(z - z_0) +（解析的東西）。整式乘上 (z - z_0)：那個麻煩的項變成單單 a_(-1)，而解析的東西此刻乘了 (z - z_0)，在 z 趨於 z_0 時悄悄死去。從極限裡存活下來的，恰恰就是留數。這就是單極點留數公式。
用符號寫，法則是 Res(f, z_0) = lim as z -> z_0 of (z - z_0) f(z)。看它在 f(z) = e^z / (z - 1) 上運作，它在 z = 1 有單極點。乘上 (z - 1) 消掉分母、留下 e^z；令 z 趨於 1 得 e^1 = e。整個計算就是一次約分加一次代入——級數的影子都看不到。這條乾淨的一行式，正是單極點是最友善留數的原因。
有一個漂亮的特例值得單獨拎出來，因為它不斷出現。設 f = g/h，其中 g 與 h 在 z_0 都解析、g(z_0) 不等於 0，而 h 在那裡有單零點（即 h(z_0) = 0 但 h'(z_0) 非零）。那麼公式裡的極限，借助 h 的導數定義，重整成一個乾淨的商：留數就是 g(z_0) 除以 h'(z_0)。這就是商的留數捷徑，它讓你完全免去消因子——把分母微分一次、再相除即可。
高階極點：先微分，再取極限
當極點的階 m 大於 1，乘上 (z - z_0) 還不夠——仍有負次冪殘留。所以乘上完整的 (z - z_0)^m，一口氣清掉每一個負次冪。這把 f 變成 z_0 附近的解析函數，你此刻握著它的泰勒級數；但你要的係數 a_(-1) 已被往上推，成了 (z - z_0)^(m-1) 的係數。要把那個特定的泰勒係數挖出來，你微分 m - 1 次、除以階乘 (m - 1)!、再取極限。這就是高階極點留數公式。
- 找出 z_0 處極點的階 m——對 f = g/h（g(z_0) 非零），它就是 h 零點的階。
- 造出清乾淨的函數 phi(z) = (z - z_0)^m * f(z)，它在 z_0 處解析。
- 把 phi 恰好微分 m - 1 次。
- 除以 (m - 1)!，再取 z -> z_0 的極限；所得即 Res(f, z_0)。
拿 f(z) = e^z / z^3 來試，它在原點有 m = 3 階極點。清乾淨的函數是 phi(z) = z^3 f(z) = e^z。我們需要 m - 1 = 2 次導數，而 e^z 的二階導仍是 e^z。除以 (m - 1)! = 2! = 2 並令 z 趨於 0：留數是 e^0 / 2 = 1/2。你可以拿級數 e^z = 1 + z + z^2/2 + ... 驗算，於是 e^z/z^3 = 1/z^3 + 1/z^2 + (1/2)(1/z) + ...，1/z 的係數確實是 1/2。配方與原始級數一致，理應如此。
選對配方——以及何時把它們全擱下
注意單極點公式恰好就是 m = 1 的高階公式：零次導數、除以 0! = 1、取極限。所以你其實只帶著一個方法，配上一個調節階的旋鈕。實務流程是：定位奇點、判定它的階、再轉旋鈕。階弄錯了，配方就會悄悄背叛你——m 取太大會塞進多餘的導數，m 取太小則留下未消的負次冪、把極限送向無窮。永遠先把階釘死；它是最常見的單一錯誤來源。
有一個誠實的陷阱，值得明說：這些「極限加導數」的配方只在極點管用。在本性奇點，沒有有限的階能代入，主要部分永遠跑不完，乘上再多的 (z - z_0)^m 也永遠清不掉它。那裡回到 a_(-1) 的唯一一般辦法，是親手展開羅朗級數、直接讀出 1/(z - z_0) 的係數。例如 e^(1/z) 在原點展開成 1 + 1/z + 1/(2! z^2) + ...，所以它的留數就只是 1/z 的係數，也就是 1——靠目視找到，不靠任何極點公式。
即便在極點，也別讓公式擠掉更銳利的眼力。最快的路常常是認出一條已知級數、直接讀出 a_(-1)，正如我們上面對 e^z/z^3 的交叉驗證。配方是供目視困難時使用的可靠機器，不是禁止你思考的律法。手裡有了留數、在每個奇點各算出一個小數，你便完美就位，迎接下一篇：留數定理會把這些單點計算化成一條主公式、處理整條圍道積分——正是你已熟識的柯西積分公式的宏大推廣。