显然题目错了 应该是rank(ab）大于或等于 rank(a)+rank(b)-n
证明用分块矩阵即得.
等下上图 
不好意思第一行打错了  应该是rank（A）+rank（B）