Ю.Н. Макаров - Лекции по математическому анализу для студентов первого курса Химфака МГУ (1108358), страница 5
Текст из файла (страница 5)
Замечание. Теорема Лагранжа имеет следующую геометрическую интерпретацию: Рассмотрим график функции . Обозначим
и
− концевые точки графика. Равенство Лагранжа
означает, что касательная к графику в точке
параллельна хорде
, соединяющей концевые точки
и
графика функции.
Теорема Коши. Пусть функции и
удовлетворяют условиям:
1) ,
2) ,
3) .
Тогда такая, что
.
Доказательство. Применим следствие 2 теоремы Ролля: такая, что:
.
Заметим, что , т.к. в противном случае по теореме Ролля
такая, что
, но это противоречит условию теоремы Коши. Из доказанного равенства и следует утверждение теоремы.
§ 24. Формула Тейлора
Пусть , т.е.
раз дифференцируема в точке
. Обозначим
− многочлен от
, который будем называть многочленом Тейлора функции
.
Теорема 1. Пусть , т.е.
раз дифференцируема в окрестности
точки
. Тогда справедливо равенство:
Замечание. Равенство (1) называют формулой Тейлора с остатком (2) в форме Лагранжа.
Доказательство. Зафиксируем значение и рассмотрим вспомогательную функцию
, где
. Тогда функция
удовлетворяет условиям следствия 1 теоремы Ролля на отрезке
.
Действительно, справедливы равенства:
,
,
..................................................................................
.
Следовательно, такая, что
(
), т.к.
. Далее из доказанного равенства находим значение
.
Итак, мы доказали, что выполняется равенство:
Подставляя в это равенство значение и ввиду того, что
, получаем соотношение:
, из которого следует утверждение теоремы 1.
Теорема 2. Пусть и
. Тогда имеет место равенство:
Замечание. Равенство (3) называется формулой Тейлора с остатком в форме Пеано.
Доказательство. По теореме 1 справедливо равенство: , где
. Так как
, то
, откуда следует, что:
Теорема 2 доказана.
Замечание. Формула Тейлора с остатком может быть применена для приближенных вычислений значений функций, а с остатком
для вычислений пределов.
§ 25. Представление основных элементарных функций с помощью формулы Тейлора
При формула Тейлора примет следующий вид:
где остаток можно представить либо в форме Лагранжа
, либо в форме Пеано
. Формулу (4) называют формулой Маклорена. Найдем представление функций
,
,
,
,
по формуле (4):
1) Как было доказано ранее ,
,
2) Ввиду того, что по формуле (4) получим:
,
3) Так как , то по формуле (4) получим:
,
§ 26. Правило Лопиталя
Теорема 1 . Пусть
,
;
,
и
. Тогда
.
Доказательство. Доопределим функции и
в точке
равенствами
. Далее применим к этим функциям теорему Коши о конечных приращениях на отрезке
:
такое, что равенство
или
. По условиям теоремы:
. Теорема 1 доказана.
Теорема 2 . Пусть
,
;
,
и
. Тогда
.
Доказательство. Пусть точки ,
(или
). Применим теорему о конечных приращениях к
и
на отрезке
:
такая, что выполняется равенство:
Пусть зафиксировано произвольное число . Так как по условию теоремы
, то
такое, что
. Пусть
. Зафиксируем число
,
. Вычитая из обеих частей равенства (1) число
, представим его потом в следующем виде:
Т.к. локально ограничено в точке
, то:
такое, что:
Итак, из равенства (2) следует, что:
Теорема 2 доказана.
Замечание. Утверждения теорем 1 и 2 также справедливы, если .
Доказательство. .
§ 27. Исследование функций
Нахождение локального экстремума функции
Доказанная ранее теорема Ферма устанавливает необходимое условие локального экстремума функции в точке , если
.
Теорема 1 (достаточное условие локального экстремума). Пусть и
. Кроме того,
, а
. Тогда в точке
функция
имеет строгий локальный экстремум, причем если
, то
– точка строгого локального максимума.
Доказательство. Запишем формулу Тейлора для :
Т.к. по условию теоремы , знак правой части последнего равенства в достаточно малой окрестности
определяется знаком числа
. Поэтому, если
, то
, т.е.
– точка строгого локального минимума, а если
, то аналогично
– точка строгого локального максимума. Теорема 1 доказана.
Замечание. Если , то теорема 1 не позволяет установить является ли точка
точкой локального экстремума.
Следующая теорема обобщает результат теоремы 1.
Теорема 2. Пусть и
. Кроме того,
, а
. Тогда если
четно, то
– точка строгого локального экстремума, причем, если
, то
– точка строгого локального минимума, а если
, то
– точка строгого локального максимума. Если же
нечетно, то в точке
функция не имеет локального экстремума.
Доказательство. Представим по формуле Тейлора:
Если четно, то знак правой части равенства (1) в достаточно малой окрестности
определяется знаком
. Следовательно, если
,то
, т.е.
– точка строгого локального минимума; если
, то
, т.е.
– точка строгого локального максимума. Если же число
нечетно, то значения правой части равенства (1) имеет разные знаки в правой и левой полуокрестностях точки. Следовательно, точка
не является точкой локального экстремума. Теорема 2 доказана.
Условия выпуклости функции
Определение. Функция выпукла вверх в точке
, если:
и выпукла вниз, если:
Геометрически условия выпуклости означает, что если выпукла вверх в точке
, то график функции
лежит ниже графика касательной к этой функции в точке
, когда
; и если
выпукла вниз в точке
, то график функции
лежит выше графика касательной к этой функции в точке
, когда
.
Теорема 1. Пусть ,
и
. Тогда, если
, то
выпукла вниз в точке
; если
, то
выпукла вверх в точке
.
Доказательство. Воспользуемся формулой Тейлора для :
Знак правой части последнего равенства в достаточно малой окрестности определяется знаком числа
. Поэтому, если
, то:
или
т.е.
– точка выпуклости вниз
. Аналогично, если
, то аналогично
– точка выпуклости вверх
. Теорема 1 доказана.
Определение. Точка есть точка перегиба функции
, если знак выражения
разный для точек, принадлежащих левой и правой полуокрестностям точки
. Геометрически это означает, что график функции
в левой и правой полуокрестностях точки
лежит по разные стороны от касательной в точке
.
Теорема 2. Пусть и
. Кроме того,
, а
. Тогда если
нечетно, то
– точка перегиба; если
число четное, то при
функция
выпукла вниз в точке
, а при
функция
выпукла вверх в точке
.
Доказательство. Воспользуемся формулой Тейлора для :
Если нечетное, то знак выражения в правой части последнего равенства различный в левой и правой полуокрестностях точки
– точка перегиба. Если
число четное, знак правой части этого равенства в достаточно малой окрестности точки
определяется знаком
. Поэтому, если
,то:
, т.е. функция
выпукла вниз в точке
, а если
, то:
, т.е. функция
выпукла вверх в точке
. Теорема 2 доказана.
Cin
A
56