1

Prove that if $A, B \in M_2(\mathbb{R}) $, $AB=BA$, $\det(A+iB) =0$ and $4 \det A > (Tr A) ^2$, then $A^2+B^2=O_2$. From $\det (A+iB) =0$ I got that $\det A=\det B$ and $Tr A\cdot Tr B=Tr(AB) $, but I don't know how to use this.

user69503
  • 497

1 Answers1

1

Since $A$ is a real square matrix, its determinant and its trace are real numbers. As $$4\,\det(A)>\big(\text{trace}(A)\big)^2\geq 0\,,$$ we have $\det(A)\neq 0$, so $A$ is invertible. Take $C:=A^{-1}\,B$. Then, $C$ is a real matrix such that $$\det(I+\text{i}\,C)=0\,,$$ where $I$ is the $2$-by-$2$ identity matrix. Use this to prove that $\text{i}$ is an eigenvalue of $C$, and then apply user1551's hint. With $C^2=-I$ and $AB=BA$, show that $A^2+B^2=0$.

Batominovski
  • 50,341