证明:AB与n阶单位矩阵En构造分块矩阵|ABO||OEn|A分乘下面两块矩阵加到上面两块矩阵,有|ABA||0En|右边两块矩阵分乘-B加到左边两块矩阵,有|0A||-BEn|所以,r(AB)+n=r(第一个矩阵)=r(最后一个矩阵)>=r(A)+r(B)即r(A)+r(B)-n<=r(AB)