Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /59 of 359

Taiwan IMO Selection Camp

Algebra Difficulty 5.1 AIME, harder Prove it Taiwan

Suppose f(x)f(x) is a polynomial with integer coefficients satisfying: for every positive integer nn, f(n)f(n) is nonzero, and f(n)f(n) has at most 2011 prime factors that are not prime factors of nn. Prove that ff can be expressed as f(x)=cxkf(x) = cx^k, where cc is an integer and kk is a nonnegative integer.

Solution

For such an ff as described in the problem, if the constant term of ff is 0, then we may consider g(x)=f(x)/xg(x) = f(x)/x, which also satisfies the conditions of the problem; therefore we may assume that the constant term of ff is nonzero, and it suffices to prove that in this case ff is a constant polynomial.

Let P={pP = \{p is a prime ∣| there exists a positive integer nn such that f(n)f(n) is a multiple of pp, but nn is not a multiple of p}p\}. We claim that PP contains at most 2011 primes.

If not, then by contradiction, let p1,⋯ ,p2012p_1, \cdots, p_{2012} be distinct primes in PP, and let positive integers n1,⋯ ,n2012n_1, \cdots, n_{2012} respectively satisfy pi∣f(ni)p_i|f(n_i) and pi∤nip_i \nmid n_i.

By the Chinese Remainder Theorem, there exists a positive integer nn such that n≡ni(modpi)n \equiv n_i \pmod{p_i}, i=1,⋯ ,2012i = 1, \cdots, 2012,

since n−ni∣f(n)−f(ni)n - n_i | f(n) - f(n_i). We know that p1p2⋯p2012∣f(n)p_1p_2\cdots p_{2012} | f(n). At the same time, by definition nn is coprime to p1p2⋯p2012p_1p_2\cdots p_{2012}, a contradiction. Therefore PP contains at most 2011 primes; denote P={p1,⋯ ,pk}P = \{p_1, \cdots, p_k\}.

Let f(x)=a+xg(x)f(x) = a + xg(x), that is, aa is the nonzero constant term of ff, and gg is some polynomial with integer coefficients. Suppose ff is not a constant polynomial, then gg is nonzero. Now let m=3a2p1p2⋯pkm = 3a^2p_1p_2 \cdots p_k. Then f(m)=a(1+3ap1p2⋯pkg(m))f(m) = a(1 + 3ap_1p_2 \cdots p_k g(m)), and it is clear that 1+3ap1p2⋯pkg(m)1 + 3ap_1p_2 \cdots p_k g(m) is coprime to mm, and
∣1+3ap1p2⋯pkg(m)∣≥∣3ap1p2⋯pkg(m)∣−1≥3−1>1. |1 + 3ap_1p_2 \cdots p_k g(m)| \ge |3ap_1p_2 \cdots p_k g(m)| - 1 \ge 3 - 1 > 1.
Therefore 1+3ap1p2⋯pkg(m)1 + 3ap_1p_2 \cdots p_k g(m) has at least one prime factor that mm does not have, contradicting the definition of PP; hence ff must be a constant polynomial. This completes the proof.

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