AB=0，求证r(A)+r(B)≤n，Sylvester公式 r﹙A﹚+r﹙B﹚-n ≤ r﹙AB﹚ 右边为零，即得。[Sylvester公式的证明，教材上都有。用分块矩阵的初等变换，打起来麻烦，自己看吧 ! ]
