Maths Olympiad Prep

Track / Stage 8 / 146 of 180 #2326 of 2444

Problem 2326

IMO Shortlist mid-range; USAMO P2/P5
Algebra Difficulty 8.6 Prove it EGMO TST · India

Find all functions f:NNf : \mathbb{N} \to \mathbb{N} so that for any positive integer nn and finite sequence of positive integers a0,,ana_0, \dots, a_n, whenever the polynomial a0+a1x++anxna_0 + a_1x + \dots + a_nx^n has at least one integer root, so does f(a0)+f(a1)x++f(an)xnf(a_0) + f(a_1)x + \dots + f(a_n)x^n.

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

The answer is all functions of the form f(x)=kxf(x) = kx for some kNk \in \mathbb{N}. These clearly work: now let us prove they are the only possibilities.

Since x+ax + a has an integer root (namely, a-a) for any aNa \in \mathbb{N}, so does f(1)x+f(a)f(1)x + f(a), implying f(1)f(a)f(1)|f(a) for all aNa \in \mathbb{N}. Now the function g:NNg : \mathbb{N} \rightarrow \mathbb{N} defined by g(x)=f(x)/f(1)g(x) = f(x)/f(1) satisfies the same conditions as ff, so WLOG, we may assume f(1)=1f(1) = 1.

Now the polynomial for any nNn \in \mathbb{N}, nx2+(n+1)x+1nx^2 + (n+1)x + 1 has a root 1-1, so f(n)x2+f(n+1)x+f(1)=f(n)x2+f(n+1)x+1f(n)x^2 + f(n+1)x + f(1) = f(n)x^2 + f(n+1)x + 1 has an integer root, which must be negative. Call this number k-k. Therefore
f(n+1)k=f(n)k2+1>f(n)k    f(n+1)>f(n), f(n+1)k = f(n)k^2 + 1 > f(n) \cdot k \implies f(n+1) > f(n),
so that f(n+1)f(n)+1f(n+1) \ge f(n) + 1.

Now we prove by induction that f(n)=nf(n) = n for every nNn \in \mathbb{N}. The base case is clear, now consider some m=n+1>1m = n+1 > 1 and assume f(n)=nf(n) = n. The polynomial x2+(n+1)x+nx^2 + (n+1)x + n has the root 1-1, so f(1)x2+f(n+1)x+f(n)=x2+f(n+1)x+nf(1)x^2 + f(n+1)x + f(n) = x^2 + f(n+1)x + n has an integer. Since the sum of its roots is f(n+1)-f(n+1), an integer, both roots are in fact integers. Further, the roots must be negative and their product is nn, so they are d-d and n/d-n/d for some positive divisor dd of nn. Therefore f(n+1)=d+ndf(n+1) = d + \frac{n}{d}. However, the inequality
d+ndn+1    (nd)(11d)0 d + \frac{n}{d} \le n + 1 \iff (n - d) \left(1 - \frac{1}{d}\right) \ge 0
holds, so we must have
n+1d+nd=f(n+1)f(n)+1=n+1, n + 1 \ge d + \frac{n}{d} = f(n + 1) \ge f(n) + 1 = n + 1,
forcing f(n+1)=n+1f(n+1) = n+1 as desired. \square

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.