- •1 Действительные числа
- •1.1 Логическая символика и терминология
- •1.2 Аксиоматика действительных чисел
- •1.3 Точные грани числовых множеств
- •1.4 Натуральные, рациональные, иррациональные числа
- •1.5 Принцип Кантора
- •1.6 Правило построения отрицания
- •2 Числовые последовательности
- •2.1 Определения
- •2.2 Предел последовательности
- •2.3 Общие свойства предела последовательности
- •2.4 Свойства сходящихся последовательностей, связанные с неравенствами
- •2.5 Бесконечно малые последовательности
- •2.6 Бесконечно большие последовательности
- •2.7 Арифметические операции над сходящимися последовательностями
- •2.8 Предел монотонной последовательности
- •2.9 Число e
- •2.10 Подпоследовательности. Частичные пределы
- •2.11 Критерий Коши сходимости последовательности
- •3 Предел функции в точке
- •3.1 Определение предела по Коши
- •3.2 Определение предела по Гейне
- •3.3 Различные типы пределов
- •3.4 Свойства пределов функции в точке
- •3.5 Предел монотонной функции
- •3.6 Бесконечно малые функции
- •3.7 Замена переменной при вычислении предела (или предел композиции функций)
- •3.8 Первый замечательный предел
- •3.9 Второй замечательный предел
- •3.10 Сравнение асимптотического поведения функций
- •4 Непрерывные функции
- •4.1 Определение
- •4.2 Точки разрыва
- •4.3 Свойства функций, непрерывных в точке (локальные свойства непрерывных функций)
- •4.4 Свойства функций, непрерывных на отрезке (глобальные свойства непрерывных функций)
- •5 Производная функции в точке
- •5 .1 Определение. Физический и геометрический смысл производной
- •5.2 Дифференциал функции
- •5.3 Правила дифференцирования
- •5.4 Дифференцирование параметрически заданных
- •5.5 Производные и дифференциалы высших порядков
- •6 Основные теоремы для дифференцируемых функций
- •6.1 Точки локального экстремума
- •6.2 Теорема Ферма
- •6.3 Теорема Ролля
- •7 Формула Тейлора
- •Формулы Маклорена для некоторых элементарных функций
- •8 Правило Лопиталя
- •9 Исследование функций с помощью производной
- •9.1 Возрастание и убывание функций
- •9.2 Экстремумы функции
- •9.3 Наибольшее и наименьшее значения функции на отрезке
- •9.4 Выпуклость функции
- •9.5 Точки перегиба
- •9.6 Асимптоты
- •9.7 Схема исследования функции
6.3 Теорема Ролля
Теорема
Ролля
(о нулях производной) Если
непрерывна на отрезке
,
принимает в концах этого отрезка равные
значения
и дифференцируема на интервале
,
то существует точка
,
в которой
.
Геометрический смысл теоремы Ролля: при условиях теоремы Ролля существует точка , в которой касательная к графику функции параллельна оси Ох.
6.4 Формула Лагранжа конечных приращений.
Теорема
Лагранжа
Если
непрерывна на отрезке
и дифференцируема на интервале
,
то существует такая точка
,
что
.
Доказательство. Введем функцию
.
.
удовлетворяет
всем условиям теоремы Ролля. Значит,
,
т.е.
.■
Геометрический
смысл теоремы Лагранжа:
,
в которой касательная к графику функции
параллельна секущей, соединяющей точки
и
.
Пример
Доказать, что
.
Решение.
Пусть
.
Применим теорему Лагранжа к этой функции
на отрезке
.
Получим, что для некоторой точки
выполняется
.
Аналогично
доказывается, что
.
Следствия
1)
Если
функция
дифференцируема на интервале
и
,
то
на
.
2)
Если
на
,
то
не убывает на
.
Если
на
,
то
не возрастает на
.
3)
Если две непрерывные функции имеют
одинаковые производные, то они отличаются
на
,
т.е.
.
Теорема
(обобщенная формула Коши конечных
приращений) Если функции
и
непрерывны на отрезке
,
дифференцируемы на интервале
,
причем
,
то
.
7 Формула Тейлора
О.
Пусть
имеет в точке
производные до k-го
порядка, тогда многочлен
называется многочленом Тейлора п-го порядка для функции в точке .
Теорема
1
Пусть
,
такое, что
имеет в
-окрестности
точки
производные до
-го
порядка включительно. Тогда
,
такая, что
.
Функцию
называют остаточным
членом формулы Тейлора в форме Лагранжа.
Теорема
2
Если существует
,
то
при
.
Последнюю формулу называют формулой Тейлора с остаточным членом в форме Пеано.
Равенство
при
называют формулой
Маклорена.
Формулы Маклорена для некоторых элементарных функций
с остаточным
членом в форме Пеано (т.е.
)
,
где
8 Правило Лопиталя
Теорема
1
Пусть
и
дифференцируемы на интервале
,
,
,
и существует конечный или бесконечный
.
Тогда
тоже существует и равен А,
т.е.
.
Доказательство.
Пусть
.
Доопределим
и
в точке а,
полагая
и
.
Тогда получим, что
и
непрерывны на отрезке
.
По обобщенной формуле Коши конечных
приращений,
такая, что
.
Если
,
то
.
Значит,
.
Тогда
.■
Замечание.
Утверждение
теоремы справедливо и при
,
и при
,
и при
.
Теорема
2
Пусть 1)
и
дифференцируемы при
,
причем
при
;
2)
,
;
3)
существует конечный
.
Тогда
существует
.
Замечание.
Правило Лопиталя служит для раскрытия
неопреде-ленностей вида
и
.
Иногда к этим неопределенностям удается
свести неопределенности
.
