A,B是同阶实对称矩阵,AB=BA,证明有正交矩阵P使得PAP与PBP同时对角化