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