`x^4+y^4≥x^3y+xy^3 (x,y∈RR)`
Chứng minh:
Giả sử điều phải chứng minh là đúng, tức là:
`x^4+y^4≥x^3y+xy^3`
`⇔x^4+y^4-x^3y-xy^3≥0`
`⇔(x^4-x^3y)+(y^4-xy^3)≥0`
`⇔x^3(x-y)+y^3(y-x)≥0`
`⇔x^3(x-y)-y^3(x-y)≥0`
`⇔(x-y)(x^3-y^3)≥0`
`⇔(x-y)(x-y)(x^2+xy+y^2)≥0`
`⇔(x-y)^2(x^2+ 2. 1/2xy + 1/4y^2+3/4y^2)≥0`
`⇔(x-y)^2[(x+1/2y)^2+3/4y^2]≥0`
Có: `(x-y)^2\ge0, (x+1/2y)^2+3/4y^2\ge0⇒(x-y)^2[(x+1/2y)^2+3/4y^2]≥0` (luôn đúng)
Dấu bằng xảy ra khi `x-y=0⇔x=y.`
Vậy `x^4+y^4≥x^3y+xy^3`. Dấu bằng xảy ra khi `x=y.`