Maths Olympiad Prep

Track / Stage 7 / 72 of 300 #1472 of 1964

Problem 1472

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.2 Prove it

Given is a polynomial P(x)P(x) of degree n>1n>1 with real coefficients. The equation P(P(P(x)))=P(x)P(P(P(x)))=P(x) has n3n^3 distinct real roots. Prove that these roots could be split into two groups with equal arithmetic mean.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. **Define the polynomials Q(x) Q(x) and R(x) R(x) :**
Q(x)=P(P(P(x)))P(x) Q(x) = P(P(P(x))) - P(x)
R(x)=P(P(x))x R(x) = P(P(x)) - x
Note that all roots of R(x) R(x) are also roots of Q(x) Q(x) .

2. Identify the roots:
Let r1,r2,,rn2R r_1, r_2, \dots, r_{n^2} \in \mathbb{R} be the roots of R(x) R(x) and let r1,r2,,rn3R r_1, r_2, \dots, r_{n^3} \in \mathbb{R} be the roots of Q(x) Q(x) .

3. **Express P(x) P(x) in standard polynomial form:**
P(x)=anxn+an1xn1++a1x+a0 P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0
Let t=an1an t = \frac{-a_{n-1}}{a_n} .

4. **Compute R(x) R(x) :**
By some computation, we get:
R(x)=P(P(x))x=ann+1xn2+annnan1xn21+A(x) R(x) = P(P(x)) - x = a_n^{n+1} x^{n^2} + a_n^n n a_{n-1} x^{n^2 - 1} + A(x)
where deg(A(x))n22 \deg(A(x)) \leq n^2 - 2 .

5. **Sum of the roots of R(x) R(x) :**
By Vieta's formulas, the sum of the roots of R(x) R(x) is:
r1+r2++rn2=tn r_1 + r_2 + \dots + r_{n^2} = tn

6. **Compute Q(x) Q(x) :**
Again, after some computation, we have:
Q(x)=P(P(P(x)))P(x)=ann2+n+1xn3+ann2+nn2an1xn31+B(x) Q(x) = P(P(P(x))) - P(x) = a_n^{n^2 + n + 1} x^{n^3} + a_n^{n^2 + n} n^2 a_{n-1} x^{n^3 - 1} + B(x)
where deg(B(x))n32 \deg(B(x)) \leq n^3 - 2 .

7. **Sum of the roots of Q(x) Q(x) :**
By Vieta's formulas, the sum of the roots of Q(x) Q(x) is:
r1+r2++rn3=tn2 r_1 + r_2 + \dots + r_{n^3} = tn^2

8. Arithmetic mean of the roots:
The arithmetic mean of the roots of R(x) R(x) is:
r1+r2++rn2n2=tnn2=tn \frac{r_1 + r_2 + \dots + r_{n^2}}{n^2} = \frac{tn}{n^2} = \frac{t}{n}
The arithmetic mean of the remaining roots of Q(x) Q(x) is:
rn2+1++rn3n3n2=tn2tnn3n2=tn(n1)n2(n1)=tn \frac{r_{n^2 + 1} + \dots + r_{n^3}}{n^3 - n^2} = \frac{tn^2 - tn}{n^3 - n^2} = \frac{tn(n-1)}{n^2(n-1)} = \frac{t}{n}

Thus, the roots can be split into two groups with equal arithmetic mean.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.