Maths Olympiad Prep

Library / /36 of 39

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 x0x1xn=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=xnx_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γ=xnγ+nxγ,1x0+1x1++1xn=xn+nx1. \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+nx1>xnγ+nxγx^n + n x^{-1} > x^{-n\gamma} + n x^\gamma. For this purpose it is enough to choose x>1x > 1: xn+nx1>xn>(n+1)xγ>nxγ+xnγx^n + n x^{-1} > x^n > (n + 1)x^\gamma > n x^\gamma + x^{-n\gamma}, i.e. xnγ>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++xn1nnx0x1xn1=1xn,x0n+x1n++xn2n+xnnnx0x1xn2xn=1xn1,, \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++xnnnx1x2xn=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 x0x1xn=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++xnnx0γ++xnγx0n+γnn+1x1γnn+1xnγnn+1++x0γnn+1xn1γ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+1xnγnn+1n+γ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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.