求教线代的大神已知n×n矩阵A满足A^2=E,证明:A相似于对角矩阵