MathLabs

Problem 5

Let P(x)P(x) be a polynomial of degree n>1n>1 with integer coefficients, and let kk be a positive integer. Define Q(x)=P(P(…P(x)…))Q(x)=P(P(\ldots P(x)\ldots)), where PP occurs kk times. Prove that there are at most nn integers tt such that Q(t)=tQ(t)=t.
Step 8 of 8: Count the roots and finish
#{t∈Z:Q(t)=t}≤#{x:F(x)=0}≤n\#\{t\in\mathbb Z:Q(t)=t\}\le\#\{x:F(x)=0\}\le n
Detailed analysis

By Step 4, every integer fixed point of QQ is a fixed point of P2P^2, and Step 7 places all such points among the roots of the nonzero degree-nn polynomial FF. Therefore Q(t)=tQ(t)=t has at most nn integer solutions, as required.