设α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,...,α...