- •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 Схема исследования функции
5.4 Дифференцирование параметрически заданных
и неявных функций
а) Функции, заданные параметрически.
Пусть дана функция , причём непрерывна и строго возрастает. Тогда определена обратная функция и . По тереме о дифференцировании сложной функции и теореме о дифференцировании обратной функции, . Итак, .
б) Функции, заданные неявно.
Если дифференцируемая функция задана неявно уравнением , то нужно продифференцировать это равенство по x, учитывая, что есть функция от x, а затем выразить оттуда .
Пример Найти для функции, заданной неявно уравнением
.
Решение. Продифференцируем обе части данного равенства по x, учитывая, что есть функция от x, получим:
.
Итак, .
5.5 Производные и дифференциалы высших порядков
Пусть имеет производную во всех точках интервала . Если функция имеет производную в точке , то её называют второй производной или производной II порядка функции . Обозначается или . И т.д.
.
Физический смысл . Пусть материальная отточка движется по закону . Тогда скорость . Отношение – это ускорение точки на промежутке времени . Предел этого ускорения равен – это ускорение в момент .
Если функция задана параметрически: , то
.
Итак, . Аналогично получается .
Пример Найти и , если , .
Решение. . Тогда .
.
Рассмотрим пример неявно заданной функции.
Пример Найти и , если .
Решение. Продифференцируем обе части данного равенства по x, учитывая, что есть функция от x, получим:
.
Выразив отсюда , получим .
Продифференцируем обе части последнего равенства по x, учитывая, что есть функция от x, получим:
.
Теорема (формула Лейбница) Если U и V имеют в точке x производные n-го порядка, то тоже имеет производную n-го порядка, причём , где
, . То есть
.
Дифференциалы высших порядков:
.
6 Основные теоремы для дифференцируемых функций
6.1 Точки локального экстремума
О. Функция имеет в точке локальный максимум, если существует такая окрестность точки , что
.
О. – точка строгого локального максимума, если
.
О. Функция имеет в точке локальный минимум, если существует такая окрестность точки , что
.
О. – точка строгого локального максимума, если
.
Локальный максимум и локальный минимум объединяются названием локальный экстремум.
6.2 Теорема Ферма
Теорема Ферма Если имеет в точке локальный экстремум и дифференцируема в этой точке, то .
Доказательство. Пусть имеет в точке локальный минимум. Это значит, что в некоторой окрестности точки .
Тогда если , то , если , то . Перейдем к пределу при . Получим
.
Так как дифференцируема в точке , то . Из последних неравенств следует, что , и в то же время . Значит, . ■
Геометрический смысл теоремы Ферма: касательная к графику функции в точке локального экстремума параллельна оси Ох.