Maths Olympiad Prep

Library / /4 of 11

Number theory Difficulty 5.4 AIME, harder Prove it Singapore

Let nn be a positive integer. Show that there exists an integer mm such that
2018m2+20182017m+2017 2018m^2 + 20182017m + 2017
is divisible by 2n2^n.

Solution

We shall show more generally that am2+bm+c0(mod2n)am^2 + bm + c \equiv 0 \pmod{2^n} has a solution for all nn whenever bb is odd and aa or cc is even. For n=1n = 1, take m=0m = 0 if cc is even and m=1m = 1 if cc is odd. Now suppose the claim is true for nn. If cc is even, then by assumption, the congruence 2at2+bt+c/20(mod2n)2at^2 + bt + c/2 \equiv 0 \pmod{2^n} has a solution in tt. Letting m=2tm = 2t, we get am2+bm+c=2(2at2+bt+c/2)0(mod2n+1)am^2 + bm + c = 2(2at^2 + bt + c/2) \equiv 0 \pmod{2^{n+1}}. If cc is odd, then aa is even and thus a+b+ca+b+c is even; hence by assumption, the congruence 2at2+(2a+b)t+(a+b+c)/20(mod2n)2at^2 + (2a+b)t + (a+b+c)/2 \equiv 0 \pmod{2^n} has a solution in tt. Letting m=2t+1m = 2t+1, we get am2+bm+c=2(2at2+(2a+b)t+(a+b+c)/2)0(mod2n+1)am^2 + bm + c = 2(2at^2 + (2a+b)t + (a+b+c)/2) \equiv 0 \pmod{2^{n+1}}. This completes the proof of the claim by induction.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.