Maths Olympiad Prep

Library / Belarusian Mathematical Olympiad /196 of 208

Belarusian Mathematical Olympiad

Algebra Difficulty 7.4 National Olympiad, round 2 Prove it Belarus

A function f:N→Nf: \mathbb{N} \to \mathbb{N}, where N\mathbb{N} is the set of all positive integers, satisfy the following condition: for any positive integers mm and nn (m>nm > n) the number f(m)−f(n)f(m) - f(n) is divisible by m−nm - n.
Is the function ff necessarily a polynomial? (In other words, is it true that for any such function there exists a polynomial p(x)p(x) with real coefficients such that f(n)=p(n)f(n) = p(n) for all positive integers nn?)

Solution

Answer: not necessarily.
Let us show that the function f(n)=n+n(n−1)+n(n−1)(n−2)+⋯+n!f(n) = n + n(n-1) + n(n-1)(n-2) + \dots + n! satisfy the conditions of the problem.
For any positive integers mm and nn (m>nm > n) the value of f(m)f(m) equals to the sum
m+m(m−1)+⋯+m(m−1)…(m−(n−1))+S(m,n), m + m(m-1) + \dots + m(m-1)\dots(m-(n-1)) + S(m, n),
where S(m,n)S(m, n) is the sum of numbers, divisible by m−nm-n.
Consider the polynomial q(x)=x+x(x−1)+⋯+x(x−1)…(x−(n−1))q(x) = x + x(x-1) + \dots + x(x-1)\dots(x-(n-1)). Since it has integer coefficients, the difference q(m)−q(n)q(m) - q(n) is divisible by m−nm-n. Therefore the difference f(m)−f(n)=q(m)−q(n)+S(m,n)f(m) - f(n) = q(m) - q(n) + S(m, n) is divisible by m−nm-n as well.

Suppose that f(n)f(n) coincides with some polynomial of degree kk. By the definition of ff, the inequality f(n)>n(n−1)…(n−k)f(n) > n(n-1)\dots(n-k) holds for all positive integers nn. However, in the right-hand side of this inequality there is a polynomial of greater degree k+1k+1 and a positive leading coefficient, hence this inequality is not true for all sufficiently large nn — a contradiction.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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