如何证明向量的叉积公式？

叉积是向量的两种主要运算之一。我们设两个空间三维向量分别为
$$\mathbf{a}=(a_x,a_y,a_z),b=(b_x,b_y,b_z)$$三维向量的叉积的两种定义分别为
$$\begin{gathered} \mathbf{c}=\mathbf{a}\times \mathbf{b}=(a_y{b}_z-a_z{b}_y,a_x{b}_z-a_z{b}_x,a_x{b}_y-a_y{b}_x) \\ \mathbf{c}=\mathbf{a}\times \mathbf{b}=|\mathbf{a}||\mathbf{b}|\sin \theta \end{gathered}$$前一个定义是分量形式，后一个定义表示三维向量的叉积实际上是两个三维向量构成的平行四边形的面积。进一步地，叉积结果的各个分量是三维向量构成的平行四边形在三个平面上投影的平行四边形的面积。我们以叉积$\mathbf{c}$的$\mathbf{z}$轴分量为例，${\mathbf{c}}_{\mathbf{z}}$实际上是三维向量构成的平行四边形在$xoy$平面上投影的平行四边形的面积。也就是要证明该面积的大小是$a_x{b}_y-a_y{b}_x$。为了便于理解，我们采用几何的方法证明，如下图
如图所示，$(a_x,a_y)和(b_x,b_y)$是三维向量在$xoy$上的投影。从图中可以看到$a_x{b}_y$是大正方形的面积，$a_y{b}_x$是小正方形的面积，我们对平行四边形切割补充到大正方形的非平行四边形区域，设平行四边形位于大正方形区域内的面积为$f$,定义其他面积为$a,b,c,d,e$。我们可以得到大正方形的面积可以表示为
$$a_x{b}_y=f+(a+b+e)+(c+b+d)=(f+a+b+c)+(e+b+d)$$从该公式，我们可以看到$(f+a+b+c)$即$S_{平行四边形}$，$(e+b+d)$即大正方形的面积—$a_y{b}_x$，故$S_{平行四边形}$可以表示为
$$S_{平行四边形}=a_x{b}_y-a_y{b}_x$$至此，我们已经用几何的方法证明了二维平面上叉积公式的由来。
更多内容尽在微信公众号！