线性代数笔记27——对称矩阵及正定性