证明: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)