证明;x^2+y^2≥xy+y+x-1