Maths Olympiad Prep

Library / /65 of 86

Algebra Difficulty 7.3 National Olympiad, round 2 Prove it United States

Problem:
Find all nonzero polynomials P(x)P(x) with integer coefficients that satisfy the following property: whenever aa and bb are relatively prime integers, then P(a)P(a) and P(b)P(b) are relatively prime as well. Prove that your answer is correct. (Two integers are relatively prime if they have no common prime factors. For example, 70-70 and 9999 are relatively prime, while 70-70 and 1515 are not relatively prime.)

Solution

Solution:
Answer: P(x)=±xnP(x)= \pm x^{n} for each integer n0n \geq 0.

It is evident that these polynomials meet the condition, since the only possible prime factors of P(a)P(a) are the prime factors of aa, so if aa, bb have no prime factors in common, P(a)P(a), P(b)P(b) can't either.

Consider any polynomial PP not of this form; we show that it does not meet the condition. Write
P(x)=cnxn+cn1xn1++c0. P(x)=c_{n} x^{n}+c_{n-1} x^{n-1}+\cdots+c_{0} .
Replacing P(x)P(x) by P(x)-P(x) if necessary, we may assume cn>0c_{n}>0.

Suppose that cn=1c_{n}=1 and the next nonzero coefficient ckc_{k} is negative. Then we have xn1<P(x)<xnx^{n-1}<P(x)<x^{n} for all large enough xx. In all other cases, we have xn<P(x)<xn+1x^{n}<P(x)<x^{n+1} for all large enough xx. In either situation, if we choose qq to be a large enough prime, then P(q)P(q) is a positive integer lying between two consecutive powers of qq. In particular, P(q)P(q) cannot itself be a power of qq, so it must have some other prime factor rqr \neq q.

Then the numbers qq and q+rq+r are relatively prime. But since
r=(q+r)qP(q+r)P(q) r=(q+r)-q \mid P(q+r)-P(q)
both P(q)P(q) and P(q+r)P(q+r) are divisible by rr, so they are not relatively prime. Hence, the polynomial PP does not satisfy the required condition.

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.