展开 行列式不为零,矩阵可逆