等价于 齐次方程组有非零解

等价于 r(A) < s （维度）

等价于 ｜A｜=0 （只适用于n个n维向量）