Prove that if a,b,c>0 then the inequality a2+ab+b2a2(a3+b3)+b2+bc+c2b2(b3+c3)+c2+ca+a2c2(c3+a3)≥2abc holds.
Solution
First, we will prove if ∀x,y>0 then the inequality (∗)x2+xy+y2x2−xy+y2≥31 holds.
(∗)⇔3(x2−xy+y2)≥x2+xy+y2⇔2(x2+y2)−4xy≥0⇔2(x−y)2≥0 thus proof of (∗) completes. Consequently, a2+ab+b2a2(a3+b3)=a2(a+b)a2+ab+b2a2−ab+b2≥31a2(a+b) by (∗). Similarly, b2+bc+c2b2(b3+c3)≥31b2(b+c) and c2+ca+a2c2(c3+a3)≥31c2(c+a) from where follows a2+ab+b2a2(a3+b3)+b2+bc+c2b2(b3+c3)+c2+ca+a2c2(c3+a3)≥31(a3+b3+c3)+31(a2b+b2c+c2a)≥31⋅3a3b3c3+31⋅3a2b⋅b2c⋅c2a=2abc and we have done. Equality holds when a=b=c.
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.