解几 II · 二次曲面
二次方程在三维空间画出的全部图形，归结为六个标准脸谱 + 若干退化情形。认脸的方法是截痕法（用坐标平面去切，看截口曲线），分类的理论则是高代 VI 二次型标准形的几何兑现——两页知识在此互为表里。
1. 生成曲面：柱、锥、旋转面
- 柱面：方程缺某变量即是沿该轴的柱面（\(x^2 + y^2 = 1\) 在空间中是圆柱——"缺谁沿谁平移"）；
- 锥面：齐次方程（各项同次）过原点成锥（\(x^2 + y^2 = z^2\) 圆锥）；
- 旋转面：平面曲线 \(f(y, z) = 0\) 绕 \(z\) 轴旋转：把 \(y\) 换成 \(\pm\sqrt{x^2 + y^2}\)（"被转的变量换成到轴的距离"）。例：\(z = y^2\) 绕 \(z\) 轴 → 旋转抛物面 \(z = x^2 + y^2\)（卫星天线）。
2. 六大标准二次曲面（认脸表）
| 曲面 | 标准方程 | 截痕特征 | 记忆锚点 |
|---|---|---|---|
| 椭球面 | \(\frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1\) | 三向截口全椭圆 | 压扁的球 |
| 单叶双曲面 | \(\frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1\) | 水平椭圆、竖直双曲线 | 电厂冷却塔（一个负号） |
| 双叶双曲面 | \(\frac{x^2}{a^2} - \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1\) | 分成两片 | 两只碗背对背（两个负号） |
| 椭圆抛物面 | \(z = \frac{x^2}{a^2} + \frac{y^2}{b^2}\) | 水平椭圆、竖直抛物线 | 碗（同号） |
| 双曲抛物面 | \(z = \frac{x^2}{a^2} - \frac{y^2}{b^2}\) | 水平双曲线、竖直两向反弯 | 马鞍/薯片（异号） |
| 二次锥面 | \(\frac{x^2}{a^2} + \frac{y^2}{b^2} = \frac{z^2}{c^2}\) | 水平椭圆缩到点再张开 | 双叶双曲面的渐近锥 |
认脸口诀：平方项符号数——三正是椭球，一负单叶、两负双叶；有一次项（\(z\)）是抛物面类，同号碗、异号鞍。
两个隽永的注脚：单叶双曲面与马鞍面是直纹面（曲面上铺满整条直线——弯曲外表全由直钢梁焊成，冷却塔与网壳结构的工程秘密）；马鞍点（高数极值判别里 Hessian 不定的那个名字）的原型就是双曲抛物面的原点——优化 II"鞍点"一词的几何老家。
3. 与高代二次型对表（分类的理论真相）
一般二次曲面 \(\mathbf{x}^\top A\mathbf{x} + 2\mathbf{b}^\top\mathbf{x} + c = 0\)（\(A\) 对称）。主轴定理（高代 VI）：正交变换 \(\mathbf x = Q\mathbf y\) 对角化 \(A\)，消去交叉项；再平移消一次项——化到标准形。于是：
曲面类型由 \(A\) 的特征值符号（惯性指数）决定：三正 → 椭球类；两正一负 → 双曲面类；有零特征值 → 抛物面/柱面类（退化方向）。正交变换 = 旋转保持形状与度量——"用哪个坐标系看"不改变曲面是什么，这正是"不变量分类"思想（特征值是旋转不变量）的第一次几何实战，也是 PCA"转到主轴看数据"的几何同款（高代 VI §5 呼应）。
4. 典型例题
例 1（截痕认脸） \(\frac{x^2}{4} + y^2 - \frac{z^2}{9} = 1\)：\(z = z_0\) 截口椭圆恒存在（右端 \(1 + \frac{z_0^2}{9} > 0\)）——单叶双曲面（连成一体）；对照 \(\frac{x^2}{4} - y^2 - \frac{z^2}{9} = 1\)：\(x = x_0\) 需 \(|x_0| \geq 2\) 才有截口——双叶（中间断开）。
例 2（旋转面生成） 双曲线 \(\frac{x^2}{a^2} - \frac{z^2}{c^2} = 1\)（\(xz\) 平面内）绕 \(z\) 轴：\(x \to \pm\sqrt{x^2+y^2}\) 得 \(\frac{x^2 + y^2}{a^2} - \frac{z^2}{c^2} = 1\)——单叶双曲面原来是双曲线转出来的（绕另一轴则得双叶：同一条双曲线，绕不同轴，单双叶各一，一题记两脸）。
例 3（主轴化标准形） \(x^2 + y^2 + z^2 + 2xy = 1\)：矩阵 \(A\) 特征值 \(2, 0, 1\)（交叉项 \(2xy\) 的块特征值 \(2, 0\)）⇒ 标准形 \(2u^2 + v^2 = 1\)——\(w\) 缺席：椭圆柱面（零特征值 = 沿该主轴平移不变）。\(\blacksquare\)
解几两页完工。下一门抽象代数：把"运算"本身当研究对象——群、环、域。