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 6 of 8: Match coefficients to kill lower terms
P(2x)−P(2t)=2n(P(x)−p) ⟹ ai(2i−2n)=0 (i<n) ⟹ P(x)=anxnP(2x)-P(2t)=2^n\big(P(x)-p\big)\ \Longrightarrow\ a_i(2^i-2^n)=0\ (i<n)\ \Longrightarrow\ P(x)=a_nx^n
Detailed analysis

Both sides have degree nn in xx; matching leading coefficients (an2na_n2^n on the left) shows P(2x)−P(2t)P(2x)-P(2t) equals 2n(P(x)−p)2^n\big(P(x)-p\big) exactly. Comparing the coefficient of xix^i for each i<ni<n gives ai2i=2naia_i2^i=2^na_i, i.e. ai(2i−2n)=0a_i(2^i-2^n)=0; since 2i≠2n2^i\ne2^n for i<ni<n, this forces ai=0a_i=0. Hence P(x)=anxnP(x)=a_nx^n.