17
$\begingroup$

Let $x_1,x_2,\ldots,x_n > 0$ such that $\dfrac{1}{1+x_1}+\cdots+\dfrac{1}{1+x_n}=1$. Prove the following inequality. $$\sqrt{x_1}+\sqrt{x_2}+\cdots+\sqrt{x_n} \geq (n-1) \left (\dfrac{1}{\sqrt{x_1}}+\dfrac{1}{\sqrt{x_2}}+\cdots+\dfrac{1}{\sqrt{x_n}} \right ).$$

This is Exercice 1.48 in the book "Inequalities-A mathematical Olympiad approach".

Attempt

I tried using HM-GM and I got $\left ( \dfrac{1}{x_1x_2\cdots x_n}\right)^{\frac{1}{2n}} \geq \dfrac{n}{\dfrac{1}{\sqrt{x_1}}+\dfrac{1}{\sqrt{x_2}}+\cdots+\dfrac{1}{\sqrt{x_n}}} \implies \dfrac{1}{\sqrt{x_1}}+\dfrac{1}{\sqrt{x_1}}+\cdots+\dfrac{1}{\sqrt{x_n}} \geq n(x_1x_2 \cdots x_n)^{\frac{1}{2n}}$. But I get stuck here and don't know if this even helps.

$\endgroup$
4
  • 2
    $\begingroup$ from where does this come? $\endgroup$ Commented Dec 29, 2015 at 19:46
  • 1
    $\begingroup$ An inequality book. $\endgroup$ Commented Dec 29, 2015 at 19:56
  • 3
    $\begingroup$ Would you mind to tell us title and author? Does that book contain solutions or hints? – Or is this meant as an exercise for us? $\endgroup$
    – Martin R
    Commented Dec 29, 2015 at 20:00
  • $\begingroup$ It was a problem my instructor gave me, and I don't know where he got it from. We must figure this out ourselves. $\endgroup$ Commented Dec 29, 2015 at 20:11

2 Answers 2

11
$\begingroup$

Note that $\displaystyle \sum_{i = 1}^n \dfrac{1}{1+a_i} = 1 \implies \sum_{i = 1}^n \dfrac{a_i}{1+a_i} = n-1$. Then, $$\displaystyle \sum_{i = 1}^n \sqrt{a_i}-(n-1)\sum_{i = 1}^n \dfrac{1}{\sqrt{a_i}} = \sum_{i = 1}^n \dfrac{1}{1+a_i}\sum \sqrt{a_i} - \sum_{i = 1}^n \dfrac{a_i}{1+a_i} \sum_{i = 1}^n \dfrac{1}{\sqrt{a_i}} = \displaystyle \sum_{i,j} \dfrac{a_i-a_j}{(1+a_j)\sqrt{a_i}} = \sum_{i>j} \dfrac{(\sqrt{a_i}\sqrt{a_j}-1)(\sqrt{a_i}-\sqrt{a_j})^2(\sqrt{a_i}+\sqrt{a_j})}{(1+a_i)(1+a_j)\sqrt{a_i}\sqrt{a_j}}$$

But $1 \geq \dfrac{1}{1+a_i}+\dfrac{1}{1+a_j} = \dfrac{2+a_i+a_j}{1+a_i+a_j+a_ia_j}$ thus $a_ia_j \geq 1$. Hence the terms of the last sum are positive.

$\endgroup$
0
11
$\begingroup$

Rewrite our inequality in the following form: $\sum\limits_{i=1}^n\frac{x_i+1}{\sqrt{x_i}}\sum\limits_{i=1}^n\frac{1}{x_i+1}\geq n\sum\limits_{i=1}^n\frac{1}{\sqrt{x_i}}$, which is Chebyshov.

$\endgroup$
9
  • $\begingroup$ But to use Chebyshev, you need the terms to be decreasing, right? It's not necessarily true. $\endgroup$ Commented Dec 29, 2015 at 22:07
  • $\begingroup$ To Vinícius Novelli. If $x_1\leq x_2\leq...\leq x_n$ so $x_2\geq\frac{1}{x_1}>1$ $\endgroup$ Commented Dec 29, 2015 at 22:25
  • $\begingroup$ It was for $x_1<1$. But If $x_1\geq1$ it's obvious. $\endgroup$ Commented Dec 29, 2015 at 22:34
  • $\begingroup$ $\frac{x+1}{\sqrt{x}}$ decreases for $x<1$. So the Chebyshev does not apply directly. $\endgroup$
    – Hans
    Commented Oct 12, 2018 at 1:37
  • 1
    $\begingroup$ Ingenious proof! +1 $\endgroup$
    – Hans
    Commented Dec 17, 2019 at 4:27

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .