Maths Olympiad Prep

Library / /14 of 27

Algebra Difficulty 6.0 National olympiad Prove it Romania

Let x1,x2,,xnx_1, x_2, \dots, x_n and y1,y2,,yny_1, y_2, \dots, y_n be positive real numbers so that
x1+x2++xnx1y1+x2y2++xnyn. x_1 + x_2 + \dots + x_n \geq x_1 y_1 + x_2 y_2 + \dots + x_n y_n.
Show that for any non-negative integer pp the following inequality holds
x1y1p+x2y2p++xnynpx1+x2++xn. \frac{x_1}{y_1^p} + \frac{x_2}{y_2^p} + \dots + \frac{x_n}{y_n^p} \geq x_1 + x_2 + \dots + x_n.

Solutions — 2

Solution 1

Assume by contradiction that
x1y1p+x2y2p++xnynp<x1+x2++xn. \frac{x_1}{y_1^p} + \frac{x_2}{y_2^p} + \dots + \frac{x_n}{y_n^p} < x_1 + x_2 + \dots + x_n.
On the other hand, by multiplying the given relation by pNp \in \mathbb{N}, we have
p(x1+x2++xn)p(x1y1+x2y2++xnyn). p(x_1 + x_2 + \dots + x_n) \geq p(x_1 y_1 + x_2 y_2 + \dots + x_n y_n).
Adding the above inequalities we get
(p+1)i=1nxi>i=1nxi(pyi+1yip). (p+1) \sum_{i=1}^{n} x_i > \sum_{i=1}^{n} x_i \left( p y_i + \frac{1}{y_i^p} \right).
But by the AM-GM inequality we have
pyi+1yipp+1. p y_i + \frac{1}{y_i^p} \geq p + 1.
Finally, (p+1)i=1nxi>(p+1)i=1nxi(p+1) \sum_{i=1}^{n} x_i > (p+1) \sum_{i=1}^{n} x_i, which is false.

Solution 2

We shall use the following inequality due to Radon.

LEMMA. If x1,x2,,xnx_1, x_2, \dots, x_n and y1,y2,,yny_1, y_2, \dots, y_n are positive real numbers, and pp is a non-negative real number, then the following inequality holds
x1p+1y1p+x2p+1y2p++xnp+1ynp(x1+x2++xn)p+1(y1+y2++yn)p. \frac{x_1^{p+1}}{y_1^p} + \frac{x_2^{p+1}}{y_2^p} + \dots + \frac{x_n^{p+1}}{y_n^p} \ge \frac{(x_1 + x_2 + \dots + x_n)^{p+1}}{(y_1 + y_2 + \dots + y_n)^p}.
Proof. We can rewrite the inequality as
i=1nyi(xiyi)p+1(j=1nyj)(i=1nxii=1nyi)p+1 \sum_{i=1}^{n} y_i \left( \frac{x_i}{y_i} \right)^{p+1} \ge \left( \sum_{j=1}^{n} y_j \right) \left( \frac{\sum_{i=1}^{n} x_i}{\sum_{i=1}^{n} y_i} \right)^{p+1}
or equivalently
i=1nyij=1nyj(xiyi)p+1(i=1nxii=1nyi)p+1. \sum_{i=1}^{n} \frac{y_i}{\sum_{j=1}^{n} y_j} \left( \frac{x_i}{y_i} \right)^{p+1} \ge \left( \frac{\sum_{i=1}^{n} x_i}{\sum_{i=1}^{n} y_i} \right)^{p+1}.
Let us consider the convex function f:[0,)Rf : [0, \infty) \to \mathbb{R} defined by f(x)=xp+1f(x) = x^{p+1}. The last inequality follows from Jensen's inequality
λ1f(α1)+λ2f(α2)++λnf(αn)f(λ1α1++λnαn), \lambda_1 f(\alpha_1) + \lambda_2 f(\alpha_2) + \dots + \lambda_n f(\alpha_n) \ge f(\lambda_1 \alpha_1 + \dots + \lambda_n \alpha_n),
where λi=yiy1+y2++yn>0,i=1nλi=1\lambda_i = \frac{y_i}{y_1 + y_2 + \dots + y_n} > 0, \sum_{i=1}^{n} \lambda_i = 1 and αi=xiyi\alpha_i = \frac{x_i}{y_i}. \square

Now, returning to our problem, by applying the LEMMA and the hypothesis of the problem, we obtain
i=1nxiyip=i=1nxip+1(xiyi)p(i=1nxi)p+1(i=1nxiyi)pi=1nxi. \sum_{i=1}^{n} \frac{x_i}{y_i^p} = \sum_{i=1}^{n} \frac{x_i^{p+1}}{(x_i y_i)^p} \ge \frac{\left(\sum_{i=1}^{n} x_i\right)^{p+1}}{\left(\sum_{i=1}^{n} x_i y_i\right)^p} \ge \sum_{i=1}^{n} x_i.

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.