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

                     

贡献者: addis

预备知识 矢量的叉乘

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

\begin{equation} \boldsymbol{\mathbf{A}} \boldsymbol\times ( \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{C}} ) = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{C}} ~. \end{equation}

图
图 1:把 $ \boldsymbol{\mathbf{B}} , \boldsymbol{\mathbf{C}} , \boldsymbol{\mathbf{D}} $ 投影到与 $ \boldsymbol{\mathbf{A}} $ 垂直的平面上

   首先令

\begin{equation} \boldsymbol{\mathbf{D}} = \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{C}} ~. \end{equation}
把矢量 $ \boldsymbol{\mathbf{B}} , \boldsymbol{\mathbf{C}} , \boldsymbol{\mathbf{D}} $ 在与矢量 $ \boldsymbol{\mathbf{A}} $ 垂直的平面上投影,分别得到 $ \boldsymbol{\mathbf{B}} ', \boldsymbol{\mathbf{C}} ', \boldsymbol{\mathbf{D}} '$。由于平行线投影到平面后仍然是平行线,所以平行四边形投影后还是平行四边形1,根据矢量加法的平行四边形法则有 $ \boldsymbol{\mathbf{D}} '= \boldsymbol{\mathbf{B}} '+ \boldsymbol{\mathbf{C}} '$。另一种证明方法是使用直角坐标:把 $ \boldsymbol{\mathbf{A}} $ 看成 $z$ 轴,与之垂直的平面则是 $x$-$y$ 平面,那么 $ \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{C}} = \boldsymbol{\mathbf{D}} $ 对每个分量都成立,即 $x_B + x_C = x_D$,$y_B + y_C = y_D$,而垂直投影后 $x,y$ 坐标不变,所以该加法仍然成立。

   接下来有

\begin{equation} \begin{aligned} & \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} '\\ & \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{C}} = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{C}} '\\ & \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{D}} = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{D}} ' \end{aligned}~ \end{equation}
这是叉乘的一个基本的性质,详见子节 4

   所以,要证明

\begin{equation} \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{D}} = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} + \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{C}} ~, \end{equation}
只需要证明
\begin{equation} \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{D}} ' = \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{B}} ' + \boldsymbol{\mathbf{A}} \boldsymbol\times \boldsymbol{\mathbf{C}} '~. \end{equation}
由于 $ \boldsymbol{\mathbf{B}} ', \boldsymbol{\mathbf{C}} ', \boldsymbol{\mathbf{D}} '$ 都与 $ \boldsymbol{\mathbf{A}} $ 垂直,所以根据定义 $ \boldsymbol{\mathbf{A}} $ 与之叉乘的结果就是 $ \boldsymbol{\mathbf{B}} ', \boldsymbol{\mathbf{C}} ', \boldsymbol{\mathbf{D}} '$ 的模长分别乘以 $ \left\lvert \boldsymbol{\mathbf{A}} \right\rvert $,且绕 $ \boldsymbol{\mathbf{A}} $ 按右手定则逆时针分别旋转 $90^\circ$。所以上式就是在说,若已知 $ \boldsymbol{\mathbf{B}} ' + \boldsymbol{\mathbf{C}} ' = \boldsymbol{\mathbf{D}} '$,那么把它们分别乘以常数并旋转 $90^\circ$ 后这个加法仍然成立。这是显然的,因为把平行四边形放大并旋转任意角度后仍然是平行四边形。

   证毕。

1. 关于面积的讨论

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

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


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


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利