r=rank. 如果 ABT+ATB 可逆那么 r(ABT+ATB)=n.n=r(ABT+ATB)≤r(ABT)+r(ATB)≤min{r(A),r(BT)}+min{r(AT),r(B)}≤r(A)+r(AT)=2r(A).因为 n 是奇数, 所以 r(A)≥(n+1)/2. 同理 r(B)≥(n+1)/2; 故 1≤r(A)+r(B)−n≤r(AB)=0 (这里利用西尔维斯特秩不等式), 矛盾.