空间解析几何 3D 实验室 (Space Geometry Lab)

引用基准：James Stewart, Calculus: Early Transcendentals
本交互式实验室旨在通过现代可视化手段，填补传统黑板绘图在表达三维空间曲面（Surfaces）与曲线（Lines in Space）时的盲区。我们遵循 Stewart 微积分体系，重点展示解析几何在物理建模中的直观逻辑。

理论基石与几何直观

在 James Stewart 的微积分体系中，三维空间的几何对象被视为多变量方程的集合解释。本实验室特别强化了以下核心概念：

1. 空间平面 (Planes in Space)

平面是三维空间中最基础的几何对象，由点和法向量唯一确定：

• 点法式方程：$A(x-x_0)+B(y-y_0)+C(z-z_0)=0$，法向量 $\mathbf{n}=(A,B,C)$ 垂直于平面内所有直线。
• 一般方程：$Ax+By+Cz+D=0$，缺项对应平行于相应坐标轴。
• 位置关系：两平面夹角由法向量点积计算，点到平面距离利用向量投影推导。

2. 空间直线 (Lines in Space)

直线由点和方向向量唯一确定，可表达为多种等价形式：

• 点向式方程：$\frac{x-x_0}{m}=\frac{y-y_0}{n}=\frac{z-z_0}{p}$，方向向量 $\mathbf{s}=(m,n,p)$ 决定直线走向。
• 参数方程：便于求解线面交点和分析运动轨迹。
• 线面关系：直线与平面夹角与法线夹角互余，故使用正弦公式计算。

3. 旋转曲面 (Surfaces of Revolution)

旋转面并非孤立的几何体，而是一维曲线在算子作用下的拓扑闭包。通过观察 $y=f(z)$ 绕 $z$ 轴旋转生成抛物面的动态过程，学生可以深刻理解代数代换规律：

• 核心逻辑：绕哪轴哪轴不动，另一变量替换为到轴的欧几里得距离 $r=\pm \sqrt{x^2+y^2}$。

4. 二次曲面与截痕法 (Quadric Surfaces & Traces)

二次曲面的复杂性格通常通过“截痕法”来剖析。本实验室允许用户在标准视角下观察椭球面（Ellipsoid）与单叶双曲面（Hyperboloid）的截面变化，直观体现出系数符号的微小变动如何引发拓扑结构的巨变。

5. 投射柱面 (Projection Cylinders)

这是计算空间曲线投影最易混淆的环节。实验室通过展示“投射柱面”这堵垂直于平面的辅助墙，解释了“消去 $z$ 得到 $xy$ 面投影”这一算子背后的几何实质。

操作指南

• 主题切换：通过顶部标签页在「空间曲面」、「空间平面」、「空间直线」、「空间曲线」四大模块间切换，覆盖空间解析几何完整知识体系。
• 场景选择：在底部控制面板选择具体知识点场景，每个场景对应独立的几何模型和公式解释。
• 多维交互：直接在画板内点击拖拽以进行旋转，滚动滚轮进行缩放，从任意角度观察几何对象。
• 数学同步面板：点击右侧悬浮面板，观察实时渲染的代数方程与推导过程。建议配合 Stewart 教材中的相应章节进行对照实验。
• 沉浸式教学：点击右下角 「⛶ 教学展示」 按钮，系统将自动调整为沉浸式全屏视角，并提供视角复位功能以切换回标准黑板投影位。

常见问题 (FAQ)

Q: 平面一般方程中缺项有什么几何意义？A: 平面方程 $Ax+By+Cz+D=0$ 中缺少哪个变量，平面就平行于哪个坐标轴。例如 $x+y=1$ 中缺 $z$，说明该平面平行于 $z$ 轴，$z$ 可以取任意值。

Q: 点向式方程中分母为 0 时如何理解？A: 当点向式 $\frac{x-x_0}{m}=\frac{y-y_0}{n}=\frac{z-z_0}{p}$ 中某个分母为 0 时，对应的分子也必须为 0。例如 $m=0$ 表示 $x=x_0$，直线平行于 $yOz$ 平面。

Q: 为什么线面夹角公式使用正弦而不是余弦？A: 直线与平面的夹角定义为直线与它在平面内投影的锐角夹角，这个角与直线和法线的夹角互余。利用三角函数的互余关系，$\sin \varphi =\cos ({90}^{\circ }-\varphi )$，因此公式中使用正弦计算。

Q: 为什么我消去 $z$ 得到的方程 $x^2+y^2=2$ 在空间中不是一个圆？A: 在三维空间中，二元方程代表的是一个柱面（Cylinder）。要表达空间投影曲线，必须将方程与投影平面方程联立，即 $\{\begin{array}{l}{x}^2+y^2=2\\ z=0\end{array}$。

Q: 如何直观区分单叶双曲面与双叶双曲面？A: 最直观的方法是观察其连通性。单叶双曲面是整体连通的（类似冷却塔），而双叶双曲面在中间产生了物理上的断裂。这在代数上体现为方程中负号系数的数量。

扩展探索

除了微积分基础，空间解析几何与线性代数有着深刻的内在联系。您可以进一步探索：

• 线性代数：几何直觉重构：建立向量空间与线性变换的直观理解。
• 大学数学教学体系概览：查看 MatNoble 的完整数学实验室路径。