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 は非定数)とする。ガウスの補題より、f,gf,g のスカラー倍である整数係数の f1,g1f_1,g_1 が存在して 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 は ∣r∣≤1|r|\le1 を満たす根 rr をもつ。