MathLabs

第5题

求所有整系数多项式 P(x)P(x),使得对任意实数 ss、tt,若 P(s)P(s) 与 P(t)P(t) 都是整数,则 P(st)P(st) 也是整数。
第 4/8 步:真因子将拥有一个较小的根
P(x)−p=f1(x)g1(x),f1(0)g1(0)=−p,f1(0)=±1 ⟹ ∃ r: f1(r)=0, ∣r∣≤1P(x)-p=f_1(x)g_1(x),\quad f_1(0)g_1(0)=-p,\quad f_1(0)=\pm1\ \Longrightarrow\ \exists\, r:\ f_1(r)=0,\ |r|\le1
详细分析

设 ff 为 P(x)−pP(x)-p 的真因子,即 P(x)−p=f(x)g(x)P(x)-p=f(x)g(x),其中 f,gf,g 均非常数。由高斯引理,存在整系数多项式 f1,g1f_1,g_1(分别为 f,gf,g 的数量倍)使得 P(x)−p=f1(x)g1(x)P(x)-p=f_1(x)g_1(x);因 f1(0)g1(0)=P(0)−p=−pf_1(0)g_1(0)=P(0)-p=-p 且 pp 为素数,可取 f1(0)=±1f_1(0)=\pm1。若 f1f_1 的每个根绝对值都大于 11,则 ∣f1(0)∣|f_1(0)| 将等于 f1f_1 的首项系数(绝对值 ≥1\ge1 的整数)乘以各根大小之积,从而超过 11;这与 ∣f1(0)∣=1|f_1(0)|=1 矛盾。故 f1f_1,从而 P(x)−pP(x)-p,存在根 rr 满足 ∣r∣≤1|r|\le1。