上一篇許下的承諾，如今全額兌現
在本階梯稍早，你瞥見過一份從柯西-黎曼方程掉出來的禮物：全純函數的兩個部分 u 與 v，各自滿足拉普拉斯方程。那只是預告。現在我們要慢慢地、誠實地把它掙到手，因為這個事實是複變分析與物理世界之間最有用的一座橋。把函數寫成 f = u + i v，其中 u(x, y) 與 v(x, y) 是它的實部與虛部，再回想上一階梯釘下的方程：u_x = v_y 與 u_y = -v_x。
首先，一個預告版略過的誠實提醒。要把柯西-黎曼方程再微分一次，我們需要 u 與 v 具有連續的二階偏導，這樣混合偏導才相等。在實數線上，這會是一個貨真價實的額外假設。但在複數世界裡它是免費的：全純就逼出無窮可微——在開集上的單單一個複數導數，就把你想要的所有階導數都交到你手上。所以我們有資格隨證明所需微分任意多次，而我們所倚靠的光滑性並非假設，而是繼承來的。
兩行代數，拉普拉斯現身
這就是整個推導，慢到足以拿筆跟著走。取第一條方程 u_x = v_y，對 x 微分兩邊：得到 u_xx = v_yx。取第二條方程 u_y = -v_x，對 y 微分兩邊：得到 u_yy = -v_xy。現在把兩個結果相加。右邊你會遇到 v_yx 加上 (-v_xy)；但對光滑函數而言混合偏導的次序無關緊要，所以 v_yx = v_xy，兩者恰好抵消。左邊存活下來的是 u_xx + u_yy = 0。
Cauchy-Riemann: u_x = v_y u_y = -v_x
d/dx of the first: u_xx = v_yx
d/dy of the second: u_yy = -v_xy
add, and use v_yx = v_xy :
u_xx + u_yy = 0 (Laplace's equation)
same trick on v gives:
v_xx + v_yy = 0表達式 u_xx + u_yy 是如此核心，以至於它有自己的名字——u 的拉普拉斯算子，常以一個三角符號作用在 u 上來表示。方程 u_xx + u_yy = 0 就是拉普拉斯方程，凡在開集上服從它的函數都叫做調和函數。從 v 的版本出發跑一遍同樣的把戲——把 u_x = v_y 對 y 微分、把 u_y = -v_x 對 x 微分，再相減——你會發現 v_xx + v_yy = 0 也成立。所以兩個部分都調和，而這就是頭條：全純函數的實部與虛部各自都是調和的。
不只是調和——而是被鎖進一段夥伴關係
把這事歸檔成「u 調和，另外 v 也調和」會是個錯誤。柯西-黎曼方程把它們綁得比這緊得多。它們說 u 與 v 同步變化：u 沿 x 方向的斜率等於 v 沿 y 方向的斜率，而 u 沿 y 方向的斜率是 v 沿 x 方向斜率的相反數。兩個以這種方式綁在一起的調和函數，叫做調和共軛：當這一對一起滿足柯西-黎曼方程時，v 就是 u 的一個調和共軛。這層關係並非隨隨便便就對稱——若 v 是 u 的調和共軛，則 u 是 -v 的調和共軛，那個負號正是這對方程的指紋。
一幅生動的圖景能把這段夥伴關係封死。u 的等高線——u 為常數的那些等值線——與 v 的等高線，構成兩族處處互相垂直相交的曲線。這正是上一篇的旋轉伸縮（amplitwist）透過 u 與 v 的眼睛看到的樣子：因為全純導數是一次保角的純旋轉伸縮，輸入的格線被搬到的格子仍然彼此垂直，而那張垂直的格子，恰恰就是 u 的等高線對著 v 的等高線。在一個熱傳問題裡，u 的等高線是等溫線，v 的等高線是熱量流動的方向線；它們以九十度相交，正如物理所要求。
倒著走：只憑一個部分重建出 f
這裡有個讓調和共軛成為工具、而非奇聞的回報。假設有人交給你單獨一個調和函數 u，要你找出一個實部恰為這個 u 的全純函數 f。令人驚訝的是，你幾乎做得到——你能僅憑實部就把整個函數還原出來，誤差只在相差一個常數。柯西-黎曼方程就是配方：它們告訴你缺席的伙伴 v 的偏導數必須是什麼，然後你去積分。
- 取 u = x^2 - y^2（你可驗證 u_xx + u_yy = 2 + (-2) = 0，所以它調和）。算出它的偏導：u_x = 2x、u_y = -2y。
- 用第一條柯西-黎曼方程 u_x = v_y，所以 v_y = 2x。對 y 積分，把 x 當常數看：v = 2x y + g(x)，其中 g 是一個只含 x 的未知函數，也就是積分常數。
- 用第二條方程 u_y = -v_x 來定下 g。把你的 v 對 x 微分：v_x = 2y + g'(x)。方程說它必須等於 -u_y = 2y。於是 g'(x) = 0，意味著 g 是個貨真價實的常數 C。
- 組裝起來：v = 2x y + C，所以 f = (x^2 - y^2) + i (2x y + C)。你或許認得 x^2 - y^2 + i (2 x y) 恰好就是 z^2，於是 f = z^2 + i C——實部為 u 的那個全純函數，在相差一個常數的意義下唯一。
從這個實作例子注意兩件事。其一，答案是被逼出來的：唯一的自由度是那個無害的相加常數 C，它只是把 f 垂直平移，對它的行為毫無改變。其二，這個建構悄悄假設了我們能在整個區域上積分 v_y 而不產生矛盾。這在單連通區域——沒有洞的區域——上順暢無礙，但在有洞的區域上，伙伴 v 可能無法閉合成一個單值函數。經典的警告是去心平面上的調和函數 log|z|：它沒有單值的調和共軛，因為它本該成為的伙伴是 arg z，而 arg z 每繞原點一圈就跳 2 pi。那正是你在複對數那裡遇過的多值性，換上了調和共軛的偽裝。
為何數學圈外的人會在意
拉普拉斯方程不是什麼冷僻的奇聞；它大概是物理裡最重要的偏微分方程。沒有內部熱源的穩態溫度是調和的。無電荷區域裡的靜電位能是調和的。理想、不可壓縮、無旋流體的速度勢是調和的。所以你一旦寫下任何全純的 f，你就免費得到了一個真實物理問題的「兩個」解——它的實部與虛部——而且早已配成位能與流動。工程師直接利用這點：一個巧妙的全純函數就是一個複位勢，其實部給出位能，其虛部勾勒出流線。
u 一旦調和，便從全純世界繼承了一整片剛性的家業。由平均值性質，u 在任一圓盤圓心的值，等於它在邊界圓上的平均——調和函數絕不會凸出在它周遭之上。由此推出調和函數的極值原理：一個非常數的調和函數，在它區域的內部既取不到極大也取不到極小；極值總是坐落在邊界上。事後看來這在物理上是顯然的——一塊均勻導熱、無熱源的板子，最熱的點必定在它的邊緣——但在這裡它作為一條定理掉了出來，全靠與全純之間的那層連結。
你打造出的這條鎖鏈
退一步，把整個階梯當作一個論證來看。一個複數導數，在整個開集上被索求時，是如此嚴苛，以至於只有全純函數才能滿足它。那個要求逼出了柯西-黎曼方程。那些方程逼著導數的作用成為一次純旋轉伸縮，而且——再微分一次——逼著 u 與 v 各自滿足拉普拉斯方程，並作為調和共軛彼此綁定。所以全純函數的兩個部分並不自由；它們是同一個剛性物件的兩半，各自把對方決定到相差一個常數。
最後一句誠實的話，免得你過度承諾。這裡的一切都活在一個區域、一個開集裡，邊界被刻意擱在一旁；在邊緣或奇點上的行為，是另一個更微妙的故事。而且調和共軛的建構需要區域是單連通的，否則伙伴可能拒絕單值，正如 log|z| 所示。在尊重了這些但書之後，你如今握有了本階梯的核心真理：複可微並不是實可微的小幅升級——它是一紙如此強悍的契約，一個導數就替你買下了冪級數、無窮的光滑性、保角性，以及二維物理裡最深的那條方程的一對配好的解。下一階梯會把這份剛性放到積分上去，在那裡它變得簡直神奇。