一个向量组线性无关（有s个元素） 设为(a1,...,as)另一组(b1,...,br)假设(b1,...,br)是线性无关的,因为它可以表示出a1(b1,...,br,a1)是线性相关的.去掉一个参与表达a1的,不妨设为b1(b2,...,br,a1)是线性无关的.因为...