欢迎来到进阶向量（Further Vectors）！
在标准 A Level 的学习中，你可能已经掌握了向量的基础——向量加减法，以及利用标量积（Dot Product）来计算夹角。现在，我们将正式踏入进阶数学（Further Mathematics）的 3D 空间。我们将探索如何找出与其他向量互相垂直的向量、如何计算 3D 空间中几何图形的精确面积，以及如何找出两个永不相交的物体之间的最短距离！如果一开始觉得空间感很难想像，别担心；我们会一步步拆解这些概念。
1. 向量积（叉积，Cross Product）
在核心数学中，标量积（Scalar Product/Dot Product）的结果是一个单一数值。在进阶数学中，我们会使用向量积（亦称为叉积，Cross Product），它的运算结果是一个全新的向量。
它究竟有什么用？
想像有两个向量 \(\mathbf{a}\) 和 \(\mathbf{b}\) 放在平坦的桌面上。向量积 \(\mathbf{a} \times \mathbf{b}\) 是一个指向正上方（或正下方）的向量，且与 \(\mathbf{a}\) 和 \(\mathbf{b}\) 皆互相垂直。
几何定义：
\(\mathbf{a} \times \mathbf{b} = |\mathbf{a}||\mathbf{b}| \sin(\theta) \hat{\mathbf{n}}\)
其中 \(\hat{\mathbf{n}}\) 是与包含 \(\mathbf{a}\) 和 \(\mathbf{b}\) 的平面互相垂直的单位向量。
如何计算（计算公式）
若 \(\mathbf{a} = \begin{pmatrix} a_1 \\ a_2 \\ a_3 \end{pmatrix}\) 且 \(\mathbf{b} = \begin{pmatrix} b_1 \\ b_2 \\ b_3 \end{pmatrix}\)，则：
\(\mathbf{a} \times \mathbf{b} = \begin{pmatrix} a_2b_3 - a_3b_2 \\ a_3b_1 - a_1b_3 \\ a_1b_2 - a_2b_1 \end{pmatrix}\)
记忆小帮手：右手定则（Right-Hand Rule）
将你的食指指向 \(\mathbf{a}\) 的方向，中指指向 \(\mathbf{b}\) 的方向。此时，你的大拇指所指的方向就是 \(\mathbf{a} \times \mathbf{b}\) 的方向。这就是为什么我们称其为右手坐标系（right-handed triple）的原因！
重要性质
- 反交换律：\(\mathbf{a} \times \mathbf{b} = -(\mathbf{b} \times \mathbf{a})\)。顺序非常重要！如果你交换它们，结果的方向会刚好相反。
- 平行向量：若 \(\mathbf{a} \times \mathbf{b} = \mathbf{0}\)，则这两个向量平行。（比喻：如果它们指向同一个方向，它们就无法「扩展」成一个平面，因此没有「上方」可以指向！）
快速回顾：当你需要一个与另外两个向量皆垂直的向量时，就使用向量积。
2. 3D 空间中的直线与平面
在 3D 空间中，直线与平面是几何学的「积木」。你需要熟练地在向量式（Vector Form）与笛卡儿式（Cartesian Form）之间进行转换。
直线方程式
向量式：\(\mathbf{r} = \mathbf{a} + \lambda \mathbf{u}\)
（\(\mathbf{a}\) 为线上的一点；\(\mathbf{u}\) 为方向向量）。
笛卡儿式：\(\frac{x - a_1}{u_1} = \frac{y - a_2}{u_2} = \frac{z - a_3}{u_3}\)
平面方程式
平面可以由平面上一点 \(\mathbf{a}\) 和一个法向量（normal vector） \(\mathbf{n}\)（一个垂直于平面的向量）来定义。
- 向量式（标准）：\(\mathbf{r} \cdot \mathbf{n} = \mathbf{a} \cdot \mathbf{n}\)（通常写作 \(\mathbf{r} \cdot \mathbf{n} = d\)）。
- 笛卡儿式：\(ax + by + cz = d\)，其中 \(\begin{pmatrix} a \\ b \\ c \end{pmatrix}\) 即为法向量。
你知道吗？平面也可以用平面上的两个方向向量（\(\mathbf{b}\) 和 \(\mathbf{c}\)）来表示：\(\mathbf{r} = \mathbf{a} + \lambda \mathbf{b} + \mu \mathbf{c}\)。
关键点：平面方程式中 \(x, y, z\) 的系数永远代表垂直于该平面的法向量。
3. 交点与夹角
这部分是用来考验你如何处理空间中直线与平面的互动。
直线与直线的互动
3D 空间中的两条直线关系如下：
1. 平行：拥有相同的方向向量。
2. 相交：它们在空间中交于一点。
3. 异面（Skew）：它们既不平行，也不会相交！（比喻：想像一架飞机在 30,000 呎高度向北飞行，另一架在 20,000 呎高度向东飞行，它们永远不会碰到。）
夹角
- 两平面之间的夹角：利用标量积找出它们法向量之间的夹角。
- 直线与平面之间的夹角：利用直线的方向向量与平面的法向量进行标量积。重要技巧：标量积算出来的是直线与法向量的夹角，因此你的最终答案必须是 \(90^\circ - \theta\)。
常见错误：计算直线与平面的夹角时忘了做 \(90^\circ - \theta\)。建议随手画个图检查一下！
4. 面积与体积（标量三重积，Scalar Triple Product）
我们可以利用新的向量工具来计算 3D 图形的大小。
面积
- 平行四边形面积：\(|\mathbf{a} \times \mathbf{b}|\)
- 三角形面积：\(\frac{1}{2} |\mathbf{a} \times \mathbf{b}|\)
体积与标量三重积
标量三重积写作 \(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})\)。其结果是一个标量（数值）。
- 平行六面体体积：\(|\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|\) （一个倾斜的 3D 方盒）。
- 四面体体积：\(\frac{1}{6} |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|\) （一个三角锥）。
关键概念：共面向量（Coplanar Vectors）
若 \(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = 0\)，代表体积为零。这只会发生在三个向量都位于同一个平面时（它们是共面的）。
5. 最短距离
计算物体之间的间距是考题中的经典。考试时会提供这些公式，但你必须知道如何应用！
1. 点到平面的距离
\(D = \frac{|\mathbf{b} \cdot \mathbf{n} - p|}{|\mathbf{n}|}\)
其中 \(\mathbf{b}\) 为该点的位置向量，\(\mathbf{r} \cdot \mathbf{n} = p\) 为平面方程式。
2. 两异面直线间的最短距离
\(D = \frac{|(\mathbf{b} - \mathbf{a}) \cdot \mathbf{n}|}{|\mathbf{n}|}\)
其中 \(\mathbf{a}\) 和 \(\mathbf{b}\) 分别是两条直线上的一点，\(\mathbf{n}\) 是与两直线皆垂直的向量（利用 \(\mathbf{u}_1 \times \mathbf{u}_2\) 求得）。
3. 点到直线的距离（2D 环境）
\(D = \frac{|ax_1 + by_1 - c|}{\sqrt{a^2 + b^2}}\)
如果觉得这些公式很复杂也不用担心！大多数距离问题只需要你找出正确的向量，然后「套用」公式即可。最重要的步骤就是利用叉积找出 \(\mathbf{n}\)（垂直向量）。
章节总结
- 向量积（\(\mathbf{a} \times \mathbf{b}\)）：产生一个与 \(\mathbf{a}\) 和 \(\mathbf{b}\) 皆垂直的向量。
- 平行：叉积为 \(\mathbf{0}\)。
- 共面：标量三重积 \(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})\) 为 \(0\)。
- 面积：与叉积的模长（magnitude）有关。
- 体积：与标量三重积有关。
- 距离：使用提供的公式，并记得优先计算单位法向量 \(\frac{\mathbf{n}}{|\mathbf{n}|}\)。