跳过正文
icon

Sealos,在云桌面中运行分布式应用程序,像使用个人电脑一样使用云

icon

去看看👀

icon

扫码加入微信群,和云原生大佬们一起探讨云原生和不可描述的事情!

wechat qr code
重磅推荐❗
icon
 
舔狗日记

向量的叉乘与行列式
  1. 博客/

向量的叉乘与行列式

·3673 字·8 分钟· · ·
数学 向量 矩阵
米开朗基杨
作者
米开朗基杨
云原生搬砖师 & Sealos 开发者布道师 & FastGPT 熟练工
Table of Contents
The Magic School Bus
gptgod
FastGPT
Contact me

为了循序渐进,先从二维开始讲起,然后过渡到三维

1. 二维空间
#

我们从一个五边形的面积开始说起

图片描述: 2023-11-28-20-47-h24y1b.png

比如我们要求这个正五边形的面积,该怎样用向量求呢?

先简化这个问题,不用考虑五边形,只需考虑三角形。

图片描述: 2023-11-28-20-47-ZeLv52.png

现在,我们把正五边形分割成三个三角形,再把三角形的面积加起来,就得到了五边形的面积。

那么问题来了:怎样求三角形的面积?

图片描述: 2023-11-28-20-47-wMrggN.png

设三角形的面积为S,那么

$$ S = \frac{1}{2}\left|\vec{A}\right|\left|\vec{MN}\right| = \frac{1}{2}\left|\vec{A}\right|\left|\vec{B}\right|\sin(\theta) \tag{1} $$

$\sin(\theta)$ 该如何求呢?

如果你学过向量的点积,应该知道$\vec{a}\cdot\vec{b}=\left|\vec{a}\right|\left|\vec{b}\right|\cos(\theta)$.
所以为了求$\sin(\theta)$,我们可以先求出$\cos(\theta)$

$$ \cos(\theta)=\frac{\vec{a}\cdot\vec{b}}{\left|\vec{a}\right|\left|\vec{b}\right|} \tag{2} $$

再利用公式

$$ \cos^2(\theta)+\sin^2(\theta)=1 \tag{3} $$

便可以求出 $\sin(\theta)$ 的值。

通过以上步骤,可以看出这样做很麻烦,有没有更简单的办法呢?当然有

求 $\sin(\theta)$ 太麻烦了,但是求 $\cos(\theta)$ 却很简单,为了避免求 $\sin(\theta)$,我们能否找到一个角,使这个角的余弦等于 $\sin(\theta)$ ?

作向量$\vec{A}$、$\vec{B}$,夹角记为$\theta$,将向量$\vec{A}$逆时针旋转 $90^\circ$ 得到 $\vec{A^\prime}$,如下图所示:

图片描述: 2023-11-28-20-48-aXMj2x.png

通过上图给的条件,我们已知:

$$ \begin{cases} \beta=\frac{\pi}{2}-\theta \\ \cos(\beta)=\sin(\theta) \end{cases} $$

这意味着$\vec{A}$的模长乘以$\vec{B}$的模长,再乘以$\sin(\theta)$,等于$\vec{A^\prime}$的模长乘以$\vec{B}$的模长,再乘以$\cos(\beta)$,得到:

$$ \begin{aligned} &\left|\vec{A}\right|\left|\vec{B}\right|\sin(\theta) \\ = &\left|\vec{A^\prime}\right|\left|\vec{B}\right|\cos(\beta) \\ = &\vec{A^\prime}\cdot\vec{B} \end{aligned} $$

即:

$$ \left|\vec{A}\right|\left|\vec{B}\right|\sin(\theta)=\vec{A^\prime}\cdot\vec{B} \tag{4} $$

这个方法看起来不错,不过还有一点是不知道的,就是怎么求$\vec{A^\prime}$呢?

图片描述: 2023-11-28-20-48-4QRf8h.png

假设$\vec{A}$的坐标为$\left\langle a_1,a_2 \right\rangle$,由我画的图可知,逆时针旋转 $90^\circ$ 后,得到:$A^\prime=\left\langle -a_2,a_1 \right\rangle$ 。

同时再假设$\vec{B}$的坐标为$\left\langle b_1,b_2 \right\rangle$,现在将$\vec{A}$和$\vec{B}$的坐标分别带入(4)式,得到:

$$ \begin{aligned} & \vec{A^\prime}\cdot\vec{B} \\ = & \left\langle -a_2,a_1 \right\rangle \cdot \left\langle b_1,b_2 \right\rangle \\ = & a_1b_2-a_2b_1 \end{aligned} $$

