Выделим сразу два полных квадрата:
x² + 2x + y² - 4y + 5 = x² + 2x + 1 + y² - 4y + 4 = (x + 1)² + (y - 2)²
(x + 1)² ≥ 0 при любых x, т.к. квадрат числа - число неотрицательное.
(y - 2)² ≥ 0 при любых y, т.к. квадрат числа - число неотрицательное.
Сумма квадратов двух чисел тогда будет тоже неотрицательной, а значит,
x² + 2x + y² - 4y + 5 ≥ 0 при любых значениях x и y.