Следующее условие достаточно для наличия экстремума функции z = f(x, y) в стационарной точке P(x₀, y₀)

Решение:

Для определения наличия экстремума функции z = f(x, y) в стационарной точке P(x₀, y₀) используется вторая производная. Формально, условие достаточности определяется знаком определителя матрицы Гессе в этой точке.

Матрица Гессе имеет вид:

\[ H = \begin{pmatrix} \frac{\partial^2 z}{\partial x^2} & \frac{\partial^2 z}{\partial x \partial y} \\ \frac{\partial^2 z}{\partial y \partial x} & \frac{\partial^2 z}{\partial y^2} \end{pmatrix} \]

Определитель матрицы Гессе (D) вычисляется как:

\[ D = \frac{\partial^2 z}{\partial x^2} \cdot \frac{\partial^2 z}{\partial y^2} - \left(\frac{\partial^2 z}{\partial x \partial y}\right)^2 \]

Условия для экстремума:

• Если D > 0 и \(\frac{\partial^2 z}{\partial x^2} > 0\), то в точке P(x₀, y₀) — локальный минимум.
• Если D > 0 и \(\frac{\partial^2 z}{\partial x^2} < 0\), то в точке P(x₀, y₀) — локальный максимум.
• Если D < 0, то в точке P(x₀, y₀) — седловая точка.
• Если D = 0, то требуется дополнительное исследование.

Следовательно, условие, достаточное для наличия экстремума (минимума или максимума), заключается в том, что определитель матрицы Гессе должен быть положительным.

Рассмотрим предложенные варианты:

• Вариант 1: \( \frac{\partial^2 z}{\partial x^2} \cdot \frac{\partial^2 z}{\partial y^2} - \left[\frac{\partial^2 z}{\partial x \partial y}\right]^2 < 0 \). Это условие соответствует седловой точке, а не экстремуму.
• Вариант 2: \( \frac{\partial^2 z}{\partial x^2} \cdot \frac{\partial^2 z}{\partial y^2} \ge \left[\frac{\partial^2 z}{\partial x \partial y}\right]^2 \) и \( \frac{\partial^2 z}{\partial x^2} > 0 \). Это условие для локального минимума.
• Вариант 3: \( \frac{\partial^2 z}{\partial x^2} \cdot \frac{\partial^2 z}{\partial y^2} - \left[\frac{\partial^2 z}{\partial x \partial y}\right]^2 > 0 \) и \( \frac{\partial^2 z}{\partial x^2} < 0 \). Это условие для локального максимума.
• Вариант 4: \( \frac{\partial^2 z}{\partial x \partial y} < 0 \). Это условие не является достаточным для определения экстремума.

Исходя из теории, для наличия экстремума (локального минимума или локального максимума) необходимо, чтобы определитель матрицы Гессе был положительным. Варианты, включающие D > 0, являются достаточными условиями для наличия экстремума.

Поскольку в вопросе спрашивается про условие, достаточное для наличия экстремума (а не тип экстремума), то следует выбрать вариант, где D > 0.

Если предположить, что варианты 2 и 3 являются частными случаями одного общего условия D > 0, то наиболее общим условием достаточности для экстремума является D > 0.

Однако, среди предложенных вариантов, есть те, которые явно указывают на экстремум (минимум или максимум) при условии D > 0.

С учетом предложенных вариантов:

• Первый вариант: D < 0 (седловая точка) - не экстремум.
• Третий вариант: D > 0 и \(\frac{\partial^2 z}{\partial x^2} < 0\) (максимум) - является экстремумом.
• Четвертый вариант: \(\frac{\partial^2 z}{\partial x \partial y}\) < 0 - недостаточное условие.

Вариант, который включает условие D > 0, является достаточным для наличия экстремума. Вариант 3 соответствует случаю локального максимума.

Если под