x3+y3\(\geq\) x2y + xy2, \(\forall\)x\(\geq\)0,\(\forall\)y\(\geq\)0
Xét x=0,y=0 thì bất đẳng thức này luôn đúng.(*)
Xét x>0,y>0,ta có CM bất đẳng thức đó luôn đúng
x3+y3\(\geq\) x2y+xy2
\(\Leftrightarrow\) x3+y3-x2y-xy2\(\geq\)0
\(\Leftrightarrow\) (x3-x2y) + (y3-xy2) \(\geq\)0
\(\Leftrightarrow\) x2(x-y) - y2(x-y) \(\geq\) 0
\(\Leftrightarrow\) (x-y)(x2-y2) \(\geq\) 0
\(\Leftrightarrow\) (x-y)(x-y)(x+y) \(\geq\) 0
\(\Leftrightarrow\) (x-y)2(x+y) \(\geq\) 0 (1)
Ta có (x-y)2\(\geq\)0, x+y >0(vì x>0,y>0)
Nên bất phương trình (1); (x-y)2(x+y) \(\geq\) 0(luôn đúng)(**)
Từ(*) và (**) suy ra BĐT được chứng minh:
x3+y3\(\geq\) x2y+xy2, \(\forall\)x\(\geq\)0,\(\forall\)y\(\geq\)0
Dấu "=" xảy ra khi và chỉ khi x=y.