IMC / 2018 / Problems / Day 1, P3
IMC 2018 · Day 1 · P3
hardDetermine all rational numbers for which the matrix 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 .
Let and suppose that . It is easy to compute the characteristic polynomial of , which is By the Cayley-Hamilton theorem we have .
Let be the minimal polynomial of . The minimal polynomial divides all polynomials that vanish at ; in particular must be a divisor of the polynomial . The polynomial has rational coefficients and degree at most 4. On the other hand, the polynomial , being the 8th cyclotomic polynomial, is irreducible in . Hence the only possibility for is . Therefore, Since we have the relation (1) forces .
In case we have hence satisfies the condition.
How the field did
Score distribution (field cohort)
Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.