这个比较纠结

　　由于各教材知识点的讲授顺序不同,我只能用初等方法给你证了

　　设α1,α2,...,αs1;β1,β2,...,βt1分别是两个向量组的极大无关组

　　则r(α1,α2,...,αs)=s1,r(β1,β2,...,βt)=t1

　　且由已知α1,α2,...,αs1可由β1,β2,...,βt1线性表示.

　　所以存在矩阵K满足(α1,α2,...,αs1)=(β1,β2,...,βt1)K

　　K为t1行s1列矩阵.

　　假如t1