线性代数 实对称矩阵为正定矩阵的充要条件是它与单位矩阵合同·