A^2=A
->A(A-E)=0
所以r[A(A-E)]≥r(A)+r(A-E)-n
r(A)+r(A-E)≥r(A-A+E)
所以r(A)+r(A-E)=n
也可以用分块矩阵做