实对称矩阵的性质