Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2018 / Problems / Day 1, P3

IMC 2018 · Day 1 · P3

hard

Determine all rational numbers aa for which the matrix (aa10aa0110aa01aa)\begin{pmatrix} a & -a & -1 & 0 \\ a & -a & 0 & -1 \\ 1 & 0 & a & -a \\ 0 & 1 & a & -a \end{pmatrix} is the square of a matrix with all rational entries.

(Proposed by Daniël Kroes, University of California, San Diego)

Solution (official)

We will show that the only such number is a=0a = 0.

Let A=(aa10aa0110aa01aa)A = \begin{pmatrix} a & -a & -1 & 0 \\ a & -a & 0 & -1 \\ 1 & 0 & a & -a \\ 0 & 1 & a & -a \end{pmatrix} and suppose that A=B2A = B^2. It is easy to compute the characteristic polynomial of AA, which is pA(x)=det(AxI)=(x2+1)2.p_A(x) = \det(A - xI) = (x^2 + 1)^2. By the Cayley-Hamilton theorem we have pA(B2)=pA(A)=0p_A(B^2) = p_A(A) = 0.

Let μB(x)\mu_B(x) be the minimal polynomial of BB. The minimal polynomial divides all polynomials that vanish at BB; in particular μB(x)\mu_B(x) must be a divisor of the polynomial pA(x2)=(x4+1)2p_A(x^2) = (x^4 + 1)^2. The polynomial μB(x)\mu_B(x) has rational coefficients and degree at most 4. On the other hand, the polynomial x4+1x^4 + 1, being the 8th cyclotomic polynomial, is irreducible in Q[x]\mathbb{Q}[x]. Hence the only possibility for μB\mu_B is μB(x)=x4+1\mu_B(x) = x^4 + 1. Therefore, A2+I=μB(B)=0.(1)\tag{1} A^2 + I = \mu_B(B) = 0. Since we have A2+I=(002a2a002a2a2a2a002a2a00),A^2 + I = \begin{pmatrix} 0 & 0 & -2a & 2a \\ 0 & 0 & -2a & 2a \\ 2a & -2a & 0 & 0 \\ 2a & -2a & 0 & 0 \end{pmatrix}, the relation (1) forces a=0a = 0.

In case a=0a = 0 we have A=(0010000110000100)=(0001100001000010)2,A = \begin{pmatrix} 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 & 0 & -1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix}^2, hence a=0a = 0 satisfies the condition.

How the field did

contestants scored
342
average (of 10)
2.78
solved (≥ 80%)
18.7%
near-0 (≤ 10%)
51.8%
discrimination
0.47

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 2000 · Day 2 · P12hardavg 2.5/10 · solved 18% · near-0 68% · disc 0.52
IMC 2012 · Day 1 · P2hardavg 3.5/10 · solved 18% · near-0 24% · disc 0.58
IMC 2019 · Day 2 · P9hardavg 2.7/10 · solved 20% · near-0 62% · disc 0.60
IMC 2007 · Day 1 · P3hardavg 3.5/10 · solved 20% · near-0 42% · disc 0.57