前提是方阵 否者一切免谈
矩阵可逆则说明行列式不为零 A is nonsingular （你可以去看逆矩阵的推到公式）
并且 |A^-1 * A| = 1 => |A^-1|*|A|=>|A|!=0 => A is nonsingular
如果矩阵行向量线性相关=》会有一行进行行操作后变成零 => 行列式为零 =》 A is nonsingular
同理列向量...
注意所有条件推到的结果都是 nonsingular 所以他们都是等价的
可逆矩阵是非常好的条件,解方程中意味着有精确的解,如果矩阵不是可逆的,说明我们的条件还不够