Throughout this part $A$ and $B$ denote real symmetric matrices of $\mathcal { M } _ { 2 } ( \mathbb { R } )$. We denote by $\lambda _ { 1 } \leqslant \lambda _ { 2 }$ (resp. $\mu _ { 1 } \leqslant \mu _ { 2 }$) the eigenvalues of $A$ (resp. $B$). Prove that $\operatorname { Tr } ( A B ) \leqslant \lambda _ { 1 } \mu _ { 1 } + \lambda _ { 2 } \mu _ { 2 }$. One may use an orthogonal matrix $P$ such that ${ } ^ { t } P B P$ is a diagonal matrix, to obtain ${ } ^ { t } P A P = A ^ { \prime } = \left( a _ { i j } ^ { \prime } \right)$ with $\operatorname { Tr } ( A ) = \lambda _ { 1 } + \lambda _ { 2 } = a _ { 11 } ^ { \prime } + a _ { 22 } ^ { \prime }$.
Throughout this part $A$ and $B$ denote real symmetric matrices of $\mathcal { M } _ { 2 } ( \mathbb { R } )$. We denote by $\lambda _ { 1 } \leqslant \lambda _ { 2 }$ (resp. $\mu _ { 1 } \leqslant \mu _ { 2 }$) the eigenvalues of $A$ (resp. $B$).
Prove that $\operatorname { Tr } ( A B ) \leqslant \lambda _ { 1 } \mu _ { 1 } + \lambda _ { 2 } \mu _ { 2 }$.
One may use an orthogonal matrix $P$ such that ${ } ^ { t } P B P$ is a diagonal matrix, to obtain ${ } ^ { t } P A P = A ^ { \prime } = \left( a _ { i j } ^ { \prime } \right)$ with $\operatorname { Tr } ( A ) = \lambda _ { 1 } + \lambda _ { 2 } = a _ { 11 } ^ { \prime } + a _ { 22 } ^ { \prime }$.