кажется, так:
x^2+y^2-x>0 всегда =>
2x-(x^2+y^2)>0, а дальше?