Maths Olympiad Prep

Library / /95 of 397

Algebra Difficulty 5.2 AIME, harder Prove it Taiwan

Let ff and gg be two nonzero polynomials with integer coefficients, and degf>degg\deg f > \deg g. Suppose there are infinitely many primes pp such that the polynomial pf+gpf + g has a rational root. Prove that ff also has a rational root.

Solution

Since degf>degg\deg f > \deg g, when xx is sufficiently large we have g(x)/f(x)<1|g(x)/f(x)| < 1. That is, there exists a real number RR such that for all x>R|x| > R, we have g(x)/f(x)<1|g(x)/f(x)| < 1. For all such xx and all primes pp, we have
pf(x)+g(x)f(x)(pg(x)f(x))>0. |pf(x) + g(x)| \geq |f(x)| \left( p - \frac{|g(x)|}{|f(x)|} \right) > 0.
Therefore all real roots of the polynomial pf+gpf + g lie in [R,R][-R, R].

Let f(x)=anxn+an1xn1++a0f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_0 and g(x)=bmxm+bm1xm1++b0g(x) = b_m x^m + b_{m-1} x^{m-1} + \cdots + b_0, where n>mn > m, an0a_n \neq 0 and bm0b_m \neq 0. Replacing f(x)f(x) and g(x)g(x) by an1f(x/an)a_n^{-1} f(x/a_n) and am1g(x/am)a_m^{-1} g(x/a_m) respectively, we reduce the problem to the case an=1a_n = 1, in which the leading coefficient of pf+gpf + g is pp. If r=u/vr = u/v, (u,v)=1(u, v) = 1 and v>0v > 0, is a rational root of pf+gpf + g, then vv is either 11 or pp.

Suppose there are infinitely many instances with v=1v = 1. If v=1v = 1 then uR|u| \leq R, so there are only finitely many integers uu. Hence there exist distinct primes pp and qq such that we get the same value of uu. Then the polynomials pf+gpf + g and qf+gqf + g share a common root, from which we obtain f(u)=g(u)=0f(u) = g(u) = 0. So in this case ff and gg have a common integer root.

Suppose there are infinitely many instances with v=pv = p. Comparing the powers of pp in the denominators of pf(u/p)pf(u/p) and g(u/p)g(u/p), we take m=n1m = n - 1, so that pf(u/p)+g(u/p)=0pf(u/p) + g(u/p) = 0 simplifies to
(un+an1pun1++a0pn)+(bn1un1+bn2pun2++b0pn1)=0. (u^n + a_{n-1} p u^{n-1} + \cdots + a_0 p^n) + (b_{n-1} u^{n-1} + b_{n-2} p u^{n-2} + \cdots + b_0 p^{n-1}) = 0.
This shows that un+bn1un1u^n + b_{n-1}u^{n-1} is divisible by pp, and since (u,p)=1(u, p) = 1, we get u+bn1=pku + b_{n-1} = pk, where kk is some integer. Also, all roots of pf+gpf + g lie in [R,R][-R, R], so
pkbn1p=up<R,k<R+bn1p<R+bn1. \frac{|pk - b_{n-1}|}{p} = \frac{|u|}{p} < R, \quad |k| < R + \frac{|b_{n-1}|}{p} < R + |b_{n-1}|.
Hence there are only finitely many possible values of the integer kk. So there exists an integer kk such that for infinitely many primes pp, pkbn1p=kbn1p\frac{pk-b_{n-1}}{p} = k - \frac{b_{n-1}}{p} is a root of pf+gpf + g. For these primes, we have
f(kbn1p)+1pg(kbn1p)=0. f\left(k - \frac{b_{n-1}}{p}\right) + \frac{1}{p}g\left(k - \frac{b_{n-1}}{p}\right) = 0.
Hence
f(kbn1x)+xg(kbn1x)=0(1) f(k - b_{n-1}x) + xg(k - b_{n-1}x) = 0 \quad (1)
has infinitely many solutions of the form x=1/px = 1/p. Since the left-hand side of equation (1) is a polynomial, equation (1) holds for all real numbers xx. Substituting x=0x = 0 into equation (1), we obtain f(k)=0f(k) = 0. Thus the integer kk is a root of ff.

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.