计算题 设A是n级实对称矩阵，证明：A正定的充分必要条件是A的特征多项式的根全大于零。