Solution:
The given inequality may be written in the form
7c2−6(a+b)c−(a2+b2−6ab)<0
Putting x=7c2, y=−6(a+b)c, z=−(a2+b2−6ab), we have to prove that x+y+z<0. Observe that x,y,z are not all equal (x>0,y<0). Using the identity
x3+y3+z3−3xyz=21(x+y+z)[(x−y)2+(y−z)2+(z−x)2]
we infer that it is sufficient to prove x3+y3+z3−3xyz<0. Substituting the values of x,y,z, we see that this is equivalent to
343c6−216(a+b)3c3−(a2+b2−6ab)3−126c3(a+b)(a2+b2−6ab)<0
Using c3=a3+b3, this reduces to
343(a3+b3)2−216(a+b)3(a3+b3)−(a2+b2−6ab)3−126(a3+b3)(a+b)(a2+b2−6ab)<0
This may be simplified (after some tedious calculations) to,
−a2b2(129a2−254ab+129b2)<0
But 129a2−254ab+129b2=129(a−b)2+4ab>0. Hence the result follows.
1. We have
a3=c3−b3=(c−b)(c2+cb+b2)
which is same as
c−ba2=ac2+cb+b2
Similarly, we get
c−ab2=bc2+ca+a2
We observe that
c−ba2+c−ab2=(c−a)(c−b)c(a2+b2)−a3−b3=(c−a)(c−b)c(a2+b2−c2)
This shows that
(c−a)(c−b)a2+b2−c2=cac2+cb+b2+cbc2+ca+a2
Thus it is sufficient to prove that
cac2+cb+b2+cbc2+ca+a2≥6
However, we have c2+b2≥2cb and c2+a2≥2ca. Hence
cac2+cb+b2+cbc2+ca+a2≥3(ab+ba)≥3×2=6
We have used AM-GM inequality.
2. Let us set x=a/c and y=b/c. Then x3+y3=1 and the inequality to be proved is x2+y2−1>6(1−x)(1−y). This reduces to
(x+y)2+6(x+y)−8xy−7>0
But
1=x3+y3=(x+y)(x2−xy+y2)
which gives xy=((x+y)3−1)/3(x+y). Substituting this in (1) and introducing x+y=t, the inequality takes the form
t2+6t−38t(t3−1)−7>0
This may be simplified to −5t3+18t2−2t+8>0. Equivalently
−(5t−8)(t−1)2>0
Thus we need to prove that 5t<8. Observe that (x+y)3>x3+y3=1, so that t>1. We also have
(2x+y)≤2x3+y3=21
This shows that t3≤4. Thus
(85t)3≤512125×4=512500<1
Hence 5t<8, which proves the given inequality.
3. We write b3=c3−a3 and a3=c3−b3 so that
c−a=c2−ca+a2b3,c−b=c2−cb+b2a3
Thus the inequality reduces to
a2+b2−c2>6(c2−ca+a2)(c2−cb+b2)a3b3
This simplifies (after some lengthy calculations) to
−c6−(a+b)c5−abc4+(a3+b3)c3+(a4+a3b+a2b2+ab3+b4)c2+(a2b+ab2+a3+b3)abc+(a4b2−6a3b3+a2b4)>0
Substituting
c3=a3+b3,c4=c(a3+b3),c5=c2(a3+b3),c6=(a3+b3)2
the inequality further reduces to
a2b2(a2+b2+c2+ac+bc−6ab)>0
Thus we need to prove that a2+b2+c2+ac+bc−6ab>0. Since a2+b2≥2ab, it is enough to prove that c2+c(a+b)−4ab>0. Multiplying this by c and using a3+b3=c3, we need to prove that
a3+b3+c2a+c2b>4abc
Using AM-GM inequality to these 4 terms and using c>a,c>b we get
a3+b3+c2a+c2b>4(a3b3c2ac2b)1/4=4abc
which proves the inequality.