Bất đẳng thức AM−GM : 3(a2+b2+c2)≥(a+b+c)2 và a2+b2+c2≥ab+ac+bc
Áp dụng bất đẳng thức AM−GM ta có: 3(a4+b4+c4)≥(a2+b2+c2)2
Lại áp dụng AM−GM ta có: (a2+b2+c2)2≥3(a2b2+b2c2+c2a2)=3((ab)2+(bc)2+(ac)2)
Lại áp dụng AM−GM lần nữa ta có: 3((ab)2+(bc)2+(ca)2)≥3(ab2c+abc2+a2bc)=3abc(a+b+c)=3abc (a+b+c=1)
Vậy ta có: 3(a4+b4+c4)≥3abc⇒a4+b4+c4≥abc
Mà theo pt (2) thì dấu bằng xảy ra nên a=b=c
Kết hợp a+b+c=3⇒a=b=c=13