Выражение можно преобразовать к виду суммы квадратов двучленов
x² + 2x(y+1) + (y+1)² + 2y² + 4y + 2 = (x+y+1)² + 2(y+1)² ≥ 0