如果你学过行列式,应该知道

$$ \begin{aligned} & a_1b_2-a_2b_1 \\ = & \begin{vmatrix} a_1 & a_2 \\\ b_1 & b_2 \end{vmatrix} \\ = & det(\vec{A},\vec{B}) \end{aligned} $$

由此可知,三角形的面积

$$ S=\frac{1}{2}det(\vec{A},\vec{B}) \tag{5} $$

现在可以得出结论:

向量$\vec{A}$与向量$\vec{B}$的行列式表示一个以$\vec{A}$和$\vec{B}$为边构成的平行四边形的面积

还可以表述得更严格一点,因为面积没有负数,而行列式的值有正有负,符号取决于两个向量之间的夹角,所以我们可以这样描述:

向量$\vec{A}$与向量$\vec{B}$的行列式的绝对值表示一个以$\vec{A}$和$\vec{B}$为边构成的平行四边形的面积

2. 三维空间
#

在空间中,从简单的开始,我们可以做两件事情:

  • 求平行六面体的体积
  • 求平行六面体的表面积

咱们先来求平行六面体的体积。

平行六面体的体积
#

求体积之前,需要了解几个定义

空间中的行列式
#

空间中也有行列式的概念,假设有三个向量$\vec{A}$、$\vec{B}$和$\vec{C}$,定义:

$$ \begin{aligned} det(\vec{A},\vec{B},\vec{C}) & = \begin{vmatrix} a_1 & a_2 & a_3 \\\ b_1 & b_2 & b_3 \\\ c_1 & c_2 & c_3 \end{vmatrix} \\ & = a_1\begin{vmatrix} b_2 & b_3 \\\ c_2 & c_3 \end{vmatrix} - a_2\begin{vmatrix} b_1 & b_3 \\\ c_1 & c_3 \end{vmatrix} + a_3\begin{vmatrix} b_1 & b_2 \\\ c_1 & c_2 \end{vmatrix} \end{aligned} $$

如果你学过行列式的知识,上面的计算过程应该很容易理解,我就不作过多解释了。

叉乘
#

叉乘适用于两个在空间内的向量(这里我指的是三维空间),定义:

$$ \begin{aligned} \vec{A}\times\vec{B}=\begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\\ a_1 & a_2 & a_3 \\\ b_1 & b_2 & b_3 \end{vmatrix} \end{aligned} $$

其中,$\hat{i}$,$\hat{j}$,$\hat{k}$分别为三维空间中的三个坐标轴上的单位向量。

我们把$\vec{A}\times\vec{B}$称为向量$\vec{A}$与$\vec{B}$的叉乘

如果你仔细观察,你会发现,这个行列式的第二行和第三行分别是向量$\vec{A}$和$\vec{B}$的坐标,但是第一行却是三个单位向量,这意味着后面两行的元素都是数值,而第一行的元素都是向量。这意味着什么?这不是常理上的行列式,如果你尝试在计算器中这样计算,它会显示这是错误的,向量不该出现在这里。

那么,为什么要这么做呢?

如果使用上面提到的空间中的行列式的定义,可以得到:

$$ \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ a_1 & a_2 & a_3 \\ b_1 & b_2 & b_3 \end{vmatrix} = \begin{vmatrix} a_2 & a_3 \\ b_2 & b_3 \end{vmatrix}\hat{i} - \begin{vmatrix} a_1 & a_3 \\ b_1 & b_3 \end{vmatrix}\hat{j} + \begin{vmatrix} a_1 & a_2 \\ b_1 & b_2 \end{vmatrix}\hat{k} \tag{6} $$

你发现了什么?没错,我们得到的结果不是一个数,而是一个向量,这就是向量叉乘的定义。

那么问题在于,这样定义有什么好处呢?这种怪异计算的几何意义在哪里?为什么我们要费心去这样做?

下面我们对上面的式子进行转化,看看会出现什么神奇的结果。

将式(6)进一步化简,得到:

$$ \begin{aligned} \vec{A}\times\vec{B}=(a_2b_3-a_3b_2)\hat{i}-(a_1b_3-a_3b_1)\hat{j}+(a_1b_2-a_2b_1)\hat{k} \end{aligned} $$

看起来没什么特别的,试着求一下$\vec{A}\times\vec{B}$的模,为了方便计算,我们求$\vec{A}\times\vec{B}$的模的平方

