柯西定理與古薩的想法

這個論斷，以及它為何該讓你驚訝

上一篇指南裡你學到：只要被積函數擁有原函數，積分就變得毫不費力——圍道積分基本定理說積分值只依賴端點，於是每一條封閉迴路的積分都是零。但那是有條件的禮物——它要你先找到一個原函數 F，使得 F' = f。柯西積分定理則拿掉了這個條件。它宣告：若 f 在一個漂亮的區域裡處處全純，那麼 f 沿著該區域內任何封閉圍道的積分都是零——不需要原函數，也不必先找出任何公式。

停下來想想這有多奇怪。在普通的實微積分裡，向量場沿迴路的線積分通常不為零——它度量的是環流量，而一個旋轉的場有的是環流。只有對特殊的、保守的場，積分才會消失。柯西定理卻說：對全純的 f，由 f 構成的場自動是保守的——只要它全純，就永遠如此、處處如此。全純絕非溫和的平滑假設；回想它會強制柯西-黎曼方程成立，而正是這組方程帶來的剛性，讓迴路積分塌縮為零。

單連通：沒有洞的區域

上面那則提示告訴你哪些區域是安全的。乾淨的假設是：定義域為單連通。直觀地說，一個單連通區域就是沒有洞的區域：其中任何封閉迴路都能連續地收縮成一點，而過程中既不離開區域、也不會卡在某個缺失的位置上。圓盤是單連通的，整個平面是單連通的，半平面與正方形也都是。

相對地，多連通區域至少有一個洞。去心平面——挖掉原點的平面——是標準例子：環繞原點的迴路無法收縮成一點，除非穿越那個缺失的中心。這正是 1/z 的處境，它唯一的奇點就是那個挖洞。因此柯西定理與區域的幾何是一體兩面：當且僅當迴路內部沒有被困住的禁區點時，定理才成立。

古薩的想法：那個換來一切的三角形

柯西最初的證明倚靠格林定理，而格林定理暗中假設了導數 f' 連續。這感覺像作弊：我們此刻還不知道全純函數有連續的導數——那是我們想要賺到的結論，而非可以借來的假設。古薩的勝利，在於他僅僅用 f 複可微這一條件，便對三角形證明了這個定理，完全不假設 f' 連續。這就是柯西-古薩定理，而它內部的引擎是三角形論證。

把 f 沿三角形 T 的積分記為 I，並反設 |I| 不為零。我們將圍困住 I，並證明它終究必須為零。
平分三條邊，把 T 切成四個全等的小三角形。共用的內部邊上的積分成對抵消，於是四個子積分的總和恰好等於 I。
至少有一個小三角形，記為 T_1，其積分的大小至少為 |I|/4。留下它，丟掉其餘的。
永遠重複下去。你得到一串嵌套的三角形 T_1, T_2, T_3, ...，其積分大小至少為 |I|/4, |I|/16, |I|/64, ...，而它們的周長與直徑在每一步都減半。
嵌套三角形收縮到單獨一點 z_0。在那裡 f 可微，故 f(z) = f(z_0) + f'(z_0)(z - z_0) + （誤差），其中在 z_0 附近誤差遠小於 |z - z_0|。
線性部分 f(z_0) + f'(z_0)(z - z_0) 是多項式——它擁有原函數——所以其迴路積分為零。只剩下那個微小的誤差項存活下來。
用本階梯稍早的 ML 不等式去估計這個殘餘項。結果是 |I| 必定小於任何正數——所以 |I| = 0。矛盾化解，原來積分自始至終就是零。

美妙之處在於是什麼承擔了重活：只有 f 的線性近似要緊，因為線性函數平凡地擁有原函數，於是消滅了自己的迴路積分。所有非線性的東西都被推進一個小到 ML 估計能把它壓成零的誤差裡。在單一點可微——那唯一允許我們假設的事實——在一張不斷收縮的三角形網上反覆運用，恰好足以逼使整體積分歸零。

從一個三角形到任何迴路

一個三角形看似獎品狹小，卻是整盤棋的關鍵。從三角形的情形出發，你可以用三個誠實的步驟逐級拔升。第一，把三角形黏合起來：任何多邊形都能剖分成三角形，於是沿任何封閉多邊形的積分為零。第二，一個有任意多條短邊的多邊形，能把任何光滑圍道逼近到你想要的精度，而積分也隨之收斂——於是柯西積分定理對凸區域裡的任何封閉圍道都成立。

第三，你從凸的片段全域化到任何單連通區域。因為封閉迴路積分在局部消失，從一個固定基點出發的積分便與路徑無關、定義良好——這恰恰是路徑無關性。那個與路徑無關的積分就是 f 的一個原函數 F，於是我們把上一篇指南不得不假設的原函數，當作結論重新賺了回來。圓環優美地閉合：全純給出柯西-古薩，柯西-古薩給出路徑無關，而路徑無關建構出原函數。

F(z) = integral from z_base to z of f(w) dw     (any path inside the region)

Cauchy-Goursat  ==>  this is independent of the path
                ==>  F is well-defined
                ==>  F'(z) = f(z),  so F is a primitive of f

與路徑無關的積分，親手製造出上一篇指南只能假設存在的那個原函數。

洞、變形，以及接下來會發生什麼

如果區域不是單連通呢——如果終究有一個奇點坐落在迴路內部？那麼迴路積分不必為零，但柯西定理仍透過圍道變形掌控全局。只要你把圍道在 f 保持全純的區域裡移動，積分就不改變。於是你可以把一條又大又醜的迴路滑動、彎折成一個緊貼奇點的小圓，兩者給出同一個值。積分於是成了對內部困住之物的度量，而與曲線的具體形狀無關。

這是通往本科目其餘部分的大門，而下一篇指南正要穿門而過。變形不變性其實是關於同倫的陳述——能彼此變形的迴路帶有相等的積分——而數一條迴路繞某點幾圈，則是繞數的工作。兩者合力，把柯西定理從「在漂亮區域裡為零」升級為對洞的精確記帳；再過幾篇指南，它便綻放成留數演算，去計算那些任何初等原函數都碰不到的實積分。