A是一个n阶数字矩阵,证:如果A^2=I,那么A相似于一个对角矩阵,并且该对角矩阵主对角线上元素为1或-1