Let a,b,c,d be positive real numbers satisfying a+b+c+d=4. Prove that: cyc∑a2+ab+b23a3+cyc∑a+b2ab≥8.
Solution
Notice that cyc∑a2+ab+b2a3−b3=cyc∑(a−b)=0. Hence LHS=cyc∑2(a2+ab+b2)3a3+3b3+cyc∑a+b2ab. Now a+b2ab=a+b−a+ba2+b2, which means we only need to prove that cyc∑2(a2+ab+b2)3a3+3b3≥cyc∑a+ba2+b2. This is true since 3(a3+b3)(a+b)≥3(a2+b2)2≥2(a2+ab+b2)(a2+b2).
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 translated into English from the original; metadata (topic, difficulty) added by this project.