Skip to content

第二十讲:克拉默法则、逆矩阵、体积

本讲主要介绍逆矩阵的应用。

求逆矩阵

我们从逆矩阵开始,对于二阶矩阵有[abcd]1=1adbc[dbca]。观察易得,系数项就是行列式的倒数,而矩阵则是由一系列代数余子式组成的。先给出公式:

观察这个公式是如何运作的,化简公式得ACT=(detA)I,写成矩阵形式有[a11a12a1nan1an2ann][C11Cn1C12Cn2C1nCnn]=Res

对于这两个矩阵的乘积,观察其结果的元素Res11=a11C11+a12C12++a1nC1n,这正是上一讲提到的将行列式按第一行展开的结果。同理,对Res22,,Resnn都有Resii=detA,即对角线元素均为detA

再来看非对角线元素:回顾二阶的情况,如果用第一行乘以第二行的代数余子式a11C21+a12C22,得到a(b)+ab=0。换一种角度看问题,a(b)+ab=0也是一个矩阵的行列式值,即As=[abab]。将detAs按第二行展开,也会得到detAs=a(b)+ab,因为行列式有两行相等所以行列式值为零。

推广到n阶,我们来看元素Res1n=a11Cn1+a12Cn2++a1nCnn,该元素是第一行与最后一行的代数余子式相乘之积。这个式子也可以写成一个特殊矩阵的行列式,即矩阵As=[a11a12a1na21a22a2nana1an12an1na11a12a1n]。计算此矩阵的行列式,将detAs按最后一行展开,也得到detAs=a11Cn1+a12Cn2++a1nCnn。同理,行列式As有两行相等,其值为零。

结合对角线元素与非对角线元素的结果,我们得到Res=[detA000detA000detA],也就是(1)等式右边的(detA)I,得证。

求解Ax=b

因为我们现在有了逆矩阵的计算公式,所以对Ax=bx=A1b=1detACTb,这就是计算x的公式,即克莱默法则(Cramer's rule)。

现在来观察x=1detACTb,我们将得到的解拆分开来,对x的第一个分量有x1=y1detA,这里y1是一个数字,其值为y1=b1C11+b2C21++bnCn1,每当我们看到数字与代数余子式乘之积求和时,都应该联想到求行列式,也就是说y1可以看做是一个矩阵的行列式,我们设这个矩阵为B1。所以有xi=detB1detA,同理有x2=detB2detAx2=detB2detA

B1是一个型为[ba2a3an]的矩阵,即将矩阵A的第一列变为b向量而得到的新矩阵。其实很容易看出,detB1可以沿第一列展开得到y1=b1C11+b2C21++bnCn1

一般的,有Bj=[a1a2aj1baj+1an],即将矩阵A的第j列变为b向量而得到的新矩阵。所以,对于解的分量有xj=detBjdetA

这个公式虽然很漂亮,但是并不方便计算。

关于体积(Volume)

先提出命题:行列式的绝对值等于一个箱子的体积。

来看三维空间中的情形,对于3阶方阵A,取第一行(a1,a2,a3),令其为三维空间中点A1的坐标,同理有点A2,A3。连接这三个点与原点可以得到三条边,使用这三条边展开得到一个平行六面体,detA就是该平行六面体的体积。

对于三阶单位矩阵,其体积为detI=1,此时这个箱子是一个单位立方体。这其实也证明了前面学过的行列式性质1。于是我们想,如果能接着证明性质2、3即可证明体积与行列式的关系。

对于行列式性质2,我们交换两行并不会改变箱子的大小,同时行列式的绝对值也没有改变,得证。

现在我们取矩阵A=Q,而Q是一个标准正交矩阵,此时这个箱子是一个立方体,可以看出其实这个箱子就是刚才的单位立方体经过旋转得到的。对于标准正交矩阵,有QTQ=I,等式两边取行列式得det(QTQ)=1=|QT||Q|,而根据行列式性质10有|QT|=|Q|,所以=|Q|2=1,|Q|=±1

接下来在考虑不再是“单位”的立方体,即长方体。 假设Q矩阵的第一行翻倍得到新矩阵Q2,此时箱子变为在第一行方向上增加一倍的长方体箱子,也就是两个“标准正交箱子”在第一行方向上的堆叠。易知这个长方体箱子是原来体积的两倍,而根据行列式性质3.a有detQ2=detQ,于是体积也符合行列式的数乘性质。

我们来看二阶方阵的情形,|a+ab+bcd|=|abcd|+|abcd|。在二阶情况中,行列式就是一个求平行四边形面积的公式,原来我们求由四个点(0,0),(a,b),(c,d),(a+c,b+d)围成的四边形的面积,需要先求四边形的底边长,再做高求解,现在只需要计算detA=adbc即可(更加常用的是求由(0,0),(a,b),(c,d)围成的三角形的面积,即12adbc)。也就是说,如果知道了歪箱子的顶点坐标,求面积(二阶情形)或体积(三阶情形)时,我们不再需要开方、求角度,只需要计算行列式的值就行了。

再多说两句我们通过好几讲得到的这个公式,在一般情形下,由点(x1,y1),(x2,y2),(x3,y3)围成的三角形面积等于12|x1y11x2y21x3y31|,计算时分别用第二行、第三行减去第一行化简到第三列只有一个1(这个操作实际作用是将三角形移动到原点),得到12|x1y11x2x1y2y10x3x1y3y10|,再按照第三列展开,得到三角形面积等于(x2x1)(y3y1)(x3x1)(y2y1)2

本站没有备案,因为不需要备案