可逆矩阵的表达式以及矩阵奇异的问题