Skip to main content
2 of 2
deleted 133 characters in body
Steven Landsburg
  • 23k
  • 5
  • 95
  • 153

Let $A'$ and $B'$ be the classical adjoints of $A$ and $B$. Write

$$S(A,B)=(B+B')A^2B-AB^2(A+A')$$ $$T(A,B)=BA^2(B+B')-(A+A')B^2A$$ $$U(A,B)=B'A^2B-AB^2A'$$ $$V(A,B)=BA^2B'-A'B^2A$$

Then:

  1. For any $n$ we have (trivially) $$S(A,B)-T(A,B)=U(A,B)-V(A,B)$$

  2. For $n=2$ (but not otherwise), $S(A,B)$ is equal to your left-hand side and $T(A,B)$ is equal to your right-hand side.

  3. For $n=2$ (but not otherwise) it's easy to check that $U(A,B)=V(A,B)$.

The proof of (2) above relies on the fact that, for $n=2$ (but not otherwise) we have $B+B'=trace(B)$, and therefore $B+B'$ commutes with everything. There's no good generalization of this to $n>2$.

With a little more patience and/or cleverness, one might hope to juggle the expressions for $S,T,U$ and $V$ a little so that 1) and 2) remain true as stated, while 3) becomes true for every $n$. This would essentially imply that your identity is equivalent to $B+B'=tr(B)$ and explain why we shouldn't expect it to generalize past $n=2$.

Steven Landsburg
  • 23k
  • 5
  • 95
  • 153