Maths Olympiad Prep

Library / /8 of 26

Number theory Difficulty 6.3 National olympiad Prove it Russia

Determine the smallest positive integer nn for which there exist integers a1,a2,,ana_1, a_2, \dots, a_n such that the polynomial
x22(a1+a2++an)2x+(a14+a24++an4+1)x^2 - 2(a_1 + a_2 + \dots + a_n)^2 x + (a_1^4 + a_2^4 + \dots + a_n^4 + 1)
has at least one integer root. (P. Kozlov)

Solution

For n=6n = 6, one can take a1=a2=a3=a4=1a_1 = a_2 = a_3 = a_4 = 1 and a5=a6=1a_5 = a_6 = -1; then the quadratic from the problem becomes x28x+7x^2 - 8x + 7 and has two integer roots: 11 and 77. It remains to show that this is the smallest possible value of nn.

Suppose the numbers a1,a2,,ana_1, a_2, \dots, a_n satisfy the problem's condition; then the discriminant of the quadratic, divided by 44, must be a perfect square. It equals
d=(a1+a2++an)4(a14+a24++an4+1). d = (a_1 + a_2 + \dots + a_n)^4 - (a_1^4 + a_2^4 + \dots + a_n^4 + 1).
Then the number dd is odd and is a square, so it leaves remainder 11 when divided by 88.

Rewrite the above equality as
d+1+a14+a24++an4=(a1+a2++an)4 d + 1 + a_1^4 + a_2^4 + \dots + a_n^4 = (a_1 + a_2 + \dots + a_n)^4
and consider it modulo 88. It is easy to check that the fourth powers of integers give only remainders 00 and 11 modulo 88, so the right side of the equation gives remainder 00 or 11. The left side is congruent to 1+1+k1 + 1 + k, where kk is the number of odd numbers among the aia_i. Therefore, nk6n \ge k \ge 6.

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.