这是线性相关的基本定理
给出了线性相关的一个充分必要条件
一般用在证明题中
其对应的结论是
向量组a1 a2 ...am（m大于等于2）线性无关的充要条件是
其中任一个向量都不能由其余向量线性表示