本篇文章采用直接了当的方法讨论向量的外积公式。很多人只知道用向量内积公式去推导向量外积公式,殊不知向量外积的证明可以更加直接,并不需要以几积公式为基础。如果我们领悟这种更加直接的方式,相信我们会很容易理解为什么矩阵行列式的绝对值表示矩阵的行向量或列向量在
维空间上张成的平行多面的体积,实职上是
面体。并且我们也会很容易理解子式的意义。
首先我们来定义外积:假设向量
,
与
的逆时针夹角为
, 则定义外积为
显然从定义可知,外积的绝对值表示两个向量张成的平行四边形的面积。
为了推导该公式的坐标形式,我们先证明外积运算满足乘法分配律:如下图
假设
,
则
注意
与
逆时针夹角是
, 非
. 到此为止,我们便证明了向量的外积运算满足乘法分配律。
有了乘法分配律,我们再来看向量的坐标形式,不妨假设
则
其中倒数第二步是因为根据定义,共线的向量外积为零,所以只剩下两项。
如此,我们便得到了外积的坐标形式,由外积的定义,我们知道,外积的绝对值就是两个向量张成的平行四边形的面积。其实我们将外积公式稍微变形
其中
是
的与
轴的夹角,
是向量
与
轴的夹角。其实这正是高中所学的正弦公式。其实正弦公式本质上就是向量外积,余弦公式本质上就是向量内积,后者读者可根据分配律自己证明。
其实,外积公式与内积公式也可以相互推得,这是因为
故可由一个公式的坐标形式推导令一个公式的坐标形式。
其实矩阵的行列式就是向量的外积在高维空间上的直接推广,请读者自己思考。
另外,请感兴趣的读者关注我的知乎专栏:数学妙谈,高等代数精深简明讲义,古诗文以及公众号丞申通汇文化平台,随时更新新内容。本人电话:18612313613(微信同)