不妨设 两个向量组的的一个极大无关组分别为 a1,a2,..an b1,b2...bm只需证明n<=m 即可 因为向量组1可以由向量组2线性表出即a1,a2,..an 可以由b1,b2...bm线性表出要是m这与极大无关组矛盾