设向量组为 a1,...,as, 0
则有 0a1+...+0as + 1*0 = 0
即有一组不全为零的数 0,...,0,1 使得上式成立
由线性相关的定义知向量组线性相关