歡迎來到三維空間：曲面與偏微分
在標準的 A Level 數學中，我們花了不少時間研究二維平面坐標網格上的曲線。而在進階數學（Further Mathematics）中，我們要躍升至三維空間！我們不再只是求直線的斜率，而是要研究曲面（surfaces）——想像一下山丘、山谷，甚至是品客薯片的形狀。
如果起初覺得有點棘手，不必擔心。我們只是將你已經熟悉的微分法則，一次應用在一個變數上。這就像從不同的側面觀察一個 3D 物體，從而理解它的形狀。讓我們開始吧！
1. 什麼是 3D 曲面？
曲面由兩個變數的函數定義，通常寫作 \(z = f(x, y)\)。這意味著「高度」(\(z\)) 取決於你在平面上的位置 (\(x\) 和 \(y\))。
顯函數形式（Explicit form）： \(z = x^2 + 3xy\)。這裡，\(z\) 明顯是主項。
隱函數形式（Implicit form）： \(x^2 + y^2 + z^2 = 25\)。這是一個球體，所有變數都混合在一起。
類比： 想像一個山脈。如果你給我你的 GPS 座標 (\(x, y\))，函數 \(f(x, y)\) 就能告訴我你正站立在多高的地方 (\(z\))。
快速複習：基礎知識
要在這裡取得成功，你只需要對核心純數課程中的冪法則微分（Power Rule differentiation）感到熟練即可。如果你能對 \(y = x^n\) 進行微分，你就能做到這一點！
重點總結： 包含 \(x, y\) 和 \(z\) 的方程式在 3D 空間中代表一個曲面，就像包含 \(x\) 和 \(y\) 的方程式在 2D 空間中代表一條曲線一樣。
2. 截面與等高線：切割曲面
要在二維紙張上視覺化 3D 曲面很困難。數學家使用兩個主要技巧將 3D 曲面「壓平」成更容易觀察的圖形：截面（Sections）和等高線（Contours）。
截面（垂直切片）
截面是指你用垂直平面切割曲面時所得到的圖形。你可以透過保持 \(x\) 或 \(y\) 為常數來實現這一點。
- 如果你設定 \(x = a\)（常數），你會得到一個平行於 \(yz\)-平面的截面。
- 如果你設定 \(y = b\)（常數），你會得到一個平行於 \(xz\)-平面的截面。
例子： 如果 \(z = x^2 + y^2\)，而我們觀察 \(x = 2\) 時的截面，方程式會變成 \(z = 4 + y^2\)。這就是一個簡單的 2D 拋物線！
等高線（水平切片）
等高線是指你在固定的高度水平切割曲面時所得到的圖形。你可以透過設定 \(z = c\)（常數）來實現。
現實生活例子： 想像行山時用的地形圖。圖上的線就是等高線。如果你沿著等高線走，你就會保持在完全相同的高度。
重點總結： 截面幫助我們觀察曲面的側面輪廓，而等高線則展示了我們從正上方俯視的視角。
3. 偏微分：一次處理一個變數
偏微分聽起來很嚇人，但實際上它是一個「作弊碼」。當我們求偏導數（partial derivative）時，我們只針對其中一個變數進行微分，並假裝另一個變數只是個普通的數字（常數）。
符號表示
我們使用「彎曲的 d」(\(\partial\)) 來表示我們正在進行偏微分：
\(\frac{\partial z}{\partial x}\)（讀作 "partial dz by dx"）或簡稱為 \(f_x\)。
如何操作（分步教學）
讓我們求 \(z = x^2y + 5x + y^3\) 的偏導數：
第 1 步：求 \(f_x\)（對 \(x\) 微分，將 \(y\) 視為常數）。
\(x^2y\) 變成 \(2xy\)。
\(5x\) 變成 \(5\)。
\(y^3\) 中沒有 \(x\)，所以它被當作常數（就像 "7" 一樣）並消失（變為 0）。
答案： \(f_x = 2xy + 5\)。
第 2 步：求 \(f_y\)（對 \(y\) 微分，將 \(x\) 視為常數）。
\(x^2y\) 變成 \(x^2\)（因為 \(y\) 的導數是 1）。
\(5x\) 中沒有 \(y\)，所以它消失了。
\(y^3\) 變成 \(3y^2\)。
答案： \(f_y = x^2 + 3y^2\)。
二階導數與混合導數定理
你可以再次微分以求二階導數，例如 \(f_{xx}\) 或 \(f_{yy}\)。
還有混合導數（mixed derivatives），例如 \(f_{xy}\)（先對 \(x\) 微分，再對 \(y\) 微分）。
你知道嗎？ 對於你在本課程中會遇到的函數，\(f_{xy} = f_{yx}\)。無論你按什麼順序微分，結果都是一樣的！這被稱為混合導數定理（Mixed Derivative Theorem）。
重點總結： 要計算偏導數，只需專注於你被要求處理的變數，並將另一個變數視為無聊的常數即可。
4. 尋找駐點（Stationary Points）
在 2D 中，駐點是斜率為零的地方 (\(\frac{dy}{dx} = 0\))。在 3D 中，駐點是曲面在每個方向上都完全平坦的地方。
條件
要成為駐點，兩個偏導數必須同時為零：
\(f_x = 0\) 且 \(f_y = 0\)。
駐點類型
- 局部極大值（Local Maximum）： 山丘的頂峰。
- 局部極小值（Local Minimum）： 碗的底部。
- 鞍點（Saddle Point）： 一個非常酷的形狀！它看起來像山口。如果你向一個方向（例如 \(x\)）移動，它是極大值，但如果你向另一個方向（例如 \(y\)）移動，它就是極小值。想像一下馬鞍或品客薯片。
常見錯誤： 學生經常只算出 \(f_x = 0\) 的點就停下來了。請記住，你必須使用兩個方程式聯立求解，算出 \(x\) 和 \(y\) 的值（通常使用聯立方程式）。
快速複習框：
1. 微分以求得 \(f_x\) 和 \(f_y\)。
2. 設定 \(f_x = 0\) 及 \(f_y = 0\)。
3. 解聯立方程求出 \(x\) 和 \(y\)。
4. 將 \(x\) 和 \(y\) 代回原始的 \(z\) 方程式以求出高度。
重點總結： 駐點出現在曲面暫時平坦的地方。你可以透過將兩個偏導數都設為零來找到它們。
總結檢查清單
在繼續之前，請確保你能夠：
• 區分截面（垂直切片）和等高線（水平切片）。
• 使用冪法則計算一階和二階偏導數。
• 記住 \(f_{xy} = f_{yx}\)。
• 設定並解出 \(f_x = 0\) 和 \(f_y = 0\) 以尋找駐點。
你做得很好！曲面和偏導數是工程師和數據科學家每天使用的基本工具。繼續練習，「3D 視覺」很快就會成為你的第二天性！