展开 行列式不为0,非齐次方程组有唯一解