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 1 of 8: Record the integer divisibility lemma
u−v∣P(u)−P(v)(u,v∈Z, u≠v)u-v\mid P(u)-P(v)\qquad(u,v\in\mathbb Z,\ u\ne v)
Detailed analysis

For distinct integers u,vu,v, every term uj−vju^j-v^j is divisible by u−vu-v. Since PP has integer coefficients, summing these divisibilities gives u−v∣P(u)−P(v)u-v\mid P(u)-P(v).