证明:两个n级实对称矩阵A,B相似的充要条件是它们有相同的特征多项式