这个矩阵的秩的不等式取等条件及取等条件证明？

用相抵标准型证明。

秩就是列向量的线性无关数，当且仅当A和B的列向量全部线性无关时取等

尝试对A（与O，但O一定还是O，所以省略）作列变换，去消去C
可以完全消去，则r=rA+rB
不能完全消去，则
r=rA+rB+r（C剩余且B为空）>=rA+rB
这是我的理解，不知是否准确。