线代,设A为n阶可对角化矩阵,切r(A-E)