Maths Olympiad Prep

Library / /11 of 24

Algebra Difficulty 6.3 National Olympiad Prove it Italy

Problem:

We say that two polynomials pp and qq with integer coefficients are similar if they have the same degree and the same coefficients up to order.

a. Prove that if pp and qq are similar, then p(2007)q(2007)p(2007)-q(2007) is a multiple of 22.

b. Do there exist integers k>2k>2 such that, whatever two similar polynomials pp and qq are given, p(2007)q(2007)p(2007)-q(2007) is a multiple of kk?

Solution

Solution:

a. Since 20072007 is an odd number, the value of a polynomial at 20072007 is even or odd depending on whether the number of its odd coefficients is even or odd. But if pp and qq are similar, then in particular they contain the same number of odd coefficients, and therefore p(2007)p(2007) and q(2007)q(2007) are either both even or both odd. In either case, their difference is divisible by 22.

b. Yes, this also holds for k=2006k=2006.
For every non-negative integer hh, we have 2007h1(mod2006)2007^{h} \equiv 1 \pmod{2006}. If p(x)=anxn+an1xn1++a0p(x)=a_{n} x^{n}+a_{n-1} x^{n-1}+\cdots+a_{0} and q(x)=bnxn+bn1xn1++b0q(x)=b_{n} x^{n}+b_{n-1} x^{n-1}+\cdots+b_{0} then we have
p(2007)an+an1++a0(mod 2006)q(2007)bn+bn1++b0(mod 2006) \begin{aligned} p(2007) &\equiv a_{n}+a_{n-1}+\cdots+a_{0} \quad (\bmod\ 2006) \\ q(2007) &\equiv b_{n}+b_{n-1}+\cdots+b_{0} \quad (\bmod\ 2006) \end{aligned}
from which p(2007)q(2007)(an+an1++a0)(bn+bn1++b0)=0(mod2006)p(2007)-q(2007) \equiv (a_{n}+a_{n-1}+\cdots+a_{0})-(b_{n}+b_{n-1}+\cdots+b_{0})=0 \pmod{2006}.

Alternative Solution:

Both cases (a) and (b) can be solved in the following way. Note that if pp and qq are similar it necessarily follows that p(1)=q(1)p(1)=q(1). Now let r(x)=p(x)q(x)r(x)=p(x)-q(x); we have r(1)=0r(1)=0, hence (x1)(x-1) divides r(x)r(x). But then 2006=200712006=2007-1 divides r(2007)=p(2007)q(2007)r(2007)=p(2007)-q(2007).

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 translated into English from it; metadata (topic, difficulty) added by this project.