🧮 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 A3B3A^3 - B^3 and A2BB2AA^2B - B^2A are both zero — if you combine them cleverly, you can show that (A2+B2)(AB)=0(A^2 + B^2)(A - B) = 0. Since ABA \neq B, the matrix ABA - 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 A3B3A^3 - B^3 using the conditions.

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

Now factor this expression cleverly. We write: A3B3=A3A2B+A2BAB2+AB2B3.A^3 - B^3 = A^3 - A^2B + A^2B - AB^2 + AB^2 - B^3.

Group as: =A2(AB)+AB(AB)+B2(AB)...(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)(AB)(A^2 + B^2)(A - B): (A2+B2)(AB)=A3A2B+B2AB3.(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 A3B3=0A^3 - B^3 = 0.
  • A2B=B2AA^2B = B^2A, so A2B+B2A=0-A^2B + B^2A = 0.

Therefore: (A2+B2)(AB)=(A3B3)+(B2AA2B)=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 ABA \neq B, the matrix AB0A - B \neq 0. But (A2+B2)(AB)=0(A^2 + B^2)(A - B) = 0 with AB0A - B \neq 0 means A2+B2A^2 + B^2 has a nontrivial right null vector (any nonzero column of ABA - 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)(AB)(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 ↗