Математика / Пределы, ряды

Необходимое условие экстремума

Если функция имеет внутренний экстремум и в этой точке дифференцируема, ее производная обязана быть нулем. Это необходимое, но не достаточное условие, поэтому оно помогает отсеять лишние точки перед более точной проверкой.

Опубликовано: Обновлено:

Формула

$$f'(x_0)=0\quad \text{если }x_0\text{ - внутренняя точка экстремума и }f\text{ дифференцируема в }x_0$$
extremum-test Горизонтальная касательная в вершине

На рисунке показан пик или впадина, в которой касательная становится горизонтальной. Это визуально объясняет, почему производная в гладком внутреннем экстремуме равна нулю.

Нулевой наклон - обязательный, но не единственный признак экстремума.

Обозначения

$x_0$
точка, в которой предполагается экстремум, единицы аргумента
$f'(x_0)$
производная функции в этой точке, единицы функции на единицу аргумента
$I$
внутренний интервал области определения, единицы аргумента

Условия применения

  • Точка x_0 должна быть внутренней точкой области определения.
  • Функция должна быть дифференцируема в x_0.
  • Речь идет именно об экстремуме, а не о точке на конце отрезка.

Ограничения

  • Если функция недифференцируема, условие f'(x_0)=0 неприменимо.
  • Это только необходимое условие: корень производной еще не гарантирует максимум или минимум.
  • На концах отрезка экстремум может существовать и без нулевой производной.

Подробное объяснение

Необходимое условие экстремума - это одна из самых полезных теорем первых шагов анализа. Она говорит, что если у функции есть внутренний локальный максимум или минимум и при этом функция гладкая, то касательная в этой точке горизонтальна. Геометрически это понятно: в точке локального пика или впадины график на мгновение перестает подниматься или опускаться, значит мгновенная скорость изменения равна нулю. Строго это выражается как f'(x_0)=0. Но важно помнить слово "необходимое": условие обязательно для гладкого внутреннего экстремума, но само по себе не гарантирует экстремум. У x^3 в нуле производная тоже равна нулю, однако график не имеет ни максимума, ни минимума, а просто проходит через горизонтальную касательную. Поэтому после применения условия всегда нужен второй шаг: знак производной, вторая производная или прямое сравнение значений. В учебной практике это условие особенно удобно тем, что резко сокращает число подозрительных точек. Вместо проверки всех x достаточно смотреть только на нули производной и точки, где производной нет. Это и есть нормальный путь от общего графика к нескольким кандидатам, которые потом уже проверяются более детально. Так формируется грамотное исследование функции: сначала фильтр, потом уточнение, и только потом окончательный вывод.

Как пользоваться формулой

  1. Проверьте, является ли точка внутренней.
  2. Убедитесь, что функция дифференцируема в этой точке.
  3. Если экстремум есть, запишите f'(x_0)=0.
  4. После этого обязательно проверьте знак производной или другие признаки.

Историческая справка

Идея необходимого условия экстремума уходит к ранним задачам о максимумах и минимумах в классической математике. До строгого анализа уже было понятно, что вершина или дно кривой не могут иметь произвольный наклон. Ферма предложил рассматривать стационарные точки, а позднее это направление развили Ролль и Лагранж. В XVIII веке оно стало особенно важным в механике и геометрии, где нужно было находить устойчивые состояния и оптимальные параметры. В XIX веке Коши и строгая школа анализа перевели интуицию о горизонтальной касательной в точную формулу про производную. Это был большой шаг: вместо образного рассуждения появилось четкое логическое правило, которое можно проверять и доказывать. В университетском курсе именно это правило становится первым формальным фильтром при поиске экстремумов. Оно не решает задачу целиком, но ясно сообщает, где искать ответ. Поэтому его историческая роль - не просто в формуле, а в дисциплине мышления: сначала вывод о нуле производной, потом проверка знаков, а потом уже окончательный вердикт.

Историческая линия формулы

Необходимое условие экстремума нельзя честно приписать одному имени. Его смысл складывался в работах Ферма о стационарных значениях, в теореме Ролля, в построениях Лагранжа и в строгом анализе Коши. Именно эта цепочка сделала правило стандартной частью университетского курса, а не личным открытием одного автора.

Пример

Для f(x)=x^2 в точке x_0=0 имеем локальный минимум, и производная действительно равна нулю: f'(x)=2x, f'(0)=0. Это хороший пример работы условия. Но если взять f(x)=x^3, то f'(0)=0 тоже, хотя экстремума в нуле нет: график просто проходит через точку с горизонтальной касательной. Значит, одного факта f'(x_0)=0 недостаточно. Еще один важный пример - f(x)=|x|. В нуле есть минимум, но производной нет, так что условие в обычной форме не применяется. Из этих трех случаев видно, зачем условие нужно: оно не находит экстремум само по себе, а только сужает круг поиска. Сначала мы говорим: если экстремум гладкий и внутренний, то производная должна обнулиться. Потом проверяем остальные признаки. Такой порядок экономит время и убирает ложные ожидания от нулей производной.

Частая ошибка

Самая распространенная ошибка - читать условие в обратную сторону и думать, что f'(x_0)=0 автоматически означает экстремум. Это неверно: у x^3 в нуле производная тоже нулевая, но экстремума нет. Еще одна ошибка - применять условие к концу отрезка, хотя там логика другая. Иногда забывают про недифференцируемые точки и пытаются вычислить производную там, где ее нет. Наконец, не надо путать необходимое условие с достаточным: для вывода о максимуме или минимуме нужна дополнительная проверка.

Практика

Задачи с решением

Проверить условие

Условие. Может ли точка x_0=0 быть внутренним экстремумом для f(x)=x^3, если f'(0)=0?

Решение. Да, производная в нуле равна нулю, но это только необходимое условие. У функции x^3 в нуле нет экстремума, потому что знак производной не меняется так, как нужно для максимума или минимума.

Ответ. Нет, одного f'(0)=0 недостаточно

Гладкий минимум

Условие. Для f(x)=x^2 найдите x_0 и проверьте необходимое условие экстремума.

Решение. В точке x_0=0 есть минимум. Производная f'(x)=2x, значит f'(0)=0, условие выполнено.

Ответ. x_0=0, f'(0)=0

Дополнительные источники

  • OpenStax Calculus Volume 1, extreme value theorem and critical points
  • MIT OpenCourseWare, Single Variable Calculus, necessary conditions for extrema
  • Thomas' Calculus, extrema and critical numbers

Связанные формулы

Математика

Критические точки функции

$x_c:\ f'(x_c)=0\ \text{или}\ f'(x_c)\text{ не существует}$

Критические точки - это кандидаты на экстремумы, перегибы и другие заметные особенности графика. Они возникают там, где производная обнуляется или вообще не определена, поэтому именно с них удобно начинать исследование функции.

Математика

Достаточный признак экстремума по смене знака производной

$f'(x):\ +\to-\Rightarrow \text{локальный максимум},\qquad f'(x):\ -\to+\Rightarrow \text{локальный минимум}$

Смена знака первой производной дает уже достаточный вывод об экстремуме. Если функция переходит от роста к убыванию, возникает максимум; если от убывания к росту, получается минимум.

Математика

Схема исследования функции

$D(f)\to f'(x)\to \text{знак }f'\to f''(x)\to \text{знак }f''\to \text{вывод о графике}$

Полная схема исследования функции объединяет область определения, производные, знаки, экстремумы, выпуклость и перегиб. Это рабочий алгоритм, который превращает сложную кривую в последовательность понятных проверок.