第6讲 空间向量——从平面到空间的推广

从一个朴素的问题开始

你已经学会了平面向量——在纸面上，用两个坐标 $(x, y)$ 就能描述任意向量。

但现在把场景换成三维空间：你在教室里，要从讲台走到教室的右上角。这个位移怎么描述？

只说「往东走 3 米、往北走 4 米」不够——你还得说「往上走 3 米」（如果讲台比地面高）。所以需要一个额外的分量：高度。

三个分量，三个坐标——这就是空间向量的基本思路。

空间向量的定义与运算

基本概念

空间向量就是三维空间中的有向线段，既有大小又有方向。和平面向量一样，空间向量可以自由平移。

零向量、单位向量、相等向量、相反向量、平行向量（共线向量）——这些概念在空间中完全一样，只是多了一个维度。

空间向量的线性运算

加法和减法：和平面向量完全一样，三角形法则、平行四边形法则、首尾相接——所有几何法则都成立。

数乘：也和平面向量一样，$\lambda \vec{a}$ 表示将 $\vec{a}$ 伸缩 $|\lambda|$ 倍，$\lambda > 0$ 同向，$\lambda < 0$ 反向。

关键结论：空间向量的线性运算法则与平面向量完全一致。也就是说，你在平面向量那几讲中学到的所有运算法则，直接搬到空间里也成立。

空间向量基本定理

定理内容

如果三个向量 $\vec{e}_1, \vec{e}_2, \vec{e}_3$ 不共面，那么对于空间中的任意向量 $\vec{p}$，有且只有一组实数 $(\lambda_1, \lambda_2, \lambda_3)$，使得：

$$\vec{p} = \lambda_1 \vec{e}_1 + \lambda_2 \vec{e}_2 + \lambda_3 \vec{e}_3 \qquad (6.1)$$

这三个不共面的向量 $\vec{e}_1, \vec{e}_2, \vec{e}_3$ 叫做空间的一个基底。

为什么需要三个向量？

两个不共线的向量只能张成一个平面，无法表示平面外的向量。三个不共面的向量才能张成整个三维空间。

你可以这样理解：第一个向量给一个方向，第二个向量给第二个方向（和第一个不共线），第三个向量给第三个方向（和前两个不共面）。三个方向合起来，就能到达空间中的任意一点。

与自然基底的联系

在空间直角坐标系中，取与 $x, y, z$ 轴正方向相同的单位向量 $\boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k}$ 作为基底。因为这三个向量两两垂直、长度都为 1，所以它们是最常用的基底——自然基底（也叫标准基底）。

任意空间向量 $\vec{p}$ 可以唯一表示为：

$$\vec{p} = x \boldsymbol{i} + y \boldsymbol{j} + z \boldsymbol{k}$$

有序三元组 $(x, y, z)$ 就是向量 $\vec{p}$ 的坐标。

示意图

空间向量的坐标表示

设 $\vec{a} = (a_1, a_2, a_3)$，$\vec{b} = (b_1, b_2, b_3)$，则：

加减运算

$$\vec{a} \pm \vec{b} = (a_1 \pm b_1,\ a_2 \pm b_2,\ a_3 \pm b_3) \qquad (6.2)$$

数乘

$$\lambda \vec{a} = (\lambda a_1, \lambda a_2, \lambda a_3) \qquad (6.3)$$

模长

$$|\vec{a}| = \sqrt{a_1^2 + a_2^2 + a_3^2} \qquad (6.4)$$

这就是三维空间的勾股定理——从原点出发，沿三个轴分别走 $a_1, a_2, a_3$ 步，总距离就是 $\sqrt{a_1^2 + a_2^2 + a_3^2}$。

共线的坐标条件

$\vec{a}$ 和 $\vec{b}$（$\vec{b} \neq \vec{0}$）共线的充要条件是存在实数 $\lambda$，使得：

$$a_1 = \lambda b_1,\quad a_2 = \lambda b_2,\quad a_3 = \lambda b_3 \qquad (6.5)$$

即三个坐标分量成比例：$\dfrac{a_1}{b_1} = \dfrac{a_2}{b_2} = \dfrac{a_3}{b_3}$（分母不为零时）。

数量积

$$\vec{a} \cdot \vec{b} = a_1 b_1 + a_2 b_2 + a_3 b_3 \qparameter (6.6)$$

记住：空间向量的数量积公式，就是把平面向量的公式多加一个分量——$z_1 z_2$。规律完全一致。

空间向量的夹角

设 $\vec{a} = (a_1, a_2, a_3)$，$\vec{b} = (b_1, b_2, b_3)$，则夹角 $\theta$ 的余弦为：

