- •3.1. Производные и дифференциалы
- •3.1.1. Производная и ее геометрический смысл
- •Определение 3.1.1
- •Определение 3.1.2
- •Геометрический смысл производной
- •Доказательство
- •3.1.2. Дифференцируемая функция
- •Определение 3.1.3
- •Необходимое и достаточное условие дифференцируемости функции
- •Доказательство
- •Определение 3.1.4
- •3.1.3. Непрерывность и дифференцируемость функции
- •Теорема 3.1.1
- •Доказательство
- •Задача 3.1.1
- •Задача 3.1.1
- •Определение 3.1.5
- •3.1.4. Правила дифференцирования
- •Производная функции, тождественно равной постоянной
- •Производная суммы и разности функций
- •Доказательство
- •Производная произведения функций
- •Доказательство
- •Следствие
- •Доказательство
- •Производная частного
- •Доказательство
- •Теорема о производной обратной функции
- •Доказательство
- •Производная сложной функции
- •Доказательство
- •3.1.5. Производные основных элементарных функций
- •Производная степенной функции
- •Доказательство
- •Производная экспоненциальной и показательной функций
- •Доказательство
- •Производная логарифмической функции
- •Доказательство
- •Производные тригонометрических функций
- •Доказательство
- •Производные обратных тригонометрических функций
- •Доказательство
- •Производные гиперболических функций
- •Доказательство
- •Пример 3.1.2
- •Решение
- •Задача 3.1.3
- •Решение
- •3.1.6. Уравнение касательной к кривой. Угол между кривыми.
- •Уравнение касательной
- •Доказательство
- •Задача 3.1.4
- •Решение
- •Задача 3.1.5
- •Решение
- •3.1.7. Дифференциал. Формула дифференциала
- •Определение 3.1.6
- •Правила дифференцирования
- •Задача 3.1.6
- •Решение
- •Геометрический смысл дифференциала
- •Доказательство
- •Инвариантность формулы дифференциала
- •Доказательство
- •Следствие
- •3.1.8. Производные функций, заданных параметрически. Дифференцирование неявных функций
- •Производная функции, заданной параметрически
- •Доказательство
- •Задача 3.1.7
- •Решение
- •Производная функции, заданной неявно
- •Задача 3.1.8
- •Решение
- •Задача 3.1.9
- •Решение
- •3.1.10. Приближенные вычисления с помощью дифференциала.
- •Задача 3.1.10
- •Решение
- •3.1.10. Производные высших порядков
- •Определение 3.1.7
- •Задача 3.1.11
- •Решение
- •Задача 3.1.12
- •Решение
- •Задача 3.1.13
- •Решение
- •Задача 3.1.14
- •Решение
- •Механический смысл первой и второй производной
- •Доказательство
- •Следствие
- •3.1.11. Дифференциалы высших порядков.
- •Определение 3.1.8
- •Формула второго дифференциала
- •Доказательство
- •Задача 3.1.15
- •Решение
- •Задача 3.1.16
- •Решение
- •3.1.12. Теоремы Ферма, Ролля, Лагранжа. Правила Лопиталя
- •Теорема Ферма
- •Доказательство
- •Следствие
- •Теорема Ролля
- •Доказательство
- •Теорема Лагранжа.
- •Доказательство
- •Правило Лопиталя
- •Доказательство
- •Задача 3.1.17
- •Решение
- •Задача 3.1.18
- •Решение
- •Задача 3.1.19
- •Решение
- •3.1.13. Формула Тейлора и ее применение
- •Многочлен Тейлора
- •Определение 3.1.9
- •Теорема 3.1.2
- •Доказательство
- •Формулы Тейлора и Маклорена
- •Определение 3.1.9
- •Теорема 3.1.3
- •Доказательство
- •Определение 3.1.10
- •Формула Маклорена для основных элементарных функций
- •Задача 3.1.20
- •Решение
- •Задача 3.1.21
- •Решение
- •Применение формул Тейлора и Маклорена
- •Задача 3.1.22
- •Решение
- •Задача 3.1.23
- •Решение
- •Задача 3.1.24
- •Решение
- •3.2. Исследование функций с помощью производных
- •3.2.1. Исследование функций с помощью первой производной
- •Определение 3.2.1
- •Определение 3.2.2
- •Необходимое условие экстремума
- •Доказательство
- •Следствие
- •Определение 3.2.3
- •Достаточное условие экстремума
- •Доказательство
- •Задача 3.2.1
- •Решение
- •Задача 3.2.2
- •Решение
- •Чтобы исследовать функцию на экстремум необходимо:
- •Задача 3.2.3
- •Решение
- •3.2.2. Исследование функций с помощью второй производной. Точки перегиба
- •Определение 3.2.4
- •Определение 3.2.5
- •Теорема 3.2.1
- •Доказательство
- •Теорема 3.2.2
- •Доказательство
- •Определение 3.2.6
- •Теорема 3.2.3
- •Чтобы найти точки перегиба графика функции нужно:
- •Задача 3.2.4
- •Решение
- •Задача 3.2.5
- •Решение
- •3.2.3. Асимптоты графика функции.
- •Определение 3.2.7
- •Задача 3.2.6
- •Решение
- •Определение 3.2.8
- •Теорема 3.2.3
- •Доказательство
- •Задача 3.2.7
- •Решение
- •3.2.4. Наибольшее и наименьшее значения непрерывной на замкнутом промежутке функции
- •Задача 3.2.8
- •Решение
- •3.2.5. Элементы дифференциальной геометрии плоских кривых
- •Пример 3.2.8
- •Решение
- •Пример 3.2.9
- •Решение
- •Касательная к пространственной кривой и нормальная плоскость
- •Пример 3.2.10
- •Решение
- •Дифференциальные характеристики плоских кривых
- •Определение 3.2.9
- •Определение 3.2.10
- •Определение 3.2.11
- •Пример 3.2.11
- •Решение
- •Пример 3.2.12
- •Решение
Вычислим производные: y′ = cos x , y′′ = −sin x , y′′′ = −cos x , y IV = sin x ,
yV = cos x = y′, yVI = y′′ и так далее. Заметим, что y(n) = sin(x + n2π), при n =1,2,3,4 . Тогда
d n y = sin(x + n2π) (dx)n .
ЗАМЕЧАНИЕ
Дифференциалы второго и более высокого порядков не обладают свойством инвариантности, то есть их формула меняется, если x не является независимой переменной.
Для независимой переменной x формула второго дифференциала имеет вид: d 2 y = f ′′(x) (dx)2 . Если x не является независимой переменной, то d(dx)≠ 0 . Тогда
d 2 y = d(dy)= d(f ′(x) dx)= f ′′(x) (dx)2 + f ′(x) d 2 x .
3.1.12. Теоремы Ферма, Ролля, Лагранжа. Правила Лопиталя
Теорема Ферма
Если функция f (x):
•непрерывна на [a,b];
•дифференцируема на (a,b);
•имеет в точке x0 (a,b) наибольшее или наименьшее значение; то f '(x0 )= 0 .
Доказательство
Пусть функция f (x) имеет в точке x0 наибольшее значение. Из этого следует
(рис. 3.1.5), что
при a < x < x0 функция f (x) возрастает и f ′(x)≥ 0 ;
при x0 < x < b функция f (x) убывает и f ′(x)≤ 0 .
Следовательно, f '(x) меняет знак в точке x0 и f '(x0 )= 0 .
y
a |
x0 |
b |
x |
|
Рис. 3.1.5. |
|
|
Аналогично доказывается теорема, если f (x) имеет в точке x0 наименьшее значение.
Следствие
Если x0 (a,b) (внутренняя точка) и f '(x0 )≠ 0 , то в точке x0 функция не может иметь ни наибольшего, ни наименьшего значения. Если бы в точке x0 (a,b) функция имела наибольшее или наименьшее значение, то выполнялось бы равенство f '(x0 )= 0 .
27
ЗАМЕЧАНИЕ
В дальнейшем точки, в которых f '(x0 )= 0 , будем называть стационарными.
Теорема Ролля
Если функция f (x):
•непрерывна на [a,b];
•дифференцируема на (a,b);
•f (a)= f (b),
то существует хотя бы одна точка c (a,b), такая что f '(c)= 0 .
y
|
|
|
|
|
|
x |
|
|
|
a |
c |
b |
|
|
|
|
|
|
Рис. 3.1.6. |
|
|
|
|
Доказательство |
|
|
|
|
|
|
|
1. Если функция |
тождественно |
равна постоянной, |
то |
теорема очевидна, так как |
|||
f '(x)= 0 на всем промежутке |
[a,b]. |
|
|
|
|
|
|
2. Если функция |
f (x) |
не равна тождественно |
постоянной, то она имеет на |
||||
промежутке [a,b] наибольшее и |
наименьшее |
значения. |
Так как |
f (a)= f (b), то |
|||
наибольшее или наименьшее |
значение достигается в |
какой-либо |
внутренней точке |
||||
c (a,b), а тогда по теореме Ферма |
f '(c)= 0 (рис. 3.1.6). |
|
|
Теорема Лагранжа.
Если функция f (x):
•непрерывна на [a,b];
•дифференцируема на (a,b),
то |
существует |
точка с (a, b), |
для |
которой |
выполняется |
условие |
f (b)− f (a)= f '(c) (b − a). |
|
|
|
|
||
Доказательство |
|
|
|
|
|
|
|
Чтобы доказать эту теорему, построим функцию F(x)= f (x)+ λx и подберем число |
|||||
λ так, чтобы эта функция удовлетворяла условиям теоремы Ролля. |
|
|||||
|
Первые два условия выполнены, что ясно из вида функции. Чтобы было верным |
|||||
третье условие число λ должно определяться из соотношения |
f (a)+ λ a = f (b)+ λb , из |
которого следует, что λ = f (b)− f (a). a −b
28
Тогда для |
функции |
F (x)= f (x)+ |
f (b)− f (a) |
x , удовлетворяющей всем |
условиям |
|||||
|
|
|||||||||
|
|
|
|
|
|
|
a −b |
|
|
|
теоремы |
Ролля, найдется |
точка |
|
c (a; b), |
′ |
Поскольку |
||||
|
такая, что F (c)= 0 . |
|||||||||
′ |
′ |
f (b)− f (a) |
, то |
′ |
f (b)− f (a) |
, или f (b)− f (a)= f '(c) (b − a). |
||||
F (c)= f |
(c)+ |
a −b |
|
f (c)= |
|
b − a |
|
y
f (b)− f (a)
α
b −a
αα
a c |
b |
x |
Рис.3.1.7.
Геометрический смысл теоремы Лагранжа состоит в том, что для непрерывной на промежутке [a,b] и дифференцируемой, по крайней мере, во внутренних его точках функции всегда найдется точка c (a,b), касательная в которой параллельна прямой, соединяющей точки графика функции с абсциссами a и b (рис. 3.1.7).
Из рисунка |
3.1.7 |
|
ясно, |
что |
tg α = f '(c)= |
f (b)− f (a) |
, |
откуда следует |
|||||||||||
|
|
||||||||||||||||||
f '(c)(b − a)= f (b)− f (a). |
|
|
|
|
|
|
|
|
|
|
|
|
|
b − a |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Правило Лопиталя |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если функции |
f (x) |
и g(x) – дифференцируемы в окрестности Uδ(x0 ) точки x0 |
и |
||||||||||||||||
если выполняется условие |
f (x0 )= g(x0 )= 0 , |
причем |
f '(x0 )≠ 0 |
или g'(x0 )≠ 0 , |
то |
||||||||||||||
существует предел |
lim |
f |
(x) |
= |
0 |
= |
|
f '(x0 ) |
. |
|
|
|
|
|
|
|
|||
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|||||
g |
(x) |
|
g'(x0 ) |
|
|
|
|
|
|
|
|||||||||
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|||||||
Доказательство |
|
|
|
|
|
|
|
|
|
|
|
|
f (x) |
|
|
|
|
|
|
Поскольку f (x |
)= g(x |
|
)= 0 , то отношение |
можно представить в виде |
|
||||||||||||||
|
|
|
|||||||||||||||||
0 |
|
0 |
|
|
|
|
|
|
|
|
|
g(x) |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
f (x) |
f (x)− f (x ) |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
= |
0 |
. |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
g(x) |
g(x)− g(x ) |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
Обе функции f (x) и g(x) удовлетворяют условиям теоремы Лагранжа в окрестности
Uδ(x0 ). Тогда по теореме Лагранжа найдутся точка c1 Uδ(x0 ) и точка c2 Uδ(x0 ), такие, что для всех значений x Uδ(x0 ) справедливо
f (x)− f (x0 )= f ′(c1 )(x − x0 ),
g(x)− g(x0 )= g′(c2 )(x − x0 ).
Тогда выражение под знаком предела можно представить в виде
f (x)− f (x0 ) |
|
f '(c1 )(x − x0 ) |
f '(c1 ) |
||||||||
|
|
|
= |
|
|
|
= |
|
|
|
, |
g(x)− g(x |
) |
|
f '(c |
)(x − x |
) |
f '(c |
2 |
) |
|||
0 |
|
|
|
2 |
0 |
|
|
|
|
|
|
|
|
|
|
29 |
|
|
|
|
|
|
|
откуда следует, что lim |
f (x) |
= |
lim |
f '(c1 ) |
|
= |
f '(x0 ) |
|
, так как при x → x0 |
||
|
|
|
|
||||||||
g(x) |
|
f '(c2 ) |
g'(x0 ) |
||||||||
x→x0 |
|
x→x0 |
|
|
|||||||
выполняются условия c1 → x0 |
и c2 → x0 . |
|
|
|
|
|
|
ЗАМЕЧАНИЕ
Можно доказать правило Лопиталя в общем виде
lim |
f (x) |
= |
0 |
= |
lim |
f ′(x) |
. |
|||
|
|
|
|
|
|
|||||
g(x) |
|
0 |
|
|||||||
x→x0 |
|
|
x→x0 |
g′(x) |
Это замечание позволяет применять правило Лопиталя несколько раз, то есть для дважды дифференцируемых в окрестности Uδ(x0 ) функций f (x) и g(x) предел их отношения равен
|
|
|
|
|
|
|
lim |
|
f (x) |
= [0 |
] |
= lim |
f ′(x) |
= |
[0 |
|
]= |
f ′′(x0 ) |
, |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
g′(x) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
x→x0 g(x) |
0 |
|
|
|
|
|
x→x0 |
|
0 |
|
|
|
g |
′′(x |
) |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
в том случае, когда |
f ′′(x0 )≠ 0 или g′′(x0 )≠ 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
Если же |
|
f ′′(x0 )= g′′(x0 )= 0 , а функции |
f (x) и |
|
g(x) – трижды дифференцируемы в |
|||||||||||||||||||||||||||||||||||||||
окрестности Uδ(x0 ), то правило применяется еще раз, и так далее, до тех пор, пока не |
||||||||||||||||||||||||||||||||||||||||||||
устранится неопределенность. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Задача 3.1.17 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вычислите предел lim |
sin x + e−x −1 |
, используя правило Лопиталя. |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin x + e−x −1 |
|
0 |
|
|
|
|
|
|
cos x −e−x |
|
|
|
0 |
= |
lim |
−sin x + e−x |
= |
1 |
|
||||||||||||||||||||||||
lim |
|
|
|
|
|
|
|
|
= |
|
|
= lim |
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
. |
||||||||||||
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
2x |
|
|
|
|
|
2 |
|
2 |
||||||||||||||||||||||
x→0 |
|
|
|
|
|
|
|
0 |
x→0 |
|
|
|
|
|
|
|
0 |
|
x→0 |
|
|
|
|
|
||||||||||||||||||||
ЗАМЕЧАНИЕ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Правило Лопиталя справедливо и в том случае, когда |
|
lim |
f (x)= lim g(x)= ∞ . |
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
x→x0 |
|
|
|
|
|
||||||
Задача 3.1.18 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вычислите предел lim |
|
|
ln x |
|
, используя правило Лопиталя. |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
x→0 lnsin x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Решение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln x |
|
|
|
|
[∞] |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
sin x |
|
|
|
|
x |
|
|
|
|
|
|||||
|
|
lim |
|
|
= |
|
= lim |
|
|
|
|
|
x |
|
|
= lim |
|
|
|
= lim |
|
=1. |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
x→0 ln sin x |
|
|
|
∞ |
|
|
x→0 |
1 |
cos x |
x→0 x cos x |
|
x→0 |
x |
1 |
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
sin x |
|
|
|
|
|
Задача 3.1.19
Вычислите предел lim(sin x)tg3x , используя правило Лопиталя.
x→0
Решение
lim(sin x)tg 3x = [00 ]. Такой вид неопределенности раскрывается с помощью
x→0
основного логарифмического тождества. Представим сложно–показательную функцию под знаком предела в виде:
30