
- •Математический анализ
- •§ 1. Логическая символика, множества и операции над ними
- •§ 2. Функции и их классификация
- •Четность и нечетность функции
- •2) Промежутки возрастания и убывания функции (монотонность).
- •Элементарные функции
- •§ 3. Абсолютные величины и соотношения, связанные с ними
- •Свойства модуля действительного числа
- •§ 4. Последовательность. Характер изменения переменных величин
- •§ 5. Понятие о пределе переменной
- •§ 6. Окрестность точки
- •§ 7. Предел функции в точке и в бесконечности
- •§ 8. Односторонние пределы функции в точке
- •§ 9. Свойства функций, имеющих предел
- •§ 10. Бесконечно малые и бесконечно большие функции
- •§ 11. Основные теоремы о пределах
- •§ 12. Предел дробно-рациональной функции
- •§ 13. Первый замечательный предел
- •§ 14. Второй замечательный предел
- •§ 15. Сравнение бесконечно малых функций
- •§ 16. Непрерывность функции
- •§ 17. Операции над непрерывными функциями
- •§ 18. Свойства функций, непрерывных на отрезке
- •§ 19. Производная функции одной переменной
- •10. Задачи, приводящие к понятию производной.
- •20. Основные свойства производной
- •30. Производная сложной функции
- •40. Производная обратной функции
- •50. Уравнения касательной и нормали к линии
- •60. Дифференцирование элементарных функций
- •70. Производная степенно-показательной функции
- •80. Дифференцирование неявной функции
- •90. Производные высших порядков
- •100. Основные теоремы для дифференцируемых функций
- •110. Правило Лопиталя раскрытия неопределенностей.Раскрытие неопределенностей различных видов.
- •Виды неопределенностей
- •120. Необходимые и достаточные условия монотонности функции. Экстремумы функции
- •130. Наибольшее и наименьшее значения функции на отрезке
- •140. Выпуклость и вогнутость функции
- •150. Формула Тейлора
- •150. Асимптоты графика функций
- •§ 20. Дифференциал функции одной переменной
- •10. Дифференциал и его геометрический смысл
- •20. Свойства дифференциала функции
- •30. Дифференциал сложной функции. Свойство инвариантности
- •40. Приближенное вычисление с помощью дифференциала
- •50. Дифференциалы высших порядков
120. Необходимые и достаточные условия монотонности функции. Экстремумы функции
Определение 1. Точка
называется точкой максимума функции
,
если существует такая
-окрестность
точки
,
что для всех
из этой окрестности выполняется
неравенство
.
Определение 2. Точка
называется точкой минимума функции
,
если существует такая
-окрестность
точки
,
что для всех
из этой окрестности выполняется
неравенство
.
Определение 3. Экстремумом функции называется точка максимума или минимума функции.
Определение 4. Функция
называется возрастающей на множестве
,
если для любых значений
и
из области определения:
,
и убывающей, если для любых значений
и
из области определения:
.
Теорема 1 (необходимое условие монотонности функции на отрезке). Пусть функция непрерывна на отрезке и дифференцируема на интервале . Тогда:
1) если функция
монотонно возрастает на интервале
,
то
на
;
2) если функция
монотонно убывает на интервале
,
то
на
.
Доказательство. Пусть
функция
монотонно возрастает на интервале
.
Тогда для любых значений
и
из интервала
имеем:
.
Возьмем
произвольную точку
,
придадим аргументу
приращение
так, что
,
функция
получит приращение
:
.
Отсюда получаем:
1) если
,
то
;
2) если
,
то
.
Таким образом, на интервале .
Доказательство п. 2) проводится аналогично.
Теорема 2 (достаточное условие монотонности функции на отрезке). Пусть функция непрерывна на отрезке и дифференцируема на интервале . Тогда, если для любой точки интервала , то функция – возрастающая на интервале и если , то – убывающая на интервале функция.
Доказательство. Т.к.
функция
непрерывна на отрезке
и дифференцируема на интервале
,
то выполняются теоремы Ферма, Ролля и
Лагранжа. Рассмотрим точки
.
Пусть
.
Тогда, по теореме Лагранжа, существует
точка
,
причем
:
.
1) Если для любого
,
следовательно, функция
возрастает на отрезке
.
2) Если
для любого
,
следовательно, функция
убывает на отрезке
.
Теорема 3. Для того, чтобы функция , непрерывная на отрезке и дифференцируемая на интервале , была постоянной функцией, необходимо и достаточно, чтобы ее производная на данном интервале была равна нулю.
Доказательство. 1) Необходимость.
Пусть
для любого
.
Тогда для любого
.
2) Достаточность.
Пусть для любого выполняется .
Выберем два любых : . Тогда по теореме Лагранжа существует , где :
по предположению, следовательно,
– постоянная функция на
.
Теорема 4 (первое достаточное условие существования экстремума). Пусть функция – дифференцируемая функция.
1) Если в точке первая производная меняет свой знак с “+” на “–”, то функция имеет в точке максимум.
2) Если в точке первая производная меняет свой знак с “–” на “+”, то функция имеет в точке минимум.
Д оказательство. Доказательство следует из необходимого и достаточного условия монотонности функции.
Теорема 5 (второе достаточное условие существования экстремума). Пусть функция дважды дифференцируема, причем и – непрерывные функции. Тогда:
1) если
и
– точка максимума функции
;
2) если
и
– точка минимума функции
.
Доказательство.
1) Пусть
и
.
В силу своей непрерывности функция
в некоторой окрестности точки
.
Тогда по теореме 2 функция
убывает в этой окрестности. Поскольку
,
то функция
меняет в точке
свой знак с “+” на “–”. Следовательно,
по теореме 4 функция
имеет в точке
максимум.
2) Пусть
и
.
В силу своей непрерывности функция
в некоторой окрестности точки
.
Тогда по теореме 2 функция
возрастает в этой окрестности. Поскольку
,
то функция
меняет в точке
свой знак с “–” на “+”. Следовательно,
по теореме 4 функция
имеет в точке
минимум.
Теорема 6 (необходимое условие существования экстремума функции в точке). Пусть функция имеет в точке экстремум. Тогда производная либо равна нулю в точке , либо не существует.
Д оказательство. Если в точке функция достигает экстремума, скажем максимума, то значение функции в этой точке является наибольшим ее значением в некоторой окрестности точки . Но по теореме Ферма в тех внутренних точках интервала, в которых дифференцируемая функция достигает своего наибольшего значения, ее производная равна нулю. Аналогично проводится рассуждение и для точки минимума.