证明
设向量组为a1,a2,...,an=0
则存在不全为0的数0,0,...,k (k≠0)
使得0a1+0a2+...+kan=0
所以线性相关