Maths Olympiad Prep

Library / Problems of Ukrainian Authors /36 of 40

Problems of Ukrainian Authors

Algebra Difficulty 6.8 National Olympiad Prove it Ukraine

A positive integer nn are given. Positive numbers x0,x1,…,xnx_0, x_1, \dots, x_n such that x0x1…xn=1x_0 x_1 \dots x_n = 1. Find all positive γ\gamma such that inequality
x0γ+x1γ+⋯+xnγ≥1x0+1x1+⋯+1xn x_0^\gamma + x_1^\gamma + \dots + x_n^\gamma \ge \frac{1}{x_0} + \frac{1}{x_1} + \dots + \frac{1}{x_n}
holds for any set of numbers x0,x1,…,xnx_0, x_1, \dots, x_n.

Solution

Answer: γ≥n\gamma \ge n.

At first we will show that for 0<γ<n0 < \gamma < n there exists a set x0,x1,…,xnx_0, x_1, \dots, x_n, for which the inequality from the statement of the problem is not held.

Let x0=x−nx_0 = x^{-n}, x1=x2=⋯=xn=xx_1 = x_2 = \dots = x_n = x for some x>0x > 0. Then we have
x0γ+x1γ+⋯+xnγ=x−nγ+nxγ,1x0+1x1+⋯+1xn=xn+nx−1. \begin{gathered} x_0^\gamma + x_1^\gamma + \dots + x_n^\gamma = x^{-n\gamma} + n x^\gamma, \\ \frac{1}{x_0} + \frac{1}{x_1} + \dots + \frac{1}{x_n} = x^n + n x^{-1}. \end{gathered}
For γ<n\gamma < n we want to find x>0x > 0 for which xn+nx−1>x−nγ+nxγx^n + n x^{-1} > x^{-n\gamma} + n x^\gamma. For this purpose it is enough to choose x>1x > 1: xn+nx−1>xn>(n+1)xγ>nxγ+x−nγx^n + n x^{-1} > x^n > (n + 1)x^\gamma > n x^\gamma + x^{-n\gamma}, i.e. x−nγ>n+1x^{-n\gamma} > n + 1 also x>n+1nx > \sqrt[n]{n+1}. From here we find a corresponding example.

Let now γ=n\gamma = n then by the Cauchy's inequality we receive
x0n+x1n+⋯+xn−1nn≥x0x1…xn−1=1xn,x0n+x1n+⋯+xn−2n+xnnn≥x0x1…xn−2xn=1xn−1,…, \begin{gathered} \frac{x_0^n + x_1^n + \dots + x_{n-1}^n}{n} \ge x_0 x_1 \dots x_{n-1} = \frac{1}{x_n}, \\ \frac{x_0^n + x_1^n + \dots + x_{n-2}^n + x_n^n}{n} \ge x_0 x_1 \dots x_{n-2} x_n = \frac{1}{x_{n-1}}, \dots, \end{gathered}
x1n+x2n+⋯+xnnn≥x1x2…xn=1x0. \frac{x_1^n + x_2^n + \dots + x_n^n}{n} \geq x_1 x_2 \dots x_n = \frac{1}{x_0}.
If all these inequalities are added then we will receive the required inequality.

Now we consider the case γ>n\gamma > n, if we prove that for any set of positive numbers x0,x1,…,xnx_0, x_1, \dots, x_n such that x0x1…xn=1x_0 x_1 \dots x_n = 1 the inequality x0γ+x1γ+⋯+xnγ≥x0n+x1n+⋯+xnnx_0^\gamma + x_1^\gamma + \dots + x_n^\gamma \ge x_0^n + x_1^n + \dots + x_n^n holds, then we will receive a necessary inequality for γ\gamma if we use the already proved inequality for nn:
x0γ+⋯+xnγ≥x0n+⋯+xnn⇔x0γ+⋯+xnγ≥x0n+γ−nn+1x1γ−nn+1…xnγ−nn+1+⋯+x0γ−nn+1…xn−1γ−nn+1xnn+γ−nn+1. x_0^\gamma + \dots + x_n^\gamma \ge x_0^n + \dots + x_n^n \Leftrightarrow \\ x_0^\gamma + \dots + x_n^\gamma \ge x_0^{n+\frac{\gamma-n}{n+1}} x_1^{\frac{\gamma-n}{n+1}} \dots x_n^{\frac{\gamma-n}{n+1}} + \dots + x_0^{\frac{\gamma-n}{n+1}} \dots x_{n-1}^{\frac{\gamma-n}{n+1}} x_n^{n+\frac{\gamma-n}{n+1}}.
To prove the last inequality we will take advantage of a weighted Cauchy's inequality
x0n+γ−nn+1x1γ−nn+1…xnγ−nn+1≤n+γ−nn+1γx0γ+γ−nγ(n+1)x1γ+⋯+γ−nγ(n+1)xnγ. x_0^{n+\frac{\gamma-n}{n+1}} x_1^{\frac{\gamma-n}{n+1}} \dots x_n^{\frac{\gamma-n}{n+1}} \le \frac{n+\frac{\gamma-n}{n+1}}{\gamma} x_0^{\gamma} + \frac{\gamma-n}{\gamma(n+1)} x_1^{\gamma} + \dots + \frac{\gamma-n}{\gamma(n+1)} x_n^{\gamma}.
We will write down similar inequalities for every item, we will add them and we will receive the requisite evidence.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.