
- •1.5. Дифференциальное исчисление Для замечаний
- •1.5. Дифференциальное исчисление
- •1.5.1. Определение производной
- •1.5.2. Геометрический смысл производной
- •1.5.3. Дифференциируемость функции
- •1.5.4. Правила вычисления производных,
- •1.5.5. Вычисления производных некоторых элементарных функций
- •1.5.6. Правило дифференцирования сложной функции
- •1.5.7. Дифференциал функции
- •1.5.8. Геометрический смысл дифференциала функции
- •1.5.9. Дифференциал независимой переменной
- •1.5.10. Инвариантность формы первого дифференциала
- •1.5.11. Производные высших порядков
- •1.5.12. Дифференциалы высших порядков
- •1.5.13. Дифференцирование функции, заданной параметрически
- •1.5.14. Свойства дифференцируемых функций
- •1.5.14.1. Возрастание (убывание) функций в точке. Локальный экстремум.
- •1.5.14.2. Теорема о нуле производной
- •1.5.14.3. Формула конечных приращений (теорема Лагранжа)
- •1.5.14.4. Обобщенная формула конечных приращений (формула Коши).
- •1.5.14.5. Раскрытие неопределенностей (правило Лопиталя).
- •1.5.14.6. Формула Тейлора с остаточным членом в общей форме (в форме Шлемильха-Роша)
- •1.5.14.7. Остаточный член в форме Лагранжа, Коши, Пеано
- •1.5.14.8. Формула Маклорена
- •1.5.14.8.1. Оценка остаточного члена в форме Лагранжа.
- •1.5.14.8.2. Разложение по формуле Маклорена некоторых элементарных функций
- •1.5.14.8.3. Приложения формулы Маклорена Приближенное вычисление числа е
- •1.5.14.8.4. Вычисление пределов с помощью формулы Маклорена
1.5. Дифференциальное исчисление Для замечаний
-
1.5. Дифференциальное исчисление
1.5.1. Определение производной
Пусть
функция y=f(x) определена в некоторой
окрестности точки x0
и пусть x - некоторая точка этой окрестности.
Если существует предел отношения
при xx0,
то этот предел называется производной
функции y=f(x) в точке x0
и обозначается
.
Итак, .
Обозначив x-x0=x, y=f(x0+x)-f(x0)=f(x)-f(x0),
получим
.
Замечание
1. Условие
непрерывности
в принятых
обозначениях можно записать в виде
или
.
Это равенство называется разностной
формой условия непрерывности функции
в т. x0.
Если
для некоторого значения x0
выполняется
условие
,
то говорят, что для этого значения x0
существует
бесконечная производная, равная
соответственно +,
-,
.
В дальнейшем под выражением “функция имеет производную” мы будем понимать наличие конечной производной, если не оговорено противное.
Если
функция y=f(x) определена в правосторонней
( левосторонней) окрестности точки x0
и существует конечный или бесконечный
предел отношения
,
то он называется, соответственно,
конечной или бесконечной производной
справа (слева) функции y=f(x) в точке x=x0
и обозначается
.
Правая и левая производные называются односторонними производными.
Теорема.
Функция
y=f(x), определенная в некоторой окрестности
точки x=x0 ,
имеет производную
тогда
и только тогда, когда
существуют и равны друг другу, т.е.
.
В этом случае
.
Доказательство теоремы следует из теоремы об односторонних пределах.
Операция вычисления производной от функции называется операцией дифференцирования.
1.5.2. Геометрический смысл производной
Рассмотрим график функции y=f(x), определенной и непрерывной на некотором интервале (a,b). Точка M0 на графике (см. рис.)
|
соответствует значению аргумента x0(a,b),а точка M- (x=x0+x(a,b)), где x - некоторое приращение аргумента. Прямая, проходящая через точки М0, М, называется секущей. Обозначим через (x) угол, который образует секущая М0М с положительным направлением оси Оx. |
Определение. Касательной к графику функции y=f(x) в точке М0 называется предельное положение секущей М0М при стремлении точки М к точке М0 по графику (или при x0 вследствие непрерывности y=f(x)).
Очевидно,
что
.
Докажем следующую лемму.
Лемма. Пусть функция y=f(x) имеет производную в точке x=x0, тогда справедливы следующие два утверждения:
1) график функции y=f(x) имеет касательную в точке М0, соответствующей значению аргумента x0;
2)
угловой коэффициент касательной равен
.
Доказательство.
Пусть
x
- любое, достаточно малое и отличное от
нуля значение приращения аргумента x в
точке x0,
тогда
.
Так как
и функция u=arctgx непрерывна в любой точке
x(-,+),
-
,
т.е. существует предельное значение
(при x0)
угла наклона секущей М0М,
что доказывает существование касательной
в точке М0.
Обозначим,
далее, угол наклона касательной к оси
Оx через 0,
тогда ,
откуда
.
Уравнение касательной имеет вид:
,
Отсюда получаем уравнение нормали к графику
функции