对原来的矩阵进行分块,分成一个3x3方阵A,一个3x1的列阵B,3个0的行阵C和一个1个元素的单位阵D
原来矩阵变为
A B
C D
假定它的逆矩阵为
A' B'
C' D'
则:
A * A' + B * C' = I(三阶单位阵)
A * B' + B * D' = 0 (3x1零矩阵)
C * A' + D * C' = 0 (1x3零矩阵)
C * B' + D * D' = 1 (一阶单位阵)
考虑C为0矩阵和D为1,根据表达式3,4很容易得到
D' = 1(一阶单位阵)
C' = 0(1x3零矩阵)
根据表达式1,A'是A的逆矩阵
而根据表达式2,可以得到A*B'=-B