已知实对称矩阵