§ 4.12. Теоремы о среднем значении
По определению функция
достигает в точке
локального
максимума (минимума), если существует окрестность этой точки
, на которой
выполняется неравенство
(1)
(соответственно
) (1’)
Локальный максимум или минимум
называется локальным экстремумом. Точка
называется точкой локального
экстремума.
З а м е ч а н и е 1. Если функция
непрерывна
на отрезке
и
достигает на нем максимума (минимума) в точке
, то, очевидно,
является в то же время
точкой локального максимума (минимума)
. Другое дело, если максимум (минимум)
на
достигается одной
из концевых точек отрезка. Такая точка не является точкой локального максимума
(минимума)
,
потому что
не
определена в полной ее окрестности (справа от нее и слева).
На рис. 49 изображен график
функции
,
непрерывной на
.
Точки
и
- это точки
локального минимума
, а
,
- точки локального максимума
. Конечно, можно
сказать, что
есть
точка локального одностороннего максимума
, а
- локального одностороннего минимума
. Но
не есть точка
локального минимума, а
не есть точка локального максимума.
Рис. 49
Т е о р е м а
1 (Ферма). Если
функция
имеет
производную в точке
и достигает в этой точке локального
экстремума, то
.
Д о к а з а т е
л ь с т в о. Для определенности будем считать, что
имеет в точке
локальный максимум.
По определению производной имеем
Так как у нас
, то для достаточно малых
,
откуда в пределе при
.
(2)
Если же
, то
,
поэтому, переходя к пределу при
в этом неравенстве,
получаем, что
.
(3)
Из соотношений (2) и (3) вытекает, что
.
Т е о р е м а 2 (Р о л л я).
Если функция
непрерывна на
, дифференцируема на
и
, то существует
точка
,
такая, что
.
Д о к а з а т е
л ь с т в о. Если
постоянна
на
, то
для всех
производная
.
Будем теперь
считать, что
непостоянна
на
. Так
как
непрерывна
на
, то
существует точка
,
в которой
достигает
максимума на
(см.
§ 3.5, теорема 2), и существует точка
, в которой
достигает минимума на
. Обе точки не могут
быть концевыми точками отрезка
, потому что иначе
и
была бы постоянной на
. Следовательно,
одна из точек
,
принадлежит
к интервалу
.
Обозначим ее через
. В ней достигается локальный
экстремум. Кроме того,
существует, потому что по условию
существует для всех
. Поэтому
по теореме Ферма
.
З а м е ч а н и е 2. Теорема
Ролля сохраняет силу также для интервала
, лишь бы выполнялось соотношение
.
З а м е ч а н и е 3. Теорема
Ролля теряет силу, если хотя бы в одной точке
не существует. Пример:
на
. В теореме также
нельзя заменить непрерывность на
на непрерывность на
. Примером является
функция
Точка
- точка разрыва.
З а м е ч а н и
е 4. Теорема Ролля имеет простой геометрический смысл. Если выполнены условия
теоремы, то на графике (рис. 50) функции
существует точка
, касательная в которой
параллельна оси
.
Рис. 50
Т е о р е м а
3 (Коши). Если функции
и
непрерывны на
и дифференцируемы на
, и
в
, то существует
точка
такая,
что
.
(4)
Д о к а з а т е л ь с т в о.
Отметим, что
,
так как в противном случае, по теореме Ролля, нашлась бы точка
такая, что
, чего быть не может
по условию теоремы. Составим вспомогательную функцию
.
В силу условия теоремы эта
функция
непрерывна
на
,
дифференцируема на
и
. Применяя теорему Ролля, получим, что
существует точка
,
в которой
.
Но
,
поэтому, подставляя вместо
точку
, получаем
утверждение теоремы.
З а м е ч а н и е 5. В формуле
(4) Коши, как нетрудно видеть, не обязательно считать
. Но тогда
и
обозначают
соответственно множества точек
, для которых
,
.
Как следствие из теоремы Коши,
при
получим
теорему Лагранжа.
Т е о р е м а
4 (о среднем Лагранжа). Пусть функция
непрерывна на отрезке
и имеет производную
на интервале
.
Тогда существует на интервале
точка
, для которой выполняется равенство
. (5)
Теорема Лагранжа имеет простой
геометрический смысл, если записать ее в виде
.
Левая часть этого равенства есть
тангенс угла наклона к оси хорды, стягивающей точки
и
графика функции
, а правая часть
есть тангенс угла наклона касательной к графику в некоторой промежуточной точке
с абсциссой
.
Теорема Лагранжа утверждает, что если кривая (рис. 51) есть график непрерывной
на
функции,
имеющей производную на
, то на этой кривой существует точка,
соответствующая некоторой абсциссе
такая, что касательная к кривой в этой
точке параллельна хорде, стягивающей концы кривой
и
.
Рис. 51
Равенство (5)
называется формулой (Лагранжа) конечных приращений. Промежуточное
значение
удобно
записывать в виде
,
где
есть некоторое число, удовлетворяющее
неравенствам
.
Тогда формула Лагранжа примет вид
. (6)
Она верна, очевидно, не только
для
, но и
для
.
Т е о р е м а
5. Функция, непрерывная на отрезке
, где
, и имеющая неотрицательную
(положительную) производную на интервале
, не убывает (строго возрастает) на
.
Действительно,
пусть
,
тогда на отрезке
выполняются
условия теоремы Лагранжа. Поэтому найдется на интервале
точка
, для которой
.
Если по условию
на
, то
и
;
(7)
если же
на
, то
и
.
(8)
Так как неравенства (7) и (8)
имеют место, каковы бы ни были
, где
, то в первом случае
не убывает, а во
втором
строго
возрастает на отрезке
.
П р и м е р 1.
Возвратимся к примеру 1 § 4.7, где надо было оценить величину
. Применим формулу
Лагранжа к функции
. Имеем
.
В примере 1 § 4.7 мы получили
такой же результат, но сейчас он получил полное обоснование.
П р и м е р 2. Функция
имеет непрерывную
производную
,
и обладает свойствами
.
Следовательно, она строго
возрастает и непрерывно дифференцируема на
и отображает интервал
на
. Поэтому она имеет
обратную однозначную непрерывно дифференцируемую функцию, обозначаемую так:
,
.
Т е о р е м а 6. Если функция
имеет на интервале
производную, равную нулю, то она постоянна
на
.
В самом деле, на основании теоремы
Лагранжа имеет место равенство
,
где
- фиксированная точка интервала
,
- произвольная его
точка (она может находиться справа и слева от
) и
- некоторая, зависящая от
и
точка, находящаяся
между
и
. Так как по условию
на
, то
и
для всех
.
Заметим, что в
приведенных теоремах ослабление налагаемых в них условий может привести к
неверности утверждений (см. замечания 1, 2 к теореме Ролля).
О п р е д е л е
н и е. Будем говорить, что функция
возрастает (убывает) в точке
, если существует
число
такое,
что
при
.
Очевидно, что если функция
возрастает
(убывает) на
,
то она возрастает (убывает) в каждой точке
.
Т е о р е м а 7. Если
(
), то функция
возрастает
(убывает) в точке
.
Д о к а з а т е
л ь с т в о. Так как
, то, задав
, можно найти такое
, что
при
. Пусть
. Взяв
, получаем
при
, т. е. функция
возрастает в точке
.
З а м е ч а н и
е 6. Если функция
имеет производную и не убывает на
, то
на этом интервале.
При сказанных условиях невозможно, чтобы в какой-либо точке
производная от
была отрицательной
– это бы противоречило теореме 7.
Если
имеет производную и
строго возрастает на
и если у нас других сведений об
нет, то все равно
придется заключить, что
на
, потому что строго возрастающая
функция в отдельных точках
может иметь производную, равную нулю.
Такой например, является функция
, строго возрастающая на
и имеющая при
производную, равную
нулю.
З а м е ч а н и е 7. Если
функция возрастает в точке
, то она обязательно возрастает в
некоторой окрестности точки
.
Примером может служить функция
Очевидно, что
,
и
возрастает в точке
. Однако эта функция
немонотонна, так как производная
в любой малой окрестности нуля
принимает как положительные, так и отрицательные значения (см. теорему 5). Для
при
четном она равна
, а при
нечетном она равна
.
Т е о р е м а
8. Если функция
четная (нечетная) и дифференцируема на
, то
нечетная (четная)
функция.
Д о к а з а т е
л ь с т в о. Так как
, то производные левой и правой части
тоже совпадают:
,
т. е.
-
нечетная функция. (Этот же факт можно доказать, исходя из определения
производной.)