若方程组Am*nX=b(m

证明:AX=b 对任意b总有解
等价于任意m维列向量都可由A的列向量组a1,a2,...,an线性表示
特别是m维基本向量组ε1,ε2,...,εm可由a1,a2,...,an线性表示
而任一m维列向量都可由ε1,ε2,...,εm线性表示
所以向量组a1,a2,...,an与ε1,ε2,...,εm等价
所以 r(a1,a2,...,an)=r(ε1,ε2,...,εm)=m
即有 r(A)=m.