对称矩阵有什么性质