矢量叉乘分配律的几何证明

贡献者： addis

预备知识　矢量的叉乘

　　以下从几何意义来证明三维几何矢量的叉乘的分配律

\begin{matrix} (1) & A \times (B + C) = A \times B + A \times C . \end{matrix}

图 1：把

B, C, D

投影到与

A

垂直的平面上

　　首先令

\begin{matrix} (2) & D = B + C . \end{matrix}

把矢量

B, C, D

在与矢量

A

垂直的平面上投影，分别得到

B^{'}, C^{'}, D^{'}

。由于平行线投影到平面后仍然是平行线，所以平行四边形投影后还是平行四边形¹，根据矢量加法的平行四边形法则有

D^{'} = B^{'} + C^{'}

。另一种证明方法是使用直角坐标：把

A

看成

z

轴，与之垂直的平面则是

x

y

平面，那么

B + C = D

对每个分量都成立，即

x_{B} + x_{C} = x_{D}

，

y_{B} + y_{C} = y_{D}

，而垂直投影后

x, y

坐标不变，所以该加法仍然成立。

　　接下来有

\begin{matrix} (3) & \begin{aligned} A \times B = A \times B^{'} \\ A \times C = A \times C^{'} \\ A \times D = A \times D^{'} \end{aligned} \end{matrix}

这是叉乘的一个基本的性质，详见子节 4 。

　　所以，要证明

\begin{matrix} (4) & A \times D = A \times B + A \times C, \end{matrix}

只需要证明

\begin{matrix} (5) & A \times D^{'} = A \times B^{'} + A \times C^{'} . \end{matrix}

由于

B^{'}, C^{'}, D^{'}

都与

A

垂直，所以根据定义

A

与之叉乘的结果就是

B^{'}, C^{'}, D^{'}

的模长分别乘以

| A |

，且绕

A

按右手定则逆时针分别旋转

90^{\circ}

。所以上式就是在说，若已知

B^{'} + C^{'} = D^{'}

，那么把它们分别乘以常数并旋转

90^{\circ}

后这个加法仍然成立。这是显然的，因为把平行四边形放大并旋转任意角度后仍然是平行四边形。

　　证毕。

1. 关于面积的讨论

　　叉乘的另一个几何意义是：叉乘的绝对值等于面积（例 1 ）。然而 $A \times D$ 的面积（标量）一般并不等于 $A \times B$ 的面积（标量）加上 $A \times C$ 的面积（标量），因为式 4 中的加法是矢量相加。从这个角度来说，叉乘所定义的面积也是一个矢量，即面积矢量。

　　要使用面积矢量的几何意义来证明叉乘的分配律，步骤也和上面的证明同理。式 3 告诉我们等式左边的三个平行四边形的面积矢量等于右边三个长方形的面积矢量。但之后步骤中面积矢量的加法同样需要通过矢量的平行四边形法则，而不是简单地把面积的大小相加。

1. ^ 特殊情况下投影后会出现四条边共线，但这不影接下来的结论，可以姑且认为共线的平行四边形也是平行四边形。