考察相抵变换
A 0
0 B
=>
A 0
A B
=>
A A
A A+B
右下角子阵的秩当然不超过整个矩阵的秩,从而r(A+B)