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

AAáµ€ and Aáµ€A have the same characteristic polynomial

#characteristic polynomial#density#symmetric matrices

Statement

Prove that for square matrices X,Y∈Mn(R)X,Y\in M_n(\mathbb{R}) the characteristic polynomials of XYXY and YXYX are equal. Deduce that AATAA^T and ATAA^TA have the same eigenvalues with the same multiplicities.

Hint

Use the identity det⁡(I+XY)=det⁡(I+YX)\det(I+XY)=\det(I+YX) with X/tX/t in place of XX, for t≠0t\ne0.

Show solutionHide solution

Solution

Idea. The characteristic polynomial is χM(t)=det⁡(tI−M)\chi_{M}(t)=\det(tI-M). We compare det⁡(tI−XY)\det(tI-XY) and det⁡(tI−YX)\det(tI-YX) for t≠0t\ne0 using the identity det⁡(I+MN)=det⁡(I+NM)\det(I+MN)=\det(I+NM), then conclude since two polynomials that agree for infinitely many tt are equal.

Step 1: t≠0t\ne0. Write
det⁡(tI−XY)=tndet⁡ ⁣(I−Xt Y)=tndet⁡ ⁣(I−Y Xt)=det⁡(tI−YX),\det(tI-XY)=t^n\det\!\left(I-\frac Xt\,Y\right)=t^n\det\!\left(I-Y\,\frac Xt\right)=\det(tI-YX),
where the middle equality is the identity det⁡(I+MN)=det⁡(I+NM)\det(I+MN)=\det(I+NM) with M=−X/tM=-X/t and N=YN=Y.

Step 2: all tt. χXY\chi_{XY} and χYX\chi_{YX} are polynomials in tt which coincide for all t≠0t\ne0, i.e. at infinitely many points, so they are equal as polynomials.

Step 3: application. Take X=AX=A, Y=ATY=A^T. Then χAAT=χATA\chi_{AA^T}=\chi_{A^TA}. Both matrices are symmetric, hence diagonalisable with real eigenvalues; the eigenvalues counted with algebraic multiplicity are the roots of the characteristic polynomial, and for symmetric matrices algebraic and geometric multiplicity coincide. So the spectra agree with multiplicity.

Remark. For rectangular A∈Mm,nA\in M_{m,n} the same argument gives tnχAAT(t)=tmχATA(t)t^{n}\chi_{AA^T}(t)=t^m\chi_{A^TA}(t) up to sizes: the non-zero eigenvalues of AATAA^T and ATAA^TA coincide, with multiplicities, and the larger matrix has ∣m−n∣|m-n| extra zero eigenvalues. These common values are the squares of the singular values of AA.

Lesson. XYXY and YXYX are "almost conjugate": same characteristic polynomial even when neither XX nor YY is invertible.