欢迎来到“进阶向量”（Further Vectors）的世界！
在之前的数学学习中，你可能已经接触过将向量视为表示移动方向的简单箭头。在进阶数学（8FM0）中，我们将利用这些箭头来构建几何世界。我们将学习如何在三维空间中描述直线与平面，找出它们相交的位置，并计算它们所围成的“空间”或体积。如果起初觉得 3D 思维像脑筋急转弯一样难以理解，别担心——一旦你掌握了公式，这就像看地图一样简单！
1. 三维空间中的直线
要在三维空间描述一条直线，你需要两样东西：一个起始点（锚点）和一个移动方向。
向量形式
直线的向量方程式写作：
\(\mathbf{r} = \mathbf{a} + \lambda \mathbf{b}\)
- \(\mathbf{a}\)：线上某点的位置向量（你的起点）。
- \(\mathbf{b}\)：方向向量（直线延伸的方向）。
- \(\lambda\)（lambda）：标量参数。随着 \(\lambda\) 的改变，你就会沿着直线移动。
笛卡尔形式
如果你喜欢坐标形式，也可以这样写：
\(\frac{x - a_1}{b_1} = \frac{y - a_2}{b_2} = \frac{z - a_3}{b_3}\)
小贴士：若要将笛卡尔形式转换为向量形式，只需将整条式子等于 \(\lambda\)，然后求出 \(x, y,\) 和 \(z\)。
平行、相交，还是异面（Skew）？
在二维空间中，直线不是平行就是相交。但在三维空间中，还有第三种可能：
- 平行：方向向量互为倍数（例如：一个是另一个的两倍）。
- 相交：直线刚好在一个点上重合。
- 异面：直线既不平行，也永远不会相交。想象一架飞机在 30,000 英尺高空向北飞，另一架在 10,000 英尺高空向东飞。它们虽然会交错而过，但永远不会碰到！
重点总结：一条 3D 直线就是一个点加上一个按比例缩放的方向。如果方向向量不是倍数关系，那么这两条线要么相交，要么是异面的。
2. 标量积（点积）
标量积（Scalar Product）是一种将两个向量相乘并得到一个单一数字（标量）的方法。它是你计算角度的最佳伙伴。
\(\mathbf{a} \cdot \mathbf{b} = |\mathbf{a}| |\mathbf{b}| \cos \theta\)
垂直向量
这是考试中的超级重点规则：如果两个向量互相垂直（夹角为 90°），它们的标量积为零。
\(\mathbf{a} \cdot \mathbf{b} = 0 \iff \mathbf{a} \perp \mathbf{b}\)
你知道吗？标量积可以告诉你一个向量在另一个向量方向上的投影量。如果结果为 0，代表它们在方向上毫无关联！
3. 平面的方程式
平面是一个平坦且无限延伸的表面（就像一张永远不会结束的纸张）。
向量形式
要定义一个平面，你需要一个起始点以及两个不同的方向来铺开整个表面：
\(\mathbf{r} = \mathbf{a} + \lambda \mathbf{b} + \mu \mathbf{c}\)
法线形式（标量积形式）
更常用的平面表达方式是使用法向量（\(\mathbf{n}\)）。法向量就像一根垂直插在地面上、与表面成 90° 的旗杆。
\(\mathbf{r} \cdot \mathbf{n} = d\)
在笛卡尔形式中，它写作：\(ax + by + cz = d\)，其中的数字 \((a, b, c)\) 正是法向量的分量！
快速复习：要找出平面的方程式，你通常只需要平面上的一点以及一个与该平面成 90° 的向量即可。
4. 向量积（叉积）
注：这是你课程中“进阶纯数 1”（Further Pure 1, FP1）的部分。
向量积（\(\mathbf{a} \times \mathbf{b}\)）与点积不同，因为它的结果是一个向量，而不是一个数字。这个新向量的特殊之处在于，它与原本的两个向量都垂直。
计算向量积
你可以使用行列式（Determinant）或公式手册中的公式来计算 \(\mathbf{a} \times \mathbf{b}\)。
记忆小贴士：运用“右手定则”。如果食指指向 \(\mathbf{a}\)，中指指向 \(\mathbf{b}\)，那么你的大拇指所指的方向就是 \(\mathbf{a} \times \mathbf{b}\) 的方向。
应用：面积
- 平行四边形面积：大小 \(|\mathbf{a} \times \mathbf{b}|\) 给出由向量 \(\mathbf{a}\) 和 \(\mathbf{b}\) 组成的平行四边形的面积。
- 三角形面积：由于三角形面积是平行四边形的一半，因此面积为 \(\frac{1}{2} |\mathbf{a} \times \mathbf{b}|\)。
重点总结：当你需要一个与另外两个向量成 90° 的向量，或者需要计算面积时，请使用向量积。
5. 标量三重积与体积
当你结合点积与向量积时，就得到了标量三重积（Scalar Triple Product）：\(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})\)。
应用：体积
- 平行六面体（一个被压扁的 3D 盒子）：体积 = \(|\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|\)。
- 四面体（一个 3D 三角锥）：体积 = \(\frac{1}{6} |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|\)。
常见错误：忘了四面体要乘 \(\frac{1}{6}\)！你可以这样想：四面体是“最尖”的形状，所以它占用的空间比完整的盒子少得多。
6. 相交与距离
寻找直线与平面的夹角
当要寻找直线（方向为 \(\mathbf{b}\)）与平面（法向量为 \(\mathbf{n}\)）之间的夹角时，请使用点积公式的 Sine 版本：
\(\sin \theta = \frac{|\mathbf{b} \cdot \mathbf{n}|}{|\mathbf{b}| |\mathbf{n}|}\)
为什么用 Sine？ 因为点积计算出来的是直线与法线（旗杆）之间的角度，但我们想要的是与地面之间的角度。Sine 能帮我们将角度正确转换过来！
点到平面的最短距离
如果你有一个点 \((\alpha, \beta, \gamma)\) 和一个平面 \(n_1x + n_2y + n_3z + d = 0\)，其最短距离为：
\(Distance = \frac{|n_1\alpha + n_2\beta + n_3\gamma + d|}{\sqrt{n_1^2 + n_2^2 + n_3^2}}\)
直线与平面相交的步骤：
- 将直线改写为 \(\lambda\) 的形式：\(x = a_1 + \lambda b_1\), \(y = a_2 + \lambda b_2\)，等等。
- 将这些 \(x, y, z\) 的表达式代入平面的笛卡尔方程式 (\(ax + by + cz = d\))。
- 解出 \(\lambda\)。
- 将该 \(\lambda\) 代回直线方程式，即可找到它们相交点的坐标！
总结检查清单
- 我能写出直线的向量形式与笛卡尔形式吗？
- 我记得 \(\mathbf{a} \cdot \mathbf{b} = 0\) 代表 90° 吗？
- 我能从平面的方程式中找出法向量吗？
- 我分得清面积（向量积/叉积）与体积（三重积）的差别吗？
- 我能准确使用点到平面的距离公式吗？
如果起初觉得这些很棘手，别担心——向量几何全是靠练习积累的。试着多画点直线与平面的草图，这能帮助你的大脑可视化三维空间！