Olympiad Maths Prep

Track / Stage 7 / 168 of 300 #1568 of 2000

Problem 1568

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

49. Let n,kN,1kn,x1,x2,,xnn, k \in \mathbf{N}, 1 \leqslant k \leqslant n, x_{1}, x_{2}, \cdots, x_{n} be positive real numbers, and x1+x2++xk=x_{1}+x_{2}+\cdots+x_{k}= x1x2xkx_{1} x_{2} \cdots x_{k}, prove that: x1n1+x2n1++xkn1knx_{1}^{n-1}+x_{2}^{n-1}+\cdots+x_{k}^{n-1} \geqslant k n. (1989 Federal German Mathematical Olympiad Problem)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

49. Using the AM-GM inequality, we get
x1n1+x2n1++xkn1k(x1x2xk)n1kx_{1}^{n-1}+x_{2}^{n-1}+\cdots+x_{k}^{n-1} \geqslant k \cdot \sqrt[k]{\left(x_{1} x_{2} \cdots x_{k}\right)^{n-1}}

From the given conditions and the AM-GM inequality, we get
x1x2x2=x1+x2++x4kx1x2x2kx_{1} x_{2} \cdots x_{2}=x_{1}+x_{2}+\cdots+x_{4} \geqslant k \cdot \sqrt[k]{x_{1} x_{2} \cdots x_{2}}

Thus, x1t2xkhx1x1x2xhx_{1} t_{2} \cdots x_{k} \geqslant h \cdot \frac{x_{1}}{x_{1} x_{2} \cdots x_{h}}. Therefore,
x1x2xkkkx_{1} x_{2} \cdots x_{k} \geqslant k^{k}

Substituting (3) into (1), we get
x1n1+x2n1++x1n1kkn1x_{1}^{n-1}+x_{2}^{n-1}+\cdots+x_{1}^{n-1} \geqslant k \cdot \quad k^{n-1}

Next, we prove kn1k1n\sqrt[k-1]{k^{n-1}} \geqslant n. That is, we need to prove
nk1n1k\sqrt[n-1]{n^{k-1}} \leqslant k

Given 1kn1 \leqslant k \leqslant n, noting the root index n1n-1 and nn raised to the power of k1k-1, we add nnn-n ones inside the root and apply the AM-GM inequality to get
nn1n=n11n1(k1)n+(nk)1n1=k\sqrt[n]{n^{n-1}}=\sqrt[n-1]{n^{1} \cdot 1} \leqslant \frac{(k-1) n+(n-k) \cdot 1}{n-1}=k

Inequality (3) is thus proven.
(1), (2) hold with equality if and only if x1=x2==xix_{1}=x_{2}=\cdots=x_{i}. (5) holds with equality if and only if n=kn=k. Therefore, the original inequality holds with equality if and only if n=kH1x1=x2==x2n=k \mathrm{H}_{1} x_{1}=x_{2}=\cdots=x_{2}.

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