MathLabs

第5题

设 P(x)P(x) 是次数 n>1n>1 的整系数多项式,kk 为正整数。定义 Q(x)=P(P(…P(x)…))Q(x)=P(P(\ldots P(x)\ldots)),其中 PP 出现 kk 次。证明满足 Q(t)=tQ(t)=t 的整数 tt 至多有 nn 个。
第 8/8 步:数根并完成证明
#{t∈Z:Q(t)=t}≤#{x:F(x)=0}≤n\#\{t\in\mathbb Z:Q(t)=t\}\le\#\{x:F(x)=0\}\le n
详细分析

由第4步,QQ 的每个整数不动点都是 P2P^2 的不动点;第7步又说明它们全是非零 nn 次多项式 FF 的根。因此 Q(t)=tQ(t)=t 至多有 nn 个整数解,证毕。