设a的一个极大线性无关组c 其秩为r b的一个极大线性无关组d 其秩为s，a可由b线性表示，所以c可由b线性表示，而b可由d线性表示，所以c可由d线性表示 且c线性无关，接下来用反证法 即可推出r（a）<=r(b)
