Intereting Posts

difference between dot product and inner product
How to compute the following integral?
Compute the limit $\lim_{n \to \infty} \frac{n!}{n^n}$
Suppose $xyz=8$, try to prove that $\sqrt{\frac{1}{1+x}}+\sqrt{\frac{1}{1+y}}+\sqrt{\frac{1}{1+z}}<2$
Example of a non measurable function!
A question on isolated points
How do you prove this very different method for evaluating $\sum_{k=1}^nk^p$
Example of Artinian module that is not Noetherian
consider the following subsets of complex plane
Characteristic subgroups of a direct product of groups
Calculation of a strange series
What is an intuitive meaning of genus?
If $M$ is a nonorientable $3$-manifold, why is $H_1(M, \mathbb{Z})$ infinite?
Natural derivation of the complex exponential function?
What is the next “Tribonacci-like” pseudoprime?

Let $A,B\in M_2(\mathbb{R})$ be such that $A^2+B^2+2AB=0$ and $\det A= \det B$. Our goal is to compute $\det(A^2 – B^2)$. According to the chain of comments on *Art of Problem Solving*, the following statements are true:

- $\det(A^2+B^2)+\det(A^2-B^2)=2(\det A^2+\det B^2)$. (Is this well known?)
- (1) $\implies \det(A^2-B^2)=0$.
- If $A,B\in M_2(\mathbb{C})$ satisfy $A^2+B^2+2AB=0$, then $AB=BA$.
- $(A+B)^2=0 \implies \det(A^2-B^2)=0$.

Can someone help me with justifying these statements?

Edit:

Doug M provided an explanation for (1) in the answers. Here is an explanation for (2):

$A^2+B^2+2AB=O_2 \implies A^2+B^2=-2AB$. So $\det(A^2+B^2)=4\det(AB)$. Now using (1), $\det(A^2-B^2)= 2(\det(A^2)-2\det(AB)+\det(B^2)) = 2((\det(A)^2-\det(B)^2) = 0$.

- What is the relationship between $(u\times v)\times w$ and $u\times(v\times w)$?
- large sets of commuting linearly independent matrices
- Checking if one “special” kind of block matrix is Hurwitz
- Expected Value of a Determinant
- Proving that the algebraic multiplicity of an eigenvalue $\lambda$ is equal to $\dim(\text{null}(T-\lambda I)^{\dim V})$
- What is the purpose of Jordan Canonical Form?

- Prove that the rank of a block diagonal matrix equals the sum of the ranks of the matrices that are the main diagonal blocks.
- Understanding dot product of continuous functions
- Commutativity of projection and rotation
- How to prove that $\det(M) = (-1)^k \det(A) \det(B)?$
- What will be the value of the following determinant without expanding it?
- Question about matrices whose row and column sums are zero
- Adjoint of a linear transformation in an infinite dimension inner product space
- block matrices problem
- $I-AB$ be invertible $\Leftrightarrow$ $I-BA$ is invertible
- Is there a constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$?

Of course, the OP did not understand much about the proposed exercise. In particular, in $M_2(\mathbb{C})$, $A^2 +B^2+2AB=0$ implies $\det(A)=\det(B)$.

In fact, the interesting result is

Proposition. Let $A,B\in M_2(\mathbb{C})$ be such that $(1)$ $A^2+B^2+2AB=0$; then $AB=BA$. Note that the result works only in dimension $2$.

Proof. If $H=A+B$, then $H^2=HA-AH$ and $trace(H^2)=0$. Moreover $H^3=H^2A-HAH=HAH-AH^2$ implies that $trace(H^3)=0$. We deduce that the eigenvalues of $H$ are $0$, $H$ is nilpotent, $H^2=0$, $AH=HA$, $AB=BA$. $\square$

Remark. According to Proposition, $(1)$ implies that $(A+B)^2=0$, $\det(A+B)=0$, $\det(A^2-B^2)=0$; moreover $AB=BA$ implies that $A,B$ are simultaneously triangularizable; since $A+B$ is nilpotent, we may assume that $A=\begin{pmatrix}a&c\\0&b\end{pmatrix},B=\begin{pmatrix}-a&d\\0&-b\end{pmatrix}$ and, consequently, $\det(A)=\det(B)$.

If $A = \pmatrix {a&b\\c&d}, B = \pmatrix {e&f\\g&h}$

$\det (A+B) + \det (A-B)\\(a+e)(c+h) – (b+f)(c+g) + (a-e)(c-h) – (b-f)(c-g)\\ 2ac+2eh – 2bc-2fg\\2(\det A + \det B)$

$\det (A+B) + \det (A-B) = 2(\det A + \det B)$

In which case the initial premise indeed holds.

I am pretty sure this only holds in the $2\times2$ case.

- Number of words with a minimal number of repetitions
- (non)equivalence of definition of non-atomic measure for finitely additive measure
- Are these two quotient rings of $\Bbb Z$ isomorphic?
- An open subset $U\subseteq R^n$ is the countable union of increasing compact sets.
- Asymptotics of $\max\limits_{1\leqslant k\leqslant n}X_k/n$
- Is the set of natural numbers closed under subtraction?
- Equivalence between norms in $H_0^1(\Omega)\cap H^2(\Omega)$.
- The Rubik Square permutation groups
- An integral$\frac{1}{2\pi}\int_0^{2\pi}\log|\exp(i\theta)-a|\text{d}\theta=0$ which I can calculate but can't understand it.
- Torus cannot be embedded in $\mathbb R^2$
- Prerequisites/Books for A First Course in Linear Algebra
- Calculate $\sum\limits_{k=0}^{\infty}\frac{1}{{2k \choose k}}$
- Field automorphisms of $\mathbb{Q}$ – shouldn't there be only one?
- What is the intuition behind the concept of Tate twists?
- Unramified extension is normal if it has normal residue class extension