Maths Olympiad Prep

Library / /223 of 264

Algebra Difficulty 6.6 National Olympiad Prove it Romania

Let AA be an invertible matrix in M4(R)M_4(\mathbb{R}), such that trA=trA0\operatorname{tr} A = \operatorname{tr} A^* \neq 0, where AA^* is the adjugate of AA. Prove that the matrix A2+I4A^2 + I_4 is singular if and only if there exists a nonzero matrix BB in M4(R)M_4(\mathbb{R}), so that AB=BAAB = -BA.

Mariean Andronache

Solution

We show first that if AA is a matrix from Mn(R)M_n(\mathbb{R}) such that A2+InA^2 + I_n is singular, then there exists a matrix BB in Mn(R)M_n(\mathbb{R}), such that AB=BAAB = -BA.
As A2+InA^2 + I_n is singular, ii is a proper value of AA, and i-i is a proper value of the transpose AτA^\tau. There exist two proper vectors x\mathbf{x} and y\mathbf{y} in Mn,1(C)M_{n,1}(\mathbb{C}), so that Ax=ixA\mathbf{x} = i\mathbf{x} and Aτy=iyA^\tau\mathbf{y} = -i\mathbf{y}. Because x\mathbf{x} and y\mathbf{y} are nonzero, B=xyτB = \mathbf{x}\mathbf{y}^\tau is a nonzero matrix in Mn(C)M_n(\mathbb{C}).
The following relations show that AA and BB anticommute:
AB=Axyτ=ixyτ=x(iy)τ=x(Aτy)τ=xyτA=BA. AB = A\mathbf{x}\mathbf{y}^{\tau} = i\mathbf{x}\mathbf{y}^{\tau} = -\mathbf{x}(-i\mathbf{y})^{\tau} = -\mathbf{x}(A^{\tau}\mathbf{y})^{\tau} = -\mathbf{x}\mathbf{y}^{\tau}A = -BA.
Taking conjugates and using that AA is in Mn(R)M_n(\mathbb{R}), we get that the conjugate Bˉ\bar{B} of BB anticommutes with AA. This proves that any linear combination with complex coefficients of the matrices BB and Bˉ\bar{B} anticommutes with AA. Consequently, BB or i(BBˉ)i(B - \bar{B}) is a nonzero matrix in Mn(R)M_n(\mathbb{R}) that anticommutes with AA. This proves the first part of the problem.

We shall prove the converse. Let BB be a nonzero matrix in M4(R)M_4(\mathbb{R}) that anticommutes with AA. Then
AkB=(1)kBAk,kN.() A^k B = (-1)^k B A^k, \quad k \in \mathbb{N}. \qquad (*)
Consider the characteristic polynomial ff of AA,
f=λ4(trA)λ3+aλ2(trA)λ+detA=λ4(trA)λ3+aλ2(trA)λ+detA,f = \lambda^4 - (\operatorname{tr} A)\lambda^3 + a\lambda^2 - (\operatorname{tr} A^*)\lambda + \det A = \lambda^4 - (\operatorname{tr} A)\lambda^3 + a\lambda^2 - (\operatorname{tr} A)\lambda + \det A, where aa is a real number (the latter form of ff is a consequence of trA=trA\operatorname{tr} A = \operatorname{tr} A^*).
By Hamilton-Cayley, f(A)=O4f(A) = O_4. Taking into account ()(*), we successively obtain:
O4=f(A)B=B(A4+(trA)A3+aA2+(trA)A+(detA)I4)=B(f(A)+2(trA)(A2+I4)A)=2(trA)B(A2+I4)A. \begin{aligned} O_4 &= f(A)B = B(A^4 + (\operatorname{tr} A)A^3 + aA^2 + (\operatorname{tr} A)A + (\det A)I_4) \\ &= B(f(A) + 2(\operatorname{tr} A)(A^2 + I_4)A) = 2(\operatorname{tr} A)B(A^2 + I_4)A. \end{aligned}
Because trA0\operatorname{tr} A \neq 0 and AA is invertible, we obtain that B(A2+I4)=O4B(A^2 + I_4) = O_4. As BB is nonzero we conclude that A2+I4A^2 + I_4 is singular.

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.