欢迎来到 FP3 向量：探索三维空间！
你好，未来的数学家！本章“向量”将带你进入高等纯数中充满魅力的三维空间。如果你觉得基础 A-Level 的向量内容很简单，那太棒了！如果你觉得有些吃力，也不必担心——我们将一步一个脚印，从基础知识开始逐步深入。
在 FP3 中，我们将引入一些强大的新工具，比如向量积（Vector Product）和平面的方程（Equation of a Plane）。掌握这些概念对于解决涉及空间中体积、面积以及物体相对位置的复杂几何问题至关重要。
让我们开始吧，让三维几何变得简单易懂！
1. 向量积（叉积）
你已经熟悉了标量积（点积，Scalar Product），它的结果是一个数（标量），用于描述两个向量之间的夹角。而向量积（或称为叉积，Cross Product）则不同：它的结果是一个新的向量！
1.1 定义与计算
如果我们有两个向量 \(\mathbf{a}\) 和 \(\mathbf{b}\)，它们的向量积 \(\mathbf{a} \times \mathbf{b}\) 可以通过单位向量 \(\mathbf{i}, \mathbf{j}, \mathbf{k}\) 构成的行列式来计算。
设 \(\mathbf{a} = a_1\mathbf{i} + a_2\mathbf{j} + a_3\mathbf{k}\) 且 \(\mathbf{b} = b_1\mathbf{i} + b_2\mathbf{j} + b_3\mathbf{k}\)。
计算公式如下：
$$ \mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} $$逐步计算技巧：
要找到结果向量的各个分量：
- 对于 \(\mathbf{i}\) 分量： 遮住第一列。计算 \((a_2b_3 - a_3b_2)\)。
- 对于 \(\mathbf{j}\) 分量： 遮住第二列。计算 \((a_1b_3 - a_3b_1)\)。关键步骤：由于行列式计算的符号是交替的，你必须将结果乘以 \(-1\)，得到 \(-(a_1b_3 - a_3b_1)\) 或 \((a_3b_1 - a_1b_3)\)。
- 对于 \(\mathbf{k}\) 分量： 遮住第三列。计算 \((a_1b_2 - a_2b_1)\)。
示例： 若 \(\mathbf{a} = \mathbf{i} + 2\mathbf{j} + 0\mathbf{k}\) 且 \(\mathbf{b} = 3\mathbf{i} + 0\mathbf{j} + 4\mathbf{k}\)。
$$\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ 1 & 2 & 0 \\ 3 & 0 & 4 \end{vmatrix}$$
i-分量： \((2)(4) - (0)(0) = 8\)
j-分量： \(-[(1)(4) - (0)(3)] = -4\)
k-分量： \((1)(0) - (2)(3) = -6\)
因此， \(\mathbf{a} \times \mathbf{b} = 8\mathbf{i} - 4\mathbf{j} - 6\mathbf{k}\)。
1.2 主要性质与几何意义
垂直向量
关于叉积最重要的事实是：结果向量 \(\mathbf{a} \times \mathbf{b}\) 始终垂直于（正交于）\(\mathbf{a}\) 和 \(\mathbf{b}\)。
类比：想象一个地板（包含 \(\mathbf{a}\) 和 \(\mathbf{b}\) 的平面）。向量积就像一根从地板上垂直竖起的柱子。
方向： 方向由右手定则决定。如果你将手指从 \(\mathbf{a}\) 弯曲到 \(\mathbf{b}\)，大拇指所指的方向就是 \(\mathbf{a} \times \mathbf{b}\) 的方向。
顺序很重要！（非交换律）：
$$\mathbf{a} \times \mathbf{b} = -(\mathbf{b} \times \mathbf{a})$$
如果你调换顺序，结果向量的方向会完全相反（它会向下而不是向上）。
平行四边形的面积
向量积的模长（magnitude）等于以 \(\mathbf{a}\) 和 \(\mathbf{b}\) 为边所构成的平行四边形的面积：
$$\text{面积} = |\mathbf{a} \times \mathbf{b}|$$
求三角形面积的小贴士： 由于三角形面积是平行四边形的一半，由 \(\mathbf{a}\) 和 \(\mathbf{b}\) 构成的三角形面积为：
$$\text{面积} = \frac{1}{2}|\mathbf{a} \times \mathbf{b}|$$
速查：叉积
- 输入：两个向量 (\(\mathbf{a}, \mathbf{b}\))。
- 输出：一个向量 (\(\mathbf{a} \times \mathbf{b}\))。
- 结果向量与两个输入向量垂直。
- 模长等于平行四边形的面积。
2. 平面的方程
平面是三维空间中一个平坦且无限延伸的表面。为了唯一确定一个平面，我们不需要三个点（尽管三个点也可以）；在数学上，我们需要平面上的一个点和一个垂直于平面的向量。
这个垂直向量被称为法向量（normal vector），记作 \(\mathbf{n}\)。
2.1 平面的向量形式
设 \(\mathbf{a}\) 为平面上已知固定点 \(A\) 的位置向量，设 \(\mathbf{r}\) 为平面上任意一点 \(P\) 的位置向量。
向量 \(\vec{AP} = \mathbf{r} - \mathbf{a}\) 必须完全位于该平面内。
由于 \(\mathbf{n}\) 垂直于该平面，它必须垂直于平面内的每一个向量，包括 \(\vec{AP}\)。
因此，它们的标量积（点积）必须为零：
$$(\mathbf{r} - \mathbf{a}) \cdot \mathbf{n} = 0$$
重排后得到平面的标准向量方程：
$$\mathbf{r} \cdot \mathbf{n} = \mathbf{a} \cdot \mathbf{n}$$
由于 \(\mathbf{a} \cdot \mathbf{n}\) 是一个常数，我们通常写作：
$$\mathbf{r} \cdot \mathbf{n} = d$$
其中 \(d = \mathbf{a} \cdot \mathbf{n}\)。
2.2 平面的笛卡尔形式
若设 \(\mathbf{r} = x\mathbf{i} + y\mathbf{j} + z\mathbf{k}\) 且法向量 \(\mathbf{n} = a\mathbf{i} + b\mathbf{j} + c\mathbf{k}\)，则标量积 \(\mathbf{r} \cdot \mathbf{n} = d\) 展开后即为平面的笛卡尔方程：
$$ax + by + cz = d$$
重要联系： 笛卡尔方程中 \(x, y, z\) 的系数实际上就是法向量 \(\mathbf{n}\) 的分量。
2.3 由三个点确定方程
通常题目会给出三个不共线的点 \(A, B, C\)，要求求出包含这三点的平面方程。
分步过程：
- 找到位于平面内的两个向量： 例如，\(\mathbf{u} = \vec{AB}\) 和 \(\mathbf{v} = \vec{AC}\)。
- 计算法向量 (\(\mathbf{n}\))： 使用向量积：\(\mathbf{n} = \mathbf{u} \times \mathbf{v}\)。（记住，叉积垂直于这两个向量，因此必然垂直于平面）。
- 求常数 \(d\)： 使用方程 \(\mathbf{r} \cdot \mathbf{n} = d\)。将这三个已知点中任意一点（\(\mathbf{a}, \mathbf{b}\) 或 \(\mathbf{c}\)）的坐标代入 \(\mathbf{r}\)。
- 写出最终方程： 将 \(\mathbf{n}\) 和 \(d\) 代入 \(ax + by + cz = d\)。
你知道吗？如果三个点共线（在同一条直线上），它们无法定义唯一的平面。此时 \(\mathbf{u}\) 和 \(\mathbf{v}\) 平行，它们的叉积 \(\mathbf{u} \times \mathbf{v}\) 将为零向量，你也就无法找到法向量！
3. 标量三重积
标量三重积涉及三个向量 \(\mathbf{a}, \mathbf{b}\) 和 \(\mathbf{c}\)。它的结果是一个标量（数值）。
3.1 定义与计算
标量三重积定义为：
$$\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})$$
计算时，先算出向量积 \(\mathbf{b} \times \mathbf{c}\)，再将结果与 \(\mathbf{a}\) 做点积。
最简单的计算方法是使用 3x3 行列式，其中各行分别为 \(\mathbf{a}, \mathbf{b}\) 和 \(\mathbf{c}\) 的分量：
$$ \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = \begin{vmatrix} a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \\ c_1 & c_2 & c_3 \end{vmatrix} $$记忆窍门： 结果是一个标量（数字），所以行列式中没有 \(\mathbf{i}, \mathbf{j}, \mathbf{k}\) 这一列。
3.2 几何意义：平行六面体的体积
标量三重积的绝对值（模长）等于由三个向量 \(\mathbf{a}, \mathbf{b}\) 和 \(\mathbf{c}\) 共享同一顶点所定义的平行六面体（skewed cuboid，就像一叠斜放的扑克牌）的体积。
$$\text{体积} = |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|$$
原因：\(|\mathbf{b} \times \mathbf{c}|\) 是底面积，与 \(\mathbf{a}\) 的点积实际上计算了 \(\mathbf{a}\) 在法向量上的投影，即垂直高度。体积 = 底面积 \(\times\) 垂直高度。
3.3 共面性检验
如果三个向量 \(\mathbf{a}, \mathbf{b}\) 和 \(\mathbf{c}\) 都位于同一个平面内（它们是共面的，coplanar），它们就无法构成体积。此时平行六面体“坍塌”了！
这提供了一个强有力的判断方法：
如果 \(\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = 0\)，那么向量 \(\mathbf{a}, \mathbf{b}\) 和 \(\mathbf{c}\) 是共面的。
这是考试中非常常见的应用。如果题目要求证明四个点共面，先构建连接它们的三个向量（例如 \(\vec{AB}, \vec{AC}, \vec{AD}\)），然后证明这三个向量的标量三重积为零即可。
4. 三维空间中的角度与距离
掌握了平面方程后，你就可以解决涉及交点、夹角和距离的问题了。
4.1 两个平面之间的夹角（\(\Pi_1\) 和 \(\Pi_2\)）
不用管平面本身！两个平面之间的夹角就是它们的法向量 \(\mathbf{n}_1\) 和 \(\mathbf{n}_2\) 之间的夹角。
我们利用点积公式来计算夹角 \(\theta\)：
$$\mathbf{n}_1 \cdot \mathbf{n}_2 = |\mathbf{n}_1| |\mathbf{n}_2| \cos \theta$$
$$\cos \theta = \frac{|\mathbf{n}_1 \cdot \mathbf{n}_2|}{|\mathbf{n}_1| |\mathbf{n}_2|}$$
我们使用绝对值 \(|\mathbf{n}_1 \cdot \mathbf{n}_2|\) 来确保我们得到的是两个平面间的锐角（除非题目另有要求，否则这通常是答案）。
4.2 直线 (\(L\)) 与平面 (\(\Pi\)) 之间的夹角
这一步有些微妙！直线与平面的夹角不是直线方向向量 (\(\mathbf{d}\)) 与平面法向量 (\(\mathbf{n}\)) 之间的夹角。
分步过程：
- 利用点积计算直线方向向量 \(\mathbf{d}\) 与平面法向量 \(\mathbf{n}\) 之间的夹角 \(\alpha\)： $$\cos \alpha = \frac{|\mathbf{d} \cdot \mathbf{n}|}{|\mathbf{d}| |\mathbf{n}|}$$
- 由于 \(\mathbf{n}\) 垂直于平面，直线与平面的夹角 \(\theta\) 是 \(\alpha\) 的余角。 $$\theta = 90^\circ - \alpha \quad \text{或} \quad \sin \theta = \cos \alpha$$
避免此常见错误： 直接使用点积计算出的只是直线与“法线”的夹角。你必须通过 \(90^\circ - \alpha\) 或利用正弦关系将其转换为与“平面”的夹角。
4.3 点到平面的距离
点 \(P(x_0, y_0, z_0)\) 到平面 \(\Pi: ax + by + cz = d\) 的最短距离由一个简单的公式给出，该公式源自向量投影。
如果你将平面方程写作 \(ax + by + cz - d = 0\)，距离 \(D\) 为：
$$ D = \frac{|ax_0 + by_0 + cz_0 - d|}{\sqrt{a^2 + b^2 + c^2}} $$解释： 分子是将点 \(P\) 的坐标代入平面方程。分母则是法向量 \(\mathbf{n} = (a, b, c)\) 的模长。
提示： 如果该点本身就在平面上，分子将为零，距离也就是零——这完全符合逻辑！
总结与下一步
你现在已经探索了 FP3 向量的高级几何内容！
核心要点：
- 向量积给你一个垂直于另外两个向量的新向量，其模长等于平行四边形的面积。它对于求平面的法向量 (\(\mathbf{n}\)) 至关重要。
- 平面的方程完全依赖于其法向量：\(\mathbf{r} \cdot \mathbf{n} = d\)。
- 标量三重积有助于求平行六面体的体积，并确定三个向量是否共面（如果体积为零）。
本章最大的挑战在于知道在什么时候使用*哪种*工具。如果题目涉及面积或找垂直向量，请考虑叉积。如果涉及夹角或距离，请考虑点积及其相关公式。坚持练习行列式计算，你一定能完全掌握三维空间！