设A,B都是n阶实对称矩阵,那么存在正交矩阵P使得 P'AP和P'BP都是对角矩阵的充分必要条件是AB=BA