1. Given that P(x) and Q(x) are non-constant polynomials with nonnegative coefficients, and the coefficients of P(x) are not larger than 2021, while Q(x) has at least one coefficient larger than 2021. We also know that P(2022)=Q(2022) and both polynomials have a root qp=0 where p,q∈Z and gcd(p,q)=1.
2. Since P(2022)=Q(2022), we can write:
Q(x)−P(x)=(x−2022)(bmxm+bm−1xm−1+⋯+b0)
where bm,bm−1,…,b0 are coefficients.
3. The polynomial Q(x)−P(x) is not constant because Q(x) has at least one coefficient larger than 2021, and P(x) has coefficients not larger than 2021. Therefore, m>0.
4. The coefficients of Q(x)−P(x) are:
bmxm+1+(−2022bm+bm−1)xm+⋯+(−2022b1+b0)x+(−2022b0)
Since the coefficients of P(x) are not larger than 2021 and Q(x) has at least one coefficient larger than 2021, all coefficients of Q(x)−P(x) are ≥−2021.
5. We have the following inequalities:
bm≥−2021
−2022bm+bm−1≥−2021
⋮
−2022b1+b0≥−2021
−2022b0≥−2021
6. Assume bi≥1 for some i. Then:
−2022bi+bi−1≥−2021⟹bi−1≥2022bi−2021≥2022⋅1−2021=1
By continuing this process, we get b0≥1, which contradicts −2022b0≥−2021. Therefore, bi≤0 for all i=0,1,…,m.
7. Thus, bmxm+bm−1xm−1+⋯+b0<0 for all x>0. This implies Q(n)−P(n)>0 for all n=1,2,…,2021.
8. Since P(x) has nonnegative coefficients, its root qp must be negative. Assume p>0, then pn−q=∣p∣+n∣q∣>0 for all n=1,2,…,2021.
9. Given P(qp)=Q(qp)=0, we can write:
Q(x)−P(x)=(px−q)H(x)
where H(x) has integer coefficients.
10. We have:
(∣p∣+n∣q∣)H(n)=Q(n)−P(n)>0 for all n=1,2,…,2021
This implies H(n)>0, so H(n)≥1 for all n=1,2,…,2021.
11. Therefore:
Q(n)−P(n)=(∣p∣+n∣q∣)H(n)≥∣p∣+n∣q∣ for all n=1,2,…,2021
■