Let matrices $X $ and $ Y$ satisfy the equality $Z^2+AZ+B=0$ where $A , B$ are real matrices and $\det(X - Y)\ne 0$ Prove
- $ \operatorname{tr} X + \operatorname{tr} Y = - \operatorname{tr} A$
- $\det X \det Y = \det B $
Proof 1) $(X+Y)(X-Y)+XY-YX+A(X-Y)=0\Rightarrow X+Y+(XY-YX)(X-Y)^{-1}+A=0$
As $ \operatorname{tr} PQ= \operatorname{tr} QP$ we have $\operatorname{tr} (XY-YX)(X-Y)^{-1}=0$ entailing the result.
- We have $(X+A)X=-B$ and $(Y+A)Y=-B$. The result follows if $\det XY=0.$
If $\det X\ne 0$ and $\det Y\ne0$ then $X-Y=B(Y^{-1}-X^{-1})$ Assuming that $X$ and $Y$ are permutable, we can easily obtain the result.
Is it possible to achieve this result without such an assumption, or is it necessary to look for a counterexample?