求证:无论x,y为何有理数,多项式x^2+y^2-2x+6y+16的值恒为正数.