5
$\begingroup$

I recently met the inequality $\frac{a+b-2c}{b+c} + \frac{b+c-2a}{c+a} + \frac{c+a-2b}{a+b} \geq 0$ , where a , b , c are all positive real numbers. I wanted to prove it but had some difficult time , seeing no connection to any known standard inequalities I began to simplify the expression multiplied by $(a+b)(b+c)(c+a)$ , after some simple and elementary but tedious calculations I obtained:-

$$(a+b)(b+c)(c+a) \left(\frac{a+b-2c}{b+c} + \frac{b+c-2a}{c+a} + \frac{c+a-2b}{a+b}\right) \\=a(a-c)^2 + b(b-a)^2 + c(c-b)^2$$ , which is obviously non-negative thus proving the inequality. But I am wondering , is there any other way(s) to prove the inequality? Also, what is the shortest way of deriving the above said identity ?

  • 0
    you can think of $a,b$ and $c$ as lengths a of triangle, may be you will work it out.2012-10-12
  • 0
    @ mohamez:- Um, a,b,c are arbitary positive real numbers , so perhaps they can not loosely be assumed to be the sides of a triangle (e.g.:- a,b,c can take the values 2,3,7 ; but a triangle can not)2012-10-12
  • 0
    @ Souvik Why not?! since the sides of a triangle are also arbitary positive real numbers. for example take $3$ sticks of lenghts respectively $2m$, $3m$ and $7m$ can you join the vertices to make up a triangle? i'm making no condition on the triangle! Whatch this:http://www.youtube.com/watch?v=v5ErHe-ls1A isn't the sticks in the video of arbitary lenghts?2012-10-12

3 Answers 3

3

We can set $a+b=C$ and so on, then minimize

$$ f(A,B,C)=\sum_{cyc}\frac{2C-B}{A}. $$

If we regard $f$ as a function of $B$ and $C$ only, we have that $\frac{\partial f}{\partial B}=0$ implies $(B^2-AC)(2A-C)=0$, and $\frac{\partial f}{\partial C}=0$ implies $(C^2-AB)(2B-A)=0$. So we have four stationary points:

$$ (B/A,C/A)\in\left\{(1,1),(2,4),(2,1/2),(1/2,1/4)\right\}.$$

Without loss of generality we can additionally assume $A\leq B\leq C$, having stationary points for

$$(A,B,C) = (\lambda,\lambda,\lambda)\quad\mbox{or}\quad(\lambda,2\lambda,4\lambda).$$

We can now substitute these values into $f$ to prove the inequality.

2

To address the first question, let $x = b+c$, $y = c+a$ and $z = a+b$. Then $2c=x+y-z$, so the inequality rewrites as $$ \frac{y-(x+y-z)}{x} + \frac{z-(y+z-x)}{y} + \frac{x-(x+y-z)}{z} \ge 0 $$ or $$\frac{z}{x} + \frac{x}{y} + \frac{y}{z} \ge 3,$$ which follows immediately from the AM-GM inequality.

  • 0
    You have mistaken in writing down the inequality , what you have wrote is ((a-c)/(b+c)) + ((b-a)/(c+a)) + ((c-b)/(a+b)) ≥ 0 ; this is not what I stated. Using x=b+c , y=c+a , z=a+b , the inequality I posed becomes 2(z/x + y/z + x/y)≥ 3 + y/x + z/y + x/z ; which is much stronger than AM-GM inequality2012-10-17
  • 1
    I totally agree with @Souvik Dey - since the inequality has more than 1 stationary points, it cannot follow from an inequality among means, since these inequalities have the unique stationary point $a=b=\ldots$.2012-10-23
  • 0
    @JackD'Aurizio:- Nice to see that you noticed the fact that v_Enhance's proof is wrong ; though I have accepted your previous answer I still think that the procedure you adopted is not quite elementary as the inequality itself. Can you give it a try of proving the inequality by proving the alternative version that I stated in my last comment , in an elementary way ?2012-10-23
  • 1
    @SouvikDey I see this is a very old post so I'm not sure if it still interests you. The inequality you mention after the substitution $2(z/x + y/z + x/y)\ge 3 + y/x + z/y + x/z$ can be proved elementarily [**see here**](http://math.stackexchange.com/a/1097350/129017) with a slight modified argument that if $2c \ngeq a \implies a > 2c \ge 2b$ (since, $c$ is the middle term) $\displaystyle \implies \frac{1}{bc} > \frac{2}{ac} \implies \frac{4}{ab}+\frac{1}{bc} \ge \frac{2}{ac}$.2015-01-09
0

$$\sum_{cyc}\frac{b+c-2a}{c+a}=\sum_{cyc}\frac{c-a-(a-b)}{c+a}=\sum_{cyc}(a-b)\left(\frac{1}{a+b}-\frac{1}{a+c}\right)=$$ $$=\sum_{cyc}\frac{(a-b)(c-b)}{(a+b)(a+c)}=\sum_{cyc}\frac{(a-b)(c-a+a-b)}{(a+b)(a+c)}=$$ $$=\sum_{cyc}\frac{(a-b)^2}{(a+b)(a+c)}-\sum_{cyc}\frac{(a-b)(a-c)}{(a+b)(a+c)}=$$ $$=\sum_{cyc}\frac{(a-b)^2}{(a+b)(a+c)}-\sum_{cyc}\frac{(a-b)(a-c)(b+c)}{\prod\limits_{cyc}(a+b)}=$$ $$=\sum_{cyc}\frac{(a-b)^2}{(a+b)(a+c)}-\sum_{cyc}\frac{a^2b+a^2c-2abc}{\prod\limits_{cyc}(a+b)}=$$ $$=\sum_{cyc}\frac{(a-b)^2(b+c)}{\prod\limits_{cyc}(a+b)}-\sum_{cyc}\frac{c(a-b)^2}{\prod\limits_{cyc}(a+b)}=\sum_{cyc}\frac{(a-b)^2b}{\prod\limits_{cyc}(a+b)}\geq0.$$ Done!