Let and be two polynomials with integral coefficients such that and . If the polynomial has a rational root for infinitely many primes , prove that has a rational root.
Solution
Since , for all complex numbers of large enough absolute value. Consequently, as runs through the infinite set of primes under consideration, the roots of the all lie in some disc , where does not depend on ; for if is large enough, then
For each prime such that has a rational root, by Gauss' lemma, is the product of two integral polynomials, one of degree 1 and the other of degree . Now the condition that be prime comes in to imply that the leading coefficient of one of these factors is a divisor of the leading coefficient of .
For each such prime , it is therefore possible to choose an integral factor of , or , whose leading coefficient divides the leading coefficient of . Hence the leading coefficients of the form a bounded set. Since the roots of the all lie in the same disc, , Vieta's relations imply that the coefficients of the all form a bounded set; and since they are all integral, this set is finite, so for infinitely many of these primes .
Finally, if and are two such, then is a divisor of . Since or , the conclusion follows.