MathLabs

第5問

整数係数をもつ次数 n>1n>1 の多項式 P(x)P(x) と正の整数 kk をとる。PP が kk 回現れる合成 Q(x)=P(P(…P(x)…))Q(x)=P(P(\ldots P(x)\ldots)) を定める。Q(t)=tQ(t)=t を満たす整数 tt は高々 nn 個であることを証明せよ。
ステップ 7/8: すべての点を一つの次数 nn の多項式に入れる
F(x)=C−x−P(x),C=a+b,F(α)=0F(x)=C-x-P(x),\qquad C=a+b,\qquad F(\alpha)=0
詳しい解説

C=a+bC=a+b とおく。任意の P2P^2 の不動点 α\alpha に対して β=P(α)\beta=P(\alpha) とすれば、ステップ6より α+β=C\alpha+\beta=C である。従って F(α)=C−α−P(α)=0F(\alpha)=C-\alpha-P(\alpha)=0。a,ba,b もこの式を満たし、PP と同じく FF の次数は nn である。