充分性:若有Ai (0必要性:设向量组A1,A2,....An线性相关.则存在着一组不全为零的数:k1,k2,...,kn,使k1A1+k2A2+...+knAn=0对于数组:k1,k2,...kn,从后往前检验,设第一个不为零的为ki,则此Ai便可由其前面的i-1个向量线性表示.Ai=-[(k1)/ki]A1-[(k2)/ki]A2-... -{[k(i-1)]/ki}A(i-1)
