MathLabs

Problem 5

Find all polynomials P(x)P(x) with integer coefficients such that for all real numbers ss and tt, if P(s)P(s) and P(t)P(t) are both integers, then P(st)P(st) is also an integer.
Step 1 of 8: Normalize by a shift and a sign
P(0)∈Z;deg⁡P=0⇒P is constant;deg⁡P=n≥1: P(x)⟼±(P(x)−P(0)),P(x)=∑i=1naixi, an>0P(0)\in\mathbb Z;\quad \deg P=0\Rightarrow P\text{ is constant};\quad \deg P=n\ge1:\ P(x)\longmapsto \pm\big(P(x)-P(0)\big),\quad P(x)=\sum_{i=1}^n a_ix^i,\ a_n>0
Detailed analysis

Since PP has integer coefficients, P(0)P(0) is automatically an integer. If PP is constant, it is already an integer constant and belongs to the final family, so assume deg⁡P=n≥1\deg P=n\ge1. If PP has the stated property then so do P(x)+kP(x)+k for any integer kk and −P(x)-P(x); the integrality hypotheses are unchanged. Thus we may replace PP by ±(P(x)−P(0))\pm\big(P(x)-P(0)\big) to assume P(0)=0P(0)=0 and the leading coefficient ana_n of P(x)=∑i=1naixiP(x)=\sum_{i=1}^n a_ix^i is positive. It suffices to show P(x)=xnP(x)=x^n.