Maths Olympiad Prep

Track / Stage 7 / 271 of 300 #1671 of 1964

Problem 1671

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.7 Find the answer

Let n2n\ge 2 be a positive integer. There are nn real coefficient polynomials P1(x),P2(x),,Pn(x)P_1(x),P_2(x),\cdots ,P_n(x) which is not all the same, and their leading coefficients are positive. Prove that
deg(P1n+P2n++PnnnP1P2Pn)(n2)max1in(degPi)\deg(P_1^n+P_2^n+\cdots +P_n^n-nP_1P_2\cdots P_n)\ge (n-2)\max_{1\le i\le n}(\deg P_i)
and find when the equality holds.

A number or a short expression. Spacing, $ signs and \frac vs / are all fine.

Official solution

1. Assume the degrees of the polynomials are equal:
Let deg(Pi)=m \deg(P_i) = m for all i=1,2,,n i = 1, 2, \ldots, n . Denote the leading coefficient of Pi P_i by ai a_i , where ai>0 a_i > 0 .

2. Consider the leading term of the polynomial:
The leading term of Pin P_i^n is ainxmn a_i^n x^{mn} . Therefore, the leading term of P1n+P2n++Pnn P_1^n + P_2^n + \cdots + P_n^n is i=1nainxmn \sum_{i=1}^n a_i^n x^{mn} .

3. Consider the leading term of the product:
The leading term of P1P2Pn P_1 P_2 \cdots P_n is (a1a2an)xmn (a_1 a_2 \cdots a_n) x^{mn} . Therefore, the leading term of nP1P2Pn n P_1 P_2 \cdots P_n is n(a1a2an)xmn n (a_1 a_2 \cdots a_n) x^{mn} .

4. Compare the leading coefficients:
The leading coefficient of P1n+P2n++PnnnP1P2Pn P_1^n + P_2^n + \cdots + P_n^n - n P_1 P_2 \cdots P_n is i=1nainn(a1a2an) \sum_{i=1}^n a_i^n - n (a_1 a_2 \cdots a_n) .

5. Use the AM-GM inequality:
By the Arithmetic Mean-Geometric Mean (AM-GM) inequality, we have:
a1n+a2n++annn(a1a2an) \frac{a_1^n + a_2^n + \cdots + a_n^n}{n} \geq (a_1 a_2 \cdots a_n)
Multiplying both sides by n n , we get:
a1n+a2n++annn(a1a2an) a_1^n + a_2^n + \cdots + a_n^n \geq n (a_1 a_2 \cdots a_n)
Therefore, i=1nainn(a1a2an)0 \sum_{i=1}^n a_i^n - n (a_1 a_2 \cdots a_n) \geq 0 .

6. Equality condition:
The equality holds if and only if a1=a2==an a_1 = a_2 = \cdots = a_n .

7. **Consider the polynomials Pi(x) P_i(x) :**
Assume Pi(x)=aixm+Qi(x) P_i(x) = a_i x^m + Q_i(x) where deg(Qi)<m \deg(Q_i) < m . If ai=1 a_i = 1 for all i i , then Pi(x)=xm+Qi(x) P_i(x) = x^m + Q_i(x) .

8. **Expand Pi(x)n P_i(x)^n and the product:**
Pi(x)n=(xm+Qi(x))n=xmn+k=1n(nk)xm(nk)Qi(x)k P_i(x)^n = (x^m + Q_i(x))^n = x^{mn} + \sum_{k=1}^n \binom{n}{k} x^{m(n-k)} Q_i(x)^k
i=1n(xm+Qi(x))=xmn+k=1nxm(nk)1i1<i2<<iknQi1Qi2Qik \prod_{i=1}^n (x^m + Q_i(x)) = x^{mn} + \sum_{k=1}^n x^{m(n-k)} \sum_{1 \leq i_1 < i_2 < \cdots < i_k \leq n} Q_{i_1} Q_{i_2} \cdots Q_{i_k}

9. Compare the coefficients:
The coefficient of xm(n1) x^{m(n-1)} in both expansions is:
ni=1nxm(n1)Qi(x)ni=1nxm(n1)Qi(x)=0 n \sum_{i=1}^n x^{m(n-1)} Q_i(x) - n \sum_{i=1}^n x^{m(n-1)} Q_i(x) = 0

10. Consider the next highest degree term:
Let r=max1in(degQi) r = \max_{1 \leq i \leq n} (\deg Q_i) and qi q_i be the coefficient of xr x^r in Qi Q_i . The coefficient of xm(n2)+2r x^{m(n-2) + 2r} in the polynomial P P is:
(n2)i=1nqi2n1i1<i2nqi1qi2 \binom{n}{2} \sum_{i=1}^n q_i^2 - n \sum_{1 \leq i_1 < i_2 \leq n} q_{i_1} q_{i_2}
This can be written as:
n2((n1)i=1nqi21i1<i2nqi1qi2) \frac{n}{2} \left( (n-1) \sum_{i=1}^n q_i^2 - \sum_{1 \leq i_1 < i_2 \leq n} q_{i_1} q_{i_2} \right)
The expression in the brackets is non-negative and equals zero only when qi q_i are all equal.

11. **Determine the degree of P P :**
Let r0 r_0 be the greatest integer such that the coefficients of xr0 x^{r_0} in Qi Q_i are not all equal. The coefficient of xm(n2)+2r0 x^{m(n-2) + 2r_0} in P P is positive. Therefore:
deg(P)m(n2)+r0(n2)m \deg(P) \geq m(n-2) + r_0 \geq (n-2)m
The equality holds when r0=0 r_0 = 0 , i.e., when Qi(x)=Q(x)+ci Q_i(x) = Q(x) + c_i and ciR c_i \in \mathbb{R} are not all equal.

The final answer is deg(P1n+P2n++PnnnP1P2Pn)(n2)max1in(degPi) \boxed{ \deg(P_1^n + P_2^n + \cdots + P_n^n - n P_1 P_2 \cdots P_n) \geq (n-2) \max_{1 \leq i \leq n} (\deg P_i) }

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