对称矩阵一定就是正定矩阵吗?怎么证明?