For all a, b, c positive real numbers with a2b+a2c+b2a+b2c+c2a+c2b=1, show that 1+2abcab+bc+ca≤4(a+b+c)2.
Solution
Lemma. For positive a, b, c, x, y, z, it holds that ax+by+cz+2ab+bc+caxy+yz+zx≤(a+b+c)(x+y+z)
*Proof.* Use Cauchy-Schwarz inequality ax+by+cz+2ab+bc+caxy+yz+zx≤a2+b2+c2x2+y2+z2+ab+bc+caxy+yz+zx+ab+bc+caxy+yz+zx≤a2+b2+c2+2ab+2bc+2cax2+y2+z2+2xy+2yz+2zx=(a+b+c)(x+y+z) Take (x,y,z)=(b+ca,a+cb,a+bc) in the lemma. First we observe xy+yz+zx=(a+b)(b+c)(c+a)a2b+a2c+b2a+b2c+c2a+c2b=1+2abc1 By the lemma, we have 2ab+bc+caxy+yz+zx≤(a+b+c)(x+y+z)−ax−by−cz 1+2abc2ab+bc+ca≤ay+az+bx+bz+cx+cy 1+2abc2ab+bc+ca≤x(b+c)+y(c+a)+z(a+b)=a+b+c And finally, squaring both sides, we get the desired inequality 1+2abcab+bc+ca≤4(a+b+c)2
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.