從一條公式到一整座塔
上一篇指南裡，柯西積分公式交給你一份近乎過分慷慨的禮物：全純函數 f 在任何內部點 z_0 的值，可以由它在環繞迴路 C 上的值還原出來——把 f(w)/(w - z_0) 沿 C 積分，再除以 2 pi i 即可。函數光憑邊界就認得自己。本篇指南問出那個顯而易見的後續問題，並找到一個非凡的答案：若我們對 z_0 把這條公式求導，會發生什麼事？
關鍵的一步在此，而它美妙地簡單。在右邊，z_0 唯一出現的地方就是核 1/(w - z_0) 裡。要對 z_0 把整個積分求導，我們只需對那個核求導——積分是對 w 進行的，迴路固定不動，而 z_0 是一個我們可以隨意挪動的自由參數。由於 1/(w - z_0) 對 z_0 的導數等於 1/(w - z_0)^2，導數 f'(z_0) 自己也是一個積分：1/(2 pi i) 乘上 f(w)/(w - z_0)^2 沿 C 的積分。我們從未碰過 f，只是輕推了核而已。
每一階導數的公式
沒有什麼能阻止我們再次求導。每穿過積分一次，就在核上多落下一個冪次，並乘上下一個整數，恰如反覆對 1/(w - z_0) 求導所做的那樣。求導 n 次之後，核變成 1/(w - z_0)^(n+1)，而累積的常數是 n 階乘。這就是廣義柯西公式，也是整個分析學裡最乾淨的方程之一。
n! f(w)
f^(n)(z_0) = ------- * integral over C -------------- dw
2 pi i (w - z_0)^(n+1)
n = 0: f(z_0) has kernel 1/(w - z_0) (the original formula)
n = 1: f'(z_0) has kernel 1/(w - z_0)^2
n = 2: f''(z_0) has kernel 2/(w - z_0)^3 ... and the 2 is the 2! out front請慢慢讀這條公式，因為它提出的論斷該讓你停下。右邊只由 f 在迴路 C 上的值構成——從不用到 f 的任何導數。然而左邊卻是 n 階導數。所以這條積分公式不只是算出 f'；它純粹從邊界值就製造出 f'、f''、f''' 以及每一個更高階的導數。右邊的迴路甚至不必知道 f 可微；它只需要那些數值 f(w)。求導這件事，已被悄悄外包給了核。
奇蹟：一個導數逼出無窮多個
現在來收割成果。為了能寫下柯西積分公式，我們所假設過的，僅僅是 f 全純——也就是在區域的每一點上存在一個複導數。但廣義公式接著就把 f''(z_0)、f'''(z_0) 以及每一個 f^(n)(z_0) 都展示為誠實、有限的積分。每一個都存在。於是一個只複可微一次的函數，便自動可微無窮多次。這就是無限可微性，也是整個階梯的頭條結果。
同一套機器悄悄交付的，遠不止光滑。把核 1/(w - z_0) 圍繞中心 a 展開成 (z_0 - a)/(w - a) 的幾何級數，再逐項積分：柯西公式便自我重組為一個在圓盤裡收斂的冪級數 sum a_n (z_0 - a)^n。這就是名為以柯西積分通往級數的橋梁，也是為什麼複分析緊接著的那些結果——泰勒展開、劉維爾定理、恆等定理——全都是這一條公式的下游。光滑與解析，從同一個積分裡一起到來。
柯西估計：用迴路框住導數
這條積分公式不只是一個存在性陳述；它還是一台度量儀器。把上一階梯的 ML 不等式，用到以 z_0 為心、半徑 r 的圓上的廣義公式。核在那個圓上的大小為 1/r^(n+1)，圓周長為 2 pi r，而若 |f| 在那裡被某個 M 所界，這些常數便乾淨地合併成柯西估計：|f^(n)(z_0)| <= n! M / r^n。特別地，|f'(z_0)| <= M / r 且 |f''(z_0)| <= 2 M / r^2，其中 M 是 |f| 在該圓上的最大值。
這些不等式的分量遠超其體積。因為它們讓你僅憑 f 自身在邊界附近的一個界，就框住 f 在圓心處的各階導數，所以它們正是你接下來會遇見的幾位巨人背後的槓桿。讓 r 無限增大而 M 保持固定，你便把 f' 壓成零——這正是劉維爾定理的核心，即一個有界的整函數必為常數；而它接著又撬開了代數基本定理。柯西估計雖小，卻是那個支點。
這把鑰匙打開了什麼，以及一個誠實的提醒
退一步，看看僅僅一條公式買到了多少。對柯西積分公式求導，給出了每一階導數的公式；那免費地給出了無限可微性；同一個展開給出了一個收斂的冪級數；而對同一個積分做 ML 估計，又給出了柯西估計——劉維爾與代數基本定理的那根槓桿。連反方向也已觸手可及：若一個連續函數沿每條迴路的積分都消失，同一套含參數積分的機器便能建構出原函數，並證明該函數全純——這正是莫雷拉定理的承諾，本階梯第四篇指南會把它說精確。