AlgebraDifficulty 5.5Prove itJunior Balkan Mathematical Olympiad Shortlist · JBMO
Let a, b, c be positive real numbers with abc=1. Prove the inequality: b+a1+12a2+a1+c+b1+12b2+b1+a+c1+12c2+c1≥3
This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.
By AM−GM we have ab+bc+ca≥3 and a+b+c≥3. But 3(a2+b2+c2)≥(a+b+c)2≥3(a+b+c). So (a+b+c)2=a2+b2+c2+2ab+2bc+2ca≥3+a+b+c+ab+bc+ca. Hence ∑cycb+a1+12a2+a1≥3+a+b+c+ab+bc+ca3(a+b+c)2≥(a+b+c)23(a+b+c)2=3.
Denote a=xy, b=yz and c=zx. We have b+a1+12a2+a1=yz+yx+1x22y2+yx=x2(x+y+z)2y3+x3.