逆矩阵定义及性质