n维向量组1，2，…，s(s1)若是线性相关的，则有一组不全为零的数k1，k2，…，ks，使k11+k22+…+kss=0成立。