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 4 of 8: A closed integer orbit alternates between two values
P2(a)=aP^2(a)=a
Detailed analysis

Choose a minimum value in the orbit. Since all successive differences have the same nonzero magnitude and the orbit returns to its start, the signs must reverse at that minimum. The orbit therefore alternates between two integers a,ba,b, with P(a)=bP(a)=b and P(b)=aP(b)=a; in particular every fixed point of QQ satisfies P2(a)=aP^2(a)=a.