请问存在这个矩阵不等式吗，存在的话如何证明呀

请问存在这个矩阵不等式吗，存在的话如何证明呀。其中P是正定对称阵

这不是同济课本上的列题吗。