x^2+2y^2-2x+4y+9=（x^2-2x+1)+2(y^2+2y+1)+9-1-2
=(x-1)^2+2(y+1)^2+6>=6
所以不论x,y取什么有理数,多项式x^2+2y^2-2x+4y+9得值总大于零