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

Question

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

Answer 1

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