Maths WorkshopMaths problems with full solutions
Exercise 2000Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 6 Nov 2026

A²+B² is singular when A³ = B³ and A²B = B²A

#kernel#algebraic identity#Putnam

Statement

Let A≠BA\ne B be real n×nn\times n matrices with A3=B3A^3=B^3 and A2B=B2AA^2B=B^2A. Prove that A2+B2A^2+B^2 is not invertible.

Hint

Multiply A2+B2A^2+B^2 on the right by A−BA-B and expand.

Show solutionHide solution

Solution

Idea. We find a nonzero matrix A−BA-B that kills A2+B2A^2+B^2 from the right; then any nonzero column of A−BA-B lies in the kernel.

Step 1: expansion.
(A2+B2)(A−B)=A3−A2B+B2A−B3.(A^2+B^2)(A-B)=A^3-A^2B+B^2A-B^3.
Group the terms: (A3−B3)+(B2A−A2B)(A^3-B^3)+(B^2A-A^2B). The first bracket is 00 because A3=B3A^3=B^3, the second is 00 because A2B=B2AA^2B=B^2A. Hence
(A2+B2)(A−B)=0.(A^2+B^2)(A-B)=0.

Step 2: a nonzero vector in the kernel. Since A≠BA\ne B, the matrix A−BA-B is not zero, so it has a nonzero column; call it v=(A−B)ej≠0v=(A-B)e_j\ne0. Then
(A2+B2)v=(A2+B2)(A−B)ej=0.(A^2+B^2)v=(A^2+B^2)(A-B)e_j=0.

Step 3: conclusion. A2+B2A^2+B^2 has a nonzero vector in its kernel, so it is not invertible, i.e. det⁡(A2+B2)=0\det(A^2+B^2)=0.

Remark. Combined with the previous problem this is the classical Putnam statement: in the Putnam version one concludes det⁡(A2+B2)=0\det(A^2+B^2)=0 using exactly this factorisation trick. Note that no commutation AB=BAAB=BA is assumed; only the two cubic relations.

Lesson. To prove a matrix is singular, look for a nonzero matrix that it kills on one side.