內部映射只說了一半的故事
前幾篇建造了黎曼映射定理，並用艱難的方式證明了它：從一個由單射映射組成的正規族裡，藉著蒙泰爾定理，你萃取出一個使 |f'(z_0)| 取最大值的極限，而它正好是把你的區域共形地一對一映到開單位圓盤上的雙射。然而把結論讀仔細，你會察覺一道缺口。那定理所承諾的一切都發生在圓盤的嚴格內部：f 在開區域上全純且一對一，其像是開圓盤 |w| < 1。邊界——你那區域的邊緣、另一邊的單位圓——卻完全不曾被提及。
而邊界恰恰是真正的問題所居之處。若你在解一個狄利克雷問題——一個沿區域邊緣給定數值的穩態溫度——你的資料就坐在邊界上，而要移植它們，你需要映射能抵達邊界並如實地把那些值帶過去。光憑內部定理辦不到這件事。一個映射可以是內部的完美共形雙射，卻在你逼近邊緣時做出狂野的事：振盪、極限不存在，或把許多邊界點抹到同一點上。所以這最後一篇正面追問那些邊界問題：映射延伸得到邊緣嗎？而那延伸乖巧嗎？
邊界何時能對上：卡拉西奧多里定理
乾淨的答案是卡拉西奧多里定理，而它的敘述如你所願地令人滿意：若你那單連通區域的邊界是一條若爾當曲線——一條不自交的閉曲線，是你能一筆畫完、不抬筆地畫成一個連續迴路的那種區域的邊界——那麼黎曼映射就延伸成一個把閉區域映到閉圓盤上的同胚。用白話說，f 連續地一路伸展到邊緣，而在邊緣上它是你那邊界曲線與單位圓之間一對一、映成、連續的對應，並配有一個連續的逆映射。
正是這條定理使移植邊界資料變得正當。一旦你知道邊界對應是一個真正的同胚，給定在你區域邊緣上每一點的溫度，就毫不含糊地變成給定在單位圓上相配點的溫度——沒有值會遺失，沒有值會重複。你在圓盤上解那個狄利克雷問題，在那裡這是例行的卜瓦松積分計算，再把答案帶回。卡拉西奧多里是那塊橋板，它讓整套移植策略在兩端都踏上實地，而不只是漂浮在內部之上。
要誠實面對這個前提，因為它正在出真力。定理需要一條若爾當邊界——不自交、沒有夾捏點、沒有無限多尖刺的海岸線。把這條件拿掉，對應就會以鮮明的方式失效。映到一個帶切口的圓盤（一個被挖去一條徑向切縫的圓盤）上，切縫的兩岸——它們是區域不同的邊界點——卻是從不同側被抵達、又對應到同一道幾何切縫：你區域的單一一個邊緣點，可以對應到圓上兩個弧點。治療這些病態的藥方，是一個叫做素端的精煉概念，它按映射看待邊界點的方式來計數，而非按平面看待的方式；有了素端，對應就在完全的一般性下被恢復。
光滑性如何抵達邊緣：反射
卡拉西奧多里給出直抵若爾當邊界的連續性，但對於多邊形與其他分段解析的邊緣，我們想要更多——我們想要映射橫越邊界都是全純的，而不只是連續地抵達它。能交出這個的工具，是調和函數那一階梯的施瓦茲反射原理。回想它的承諾：若一個全純映射把它邊界上的一段直線段送到目標的一段直線段上，你就能跨過那段把它反射，將它全純地延伸到另一側。映射的良好行為並不止步於牆邊；反射在牆上打穿一個洞，把映射延續到牆的另一邊。
這恰恰是我們對付多邊形所需的那根槓桿。多邊形的邊是直線段，而一個從上半平面映到多邊形上的共形映射，把實軸的一段送到每一條直邊上。所以沿著每一條邊的開內部，映射是解析的、可以跨過反射——意思是它在那裡真正地全純，而不只是連續。這個論證唯一拒絕運作的地方，是多邊形的角，那裡兩條邊以一個夾角相會、邊界不再是單一一段直線。角恰恰是映射必須做出特別舉動之處，而把那特別行為釘下來，正是產出明確公式的關鍵。
施瓦茲-克里斯托費爾公式：終於有一個明確映射
這就是整個階梯一直朝著它建造的那份回報，而它回應了一個你有權提出的抱怨：黎曼映射定理是非構造性的——它發誓存在一個映到圓盤的共形映射，卻從不把它寫下來。對於一族用途極廣的目標——多邊形——施瓦茲-克里斯托費爾映射打破了那份沉默，交給你一個誠實的公式。它把上半平面（或圓盤）共形地映到任意多邊形的內部，而你能直接從被積函數裡讀出那些角。
Schwarz-Christoffel map (half-plane -> polygon):
f(z) = A + C * integral from 0 to z of
(w - x_1)^(a_1 - 1) (w - x_2)^(a_2 - 1) ... (w - x_n)^(a_n - 1) dw
x_1 < x_2 < ... < x_n are real prevertices on the boundary (the real axis)
a_k * pi is the interior angle of the polygon at the k-th corner
exponent a_k - 1 bends the map by the right amount at each corner
A, C fix position, size, and rotation of the polygon
derivative: f'(z) = C * (z - x_1)^(a_1 - 1) ... (z - x_n)^(a_n - 1)
-> arg f'(z) jumps by (a_k - 1) pi as z crosses x_k = the turn at corner k一旦你盯著導數看，這機制就美得直觀。映射的像方向是 f'(z) 的輻角；當 z 沿實軸向右行走時，它沿著多邊形的一條直邊前進，因為 arg f'(z) 在兩個前頂點之間的空檔上是常數——模在變（各邊長度不同），但方向不變。接著 z 越過一個前頂點 x_k，因子 (z - x_k)^(a_k - 1) 翻轉它的輻角，於是 arg f'(z) 跳變 (a_k - 1) pi。那一跳，恰好就是你在多邊形某個角所轉過的角度。把各次跳變串起來，這個移動的點便一邊接一邊、一角接一角地描出整個多邊形。
- 讀出幾何：標出多邊形的各個角及其內角，把每個內角寫成 a_k * pi（於是直角給出 a_k = 1/2，直直穿過給出 a_k = 1）。
- 安置前頂點：在邊界上選取實點 x_1 < x_2 < ... < x_n，它們將映到那些角——其中三個你可以自由固定，這對應著黎曼映射的三點自由度。
- 組裝被積函數：對所有角作出 (w - x_k)^(a_k - 1) 的乘積，再從一個基點積分到 z 以得到 f。
- 解參數問題：選定剩餘的前頂點以及常數 A、C，使各邊長度與位置都恰當——這是真正困難、通常需數值處理的一步。
誠實的小字
施瓦茲-克里斯托費爾並非免費的午餐，假裝它是，就背叛了整門學問的精神。公式告訴你映射的形狀——被積函數被那些角所逼定——但它並不告訴你該把前頂點 x_k 放在哪裡，也不告訴你常數 A 與 C 是什麼。要確定這些，就是那惡名昭彰的參數問題，除了極對稱的多邊形外它沒有封閉解；實務上你以數值方法求解。所以這映射形式明確，卻仍需真功夫才能釘死，這是一個公允的提醒：「明確」與「不費力」是兩個不同的詞。
而那些角值得細看，因為那正是被積函數不再全純之處。在前頂點 x_k，指數 a_k - 1 一般不是整數，所以因子 (z - x_k)^(a_k - 1) 是一個複數冪——而複數冪是多值的，光要有定義就得有一個分支與一條分支切割。這個構造悄悄地堅持你取主分支、並讓 z 留在上半平面裡，那裡一切保持單值。兩節前的反射論證，正是用來保證映射在角與角之間的開邊上依舊完美地全純；那些角恰恰是光滑性真正斷裂的孤立點，映照著多邊形自身的尖銳轉折。
為階梯收尾：從緊緻性到一條你畫得出的曲線
退後一步，看這道階梯如何回扣自身。它以追問全純函數的局部一致收斂極限保留下什麼開場——而答案，全純性會保留下來，給了你一個穩定到足以在其中取極限的映射空間。蒙泰爾定理把局部有界性化為緊緻性，使 |f'(z_0)| 取最大值的極值問題從那個緊緻族裡挑出一位冠軍，而施瓦茲引理連同赫維茲定理證明了這冠軍是個雙射。那條鏈交出了抽象的黎曼映射。本篇接著把它一路帶到邊界，並且對多邊形而言，用一條你能徒手積分的曲線取代了抽象的存在性。
把整個故事的兩道誠實界線放在眼前，正是那定理一路以來所堅持的兩道。其一，黎曼映射只對一個*單連通*區域——沒有洞的區域——才存在，且對整個平面從不存在，這個限制老早就被劉維爾定理所逼定，因為一個有界的整函數必定是常數。其二，抽象定理是非構造性的，這恰恰是施瓦茲-克里斯托費爾如此被珍視的原因：對於那一族我們能把映射寫下來的目標，我們就該寫。在純緊緻性論證與這個具體公式之間，你如今握有共形映射的兩個半邊——映射確實在那裡的證明，以及，當目標是多邊形時，真正把它算出來的辦法。