Maths Olympiad Prep

Track / Stage 6 / 381 of 400 #1861 of 2444

Problem 1861

National Olympiad, first round
Algebra Difficulty 6.9 Prove it GARA NAZIONALE di MATEMATICA · Italy

Let a1,a2,a3,a4a_{1}, a_{2}, a_{3}, a_{4} be four distinct integers and let P(x)P(x) be a polynomial with integer coefficients such that
P(a1)=P(a2)=P(a3)=P(a4)=1. P\left(a_{1}\right)=P\left(a_{2}\right)=P\left(a_{3}\right)=P\left(a_{4}\right)=1 .

a. Prove that there does not exist any integer nn such that P(n)=12P(n)=12.

b. Do there exist a polynomial P(x)P(x) satisfying condition ()(*) and an integer nn such that P(n)=1998P(n)=1998?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Solution:

Let us consider the polynomial Q(x)=P(x)1Q(x)=P(x)-1. Condition ()(*) ensures that Q(a1)=Q(a2)=Q(a3)=Q(a4)=0Q\left(a_{1}\right)=Q\left(a_{2}\right)=Q\left(a_{3}\right)=Q\left(a_{4}\right)=0 and, by the Factor Theorem, Q(x)Q(x) is divisible by each of the factors (xai)(x-a_{i}) (1i41 \leq i \leq 4). Since the aia_{i} are distinct, Q(x)Q(x) is divisible by their product, that is
Q(x)=(xa1)(xa2)(xa3)(xa4)R(x) Q(x)=(x-a_{1})(x-a_{2})(x-a_{3})(x-a_{4}) R(x)
for some polynomial R(x)R(x) with integer coefficients. If, by contradiction, we had P(n)=12P(n)=12, we would have Q(n)=11Q(n)=11, that is
11=(na1)(na2)(na3)(na4)R(n) 11=(n-a_{1})(n-a_{2})(n-a_{3})(n-a_{4}) R(n)
and therefore 1111, which is a prime number, could be written as a product of at least 4 distinct integers. But this is impossible, because the only integers that are divisors of 1111 are ±1,±11\pm 1, \pm 11, and of these at most three can be inserted in a product whose result is 1111 (+11+11 and 11-11 cannot be inserted at the same time).

The same reasoning also shows that there do not exist a polynomial P(x)P(x) satisfying condition ()(*) and an integer nn such that P(n)=1998P(n)=1998, because one checks that 1997=199811997=1998-1 is a prime number.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from it; metadata (topic, difficulty, ordering) added by this project.