Olympiad Maths Prep

Library / /1 of 19

Number theory Difficulty 5.1 AIME, harder Prove it Mongolia

Find all integer solutions of the equation.
x3=y16+y15++y+9. x^3 = y^{16} + y^{15} + \ldots + y + 9.
(proposed by Ts. Dashdorj)

Solution

This equation is same as x38=Φ17(y)x^3 - 8 = \Phi_{17}(y), Φ17(y)\Phi_{17}(y) is 17th cyclotomic polynomial.
pp is prime number, if pΦ17(x)p|\Phi_{17}(x) then p1(mod17)p \equiv 1 \pmod{17} or p17p|17. So if for arbitrary dΦ17(y)d|\Phi_{17}(y) then d1(mod17)d \equiv 1 \pmod{17} or d17d|17.
(x2)(x2+2x+4)=Φ17(y)(x-2)(x^2+2x+4) = \Phi_{17}(y). If we have for d=x2Φ17(y)d = x - 2|\Phi_{17}(y) then x21(mod17)x3(mod17)x - 2 \equiv 1 \pmod{17} \Leftrightarrow x \equiv 3 \pmod{17}.

If we have 17x217|x-2 then x2(17)x \equiv 2(17);
x2+2x+49+6+42(17). x^2 + 2x + 4 \equiv 9 + 6 + 4 \equiv 2(17).
But x2+2x+4x^2+2x+4 polynomial is Φ17(y)\Phi_{17}(y) polynomial's divisor then contradict to above two cases.

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.