$$ \begin{aligned} \left| \vec{A}\times\vec{B} \right|^2 & = (a_2b_3-a_3b_2)^2 + (a_1b_3-a_3b_1)^2 + (a_1b_2-a_2b_1)^2 \\ & = (a_1^2b_2^2+a_1^2b_3^2) + (a_2^2b_1^2+a_2^2b_3^2) + (a_3^2b_1^2+a_3^2b_2^2) \\ & - 2(a_1a_2b_1b_2+a_1a_3b_1b_3+a_2a_3b_2b_3) \\ & = (\underbrace{a_1^2b_2^2+a_1^2b_3^2}+a_1^2b_1^2) + (\underbrace{a_2^2b_1^2+a_2^2b_3^2}+a_2^2b_2^2) + (\underbrace{a_3^2b_1^2+a_3^2b_2^2}+a_3^2b_3^2)i - (a_1^2b_1^2+a_2^2b_2^2+a_3^2b_3^2) - 2(a_1a_2b_1b_2+a_1a_3b_1b_3+a_2a_3b_2b_3) \\ & = {(\underbrace{a_1^2b_1^2+a_1^2b_2^2+a_1^2b_3^2) + (a_2^2b_1^2+a_2^2b_2^2+a_2^2b_3^2) + (a_3^2b_1^2+a_3^2b_2^2+a_3^2b_3^2)}} - {\underbrace{(a_1^2b_1^2+a_2^2b_2^2+a_3^2b_3^2) + 2(a_1a_2b_1b_2+a_1a_3b_1b_3+a_2a_3b_2b_3)}} \\ & = (a_1^2+a_2^2+a_3^2)(b_1^2+b_2^2+b_3^2) - (a_1b_1+a_2b_2+a_3b_3)^2 \\ & = \left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2-\left|\vec{A}\cdot\vec{B}\right|^2 \\ & = \left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2\cdot1-\left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2\cdot\frac{\left|\vec{A}\cdot\vec{B}\right|^2}{\left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2} \\ & = \left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2(1-\frac{\left|\vec{A}\cdot\vec{B}\right|^2}{\left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2}) \\ & = \left|\vec{A}\right|^2\cdot\left|\vec{B}\right|^2(1-cos^2\left\langle\vec{A},\vec{B}\right\rangle) \\ & = (\left|\vec{A}\right|\cdot\left|\vec{B}\right|\cdot\sin\left\langle\vec{A},\vec{B}\right\rangle)^2 \end{aligned} $$

发现了什么?原来$\vec{A}\times\vec{B}$的模长等于一个以$\vec{A}$和$\vec{B}$为边构成的平行四边形的面积

接下来的问题是:既然$\vec{A}\times\vec{B}$的结果是一个向量,那么这个向量的方向是什么呢?

答案是:它的方向垂直于向量$\vec{A}$与$\vec{B}$构成的平面,并且遵循右手定则。

如果你不知道右手定则,我可以解释一下:

首先,你的右手平行于向量 $\vec{A}$ 的方向,然后,你的手指向向量 $\vec{B}$ 的方向弯曲,这时,你的大拇指竖直的方向就是 $\vec{A}\times\vec{B}$ 的方向。

下面我们来证明一下为什么$\vec{A}\times\vec{B}$的方向垂直于向量$\vec{A}$与$\vec{B}$构成的平面。
为了简化,令

$$ \begin{cases} m_1=a_2b_3-a_3b_2 \\ m_2=a_1b_3-a_3b_1 \\ m_3=a_1b_2-a_2b_1 \end{cases} $$

于是可以得到

$$ \vec{A}\times\vec{B}=m_1\hat{i}-m_2\hat{j}+m_3\hat{k} \tag{7} $$

基本思路是这样 :** 我们从$\vec{A}$与$\vec{B}$构成的平面中找两个方向不在同一条直线上的向量,如果$\vec{A}\times\vec{B}$与这两个向量均垂直,那么它就垂直于$\vec{A}$与$\vec{B}$构成的平面**

为了方便计算,我们这样定义三个互相垂直的单位向量:其中,向量$\hat{i}$与$\hat{j}$在$\vec{A}$与$\vec{B}$构成的平面上,而向量$\hat{k}$垂直于这个平面。

现在问题简单了,只要我们能证明$\hat{i}\times\hat{j}$的方向平行于$\hat{k}$,就说明$\vec{A}\times\vec{B}$的方向垂直于向量$\vec{A}$与$\vec{B}$构成的平面。

设 $\hat{i}=\left\langle1,0,0\right\rangle$,$\hat{j}=\left\langle0,1,0\right\rangle$,$\hat{k}=\left\langle0,0,1\right\rangle$,那么

