设AB均为n阶实对称矩阵,证明存在n阶可逆矩阵P,使得P'AP与P'BP均为对角矩阵(p’为转置矩阵)