為何一個實積分竟該離開實數線
你剛認識了留數定理，一台吞下複平面上的迴路、吐出 2 pi i 乘以一堆留數之和的機器。這是關於圍道的優美陳述——但物理學家或工程師真正想要的多數積分，卻頑固地是實的：一個實函數在實區間上老老實實的積分。本篇與接下來兩篇，講的是一個把這些實積分轉化成複數圍道積分的訣竅，好讓留數機器替它們收尾。我們從所有情況中最溫和的一個起步。
最溫和的情形是形如以下的積分：integral from 0 to 2 pi of R(cos theta, sin theta) d theta，其中 R 是餘弦與正弦的有理函數——cos theta 與 sin theta 的兩個多項式之商，例如 1/(2 + cos theta) 或 (1 + sin theta)/(5 - 4 cos theta)。變數 theta 跑過完整的一個週期。奧妙在於，「跑過完整一個週期」其實早已是一條封閉迴路；我們只需要把那條迴路看出來。
代換 z = e^(i theta)
整個方法仰賴一個代換。令 z = e^(i theta)。當 theta 從 0 跑到 2 pi，z 逆時針描出單位圓 |z| = 1 一圈——那就是我們的封閉圍道，姑且稱它為 C。現在眼前的一切都得用 z 重寫。由歐拉公式 e^(i theta) = cos theta + i sin theta 及其共軛，餘弦與正弦變成 z 與 1/z 的簡單組合，因為在單位圓上 1/z 恰好就是 z-bar = e^(-i theta)。
z = e^(i theta) (the unit circle, run once CCW) cos theta = (z + 1/z) / 2 sin theta = (z - 1/z) / (2 i) dz = i e^(i theta) d theta = i z d theta => d theta = dz / (i z)
最後一行是初學者最容易忘記的。微分 d theta 不只是 dz；對 z = e^(i theta) 求導得 dz = i z d theta，所以 d theta = dz/(i z)。把這三塊全部代入後，原本對 theta 的實積分，便成為某個有理函數 f(z) 繞單位圓的圍道積分——一個 z 的多項式之商，並把因子 1/(i z) 併了進去。有理函數的奇點只有極點，它們落在分母的零點上。如今一切已為留數備妥。
逐步配方
把代換與留數定理合起來，你就得到一套乾淨、近乎機械式的程序。唯一真正需要判斷的，是第 4 步：決定 f(z) 的哪些極點落在單位圓內部，因為只有那些——滿足 |z| < 1 的——才有貢獻。落在外部（|z| > 1）的極點被圍了零次，於是被默默忽略，這正是留數定理的要求。
- 把積分寫成 integral from 0 to 2 pi of R(cos theta, sin theta) d theta，並確認 R 在長度 2 pi 的完整週期上是 cos theta、sin theta 的有理函數。
- 代入 cos theta = (z + 1/z)/2、sin theta = (z - 1/z)/(2 i) 與 d theta = dz/(i z)。積分便成為 f(z) 繞單位圓 C 的圍道積分。
- 把 f(z) 化簡成單一有理函數：上下同乘以清掉 1/z 各項，並把分母整理成因式乘積 (z - a)(z - b) ... 以顯出極點。
- 找出極點。只保留嚴格落在圓內、|z| < 1 的；丟掉 |z| > 1 的，並確認沒有任何一個恰好落在 |z| = 1 上（若有，這積分是廣義的，需要後面的主值方法）。
- 用你在本階梯前面學過的單極點或高階極點公式，計算 f(z) 在每個內部極點的留數。
- 套用留數定理：答案是 2 pi i 乘以那些內部留數之和。它會算出實數——這是你把被積式擺對的一個乾淨的合理性檢查。
一個完整的例子
讓我們求 I = integral from 0 to 2 pi of d theta / (2 + cos theta)。這是一個實的、有限的、再平凡不過的積分；餘弦永遠到不了 -2，所以分母保持正值，答案是某個正數。代入。以 cos theta = (z + 1/z)/2 與 d theta = dz/(i z)，分母 2 + cos theta 變成 2 + (z + 1/z)/2 = (z^2 + 4 z + 1) / (2 z)。於是被積式 d theta/(2 + cos theta) 化為 [dz/(i z)] 除以 [(z^2 + 4 z + 1)/(2 z)]，而分子的 z 被約掉。
約掉之後被積式坍縮成 f(z) = 2/(i (z^2 + 4 z + 1))，而積分 I 就是 f(z) 繞 |z| = 1 的圍道積分。極點是 z^2 + 4 z + 1 = 0 的根，即 z = -2 +/- sqrt(3)。其中一個 z_+ = -2 + sqrt(3) 約為 -0.27，模長小於 1，因此落在圓內；另一個 z_- = -2 - sqrt(3) 約為 -3.73，滿足 |z_-| > 1，落在圓外，毫無貢獻。
兩個根都是單極點，所以我們用單極點留數公式。只有 z_+ = -2 + sqrt(3) 在圓內，故只有它的留數算數。寫 z^2 + 4 z + 1 = (z - z_+)(z - z_-)；f 在 z_+ 的留數是 2/(i (z_+ - z_-))。差 z_+ - z_- = (-2 + sqrt(3)) - (-2 - sqrt(3)) = 2 sqrt(3)，所以留數是 2/(i * 2 sqrt(3)) = 1/(i sqrt(3))。由留數定理，I = 2 pi i 乘以 1/(i sqrt(3)) = 2 pi / sqrt(3)。i 約掉，答案是實的且為正，正如它必然應是。
留神：此法何時適用、何時不適用
這個訣竅之所以有力，恰恰因為它狹窄；認清它的邊界，能讓你不致硬把它套到不合身的地方。被積式必須是 cos theta 與 sin theta 的有理函數——多項式之商。一旦引進像 e^(cos theta) 或餘弦的平方根之類的東西，z = e^(i theta) 便不再把積分變成 z 的有理函數，於是極點消散，方法失效。那些更難的被積式屬於後面指南的技巧，而非這一篇。
還有兩點要當心。第一，區間必須是完整週期，長度 2 pi（0 到 2 pi，或 -pi 到 pi——同一條迴路）。在半個週期上 z 只描出半個圓，圍道不封閉，留數定理無法直接套用；通常你會先利用對稱性把它延拓成完整週期。第二——這是誠實的細則——此法需要每個極點都嚴格地不在單位圓上。若某個分母零點恰好落在 |z| = 1 上，那麼原本的實積分其實是廣義的（被積式在某個 theta 處爆掉），你就得動用本階梯最後一篇指南裡的主值與內凹圍道工具。
當圓內某個極點不是單極點——比方分母有重複因式 (z - a)^2——策略毫無改變；你只需從單極點公式換成涉及導數的高階極點公式。圍道、代換與最後的 2 pi i 全都一樣。這份一致性正是留數法靜默的美：一旦一個實積分被改寫成單位圓上的留數，剩下的不過是再轉一次你早已學會的同一根曲柄。