where “∑” denotes the cyclic sum. This problem was selected as a 2014 Indonesian National Team Selection Exam question. We will prove a stronger inequality: ∑a+ba⩾(∑ab)(∑a+b1)⩾22∑a.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Prove the left inequality first. Square both sides to get ∑a+ba2+2∑a+bb+cab⩾(∑ab)(∑a+b1)⇔∑(a−a+bab)+2∑a+bb+cab⩾∑(a+a+bab)⇔∑a+bb+cab⩾∑a+bab⇔∑ab(a+c)(a+b)(b+c)⩾∑ab(a+c)(b+c).
Now prove the right inequality. Using the weighted Jensen's inequality, we get 22(a+b+c)=22×2(∑a1)[∑2∑a1b1+c1(b1+c1)2a]⩽22×2(∑a1)∑(b1+c1)2(∑a1)a=22(∑b1+c1a)2(∑a1)=(∑ab)(∑a+b1).
In conclusion, the result holds.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.