Sunday, 24 July 2016

Nesbitt's Inequality for 4 Variables




I'm reading Pham Kim Hung's 'Secrets in Inequalities - Volume 1', and I have to say from the first few examples, that it is not a very good book. Definitely not beginner friendly.



Anyway, it is proven by the author, that for four variables a,b,c, and d, each being a non-negative real number, the following inequality holds:
ab+c+bc+d+cd+a+da+b2



I have no idea how the author proves this. It comes under the very first section, AM-GM. I get the original Nesbitt's inequality in 3 variables that the author proves (which is also cryptic, but I was able to decipher it).



My effort: I understood how the author defines the variables M,N and S.
S=ab+c+bc+d+cd+a+da+b


M=bb+c+cc+d+dd+a+aa+b


N=cb+c+dc+d+ad+a+ba+b



M+N=4, pretty straightforward. The numerators and denominators cross out to give four 1s.



Then the author, without any expansion/explanation, says



M+S=a+bb+c+b+cc+d+c+dd+a+d+aa+b4



Which is also true, since the AM-GM inequality says




M+S4(a+bb+cb+cc+dc+dd+ad+aa+b)1/4



The RHS above evaluates to 11/4 since all the numerators and denominators cancel out.



The next part is the crux of my question.



The author claims,



N+S=a+cb+c+a+ca+d+b+dc+d+b+da+b4(a+c)a+b+c+d+4(b+d)a+b+c+d




This is completely bizarre for me! Where did the author manage to get a sum of (a+b+c+d)??



As a side note, I'd definitely not recommend this book for any beginner in basic algebraic inequalities (even though the title of the book promotes that it's a treatment of basic inequalities). The author takes certain 'leaps of faith', just assuming that the student reading the book would be able to follow.


Answer



Since we have (xy)20, we have, for x>0,y>0,
(xy)20x2+y2+2xy4xyy(x+y)+x(x+y)4xy1x+1y4x+y


Now set x=b+c,y=a+d and x=c+d,y=a+b to get
1b+c+1a+d4b+c+a+d
and1c+d+1a+b4c+d+a+b.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...