若存在正整数m,使得A^m=E,这里的E为单位矩阵,A为n阶方阵,证明A相似于对角型矩阵