Show that 42(a2+b2)(a2−ab+b2)+42(b2+c2)(b2−bc+c2)+42(c2+a2)(c2−ca+a2)≤32(a2+b2+c2)(a+b1+b+c1+c+a1) for all positive real numbers a, b, c.
Solution
We have 42(a2+b2)(a2−ab+b2)≤a+ba2+b2 for all nonnegative real numbers a, b as this inequality is equivalent to (a+b)4(a2−ab+b2)≤2(a2+b2)3 which is in turn equivalent to (a−b)4(a2+ab+b2)≥0.
a+ba2+b2+b+cb2+c2+c+ac2+a2≤32(a2+b2+c2)(a+b1+b+c1+c+a1) Without loss of generality we may assume that a≥b≥c. Then we also have a2+b2≥a2+c2≥b2+c2 and a+b1≤a+c1≤b+c1. The result follows by the Rearrangement Inequality.
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.