Для доказательства того, что многочлен (x^2 - 4x + y^2 + 6y + 13) принимает неотрицательные значения при любых значениях переменных (x) и (y), можно воспользоваться методом завершения квадрата.
Рассмотрим выражение (x^2 - 4x + y^2 + 6y + 13) как сумму квадратов. Преобразуем его следующим образом:
((x^2 - 4x + 4) + (y^2 + 6y + 9) = (x - 2)^2 + (y + 3)^2 + 4 + 9 = (x - 2)^2 + (y + 3)^2 + 13)
Таким образом, мы получили выражение в виде суммы квадратов, к которой прибавили константу 13. Поскольку квадрат любого числа неотрицателен, а сумма неотрицательных чисел также неотрицательна, то выражение ((x - 2)^2 + (y + 3)^2 + 13) принимает только неотрицательные значения при любых значениях переменных (x) и (y).
Следовательно, многочлен (x^2 - 4x + y^2 + 6y + 13) также принимает неотрицательные значения при любых значениях переменных (x) и (y).