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 7 of 8: Force the leading coefficient to be 1
a=b=an−1/n,P(a)=P(b)=1∈Z ⟹ P(ab)=1an∈Z ⟹ an=1a=b=a_n^{-1/n},\quad P(a)=P(b)=1\in\mathbb Z\ \Longrightarrow\ P(ab)=\frac1{a_n}\in\mathbb Z\ \Longrightarrow\ a_n=1
Detailed analysis

With P(x)=anxnP(x)=a_nx^n and an>0a_n>0, set a=b=an−1/na=b=a_n^{-1/n}, so P(a)=P(b)=an⋅an−1=1∈ZP(a)=P(b)=a_n\cdot a_n^{-1}=1\in\mathbb Z. The hypothesis then forces P(ab)=P(a2)=an an−2=1/anP(ab)=P(a^2)=a_n\,a_n^{-2}=1/a_n to be an integer. Since ana_n is a positive integer, this forces an=1a_n=1.