一个矩阵的逆满足条件A×A−1=A−1×A=I。
进而,求解矩阵的逆可以基于这个约束建立方程组进行处理。如求矩阵A=[1234]的逆A−1可以建立如下方程组进行求解:
除了上面建立线性方程组求解,还可以通过构建更简洁的增广矩阵进行消元后直接得到矩阵的逆矩阵:
形式上为:(A|I)→(I|A−1)
关于增广矩阵(A|I)的一些细节说明:
① (A|I)构成的增广矩阵的解只有两种情况,无解和唯一解,不可能有无穷解。因为[ab|10cd|01]这种结构的增广矩阵的右侧矩阵(结果矩阵)在通过基础变换消元过程中不可能出现全0行,而一个线性系统出现无穷解的条件就是其构成的增广矩阵的行最简形式中出现了全0行,所以对于一个方阵来说,通过构建 (A|I)形式的增广矩阵求解逆矩阵只会出现唯一解或无解两种情况。
② 增广矩阵(A|I) 无解的结构: 增广矩阵左侧的系数矩阵存在全0行→[ab|1000|∗∗],这种情况就是方程矛盾(系数全是0,但结果不为0,不可能成立)