Number theoryDifficulty 5.4AIME, harderProve itSingapore
Let n be a positive integer. Show that there exists an integer m such that 2018m2+20182017m+2017 is divisible by 2n.
Solution
We shall show more generally that am2+bm+c≡0(mod2n) has a solution for all n whenever b is odd and a or c is even. For n=1, take m=0 if c is even and m=1 if c is odd. Now suppose the claim is true for n. If c is even, then by assumption, the congruence 2at2+bt+c/2≡0(mod2n) has a solution in t. Letting m=2t, we get am2+bm+c=2(2at2+bt+c/2)≡0(mod2n+1). If c is odd, then a is even and thus a+b+c is even; hence by assumption, the congruence 2at2+(2a+b)t+(a+b+c)/2≡0(mod2n) has a solution in t. Letting m=2t+1, we get am2+bm+c=2(2at2+(2a+b)t+(a+b+c)/2)≡0(mod2n+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.