试证明:设A为n阶实对称矩阵,且A^2=A,则存在正交矩阵T,使得T^-1AT=diag(Er,0),其中r为秩,Er为