设a是n阶实対称矩阵,a^2=a.证明存在正交矩阵t.使得t^-1at=diag(1,1.