Maths Olympiad Prep

Library / /69 of 397

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 pif(ni)p_i|f(n_i) and pinip_i \nmid n_i.

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

since nnif(n)f(ni)n - n_i | f(n) - f(n_i). We know that p1p2p2012f(n)p_1p_2\cdots p_{2012} | f(n). At the same time, by definition nn is coprime to p1p2p2012p_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=3a2p1p2pkm = 3a^2p_1p_2 \cdots p_k. Then f(m)=a(1+3ap1p2pkg(m))f(m) = a(1 + 3ap_1p_2 \cdots p_k g(m)), and it is clear that 1+3ap1p2pkg(m)1 + 3ap_1p_2 \cdots p_k g(m) is coprime to mm, and
1+3ap1p2pkg(m)3ap1p2pkg(m)131>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+3ap1p2pkg(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,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 zh; metadata (topic, difficulty) added by this project.