試解

x^3/(x^2+y) + xy/(x^2+y) - xy/(x^2+y) = x - xy/(x^2+y)

由AG不等式

>= x - sqrt(y)/2

相加，再由AG不等式及題設即得。