A是n阶是对称矩阵。证明:存在可逆矩阵P,使得P^TAP=I