Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /121 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.6 AIME, harder Prove it Romania

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

Solution

a) From (A−B)2=O2(A - B)^2 = O_2 follows det⁡(A−B)=0\det(A - B) = 0 and Tr(A−B)=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
{A2−aA+det⁡(A)I2=O2B2−aB+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⁡(A2−B2)=det⁡(a(A−B)−bI2)\det(A^2 - B^2) = \det(a(A - B) - bI_2). On the other hand, det⁡(a(A−B)−bI2)=a2det⁡(A−B)−abTr(A−B)+b2=b2\det(a(A - B) - bI_2) = a^2 \det(A - B) - ab \mathrm{Tr}(A - B) + b^2 = b^2, whence det⁡(A2−B2)=(det⁡(A)−det⁡(B))2\det(A^2 - B^2) = (\det(A) - \det(B))^2.

b) Let f:R→Rf : \mathbb{R} \to \mathbb{R} be the function given by
f(x)=det⁡(A2−B2+x(AB−BA)),x∈R. f(x) = \det(A^2 - B^2 + x(AB - BA)), \quad x \in \mathbb{R}.
Then f(x)=det⁡(A2−B2)+cx+det⁡(AB−BA)x2f(x) = \det(A^2 - B^2) + cx + \det(AB - BA)x^2, x∈Rx \in \mathbb{R}, where cc is a real constant. From f(1)=f(−1)=det⁡(A−B)det⁡(A+B)=0f(1) = f(-1) = \det(A - B)\det(A + B) = 0 follows c=0c = 0 and det⁡(A2−B2)+det⁡(AB−BA)=0\det(A^2 - B^2) + \det(AB - BA) = 0. Now (a) leads to (det⁡(A)−det⁡(B))2=−det⁡(AB−BA)(\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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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