Problem 5
Find all polynomials with integer coefficients such that for all real numbers and , if and are both integers, then is also an integer.
Step 4 of 8: A proper factor would have a small root
Detailed analysis
Suppose is a proper factor of , so with non-constant. By Gauss's lemma there are integer-coefficient , scalar multiples of , with ; since and is prime, we may take . If every root of had absolute value greater than , then would equal the leading coefficient of (an integer of absolute value ) times the product of root magnitudes, which exceeds ; this contradicts . So , and hence , has a root with .