⋙ Nếu z>12Ta có 1x2+6≥−2x+950⇔(x−2)2(2x−1)≥0 (luôn đúng)
Tương tự suy ra dpcm
⋙ Nếu z≤12
Ta có 1x2+6≥−2x+1175⇔(x−3)2(2x+1)≥0 (luôn đúng)
Tương tự cho biến y, suy ra
P≥−2(x+y)+2275+1z2+6=z+1075+1z2+6
ta cần chứng minh z+1075+1z2+6≥310⇔z75+1z2+6≥16
⇔z75+(1z2+6−16)≥0⇔z(125−z2(z2+6))≥0⇔z(2z2−25z+12)≥0⇔z(z−12)(z−12)≥0(ok)
Vậy bdt đc chứng minh, đẳng thức xảy ra ⇔x=y=z=2 hoặc x=y=3,z=0