$$\cos\theta = \frac{a_1 b_1 + a_2 b_2 + a_3 b_3}{\sqrt{a_1^2 + a_2^2 + a_3^2} \cdot \sqrt{b_1^2 + b_2^2 + b_3^2}} \qquad (6.7)$$

和平面情况完全一致，只是多了一个分量参与计算。

垂直的充要条件：$\vec{a} \perp \vec{b} \iff a_1 b_1 + a_2 b_2 + a_3 b_3 = 0$。

空间向量基本定理的意义

它把立体几何变成了代数

空间向量基本定理告诉我们：只要选一组基底（最方便的是自然基底 $\boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k}$），空间中任意向量都可以用三个坐标来表示。

这意味着：所有立体几何问题都可以转化为坐标运算。建系 → 写坐标 → 套公式 → 出结果。不需要任何空间想象力，只需要会算。

它与平面向量的关系

维度	基底个数	坐标个数	核心公式
平面	2个不共线向量	$(x, y)$	$\vec{a} \cdot \vec{b} = x_1 x_2 + y_1 y_2$
空间	3个不共面向量	$(x, y, z)$	$\vec{a} \cdot \vec{b} = x_1 x_2 + y_1 y_2 + z_1 z_2$

可以看到，从平面到空间，所有公式只是多了一个分量。向量的理论在任意维度上都成立——这是向量方法最强大的地方。

深入理解

为什么空间向量基本定理的基底要"不共面"？

三个向量如果共面，它们就都在同一个平面上，无法表示这个平面"外面"的向量。就像你用两张纸只能盖住桌面，但盖不住桌面上的杯子——杯子伸出来了，你需要第三张纸从另一个方向去盖。

三个不共面的向量，就像三条从同一点出发、指向不同方向的箭头，它们能"撑开"整个三维空间。

基底的选择

空间向量基本定理说"存在一组基底"，但没有说基底必须怎么选。理论上任何三个不共面的向量都可以当基底。

但在实际解题中，我们通常选择自然基底 $\boldsymbol{i}, \boldsymbol{j}, \boldsymbol{k}$——也就是建立空间直角坐标系。这样做的好处是：

1. 基底互相垂直，数量积计算特别简单（$\boldsymbol{i} \cdot \boldsymbol{j} = 0$ 等）
2. 坐标就是我们在坐标系中直接读出来的值
3. 和解析几何无缝对接

从 n 维推广

空间向量基本定理可以推广到任意 $n$ 维：$n$ 个线性无关的向量可以作为 $n$ 维空间的基底，任意向量都可以唯一表示为它们的线性组合。

这正是线性代数的基本定理——你上大学学线性代数，第一章就是在讲这件事。向量就是线性代数最朴素的入口。

在高中数学体系里的位置

空间向量是平面向量的自然推广，也是连接立体几何与代数运算的桥梁。

和空间几何的关系：传统立体几何证明需要很强的空间想象力和技巧，而空间向量法把一切几何关系转化为代数运算——证明平行、垂直、求角度、求距离，都有固定套路。

和物理的关系：力、速度、加速度、电场强度等都是空间向量，学习空间向量有助于理解这些物理量的运算。

高考地位：空间向量是高考立体几何部分的核心工具。绝大多数省份的高考题，立体几何第二问（求角、求距离）都可以用空间向量法解答，而且往往是标准答案推荐的解法。

易错点：

1. 坐标写错——特别是 $z$ 坐标容易漏掉
2. 把空间向量和平面向量混为一谈——空间多了 $z$ 分量，计算量更大
3. 求夹角时忘记取值范围，误把补角当夹角
4. 建系不当——选原点的位置会严重影响计算难度

思考与拓展

1. 已知 $\vec{a} = (1, 2, 3)$，$\vec{b} = (2, -1, 4)$，求 $\vec{a} + \vec{b}$、$\vec{a} - \vec{b}$、$3\vec{a} - 2\vec{b}$ 的坐标。
2. 已知 $\vec{a} = (1, 0, 2)$，$\vec{b} = (x, 3, 1)$，若 $\vec{a} \perp \vec{b}$，求 $x$。
3. 已知 $\vec{a} = (2, 1, -1)$，$\vec{b} = (4, 2, -2)$，判断 $\vec{a}$ 和 $\vec{b}$ 是否共线。
4. 在正方体 $ABCD - A_1B_1C_1D_1$ 中，建立空间直角坐标系，写出各顶点的坐标，并求 $\overrightarrow{AC_1}$ 的坐标和模长。

一句话总结

空间向量 = 三维坐标 + 与平面完全相同的运算法则；空间向量基本定理是连接几何与代数的桥梁，建系后一切立体几何问题都是坐标计算。