跳转到内容

FP3 第五章:向量

在开始之前,让我们回顾一些向量学习中的关键概念:

两个向量的标量(点)积提供了一个标量量,与一个向量在另一个向量上的投影有关。然而,我们经常需要一种方法来表示同时垂直于两个输入向量的、既有大小又有方向的量。向量积(或叉积)满足了这一需求。

向量积图示

定义:向量积。 两个向量 a\mathbf{a}b\mathbf{b} 的向量(叉)积定义为:

a×b=absinθn^\mathbf{a} \times \mathbf{b} = |\mathbf{a}||\mathbf{b}|\sin\theta\, \hat{\mathbf{n}}

其中 θ\thetaa\mathbf{a}b\mathbf{b} 之间的夹角,n^\hat{\mathbf{n}} 是垂直于 a\mathbf{a}b\mathbf{b} 的单位向量,方向由右手定则确定。

  • b×a=a×b\mathbf{b} \times \mathbf{a} = -\mathbf{a} \times \mathbf{b}(不满足交换律)
  • a×(b+c)=a×b+a×c\mathbf{a} \times (\mathbf{b} + \mathbf{c}) = \mathbf{a} \times \mathbf{b} + \mathbf{a} \times \mathbf{c}(满足分配律)
  • a×b=0\mathbf{a} \times \mathbf{b} = \mathbf{0} 当且仅当 a=0\mathbf{a} = \mathbf{0}b=0\mathbf{b} = \mathbf{0}a\mathbf{a}b\mathbf{b} 平行

叉积的分量形式可以从其几何定义和单位向量积的性质推导出来。

从向量 a=a1i+a2j+a3k\mathbf{a} = a_1\mathbf{i} + a_2\mathbf{j} + a_3\mathbf{k}b=b1i+b2j+b3k\mathbf{b} = b_1\mathbf{i} + b_2\mathbf{j} + b_3\mathbf{k} 出发,利用分配律:

a×b=(a2b3a3b2)i+(a3b1a1b3)j+(a1b2a2b1)k\begin{aligned} \mathbf{a} \times \mathbf{b} &= (a_2b_3 - a_3b_2)\mathbf{i} + (a_3b_1 - a_1b_3)\mathbf{j} + (a_1b_2 - a_2b_1)\mathbf{k} \end{aligned}

可以用行列式形式表示:

a×b=ijka1a2a3b1b2b3\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}

定理:三角形面积。 如果 a\mathbf{a}b\mathbf{b} 是点 A 和 B 相对于原点 O 的位置向量,则:

三角形 OAB 的面积=12a×b\text{三角形 OAB 的面积} = \frac{1}{2}|\mathbf{a} \times \mathbf{b}|

证明。 三角形 OAB 的面积为 12absinθ\frac{1}{2}|\mathbf{a}||\mathbf{b}|\sin\theta,其中 θ\thetaa\mathbf{a}b\mathbf{b} 之间的夹角。而这恰好等于 12a×b\frac{1}{2}|\mathbf{a} \times \mathbf{b}|

三角形面积

定义:标量三重积。 三个向量 a\mathbf{a}b\mathbf{b}c\mathbf{c} 的标量三重积定义为:

a(b×c)\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})

定理:平行六面体体积。a\mathbf{a}b\mathbf{b}c\mathbf{c} 为从公共顶点出发的棱的平行六面体的体积为:

体积=a(b×c)\text{体积} = |\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|

平行六面体

定理:四面体体积。 以原点和位置向量为 a\mathbf{a}b\mathbf{b}c\mathbf{c} 的点为顶点的四面体的体积为:

体积=16a(b×c)\text{体积} = \frac{1}{6}|\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c})|

四面体

三维空间中的直线可以用几种等价形式表示。

定义:直线的参数形式。 如果一条直线通过坐标为 (x1,y1,z1)(x_1, y_1, z_1) 的点,方向向量为 b=(l,m,n)\mathbf{b} = (l, m, n),则直线上的任意点 (x,y,z)(x, y, z) 可以参数化表示为:

xx1l=yy1m=zz1n=λ\frac{x-x_1}{l} = \frac{y-y_1}{m} = \frac{z-z_1}{n} = \lambda

定义:直线的向量方程。 对于通过点 AA(位置向量为 a\mathbf{a})且平行于向量 b\mathbf{b} 的直线,参数向量形式为:

r=a+λb\mathbf{r} = \mathbf{a} + \lambda\mathbf{b}

也可以用叉积表示:

(ra)×b=0(\mathbf{r} - \mathbf{a}) \times \mathbf{b} = \mathbf{0}

直线方程图示

定义:平面的向量方程。 平面可以用以下几种形式表示:

  • 标量积形式: rn=p\mathbf{r} \cdot \mathbf{n} = p,其中 n\mathbf{n} 是平面的法向量
  • 点法式: (ra)n=0(\mathbf{r} - \mathbf{a}) \cdot \mathbf{n} = 0,其中 a\mathbf{a} 是平面上一点的位置向量
  • 参数形式: r=a+λb+μc\mathbf{r} = \mathbf{a} + \lambda\mathbf{b} + \mu\mathbf{c},其中 b\mathbf{b}c\mathbf{c} 是平面内不平行的向量
  • 笛卡尔形式: ax+by+cz+d=0ax + by + cz + d = 0

平面方程图示

两平面相交