设A与B是数域F上的两个n阶方阵使得A B=ABrankA=rankB