对称矩阵的证明