Olympiad Maths Prep

Library / /21 of 41

Number theory Difficulty 5.4 AIME, harder Prove it Romania

a) Prove that, for every integer kk, the equation x324x+k=0x^3 - 24x + k = 0 has at most one integer solution.

b) Prove that the equation x3+24x2016=0x^3 + 24x - 2016 = 0 has exactly one integer solution.

Solution

a) Suppose that there exist two different integers mm and nn so that m324m+k=0m^3 - 24m + k = 0 and n324n+k=0n^3 - 24n + k = 0.
Subtracting the above yields (mn)(m2+mn+n224)=0(m-n)(m^2 + mn + n^2 - 24) = 0. Since mm and nn are different, m2+mn+n2=24m^2 + mn + n^2 = 24, whence (2m+n)2+3n2=96(2m+n)^2 + 3n^2 = 96.
Therefore n232n^2 \le 32, hence n2{0,1,4,9,16,25}n^2 \in \{0, 1, 4, 9, 16, 25\}. This leads to (2m+n)2{96,93,84,69,48,21}(2m+n)^2 \in \{96, 93, 84, 69, 48, 21\}, a contradiction.

b) The equation is x(x2+24)=2016x(x^2 + 24) = 2016, so xx must be a positive integer; x=12x = 12 is a solution.
If x<yx < y are positive solutions, then x2+24<y2+24x^2 + 24 < y^2 + 24 and 2016=x(x2+24)<y(y2+24)=20162016 = x(x^2 + 24) < y(y^2 + 24) = 2016, a contradiction.

Looking for a route rather than 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.