证:设n维向量组a1,a2,...,as可由向量组b1,b2,...,bt线性表示,且

　　r(a1,a2,...,as)=r(b1,b2,...,bt).

　　由向量组a1,a2,...,as可由b1,b2,...,bt线性表示

　　得r(a1,a2,...,as,b1,b2,...,bt)=r(b1,b2,...,bt)

　　而r(a1,a2,...,as)=r(b1,b2,...,bt),

　　所以r(a1,a2,...,as)=r(a1,a2,...,as,b1,b2,...,bt)

　　所以a1,a2,...,as的极大无关组就是a1,a2,...,as,b1,b2,...,bt的极大无关组

　　所以a1,a2,...,as,b1,b2,...,bt可由a1,a2,...,as线性表示

　　所以b1,b2,...,bt可由a1,a2,...,as线性表示

　　所以两个向量组等价.