实对称矩阵A正定