Dễ dàng chứng minh bất đẳng thức phụ: 9.(a2.b+b2.c+c2.a)≤(a+b+c)3Từ đó, 9.(a2.b+b2.c+c2.a)≤1 (*)
A=2018.(a2b+b2c+c2a)+13.(a2+b2+c2)
A=2018.(a2b+9.a2.b+b2c+9.b2.c+c2a+9.c2.a)−2018.9.(a2.b+b2.c+c2.a)+13.(a2+b2+c2)
Theo bất đẳng thức Cô-si thì: a2+b2≥2ab
Ta có:
A≥2018.6.(a2+b2+c2)−2018.9.(a2.b+b2.c+c2.a)+13.(a2+b2+c2)
Từ (*),ta lại suy ra tiếp:
A≥2018.6.(a2+b2+c2)+13.(a2+b2+c2)−2018
A≥12105(a2+b2+c2)+3.(a2+b2+c2)+13.(a2+b2+c2)−2018
Lại theo bất đẳng thức Cô-si với 2 số 3.(a2+b2+c2) và 13.(a2+b2+c2)
A≥12105.(a2+b2+c2)+2−2018
Mà, 3.(a2+b2+c2)≥(a+b+c)2=1
Nên, A≥4035+2−2018=2019
Dấu bằng xảy ra khi và chỉ khi a=b=c=13