Prove that $A^2 + B^2 = O_2$ given conditions Show that, given $A,B$ second order matrices with real entries, such that $AB = BA$, $\det{(A + iB)} = 0$ and $4 \det{A} >( \text{tr}{A} )^2$, then $A^2 + B^2 = O_2$.
My progress:
Considering the polynomial $\det(A + xB)$, since $i$ is a root, $-i$ is also a root, and thus $\det(A + xB) = x^2 + 1$. From this we deduce that $\det(A) = \det(B) = 1$. 
Since $AB = BA$, we have that $\det(A^2 + B^2) = \det(A + iB) \det(A - iB)  = 0$.
Since we know that $\det(A^2 - B^2) = 4$, we can also deduce the form of the polynomial $\det(A^2 + xB^2)$, but that doesn't seem to help.
I know that the condition $4 \det{A} >( \text{tr}{A} )^2$ implies that $A$ has two distinct complex eigenvalues, but I don't know how to use that.
Any ideas?

The condition $4\det A>(\operatorname{tr} A)^2$ implies that $x^2-(\operatorname{tr} A)x+\det A$, the characteristic polynomial of $A$, has not any real root. Therefore $A$ is non-singular. Let $X=A^{-1}B$. Since $AB=BA$, the statements $A^2+B^2=0$ and $I+X^2=0$ are equivalent. Also, $\det(A+iB)=0$ implies that $\det(I+X^2)=|\det(I+iX)|^2=0$. Thus it suffices to prove that
$$
I+X^2=0\,\text{ if }\,X\in M_2(\mathbb R)\,\text{ and }\,I+X^2\,\text{ is singular}.
$$
Suppose the premises hold. Then $(I+X^2)u=0$ for some nonzero real vector $u$. If you can show that $u$ and $Xu$ are linearly independent and $(I+X^2)(Xu)=0$, you are done because $I+X^2=0$ now maps both basis vectors $u$ and $Xu$ of $\mathbb R^2$ to zero.
