Maths Olympiad Prep

Library / /9 of 20

Number theory Difficulty 5.3 AIME, harder Prove it Ukraine

Does there exist a trinomial f(x)=ax2+bx+cf(x) = ax^2 + bx + c with integer coefficients such that aa isn't divisible by 20222022 and all numbers f(1),f(2),,f(2022)f(1), f(2), \ldots, f(2022) give different remainders under the division by 20222022?

Solution

Consider the following trinomial:
f(x)=1011x2+1012x=1011x(x+1)+x. f(x) = 1011x^2 + 1012x = 1011x(x + 1) + x.
The first term is always divisible by 20222022, so f(x)f(x) gives remainder xx. Proof completed.

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.