1. **Define the polynomials Q(x) and R(x):**
Q(x)=P(P(P(x)))−P(x)
R(x)=P(P(x))−x
Note that all roots of R(x) are also roots of Q(x).
2. Identify the roots:
Let r1,r2,…,rn2∈R be the roots of R(x) and let r1,r2,…,rn3∈R be the roots of Q(x).
3. **Express P(x) in standard polynomial form:**
P(x)=anxn+an−1xn−1+⋯+a1x+a0
Let t=an−an−1.
4. **Compute R(x):**
By some computation, we get:
R(x)=P(P(x))−x=ann+1xn2+annnan−1xn2−1+A(x)
where deg(A(x))≤n2−2.
5. **Sum of the roots of R(x):**
By Vieta's formulas, the sum of the roots of R(x) is:
r1+r2+⋯+rn2=tn
6. **Compute Q(x):**
Again, after some computation, we have:
Q(x)=P(P(P(x)))−P(x)=ann2+n+1xn3+ann2+nn2an−1xn3−1+B(x)
where deg(B(x))≤n3−2.
7. **Sum of the roots of Q(x):**
By Vieta's formulas, the sum of the roots of Q(x) is:
r1+r2+⋯+rn3=tn2
8. Arithmetic mean of the roots:
The arithmetic mean of the roots of R(x) is:
n2r1+r2+⋯+rn2=n2tn=nt
The arithmetic mean of the remaining roots of Q(x) is:
n3−n2rn2+1+⋯+rn3=n3−n2tn2−tn=n2(n−1)tn(n−1)=nt
Thus, the roots can be split into two groups with equal arithmetic mean.