Maths Olympiad Prep

Library / /117 of 264

Algebra Difficulty 5.6 AIME, harder Prove it Romania

The matrices A,BM2(R)A, B \in \mathcal{M}_2(\mathbb{R}) have the property (AB)2=O2(A - B)^2 = O_2.
a) Show that det(A2B2)=(det(A)det(B))2\det(A^2 - B^2) = (\det(A) - \det(B))^2.
b) Show that det(ABBA)=0\det(AB - BA) = 0 if and only if det(A)=det(B)\det(A) = \det(B).

Solution

a) From (AB)2=O2(A - B)^2 = O_2 follows det(AB)=0\det(A - B) = 0 and Tr(AB)=0\mathrm{Tr}(A - B) = 0, hence Tr(A)=Tr(B)=:a\mathrm{Tr}(A) = \mathrm{Tr}(B) =: a.
Denote b=det(A)det(B)b = \det(A) - \det(B). Then
{A2aA+det(A)I2=O2B2aB+det(B)I2=O2 \begin{cases} A^2 - aA + \det(A)I_2 = O_2 \\ B^2 - aB + \det(B)I_2 = O_2 \end{cases}
This shows that det(A2B2)=det(a(AB)bI2)\det(A^2 - B^2) = \det(a(A - B) - bI_2). On the other hand, det(a(AB)bI2)=a2det(AB)abTr(AB)+b2=b2\det(a(A - B) - bI_2) = a^2 \det(A - B) - ab \mathrm{Tr}(A - B) + b^2 = b^2, whence det(A2B2)=(det(A)det(B))2\det(A^2 - B^2) = (\det(A) - \det(B))^2.

b) Let f:RRf : \mathbb{R} \to \mathbb{R} be the function given by
f(x)=det(A2B2+x(ABBA)),xR. f(x) = \det(A^2 - B^2 + x(AB - BA)), \quad x \in \mathbb{R}.
Then f(x)=det(A2B2)+cx+det(ABBA)x2f(x) = \det(A^2 - B^2) + cx + \det(AB - BA)x^2, xRx \in \mathbb{R}, where cc is a real constant. From f(1)=f(1)=det(AB)det(A+B)=0f(1) = f(-1) = \det(A - B)\det(A + B) = 0 follows c=0c = 0 and det(A2B2)+det(ABBA)=0\det(A^2 - B^2) + \det(AB - BA) = 0. Now (a) leads to (det(A)det(B))2=det(ABBA)(\det(A) - \det(B))^2 = -\det(AB - BA), whence the conclusion.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.