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 1 of 8: Normalize by a shift and a sign
Detailed analysis
Since has integer coefficients, is automatically an integer. If is constant, it is already an integer constant and belongs to the final family, so assume . If has the stated property then so do for any integer and ; the integrality hypotheses are unchanged. Thus we may replace by to assume and the leading coefficient of is positive. It suffices to show .