设A,B均为n阶实对称矩阵,且A正定,证明AB的特征值全为实数