设A是n阶方阵,A^k=E,证明A与对角矩阵相似