实对称矩阵A满足f(A)=0证明A正定