因为 1*0 + 0α1+...+0αs = 0
所以 含有零向量的向量组必线性相关
所以 线性无关的向量组中没有零向量