We need to prove2(ab+bc+ca)+4a2≥a2+b2+c2 Add 2(ab+bc+ca) to both sides.⟺4(ab+bc+ca)+4a2≥a2+b2+c2+2(ab+bc+ca)=(a+b+c)2
By the assumption of the problem, a+b+c=43abc4(ab+bc+ca)+4a2=4a(a+b+c)+4bc≥(a+b+c)2=(43abc)2⟺4a(43abc)+4bc≥163a2b2c2⟺16a3abc+4bc≥163a2b2c2⟺4a3abc+bc≥43a2b2c2
By Mean Inequalities24a3abc+bc≥4a3abc⋅bc⟹4a3abc+bc≥4abc3abc⟹4a3abc+bc≥43a4b4c4⟹4a3abc+bc≥43a2b2c2