Maths Olympiad Prep

Library / /32 of 61

Algebra Difficulty 6.5 National Olympiad Prove it Canada

Problem:
Given the polynomial
f(x)=xn+a1xn1+a2xn2++an1x+an f(x) = x^{n} + a_{1} x^{n-1} + a_{2} x^{n-2} + \cdots + a_{n-1} x + a_{n}
with integral coefficients a1,a2,,ana_{1}, a_{2}, \ldots, a_{n}, and given also that there exist four distinct integers a,b,ca, b, c and dd such that
f(a)=f(b)=f(c)=f(d)=5 f(a) = f(b) = f(c) = f(d) = 5
show that there is no integer kk such that f(k)=8f(k) = 8.

Solution

Solution:
Let f(x)f(x) be as given, and suppose f(a)=f(b)=f(c)=f(d)=5f(a) = f(b) = f(c) = f(d) = 5 for four distinct integers a,b,c,da, b, c, d.

Consider the polynomial g(x)=f(x)5g(x) = f(x) - 5. Then g(a)=g(b)=g(c)=g(d)=0g(a) = g(b) = g(c) = g(d) = 0, so a,b,c,da, b, c, d are roots of g(x)g(x).

Therefore, g(x)g(x) is divisible by (xa)(xb)(xc)(xd)(x - a)(x - b)(x - c)(x - d), i.e.,
g(x)=(xa)(xb)(xc)(xd)h(x) g(x) = (x - a)(x - b)(x - c)(x - d) h(x)
for some polynomial h(x)h(x) with integer coefficients (since f(x)f(x) has integer coefficients and 55 is an integer).

Suppose there exists an integer kk such that f(k)=8f(k) = 8. Then g(k)=f(k)5=3g(k) = f(k) - 5 = 3.

So,
g(k)=(ka)(kb)(kc)(kd)h(k)=3 g(k) = (k - a)(k - b)(k - c)(k - d) h(k) = 3
But k,a,b,c,dk, a, b, c, d are all integers, so (ka)(kb)(kc)(kd)(k - a)(k - b)(k - c)(k - d) is an integer, and h(k)h(k) is an integer.

Therefore, (ka)(kb)(kc)(kd)h(k)=3(k - a)(k - b)(k - c)(k - d) h(k) = 3.

But 33 has only the following possible factorizations into integer factors:

- 3=1×1×1×33 = 1 \times 1 \times 1 \times 3
- 3=1×1×(1)×(3)3 = 1 \times 1 \times (-1) \times (-3)
- 3=1×(1)×1×(3)3 = 1 \times (-1) \times 1 \times (-3)
- 3=(1)×1×1×(3)3 = (-1) \times 1 \times 1 \times (-3)
- 3=(1)×(1)×(1)×(3)3 = (-1) \times (-1) \times (-1) \times (-3)
- 3=3×1×1×13 = 3 \times 1 \times 1 \times 1
- 3=(3)×1×1×(1)3 = (-3) \times 1 \times 1 \times (-1)
- 3=1×3×1×13 = 1 \times 3 \times 1 \times 1
- 3=1×1×3×13 = 1 \times 1 \times 3 \times 1
- 3=1×1×1×33 = 1 \times 1 \times 1 \times 3

But in all cases, since a,b,c,da, b, c, d are distinct integers, kak - a, kbk - b, kck - c, kdk - d are four distinct nonzero integers. The product of four distinct nonzero integers cannot be ±1\pm 1 or ±3\pm 3.

To see this, note that the absolute value of the product (ka)(kb)(kc)(kd)| (k - a)(k - b)(k - c)(k - d) | is at least 1×2×3×4=241 \times 2 \times 3 \times 4 = 24 (if the differences are ±1,±2,±3,±4\pm 1, \pm 2, \pm 3, \pm 4), which is much greater than 33.

Therefore, there is no integer kk such that f(k)=8f(k) = 8.

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.