$$ \begin{aligned} \hat{i}\times\hat{j} & = \begin{vmatrix} \hat{i} & \hat{j} & \hat{k} \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{vmatrix} \\ & = \begin{vmatrix} 0 & 0 \\ 1 & 0 \end{vmatrix}\hat{i}-\begin{vmatrix} 1 & 0 \\ 0 & 0 \end{vmatrix}\hat{j}+\begin{vmatrix} 1 & 0 \\ 0 & 1 \end{vmatrix}\hat{k} \\ & = \hat{k} \end{aligned} $$

太神奇了,$\hat{i}\times\hat{j}$竟然等于$\hat{k}$,所以当然也平行于$\hat{k}$,所以$\vec{A}\times\vec{B}$的方向垂直于向量$\vec{A}$与$\vec{B}$构成的平面,并且遵循右手定则。

于是可以得到如下的结论:

  • $\left|\vec{A}\times\vec{B}\right|$等于一个以$\vec{A}$和$\vec{B}$为边构成的平行四边形的面积
  • $\vec{A}\times\vec{B}$的方向垂直于向量$\vec{A}$与$\vec{B}$构成的平面,并且遵循右手定则

下面我们回到最初提出的问题 :** 求平行六面体的体积**

图片描述: 2023-11-28-20-48-4Tz7Rx.png

如上图所示,我们要求由三个向量 $\vec{A}$,$\vec{B}$ 与 $\vec{C}$ 构成的平行六面体的体积。

设体积为V,向量$\vec{A}$与$\vec{B}$构成的平行四边形的面积为S,高为h,那么:

$$ V=S \cdot h \tag{8} $$

通过上面的分析,可以得知$S=\left|\vec{A}\times\vec{B}\right|$,那么高度h该怎么求呢?
假设高度h的方向为$\vec{H}$,那么h等于向量$\vec{C}$在向量$\vec{H}$上的投影,所以

$$ \begin{aligned} h & = \left|\vec{C}\cdot\right|\cos\left\langle\vec{C},\vec{H}\right\rangle \\ & = \left|\vec{C}\right|\cdot\frac{\vec{C}\cdot\vec{H}}{\left|\vec{C}\right|\left|\vec{H}\right|} \\ & = \vec{C}\cdot\frac{\vec{H}}{\left|\vec{H}\right|} \\ & = \vec{C}\cdot\vec{h}, & \text{设$\vec{h}$为向量$\vec{H}$方向上的单位向量} \end{aligned} $$

带入(8)式,得:

$$ \begin{aligned} V & = \left|\vec{A}\times\vec{B}\right|\cdot(\vec{C}\cdot\vec{h}) \\ & = \left|\vec{A}\times\vec{B}\right|\cdot(\vec{C}\cdot\frac{\vec{A}\times\vec{B}}{\left|\vec{A}\times\vec{B}\right|}) \\ & = \vec{C}\cdot(\vec{A}\times\vec{B}) \\ & = \left\langle c_1,c_2,c_3 \right\rangle\cdot\lbrace(a_2b_3-a_3b_2)\hat{i} - (a_1b_3-a_3b_1)\hat{j} + (a_1b_2-a_2b_1)\hat{k}\rbrace \\ & = \left\langle c_1,c_2,c_3 \right\rangle\cdot\left\langle a_2b_3-a_3b_2,a_1b_3-a_3b_1,a_1b_2-a_2b_1 \right\rangle \\ & = c_1\begin{vmatrix} a_2 & a_3 \\ b_2 & b_3 \end{vmatrix} - c_2\begin{vmatrix} a_1 & a_3 \\ b_1 & b_3 \end{vmatrix} + c_3\begin{vmatrix} a_1 & a_2 \\ b_1 & b_2 \end{vmatrix} \\ & = det(\vec{A},\vec{B},\vec{C}) \end{aligned} $$

即:

$$ V=det(\vec{A},\vec{B},\vec{C})=\vec{C}\cdot(\vec{A}\times\vec{B}) \tag{9} $$

$\vec{C}\cdot(\vec{A}\times\vec{B})$ 称为向量的混合积

现在可以得出结论:

向量$\vec{A}$、$\vec{B}$与$\vec{C}$的行列式等于由向量$\vec{A}$、$\vec{B}$与$\vec{C}$构成的平行六面体的体积

体积的部分暂时就讲到这里,接下来的一篇将会介绍平行六面体的面积。

-------他日江湖相逢 再当杯酒言欢-------

相关文章

子空间投影
·480 字·1 分钟·
数学 向量 矩阵
最小二乘法的本质
·1262 字·3 分钟·
数学 向量 矩阵

公众号二维码