Maths Olympiad Prep

Library / /18 of 34

Algebra Difficulty 5.9 AIME, harder Prove it Romania

Consider two non-commuting matrices A,BM2(R)A, B \in M_2(\mathbb{R}).

a) If A3=B3A^3 = B^3, then AnA^n and BnB^n have for any positive integer nn the same trace.

b) Show that there are non-commuting A,BM2(R)A, B \in M_2(\mathbb{R}), such that for any positive nn, AnA^n and BnB^n are different.

Solution

a) From A3=B3A^3 = B^3 we get detA=detB=d\det A = \det B = d and by Hamilton-Cayley theorem we obtain A2=aAdI2A^2 = aA - dI_2, B2=bBdI2B^2 = bB - dI_2, where a=trAa = \operatorname{tr} A, b=trBb = \operatorname{tr} B. As a consequence one can write A3=aA2dA=(a2d)AadI2A^3 = aA^2 - dA = (a^2 - d)A - adI_2 and B3=(b2d)BbdI2B^3 = (b^2 - d)B - bdI_2, so (a2d)AadI2=(b2d)BbdI2(a^2 - d)A - adI_2 = (b^2 - d)B - bdI_2 (*).

By right and left multiplication with BB we get (a2d)BAadB=(b2d)B2bdB=(a2d)ABadB(a^2-d)BA - a dB = (b^2-d)B^2 - bdB = (a^2-d)AB - adB, so d=a2d = a^2. In the same way, d=b2d = b^2, and by (*), we deduce d=0d = 0 or a=ba = b.
If d=0d=0, then a=b=0a=b=0, so A2=B2=O2A^2 = B^2 = O_2, from where An=BnA^n = B^n, for any n2n \ge 2. So tr A=a=0=b=tr B\text{tr } A = a = 0 = b = \text{tr } B and tr An=tr Bn\text{tr } A^n = \text{tr } B^n, for all n2n \ge 2.
If d0d \neq 0, then a=ba = b and C2=aCa2I2C^2 = aC - a^2I_2, C3=a3I2C^3 = -a^3I_2, so C3k=(a3)kI2C^{3k} = (-a^3)^k I_2, C3k2=(a3)k1CC^{3k-2} = (-a^3)^{k-1}C, C3k1=(a3)k1(aCa2I2)C^{3k-1} = (-a^3)^{k-1}(aC - a^2I_2), C{A,B},k1\forall C \in \{A, B\}, \forall k \ge 1.

b) For A=(1101)A = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, B=(1011)B = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}, we have AB=(2111)AB = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}, BA=(1112)BA = \begin{pmatrix} 1 & 1 \\ 1 & 2 \end{pmatrix},
An=(1n01)A^n = \begin{pmatrix} 1 & n \\ 0 & 1 \end{pmatrix}, Bn=(10n1)B^n = \begin{pmatrix} 1 & 0 \\ n & 1 \end{pmatrix} and tr An=tr Bn=2,n1\text{tr } A^n = \text{tr } B^n = 2, \forall n \ge 1.

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 and solution reproduced as published; topic and difficulty added by this site.