AB是任意矩阵
I是单位矩阵
AB=I是逆矩阵的定义
如果两个矩阵相乘得到单位矩阵,则这两个矩阵互为逆矩阵
即A和B互为逆矩阵