AlgebraDifficulty 7.6National olympiad, round 2Prove it
46. Given that a,b,c are positive numbers, and ab+bc+ca⩽3abc, prove: a+ba2+b2+b+cb2+c2+c+ac2+a2+3⩽2(a+b)+2(b+c)+2(c+a). (2009 IMO Shortlist, 2010 Iran National Training Team Problem)
Solution
46. By Cauchy-Schwarz inequality (square mean is no less than arithmetic mean), 2a+b=2a+bab21(2+aba2+b2)⩾2a+bab⋅21(2+aba2+b2)=a+b2ab+a+ba2+b2