等价于 齐次方程组有非零解
等价于 r(A) < s (维度)
等价于 |A|=0 (只适用于n个n维向量)