证明x.y不论为什么有理数,多项式x平方+y平方—2x+2y+3的值总是正数