Математика / Пределы, ряды
Необходимое условие экстремума
Если функция имеет внутренний экстремум и в этой точке дифференцируема, ее производная обязана быть нулем. Это необходимое, но не достаточное условие, поэтому оно помогает отсеять лишние точки перед более точной проверкой.
Формула
На рисунке показан пик или впадина, в которой касательная становится горизонтальной. Это визуально объясняет, почему производная в гладком внутреннем экстремуме равна нулю.
Нулевой наклон - обязательный, но не единственный признак экстремума.
Обозначения
- $x_0$
- точка, в которой предполагается экстремум, единицы аргумента
- $f'(x_0)$
- производная функции в этой точке, единицы функции на единицу аргумента
- $I$
- внутренний интервал области определения, единицы аргумента
Условия применения
- Точка x_0 должна быть внутренней точкой области определения.
- Функция должна быть дифференцируема в x_0.
- Речь идет именно об экстремуме, а не о точке на конце отрезка.
Ограничения
- Если функция недифференцируема, условие f'(x_0)=0 неприменимо.
- Это только необходимое условие: корень производной еще не гарантирует максимум или минимум.
- На концах отрезка экстремум может существовать и без нулевой производной.
Подробное объяснение
Необходимое условие экстремума - это одна из самых полезных теорем первых шагов анализа. Она говорит, что если у функции есть внутренний локальный максимум или минимум и при этом функция гладкая, то касательная в этой точке горизонтальна. Геометрически это понятно: в точке локального пика или впадины график на мгновение перестает подниматься или опускаться, значит мгновенная скорость изменения равна нулю. Строго это выражается как f'(x_0)=0. Но важно помнить слово "необходимое": условие обязательно для гладкого внутреннего экстремума, но само по себе не гарантирует экстремум. У x^3 в нуле производная тоже равна нулю, однако график не имеет ни максимума, ни минимума, а просто проходит через горизонтальную касательную. Поэтому после применения условия всегда нужен второй шаг: знак производной, вторая производная или прямое сравнение значений. В учебной практике это условие особенно удобно тем, что резко сокращает число подозрительных точек. Вместо проверки всех x достаточно смотреть только на нули производной и точки, где производной нет. Это и есть нормальный путь от общего графика к нескольким кандидатам, которые потом уже проверяются более детально. Так формируется грамотное исследование функции: сначала фильтр, потом уточнение, и только потом окончательный вывод.
Как пользоваться формулой
- Проверьте, является ли точка внутренней.
- Убедитесь, что функция дифференцируема в этой точке.
- Если экстремум есть, запишите f'(x_0)=0.
- После этого обязательно проверьте знак производной или другие признаки.
Историческая справка
Идея необходимого условия экстремума уходит к ранним задачам о максимумах и минимумах в классической математике. До строгого анализа уже было понятно, что вершина или дно кривой не могут иметь произвольный наклон. Ферма предложил рассматривать стационарные точки, а позднее это направление развили Ролль и Лагранж. В 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
Связанные формулы
Математика
Критические точки функции
Критические точки - это кандидаты на экстремумы, перегибы и другие заметные особенности графика. Они возникают там, где производная обнуляется или вообще не определена, поэтому именно с них удобно начинать исследование функции.
Математика
Достаточный признак экстремума по смене знака производной
Смена знака первой производной дает уже достаточный вывод об экстремуме. Если функция переходит от роста к убыванию, возникает максимум; если от убывания к росту, получается минимум.
Математика
Схема исследования функции
Полная схема исследования функции объединяет область определения, производные, знаки, экстремумы, выпуклость и перегиб. Это рабочий алгоритм, который превращает сложную кривую в последовательность понятных проверок.