Example 8.1.4 Let a,b,c≥0, prove: b2−bc+c2a3+c2−ca+a2b3+a2−ab+b2c3≥a+b+c
Solution
Prove: By applying the Cauchy-Schwarz inequality, we have cyc∑b2−bc+c2a3=cyc∑a(b2−bc+c2)a4≥∑cyca(b2−bc+c2)(a2+b2+c2)2, thus it suffices to prove (cyc∑a2)2≥(cyc∑a(b2−bc+c2))(cyc∑a) or cyc∑a4+2cyc∑a2b2≥(a+b+c)cyc∑a2(b+c)−3abccyc∑a or cyc∑a4+abccyc∑a≥cyc∑a3(b+c). This is a fourth-degree Schur inequality. The equality holds if and only if a=b=c or a=b,c=0 and its permutations.
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.