求证:不论x,y取任何有理数,多项式(x^2+3x^2—2xy^2+4y^3+1)+(y^3-xy^2+x^2y-2x^