空间向量基本定理3证明-空间向量基本定理三

空间向量根本定理，也就是著名的克拉默法则（Cramer's Rule）要么更通俗地说，是三维空间里任意三个向量能“拼凑”成整个空间的钥匙。大量人刚接触这章，第一反应是把书里的公式抄下来，然后像背书一样背到尾。但在我看来，这玩意儿倒不是那种需求死记硬背的冷知识，它更像是一种空间里“坐标系”的自由来。 咱们得先聊个大的概念：空间任意三个不共面的向量，它们能“张成”整个三维空间。
这个“不共面”四个字在文里出现得忒多次了，不得不提，但点进去才知道，这实际上就是说这三个向量张成的平行六面体体积不为零。
要是这三个向量堆在一起能缩成一个平面，那整个空间就塌了一半，这时候聊聊坐标系的唯一性就成空话了。
故此本质上是三个向量线性无涉，有着更高的“独立性”。 那么，既然这三个基向量能撑起整个空间，为啥它们还能像坐标轴一样，让其他任意向量都能被反应出来呢？这就好比我们在房间里放了三根棍子，不能共线，这就意味着只要你按规则把其他物体的影子映进来，你总能算出它们各自在三个棍子向上的分量是多少。 好，咱们来推导一下那个核心公式。假设我们有个向量 $mathbf{a}$，我们要把它写成 $x mathbf{e}_1 + y mathbf{e}_2 + z mathbf{e}_3$ 的形式。
这时候，最好办粗暴的方式是看看 $mathbf{a}$ 和这三个基向量的“交叉积”要么某种投影关系。具体来说，利用向量积的性质，我们知道 $mathbf{a} cdot (mathbf{e}_1 times mathbf{e}_2)$ 这个结局，实际上就是 $mathbf{a}$ 在垂直于 $mathbf{e}_3$ 的那个方向上的分量，再除以 $mathbf{e}_1 times mathbf{e}_2$ 的模。 等一下，先别急着背那个体积公式。
我想用一种更生活化的方式去解释。想象咱们手里有三根吸管，长度分别为 $|mathbf{e}_1|=1$，$|mathbf{e}_2|=1$，$|mathbf{e}_3|=1$，并且它们两两垂直，就像坐立、蹲立、仰头这三根标准杆。目前我们要用一根吸管 $mathbf{a}$ 去的位置，它到底在坐立方向上长多少，在蹲立方向上长多少，在仰头方向上长多少？ 要是直接用勾股定理要么平面几何去算，可能会认定乱。但在空间里，实际上有个漂亮的对称性。
要是我们把 $mathbf{a}$ 切分成三段，分别沿着 $mathbf{e}_1, mathbf{e}_2, mathbf{e}_3$ 的方向走，那这三段长度的“交叉积”加起来，正好就是 $mathbf{a}$ 的长度。具体来说，$|mathbf{a} cdot (mathbf{e}_1 times mathbf{e}_2)|$ 代表 $mathbf{a}$ 在 $mathbf{e}_3$ 方向上的投影；$|mathbf{a} cdot (mathbf{e}_2 times mathbf{e}_3)|$ 代表 $mathbf{a}$ 在 $mathbf{e}_1$ 方向上的投影；$|mathbf{a} cdot (mathbf{e}_3 times mathbf{e}_1)|$ 代表 $mathbf{a}$ 在 $mathbf{e}_2$ 方向上的投影。 这三个“投影长度”的绝对值之和，就构成了 $mathbf{a}$ 的模长。
也就是说，$mathbf{a}$ 的每一个分量，都能在通过这三个基向量构造出的三个小平面里找到对应的位置。而这个位置的大小，又能够通过这三个基向量自身的叉积关系直接算出来。
这就把“分解”和“坐标”这两个看似迥异的概念联系起来了：坐标的本质，就是让你能沿着三个特定方向去度量物体，而这些方向的度量权，由这三个基向量本身拍板。 这里有个特别的地方值得注意，就是方向。
要是这三个基向量不是正的，比如方向是反的，要么角度是钝角，那公式里的符号就会变。
比如 $mathbf{a} cdot (mathbf{e}_1 times mathbf{e}_2)$ 可能变成负数了。
这时候，要是 $mathbf{a}$ 在 $mathbf{e}_3$ 方向上是正的，那公式里就应当有个负号来抵消。
这说明，向量叉积实际上自带了“正负号”的筛选功能，它告诉你：在这个方向上，$mathbf{a}$ 是往左还是往右，是厚还是薄。 举个具体的例子，假设 $mathbf{e}_1$ 指向 $x$ 轴正方向，$mathbf{e}_2$ 指向 $y$ 轴正方向。目前给 $mathbf{e}_3$ 加个反方向，让它指向 $z$ 轴负方向。
此时，要是有一个向量 $mathbf{a}$ 也指向 $z$ 轴负方向，那么它的 $mathbf{e}_1$ 方向分量应当是负的，$mathbf{e}_2$ 方向分量也是负的，而 $mathbf{e}_3$ 方向分量是正的。 这时候要是我们直接套用克拉默法则计算 $mathbf{a} cdot (mathbf{e}_1 times mathbf{e}_2)$，结局会是负数。
这意味着 $mathbf{a}$ 在垂直于 $mathbf{e}_3$ 的那个平面上的投影是负的。当我们把这个投影量除以 $mathbf{e}_1 times mathbf{e}_2$ 的模后，再加上那个负号，最终算出来的 $mathbf{a}$ 在 $mathbf{e}_3$ 方向上的系数，正好是正数。
这说明我们的系数公式是自动处理了方向难题的。 再来看 $mathbf{e}_2 times mathbf{e}_3$ 这个局部。$mathbf{e}_2$ 是 $y$ 轴，$mathbf{e}_3$ 是 $-z$ 轴，它们的叉积方向指向 $x$ 轴正方向。
要是 $mathbf{a}$ 在 $x$ 轴上是负的，那么 $mathbf{a} cdot (mathbf{e}_2 times mathbf{e}_3)$ 就是一个负数。除以 $mathbf{e}_2 times mathbf{e}_3$ 的模后，再加上负号，最终算出的 $mathbf{a}$ 在 $mathbf{e}_2$ 方向上的系数也是正数。 你会发现，当 $mathbf{e}_3$ 的方向形成转变时，比如 $mathbf{e}_3$ 也反方向了，那么 $mathbf{a}$ 在 $mathbf{e}_1$ 方向上的系数也会随之转变符号。
这实际上验证了定理的核心思想：这三个基向量不仅定义了空间，它们还定义了“正负”的分配规则。
没有这三个特定的基向量，这些系数就没有意义了。 自然，推导过程里涉及到一些细节，比如各种“绝对值”的处理，还有那些看起来像固定值的行列式，实际上它们本质上都是同一个东西的不同写法。行列式在二维里叫面积，在三维里叫“有向体积”。
这三个基向量构成的平行六面體，再叠个顶上的小正四面体（也就是混合积那段），把正负号全补全了，就拿到了那个干净利落的行列式。 最终总结一下。空间向量根本定理并不是一个孤立的定理，它是连接“向量空间”和“坐标几何”的桥梁。它告诉我们，只要我们有三个充足“自由”的基向量，我们就有了把任意向量翻译成坐标的方式。
反过来，只要有了这个坐标表示，我们也能把任意向量还原成一组基向量的组合。 它的关键性在于，它让我们确信，三维空间不是无限的混沌，而是能够被精确描述的结构。它解释了为啥物理学家在使用左手系、右手系时会关心符号，为啥在计算机图形学里要处理坐标系转换时那套繁琐的四旋转向量公式能那么好用。它让抽象的线性代数有了物理意义，让复杂的几何变换有了代数工具。 故此说，空间向量根本定理 3，不只是是三个向量能表示任意向量，它更是三个基向量赋予了整个空间“坐标”的本事。
没有这个定理，我们就只能生活在二维里，要么被迫去研究极度复杂的参数方程。它让我们敢于说：在三维世界里，只要基础够好，万物皆可量化。
这就是定理背后的真正魅力，它不只是算出来的公式，更是空间本身被我们赋予意义的证据。