空间解析几何 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 的课程目录。