逆矩阵的性质及其运算