MathLabs

第5题

求所有整系数多项式 P(x)P(x),使得对任意实数 ss、tt,若 P(s)P(s) 与 P(t)P(t) 都是整数,则 P(st)P(st) 也是整数。
第 7/8 步:迫使首项系数为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
详细分析

由 P(x)=anxnP(x)=a_nx^n 且 an>0a_n>0,取 a=b=an−1/na=b=a_n^{-1/n},则 P(a)=P(b)=an⋅an−1=1∈ZP(a)=P(b)=a_n\cdot a_n^{-1}=1\in\mathbb Z。于是假设迫使 P(ab)=P(a2)=an an−2=1/anP(ab)=P(a^2)=a_n\,a_n^{-2}=1/a_n 必须是整数。由于 ana_n 是正整数,这迫使 an=1a_n=1。