Maths Olympiad Prep

Library / /28 of 48

, 2008

Algebra Difficulty 5.8 AIME, harder Prove it Hong Kong

Let pp be a prime number and f(x)f(x) be a polynomial with rational coefficients and is of degree pp. Furthermore (i) f(m)f(m) is an integer for any integer mm and (ii) pp divides f(p+1)f(1)f(p+1) - f(1). Find all such polynomials.

Solution

f(x)f(x) can be any polynomial of the form
pap(xp)+ap1(xp1)+ap2(xp2)++a1(x1)+a0, p a_p \binom{x}{p} + a_{p-1} \binom{x}{p-1} + a_{p-2} \binom{x}{p-2} + \dots + a_1 \binom{x}{1} + a_0,
where a0,a1,,apa_0, a_1, \dots, a_p are arbitrary integers with ap0a_p \neq 0.

Note that we can always write
f(x)=cp(xp)+cp1(xp1)++c1(x1)+c0 f(x) = c_p \binom{x}{p} + c_{p-1} \binom{x}{p-1} + \cdots + c_1 \binom{x}{1} + c_0
for some rational coefficients c0,c1,,cpc_0, c_1, \dots, c_p, since (xp),(xp1),,(x0)\binom{x}{p}, \binom{x}{p-1}, \dots, \binom{x}{0} have different degrees. By putting x=0x = 0, we get c0=f(0)Zc_0 = f(0) \in \mathbb{Z}. By putting x=1x = 1, we get c1+c0=f(1)Zc_1 + c_0 = f(1) \in \mathbb{Z}, and hence c1Zc_1 \in \mathbb{Z}. Similarly, by putting x=2,3,,px = 2, 3, \dots, p, we find that all cjc_j's are integers. Conversely, if all cjc_j's are integers, it is obvious that f(m)Zf(m) \in \mathbb{Z} for any mZm \in \mathbb{Z}.
Now, putting x=p+1x = p + 1 and using (p+1k)=(pk)+(pk1)\binom{p+1}{k} = \binom{p}{k} + \binom{p}{k-1}, we obtain
f(p+1)f(1)=k=0pck(p+1k)(c1+c0)=k=1pck[(pk)+(pk1)]c1. f(p+1) - f(1) = \sum_{k=0}^{p} c_k \binom{p+1}{k} - (c_1 + c_0) = \sum_{k=1}^{p} c_k \left[ \binom{p}{k} + \binom{p}{k-1} \right] - c_1.
Since p(pr)p \mid \binom{p}{r} whenever 1rp11 \le r \le p-1, we have
f(p+1)f(1)cp(modp). f(p+1) - f(1) \equiv c_p \pmod{p}.
Therefore, pf(p+1)f(1)p \mid f(p+1) - f(1) if and only if pcpp \mid c_p. This shows f(x)f(x) can be any polynomial of the form mentioned at the beginning.

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.