Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2013 / Problems / Day 1, P4

IMC 2013 · Day 1 · P4

Let n3n \ge 3 and let x1,,xnx_1, \dots, x_n be nonnegative real numbers. Define A=i=1nxiA = \sum\limits_{i=1}^{n} x_i, B=i=1nxi2B = \sum\limits_{i=1}^{n} x_i^2 and C=i=1nxi3C = \sum\limits_{i=1}^{n} x_i^3. Prove that (n+1)A2B+(n2)B2A4+(2n2)AC.(n+1) A^2 B + (n-2) B^2 \ge A^4 + (2n-2) AC.

(Proposed by Géza Kós, Eötvös University, Budapest)

Solution (official)

Let p(X)=i=1n(Xxi)=XnAXn1+A2B2Xn2A33AB+2C6Xn3+.p(X) = \prod_{i=1}^{n} (X - x_i) = X^n - A X^{n-1} + \frac{A^2 - B}{2} X^{n-2} - \frac{A^3 - 3AB + 2C}{6} X^{n-3} + \dots. The (n3)(n-3)th derivative of pp has three nonnegative real roots 0uvw0 \le u \le v \le w. Hence, 6n!p(n3)(X)=X33AnX2+3(A2B)n(n1)XA33AB+2Cn(n1)(n2)=(Xu)(Xv)(Xw),\frac{6}{n!}\, p^{(n-3)}(X) = X^3 - \frac{3A}{n} X^2 + \frac{3(A^2 - B)}{n(n-1)} X - \frac{A^3 - 3AB + 2C}{n(n-1)(n-2)} = (X - u)(X - v)(X - w), so u+v+w=3An,uv+vw+wu=3(A2B)n(n1)anduvw=A33AB+2Cn(n1)(n2).u + v + w = \frac{3A}{n}, \quad uv + vw + wu = \frac{3(A^2 - B)}{n(n-1)} \quad \text{and} \quad uvw = \frac{A^3 - 3AB + 2C}{n(n-1)(n-2)}. From these we can see that n2(n1)2(n2)9((n+1)A2B+(n2)B2A4(2n2)AC)===u2v2+v2w2+w2u2uvw(u+v+w)=uv(uw)(vw)+vw(vu)(wu)+wu(wv)(uv)0+uw(vu)(wv)+wu(wv)(uv)=0.\begin{align*} \frac{n^2 (n-1)^2 (n-2)}{9} &\bigl( (n+1) A^2 B + (n-2) B^2 - A^4 - (2n-2) AC \bigr) = \dots = \\ &= u^2 v^2 + v^2 w^2 + w^2 u^2 - uvw(u + v + w) = uv(u-w)(v-w) + vw(v-u)(w-u) + wu(w-v)(u-v) \ge \\ &\ge 0 + uw(v-u)(w-v) + wu(w-v)(u-v) = 0. \end{align*}

Similar problems