高等代数设A为n阶实矩阵,且A^2 是正定矩阵,B为n阶实对称矩阵,证明A^2-B正定的充分必要条件是A^(-1)BA(