🧮 Brain Teaser

Can A2+B2A^2 + B^2 Be Invertible?

Let AA and BB be different n×nn \times n matrices with real entries. Suppose that

A3=B3andA2B=B2A.A^3 = B^3 \quad \text{and} \quad A^2B = B^2A.

Can A2+B2A^2 + B^2 be invertible?

linear algebramatrix factorizationinvertibilityPutnam 1991

Answer: Can A² + B² Be Invertible?

Key Idea / Intuition

The two conditions together are screaming "factor something." Notice that A3−B3A^3 - B^3 and A2B−B2AA^2B - B^2A are both zero — if you combine them cleverly, you can show that (A2+B2)(A−B)=0(A^2 + B^2)(A - B) = 0. Since A≠BA \neq B, the matrix A−BA - B is nonzero, so A2+B2A^2 + B^2 must have a nontrivial kernel — meaning it cannot be invertible.


Formal Proof / Solution

Step 1: Compute A3−B3A^3 - B^3 using the conditions.

We are given A3=B3A^3 = B^3, so: A3−B3=0.A^3 - B^3 = 0.

Now factor this expression cleverly. We write: A3−B3=A3−A2B+A2B−AB2+AB2−B3.A^3 - B^3 = A^3 - A^2B + A^2B - AB^2 + AB^2 - B^3.

Group as: =A2(A−B)+AB(A−B)+B2(A−B)...(careful: matrices don’t commute!)= A^2(A - B) + AB(A - B) + B^2(A - B)... \quad \text{(careful: matrices don't commute!)}

Let's be more careful. Use the given condition A2B=B2AA^2B = B^2A to control cross terms.

Step 2: Use both conditions together.

Compute (A2+B2)(A−B)(A^2 + B^2)(A - B): (A2+B2)(A−B)=A3−A2B+B2A−B3.(A^2 + B^2)(A - B) = A^3 - A^2B + B^2A - B^3.

Now apply both given conditions:

  • A3=B3A^3 = B^3, so A3−B3=0A^3 - B^3 = 0.
  • A2B=B2AA^2B = B^2A, so −A2B+B2A=0-A^2B + B^2A = 0.

Therefore: (A2+B2)(A−B)=(A3−B3)+(B2A−A2B)=0+0=0.(A^2 + B^2)(A - B) = (A^3 - B^3) + (B^2A - A^2B) = 0 + 0 = 0.

Step 3: Conclude non-invertibility.

Since A≠BA \neq B, the matrix A−B≠0A - B \neq 0. But (A2+B2)(A−B)=0(A^2 + B^2)(A - B) = 0 with A−B≠0A - B \neq 0 means A2+B2A^2 + B^2 has a nontrivial right null vector (any nonzero column of A−BA - B works).

Therefore A2+B2A^2 + B^2 is not invertible.

Conclusion: No, A2+B2A^2 + B^2 cannot be invertible under these conditions.


Remark on elegance: The entire proof collapses to one line once you see the right factorization. The conditions A3=B3A^3 = B^3 and A2B=B2AA^2B = B^2A are precisely the two pieces needed to make (A2+B2)(A−B)(A^2+B^2)(A-B) telescope to zero. This is the kind of algebraic identity that feels magical but is perfectly natural in hindsight.

Source: Putnam 1991, Problem A-2 (putnam/1991.pdf)

Type: PutnamSource: Putnam 1991, Problem A-2 (putnam/1991.pdf)Edit on GitHub ↗