欢迎来到三维空间：曲面与偏微分
在标准的 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 视觉”很快就会成为你的第二天性！