- •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 Теорема Ферма
Теорема
Ферма
Если
имеет в точке
локальный экстремум и дифференцируема
в этой точке, то
.
Доказательство.
Пусть
имеет в точке
локальный минимум. Это значит, что в
некоторой окрестности точки
.
Тогда
если
,
то
,
если
,
то
.
Перейдем к пределу при
.
Получим
.
Так
как
дифференцируема в точке
,
то
.
Из последних неравенств следует, что
,
и в то же время
.
Значит,
.
■
Геометрический смысл теоремы Ферма: касательная к графику функции в точке локального экстремума параллельна оси Ох.
