Maths Olympiad Prep

Library / Bay Area Mathematical Olympiad /59 of 79

Bay Area Mathematical Olympiad

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 n≥0n \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+cn−1xn−1+⋯+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 xn−1<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 r≠qr \neq q.

Then the numbers qq and q+rq+r are relatively prime. But since
r=(q+r)−q∣P(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,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.