正定矩阵为什么是对称矩阵?