设a1,a2...as线性相关其中任意s-1个向量解线性无关证明必存在一组全解不为零的数k1,k2...ks使得k1a1