(x+y)(x^3+y^3)
=(x+y)(x+y)(x^2-xy+y^2)
=((x+y)^2)((x-y/2)^2+(3y^2)/4)≥0
因为(x+y)^2≥0,(x-y/2)^2+(3y^2)/4≥0