есть более рациональное решение кстати, модуль и 2y возводим в квадрат (имеем право, обе части >=0) потом раскладываем на множители, в итоге имеем систему { (y-1)^2+(x-1)^2<=2; (y+1)^2+(x-1)^2>=2; y>=0 }, которая равносильна | x^{2}+ y^{2}-2x| \leq 2y. теперь в построении нуждаются 2 окружности, проверка: