Đặt x+y+z=p,xy+yz+zx=q,xyz=rx3+y3+z3+xyz≥4⇔p3−3pq+3r+r≥4⇔9q−4r≤23(1) (do p=3)
Theo bđt schur, ta có r≥max{0,p(4q−p2)9}=max{0,4q−93}
* Với q<94 hay 4q−9<0⇒r≥0
VT(1)=9q−4r≤9q<814<23
* Với q≥94 hay 4q−9≥0⇒r≥4q−93
VT(1)=9q−4r≤9q−4(4q−9)3=113q+12≤113.p23+12=23
⇒(1) luôn đúng
⇒ bđt ban đầu đúng, dấu "="⇔x=y=1. Phép c/m hoàn tất