А. Р. Лакерник. Высшая математика.Краткий курс
.pdfI. Теория пределов. Непрерывность функций
|
|
|
ò. 2.13 |
¡ lim j(x )= j(x0 )= y |
0 |
; lim f (y )= f (y 0 ) Ю (здесь j(x) = j(x0) |
|
x→x 0 |
|
|
y→y 0 |
допустимо) lim |
f (j(x))= |
|
lim f (y )= f (y 0 )= f (j(x0 )), ÷òî è îçíà- |
x→x 0 |
|
y→y 0 |
чает непрерывность сложной функции z = f (j(x)) в точке х0. x Замечание. Полученное при доказательстве равенство
|
æ |
|
ö |
(оба этих предела равны f (j(x )) |
lim |
f (j(x ))= f ç |
lim |
j(x )÷ |
|
x→x 0 |
è x→x 0 |
ø |
0 |
было использовано в примерах в конце разд. 2.5.
Теорема 3.5 (непрерывность элементарных функций). Любая элементарная функция непрерывна во всех точках, где она определ ена.
¡ Так как все элементарные функции получаются из основных элементарных функций путем арифметических операций (сло жение, вычитание, умножение, деление) и путем составления сложны х функций, а эти действия, согласно теоремам 3.3 и 3.4, сохраняют непре рывность, то достаточно доказать непрерывность основных эле ментарных функций в точках их определения.
Проверим это только для некоторых из них, используя опред еление 3.2:
1) |
y = c : lim Dy = lim 0 = 0; |
|
|
x→0 |
x→0 |
2) |
|
y = x : lim Dy = lim Dx = 0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
x→0 |
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
3) y = sin x : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
= 2 |
|
sin |
x - x0 |
|
|
|
|
x + x0 |
|
|
|
|
|
|
sin Dx |
|
|
|
|
Dx |
|
|
|
||||||||||
|
Dy |
|
= |
|
sin x - sin x |
0 |
|
|
|
cos |
|
£ 2 |
= 2 |
sin |
|
|
; |
||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
2 |
|
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
æ |
|
|
p |
, |
p ö |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Dx | |
= | Dx | Þ |
|||||||||||||
"x Î ç - |
|
÷ последнее выражение не превосходит 2 |
|
2 |
|||||||||||||||||||||||||||||||||||||||||
è |
|
|
2 |
|
|
2 ø |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
0 £| Dy |£| Dx |. Применим теорему 2.12: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
lim 0 = 0, |
|
lim | Dx |= 0 Þ lim | Dy |= 0 Þ lim Dy = 0; |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x→0 |
|
|
x→0 |
|
|
x→0 |
|
|
|
|
|
x→0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
4) y = cos x : |
|
|
|
|
|
|
|
|
x + x0 |
|
|
|
|
sin |
x - x0 |
|
||||||||||||||||||||||||||||
|
|
Dy |
|
= |
|
cos x - cosx |
|
= 2 |
sin |
|
|
и далее ана- |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
2 |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
логично предыдущему примеру. x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. Непрерывность функции
Определение 3.3. Пусть функция y = f (x) определена в точке х0 и в некотором интервале ( x0 - d, x0 ) (èëè ( x0, x0 + d )). Эта функция называется непрерывной слева (или справа) в точке х0 , åñëè
$ lim |
æ |
lim |
ö |
f (x) = f (x0) ç |
f (x) = f (x0)÷. |
||
x→x0−0 |
è x→x0+0 |
ø |
3.2.Классификация точек разрыва
Ñучетом введенного в разд. 2.1 понятия односторонних предел ов
непрерывность функции y = f (x) в точке х0 равносильна выполнению условия
f (x0 - 0) = f (x0) = f (x0 + 0). |
(3.2) |
Определение 3.4. Пусть функция y = f (x) определена в некоторой окрестности точки х0, кроме, может быть, самой этой точки (т.е. функция определена в проколотой окрестности точки x0). Точка х0 называется точкой разрыва функции y = f (x) , если эта функция не является непрерывной в точке х0 .
В точке разрыва функции y = f (x) условие (3.2) не выполняется. Определение 3.5. Точка разрыва х0 функции y = f (x) называется точкой разрыва первого рода, если в этой точке существуют конечные
односторонние пределы f (x0 - 0) è f (x0 + 0) .
Определение 3.6. Точка разрыва первого рода х0 функции y = f (x) называется устранимой, если f (x0 - 0) = f (x0 + 0) .
В такой точке либо f (х0) не определена, либо f (x0 - 0) =
= f (x0 + 0) ¹ f (x0). Если положить f (x0) = f (x0 - 0) = f (x0 + 0), то f (x) станет непрерывной в точке х0, т.е. разрыв можно устранить, изменив
значение функции в одной точке.
Определение 3.7. Точка разрыва х0 функции y = f (x) называется точкой разрыва второго рода, если она не является точкой разрыва первого рода. В такой точке хотя бы один из односторонних пределов f (x0 - 0) è f (x0 + 0) бесконечен или не существует.
Исследовать функцию на непрерывность означает, что нужно указать все точки разрыва функции, дать их классификацию и на рисовать схему графика функции в окрестностях точек разрыва.
Примеры графиков функции y = f (x) приведены на рис. 13.
46 |
47 |
I. Теория пределов. Непрерывность функций
y |
y |
|
x0 |
x |
x |
x |
|
|
0 |
|
à) |
|
á) |
|
y |
|
y |
|
|
|
|
|
x0 |
x |
x |
x |
|
|
0 |
|
â) |
|
ã) |
|
|
Ðèñ. 13 |
|
|
Íà ðèñ 13,à õ0 – точка разрыва первого рода, разрыв не устранимый; на рис. 13,б) х0 – устранимая точка разрыва; на рис. 13,в, г х0 – точка раз-
рыва второго рода. |
|
|
|
|
|
||
Также разрыв второго рода в точке 0 имеет функция |
y = sin 1 |
, посколь- |
|||||
êó limsin |
1 не существует. |
|
|
|
x |
|
|
|
|
|
|
|
|||
x→0 |
x |
|
|
|
x |
|
|
Пример. Исследовать функцию на непрерывность: |
y = |
. |
|||||
sin x |
|||||||
|
Ð å ø å í è å |
|
|
|
|
||
|
|
|
|
|
|
||
Точки разрыва: sin x = 0, x = pn, nО Z (в остальных точках функция не- |
|||||||
прерывна по теоремам 3.3 и 3.5); f (-0) = f (+0) = lim |
x |
|
=1 |
Þ x |
= 0 – óñò- |
||
|
|
||||||
|
x→0 sin x |
|
|
|
|
ранимая точка разрыва; f (p - 0) = +¥, f (p + 0) = -¥ Ю x = p – точка разрыва
второго рода; такими же будут все точки вида x = pn, nО Z , n ¹ 0. Схема графика функции в окрестностях точек разрыва приведена на рис. 14.
Ðèñ. 14
3.Непрерывность функции
3.3.Непрерывность функции на множестве
Определение 3.8. Функция называется непрерывной на множестве, если она непрерывна в каждой точке этого множества.
Далее речь будет идти о функциях, непрерывных на отрезке. П ри этом под непрерывностью на левом краю отрезка будет поним аться непрерывность справа, а под непрерывностью на правом краю отрезка будет пониматься непрерывность слева.
Свойства функций, непрерывных на отрезке
Сначала будет доказана следующая лемма.
Лемма 3.1. Пусть |
lim f (x) = b. |
Тогда |
"{x |
}: x |
¹ a è |
lim x = a |
( lim f (xn) = b ). |
x→a |
|
n |
n |
|
n→∞ n |
|
|
|
|
|
|
|
n→∞ |
|
|
|
|
|
|
(На самом деле, справедлива и обратная теорема, и мы получа ем другое определение предела функции по Гейне, равносильно е определению по Коши.)
¡ Пусть |
x |
¹ a и lim x = a. Надо доказать, что |
lim f (x ) = b Û |
|||||
|
|
n |
n→∞ |
n |
|
n→∞ |
n |
|
"e > 0 |
$N = N (e): "n > N |
( | f (xn) - b |< e ). |
Возьмем |
произвольное |
||||
e > 0, |
тогда из определения того, что |
lim f (x) = b, $d > 0: |
" x, |
|||||
0 <| x - a |< d |
|
|
|
x→a |
|
|
= a, |
|
( | |
f (x) - b |< e ); из определения того, что |
lim x |
||||||
|
|
|
|
|
|
|
n→∞ n |
|
$N : "n > N (| xn - a |< d (è xn ¹ a )) Þ (| f (xn) - b | < e). x
Теорема 3.6. Пусть функция y = f (x) непрерывна на [a,b] . Тогда f (x) ограничена на этом отрезке.
¡ Функция f (x) ограничена Û $M > 0: | f (x)| £ M. Предположим, что теорема не верна, т.е. "nО N $xn Î[a,b]: | f (xn ) | > n (иначе М = n).
|
|
|
|
ò. 2.11 |
|
Òàê êàê xn Î[a,b], òî {xn } ограничена Ю |
из этой последователь- |
||||
ности |
можно |
выделить |
сходящуюся |
подпоследовательность |
|
{xn } Û $ lim xn |
= x0 Î[a,b]. |
Так как из непрерывности функции |
|||
k |
k→∞ |
k |
|
|
|
y = f (x) |
lim f (x) = f (x0), то согласно лемме 3.1 |
$ lim f (xn ) = f (x0) |
||||
|
x→x0 |
|
|
k→∞ |
k |
|
(здесь условие xn ¹ x0, естественно, не нужно). |
|
|
||||
|
|
> nk , à lim nk = ¥, то очевидно, |
||||
С другой стороны, так как |
f (xn |
) |
||||
|
|
k |
|
k→∞ |
|
|
÷òî lim |
f (xn ) = ¥. Так как последовательность не может иметь более |
|||||
k→∞ |
k |
|
|
|
|
48 |
49 |
I. Теория пределов. Непрерывность функций
одного предела, то мы получили противоречие, которое и док азывает теорему. x
Таким образом, множество значений непрерывной на отрезке a,b[ ]
|
ò. 1.1 |
|
функции f (x) ограничено Ю |
это множество имеет верхнюю и ниж- |
|
нюю грани M = |
sup f (x) è m = inf f (x). |
|
|
x [a,b] |
x [a,b] |
|
|
Теорема 3.7. Пусть функция y = f (x) непрерывна на [a,b] Ю она достигает на этом отрезке верхней и нижней граней, т.е. x0 [a,b] è
x0 [a,b]: f (x0) = M è f (x0) = m.
¡ Для верхней грани (для нижней аналогично) рассмотрим последовательность {en} ¯ 0, т.е. последовательность, которая убывает и стре-
1
мится к 0, например en = n . Согласно определению 1.5 " n О N $ xn Î[a,b]: M - en < f (xn) < M. Òàê êàê xn Î[a,b], òî {xn } îãðà-
ò. 2.11 |
|
|
|
|
|
ничена Ю из нее можно выделить сходящуюся подпоследователь- |
|||||
ность {xn |
}: $ lim xn |
= x0 О[a,b]. Отсюда, применяя лемму 3.1, точно |
|||
k |
k→∞ |
k |
|
|
|
òàê æå, |
êàê ïðè |
доказательстве теоремы 3.6, получаем, что |
|||
$ lim f (xn ) = f (x0). |
|
|
|
||
k→∞ |
k |
|
|
|
|
Теперь перейдем в неравенстве M - en |
< f (xn |
) £ M к пределу при |
|||
|
|
|
k |
k |
|
k ® ¥, используя теорему 2.12: |
|
|
|||
|
|
|
lim M = M; |
|
|
|
|
|
k→∞ |
|
|
lim(M - en |
) = M - 0 = M Þ $ lim f (xn ) = M |
Þ f (x0 ) = M . x |
|||
k→∞ |
k |
|
k→∞ |
k |
|
Теорема 3.8. Функция y = f (x) непрерывна на [a,b] Ю она принимает на этом отрезке любое промежуточное значение между m и M, т.е. если cО (m,M), то $ хотя бы одна точка хО[a,b]: f (x0) = c.
¡Согласнотеореме3.7 |
$a,bÎ[a,b]: f (a)= m, f (b)= M Þ f (a)< c < f (b). |
||||||
Разделим [ a,b ] пополам точкой |
a+b |
. Ëèáî |
æ a+b ö |
= c, и тогда тео- |
|||
|
f ç |
|
÷ |
||||
|
|
2 |
|
è |
2 ø |
|
|
|
|
3. Непрерывность функции |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
||||
|
|
æ a+b ö |
|
|
|
|
|
|
|
||||
рема доказана, либо |
f ç |
|
÷ ¹ c (т.е. эта величина либо меньше с, либо |
||||||||||
|
|||||||||||||
|
|
è |
2 ø |
|
|
|
|
|
|
|
|
||
больше с). В этом случае обозначим [a1,b1 ] ту половину отрезка [ a,b ], |
|||||||||||||
÷òî f (a1) < c, f (b1) > c и повторим процедуру. |
|
|
|
||||||||||
Разделим [ a |
,b |
] пополам точкой |
a1+b1 |
. Ëèáî |
f æ |
a1+b1 |
ö = c, è |
||||||
|
|||||||||||||
|
|||||||||||||
1 |
1 |
|
|
|
|
2 |
|
ç |
2 |
÷ |
|||
|
|
|
|
æ a |
+b |
|
è |
ø |
|||||
|
|
|
|
ö |
|
|
|
|
|
||||
тогда теорема доказана, либо f ç |
1 |
1 |
÷ ¹ c. В этом случае обозначим |
||||||||||
|
2 |
||||||||||||
|
|
|
è |
|
ø |
|
|
|
|
|
[ a2,b2 ] ту половину отрезка [a1,b1 ], ÷òî f (α2) < c, f (β2) > c и т.д. (каждый раз не обязательно, чтобы αn < βn, может быть и наоборот).
В итоге мы либо через конечное число шагов получим такую среднюю точку одного из отрезков х0, ÷òî f (x0) = c, и тогда теорема доказана, либо получим систему вложенных отрезков [ αn,βn ] c длинами
|
|b |
n |
- a |
| |
|
|
|
|
|
|
|
n |
|
® 0: f (an) < c < f (bn). |
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
По теореме 1.2 и замечанию к ней эта система имеет единственную |
||||||
общую точку х . Легко понять, что тогда lim a |
= lim b |
= x . |
|
||||||
|
|
|
|
|
0 |
n→∞ n |
n→∞ n |
0 |
|
|
|
|
Теперь, применяя лемму 2.1, точно так же, как в двух предыдущих |
||||||
теоремах, получаем, что lim f (an) = lim(bn) = f (x0). |
|
|
|||||||
|
|
|
|
|
n→∞ |
n→∞ |
|
|
|
|
|
|
В соответствии с задачей в конце разд. 2.1 из неравенства |
f (αn) < c |
|||||
следует, что lim f (an) = f (x0) £ c, а из неравенства f (bn) > c |
следует, |
||||||||
|
|
|
|
|
n→∞ |
|
|
|
|
÷òî lim f (bn) = f (x0) ³ c Þ f (x0) = c.x |
|
|
|
||||||
|
|
|
n→∞ |
|
|
|
|
|
|
|
|
|
Следствие. Если функция |
y = f (x) непрерывна на [a,b] и |
f (a) f (b) < 0 (т.е. на концах отрезка [a,b] функция f (x) принимает значения разных знаков), то существует хотя бы одна точка x0Î(a,b):
f(x0) = 0.
¡По условию m < 0, а M > 0, следовательно, в теореме 3.8 в каче-
стве точки с можно взять с = 0. x
Данное следствие может применяться для приближенного ре - шения уравнений, которые точно решить невозможно.
Пример. Найти корни уравнения f (x) = x3 + x − 1 = 0.
50 |
51 |
I. Теория пределов. Непрерывность функций
Ð å ø å í è å
f (0) = -1 < 0, f (1) = 1 > 0 Ю уравнение имеет корень Î [0,1];
f (1/2) = 1/8+1/2 -1 = -3/8 < 0 Ю уравнение имеет корень Î [1/2, 1];
f (3/4) = 27/64 + 3/4 -1 = 11/64 > 0 Ю уравнение имеет корень Î [1/2,
3/4] è ò.ä.
Таким способом находится корень уравнения с любой нужной точностью.
3.4. Равномерная непрерывность функции
Определение 3.9. Функция y = f (x) называется равномернонепрерыв-
ной на множестве D, если "e > 0 $d = d(e) > 0 : "x1,x2 ÎD, | x2 - x1 | < d
(| f (x2) - f (x1) |< e ).
Смысл понятия равномерной непрерывности состоит в том, что если две точки множества D достаточно близки, то и функции в этих
точках тоже близки. Главным в определении 3.9 является то, чт оd зависит только от e и годится для всех точек множества D сразу.
Зафиксируем в определении равномерной непрерывности од ну из точек х1 èëè õ2, тогда получим определение непрерывности функции в этой точке. Следовательно, если функция равномерно непрерывна на некотором множестве, то она непрерывна на всем мн ожестве.
Обратное утверждение не является верным, например:
D = (0,1]. Берем произвольное e > 0 и ищем по графику d = d(e). При y
e
e
d |
d |
x |
Ðèñ. 15
3. Непрерывность функции
движении отрезка фиксированной длины e вверх по оси Оy d умень-
шается и стремится к 0 (рис. 15), значит, для D = (0,1] единого d > 0 нет, следовательно, наша функция не является равномерно непре рывной на D, хотя она и непрерывна на этом множестве.
Для некоторых множеств обратное утверждение является ве рным. Теорема 3.9 (Кантора). Если функция непрерывна на отрезке, то
она равномерно непрерывна на этом отрезке.
¡Предположим противное, а именно: не для "e > 0 $ d, указанное
âопределении 3.9 ε0, для которого d нет, т.е.
"d > 0 $ x1,x2 Î[a,b]: | x2 - x1 | < d, íî | f (x2 ) – f (x1 ) | ³ e0 Û
$e0 > 0 : "d > 0 $x1,x2 Î[a,b]: | x2 – x1 | < d, íî | f (x2 ) – f (x1 ) | ³ e0 (таким образом, при отрицании символы " и $ меняются местами).
Возьмем последовательность {dn} ¯ 0, например, dn = 1n; указан-
íûå |
âûøå x |
1 |
è |
x |
обозначим |
x1 |
è |
x2 |
Þ | x2 |
- x1 |
|< d |
, |
íî |
|
|
|
|
|
2 |
|
n |
|
n |
n |
n |
n |
|
|
|
| f (x2) - f (x1) |³ e |
, |
nОN. Из ограниченной последовательности { x1 |
} ïî |
|||||||||||
n |
n |
|
0 |
|
|
|
|
|
|
|
|
|
n |
|
теореме 2.11 выделим сходящуюся подпоследовательность. Для про-
стоты обозначений будем считать, что сама последовательн ость x{1 } |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
сходится: $ lim x1 = x |
. Но тогда и lim x2 |
|
= x |
, а именно |
|
|
|
|
|
||||||||||||||||||
|
|
|
n→∞ |
|
n |
0 |
|
|
|
|
n→∞ |
|
n |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
< x2 |
- x1 < d |
|
|
|
|
|
< x2 |
< x1 |
|
|
|
|
|
|
|
|
± d ) |
= x |
ò.22.12.12 |
|
|
|
|
= x . |
|
-d |
n |
n |
; x1 |
- d |
n |
+ d |
; |
lim(x1 |
Þ lim x2 |
||||||||||||||||||
|
n |
n |
n |
|
|
n |
n |
n |
n→∞ |
n |
n |
|
0 |
n→∞ |
n |
0 |
|||||||||||
|
|
По лемме 3.1 имеем lim f (x1 ) = f (x |
|
) |
è |
lim f (x2 ) = f (x ). Íî ýòî |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
n→∞ |
n |
|
|
0 |
|
|
|
n→∞ |
|
n |
|
0 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
противоречит тому, что |
"nÎN (| f (x |
2) - f (x1) |³ e |
0 |
): |
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
æ |
| f (xn1) - f (x0)|< |
e |
0 |
, | f (xn2) - f (x0)|< |
e |
0 |
|
ö |
|
|||||||||||
|
|
$n0 ÎN : "n > n0 ç |
|
|
|
÷ |
|
||||||||||||||||||||
|
|
2 |
2 |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
è |
|
|
|
|
|
|
|
|
|
|
|
|
ø |
|
(точнее, каждое из этих двух неравенств будет верно для все хn, начи- ная с некоторого, своего для каждого неравенства, номера; о ба неравенства вместе будут верны для всех n, начиная с наибольшего из этих двух номеров), следовательно,
52 |
53 |
I. Теория пределов. Непрерывность функций
n > n0 | f (xn2) − f (x1n) |=|[f (xn2) − f (x0)]+ [f (x0) − f (xn1)]|≤
≤| f (xn2) − f (x0) | + | f (x0) − f (xn1) |=
=| f (xn2 ) − f (x0) | + | f (xn1) − f (x0) |< ε20 + ε20 = ε0. Полученное противоречие и доказывает теорему. x
54
II
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ ФУНКЦИЙ ОДНОЙ ПЕРЕМЕННОЙ
4.ПРОИЗВОДНАЯ
4.1.Определение, физический
èгеометрический смысл производной
Определение 4.1. Пусть функция y = f (x) определена в некоторой окрестности точки х0. Производной этой функции в точке х0 называется число
′ |
|
′ |
|
) = lim |
f (x) |
= lim |
f (x0 + x)− f (x0) |
= lim |
f (x)− f (x0) |
, (4.1) |
|
|
|
|
|
|
|
||||||
y (x |
) = f (x |
|
|
|
x − x |
||||||
|
0 |
|
0 |
x→0 x |
x→0 |
x |
x→x0 |
|
|||
|
|
|
|
|
|
|
|
|
|
0 |
|
если этот предел существует и конечен (если предел бескон ечен, то иногда говорят про бесконечную производную).
Операция нахождения производной функции называется диф ференцированием этой функции.
Примеры. Найдите производные функций.
Ðå ø å í è å
1)y = c Þ Dy = 0 Þ y¢(x) = 0;
2) y = x2 |
Þ y¢(x) = lim |
(x + Dx)2 − x2 |
= lim |
x2 + 2xD x + D x2 - x2 |
= |
Dx |
|
||||
|
x→0 |
x→0 |
Dx |
||
= lim (2x + Dx) = 2x; |
|
|
|
|
|
x→0 |
|
|
|
|
|
3) y = |
|
x |
|
Þ y¢(0) = lim |
| 0 + Dx | - | 0 | |
= |
lim |
| Dx | |
– не существует, так как |
|
|
||||||||
|
|
|
|
||||||
|
|
|
|
x→0 |
Dx |
x→0 |
Dx |
|
|
последняя дробь равна 1 при Dx > 0 и –1 при Dx < 0. |
|
|
Физический смысл производной |
||||
|
|
Пусть s = s(t) –путь,пройденныйнекоторойточкойзавремяt,тогда |
||||
′ |
|
) = lim |
s |
= v(t |
|
) – мгновенная скорость точки в момент времени t . |
s (t |
0 |
|
0 |
|||
|
t→0 |
t |
|
0 |
||
|
|
|
|
|
55
II. Дифференциальное исчисление функций одной переменной
Геометрический смысл производной
Пусть M0 – фиксированная точка непрерывной кривой y = f (x) ; М – произвольная точка этой кривой. Проведем всевозможные секу-
ùèå Ì0М; предельное положение таких секущих при Dx ® 0 (или при M ® M0 ), если такое существует, называется касательной к кривой y = f (x) в точке М0 (ðèñ. 16).
y
M(x,y)
|
|
ϕ |
|
|
|
|
M0(x0, y0 ) |
|
N |
0 |
x0 |
x |
x |
x |
|
|
|
Ðèñ. 16 |
|
Рассматривая треугольник М0МN, видим, что угловой коэффици- |
||||
ент секущей k = tgj = |
Dy ® f ¢(x ) ïðè |
x → 0, если эта производная су- |
||
|
|
Dx |
0 |
|
|
|
|
|
ществует, значит, предельное положение секущей, т.е. касате льная, в точке х0 существует тогда, и только тогда, когда в этой точке существу-
ет производная f ¢(x0), которая и является угловым коэффициентом
рассматриваемойкасательной.Следовательно,используяу равнениепрямой по точке и угловому коэффициенту, мы можем записать уравнение
касательной к кривой y = f (x) в точке М0(õ0, f (x0)) â âèäå
y - f (x0) = f ¢(x0)(x - x0) èëè y = f (x0) + f ¢(x0)(x - x0) . (4.2)
Нормалью к кривой y = f (x) в точке М0(õ0, f (x0)) называется прямая, проведенная через эту точку перпендикулярно касател ьной в этой
4. Производная
точке. Используя условие перпендикулярности прямых |
k = - |
1 |
, |
|||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
k1 |
|
уравнение нормали можно записать в виде |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||
|
y - f (x |
|
|
) = - |
|
1 |
(x |
- x ). |
|
|
|
|
|
|
|
|||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
f ¢(x0) |
|
|
0 |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Отметим также, что если |
|
|
′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
f (x0) = ∞, то касательная к кривой в дан- |
||||||||||||||||||
ной точке вертикальна, а ее уравнение имеет вид х = х0 . |
|
|
|
|||||||||||||||||
Необходимое условие существования производной |
|
|
|
|
|
|||||||||||||||
Теорема 4.1. Пусть функция y = f (x) имеет в точке х0 производ- |
||||||||||||||||||||
íóþ f ¢(x0). Тогда эта функция непрерывна в точке х0. |
|
|
|
|
||||||||||||||||
¡ lim[ f (x) - f (x |
0 |
)]= lim |
|
f (x) - f (x0) |
(x - x |
0 |
) = |
|
|
|
||||||||||
|
|
|
|
|
||||||||||||||||
x→x0 |
|
|
|
x→x0 x - x0 |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
= lim |
f (x) - f (x0) |
lim(x - x |
0 |
) = f ¢(x |
0 |
)× 0 = 0, |
|
|
|
|||||||||||
|
|
|
|
|||||||||||||||||
x→x0 |
x - x0 |
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а это равенство является одним из определений непрерывно сти функ-
öèè y = f (x) в точке х0. x
Замечание. Пример 3) показывает, что обратная теорема неверна: функция y = x не имеет производной в точке 0, хотя и является непрерывной в этой точке.
4.2. Вычисление производной функции
Теорема 4.2. Пусть в некоторой точке существуют производные u ¢ и v ¢, тогда в этой точке справедливы следующие равенства:
1)c′ = 0;
2)(u + v)′ = u′ + v′;
3)(u − v)′ = u′ − v′;
4)(uv)′ = u′v + uv′;
5)(cu)′ = cu′;
6) |
æ u ö¢ |
= |
u¢v - uv¢ |
в любой точке, в которой v отлична от 0. |
|||
ç |
|
÷ |
|
|
|||
|
|
2 |
|||||
|
è v ø |
|
v |
|
|
56 |
57 |
II.Дифференциальное исчисление функций одной переменной
¡1) это пример 1 из разд. 4.1;
2) (u + v)¢ = lim |
[u(x + Dx) + v(x + Dx)]-[u(x) + v(x)] |
= |
|
||
x→0 |
Dx |
= lim |
u(x + Dx) - u(x) |
+ lim |
v(x + Dx) -v(x ) |
= u¢ + v¢; |
|
|||||||
|
|
|
|
|
||||||||
x→0 |
|
Dx |
|
|
x→0 |
Dx |
|
|
|
|||
3) аналогично п. 2; |
|
|
|
|
|
|
|
|
|
|||
4) (uv)¢ = lim |
u(x + Dx)v(x + Dx) - u(x)v(x) |
= |
|
|
|
|||||||
|
|
|
|
|||||||||
|
|
x→0 |
|
|
Dx |
|
|
|
|
|
|
|
= lim |
u(x + Dx)v(x + Dx) - u(x)v(x + Dx) + u(x)v(x + Dx) - u(x)v(x) |
= |
||||||||||
|
|
|||||||||||
x→0 |
|
|
|
|
|
Dx |
|
|
|
|||
= lim |
u(x + Dx)- u(x) |
lim v(x + Dx) + u(x) lim |
v(x + Dx)-v(x ) |
= |
|
|||||||
|
|
|
||||||||||
x→0 |
Dx |
x→0 |
|
|
x→0 |
Dx |
|
= u¢(x)v(x) + u(x)v¢(x)
(здесь, в частности, учтена непрерывность функции v, которая следует из существования ее производной). Из доказанной формулы следует, что
(uvw)¢ = ((uv)w)¢ = (uv)¢w + (uv)w¢ = (u¢v + uv¢)w + uvw¢ = u¢vw + uv¢w + uvw¢
(аналогично будет и для большего числа сомножителей);
5) согласно п. 4 (cu)¢ = c¢u + cu¢ = 0 + cu¢ = cu¢; |
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
u(x + Dx) u(x) |
|
|
|
|
|
|
|
|
|
|
||||||
|
æ u |
ö¢ |
|
|
|
- |
|
|
|
|
u(x + Dx)v(x) -u(x)v(x + Dx) |
|
||||||||||||
6) |
= lim |
v(x + Dx) |
v(x) |
= lim |
= |
|||||||||||||||||||
ç |
|
|
÷ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
Dx |
|
|
|
|
|
v(x + Dx)v(x)Dx |
|
|
|||||||||||
|
è v |
ø |
|
x→0 |
|
|
|
|
|
|
|
x→0 |
|
|
|
|
|
|||||||
= lim |
u(x + Dx)v(x) - u(x)v(x) + u(x)v(x) - u(x)v(x + Dx) |
= |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||
|
x→0 |
|
|
|
|
v(x + Dx)v(x)Dx |
|
|
|
|
|
|
|
|||||||||||
= |
|
1 |
|
|
év(x) lim |
u(x + Dx) - u(x) |
- u(x) lim |
v(x + Dx) - v(x) |
ù |
= |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
ú |
|
||||||||||||||
|
v |
2 |
|
|
|
ê |
x |
→ |
0 |
|
Dx |
|
|
x |
→ |
0 |
Dx |
|
|
|||||
|
|
|
(x) ë |
|
|
|
|
|
û |
|
|
=u¢(x)v(x) - u(x)v¢(x) v2(x)
(здесь тоже учтена непрерывность v). x
4. Производная
Теорема 4.3 (производная обратной функции). Пусть функция
y= f (x) определена в некоторой окрестности точки x0 и в точке x0 имеет конечную и отличную от 0 производную f ′(x0); пусть для функции
y= f (x) существует обратная функция x = f −1(y), непрерывная в соответствующей точке y0 = f (x0). Тогда в точке y0 эта обратная функ-
ция имеет производную, равную |
|
1 |
|
. |
|
|
|||||||||||
f |
¢(x ) |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Это можно записать так: x¢ |
|
|
0 |
|
1 |
|
|
|||||||||
|
(y |
) = |
|
|
|
|
или, опуская аргументы, |
||||||||||
|
y¢ |
(x |
) |
||||||||||||||
|
|
|
|
|
|
|
|
|
y |
0 |
|
|
|||||
x¢ |
= |
1 |
. |
|
|
|
|
|
|
|
|
|
x |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
y |
|
y¢ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
Dx |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
¡ x¢ |
(y ) = lim |
= lim |
|
(из существования обратной функции |
||||||||||||
|
|
|
|||||||||||||||
|
|
y |
0 |
y→0 |
Dy |
y→0 Dy |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
Dx
следует, что при Dy ¹ 0 Dx тоже отлично от 0); из непрерывности обратной функции следует, что при Dy ® 0 Dx тоже будет стремиться к
0, следовательно, |
x¢ |
(y |
|
) = lim |
1 |
|
= |
|
1 |
|
|
. x |
0 |
Dy |
|
y¢ |
(x |
|
) |
||||||
|
y |
|
x→0 |
|
|
0 |
|
|||||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
Dx |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 4.4 (о производной сложной функции). Пусть дана сложная функция z = f (g(x)). Пусть функция y = g(x) имеет производную в точке х0, а функция z = f (y) имеет производную в точке y0 = f (x0). Тогда сложная функция z = f (g(x)) также имеет производную в точке
õ0 è zx¢ (x0) = f ¢(y0)g¢(x0). Опуская аргументы, последнее равенство можно записать в виде zx¢ = zy¢ yx¢ .
¡ Дадим x приращение x = x − x0, тогда y получит приращение Dy = y - y0, а zполучитприращение Dz = f (y) - f (y0 ). Нам нужно найти
z¢ |
(x |
0 |
) = lim Dz |
. Òàê êàê f ¢(y ) = lim Dz |
существует, то по теореме 2.6 |
|||
x |
|
x→0 |
Dx |
0 |
y→0 |
Dy |
|
|
|
|
|
|
|
|
Dz |
= f ¢(y0 ) + a(Dy), где a(Dy) – бесконечно малая при Dy ® 0 функ- |
|||||||
|
|
||||||||
|
Dy |
|
|
|
|
|
|
||
ция. Отсюда |
z = f ′(y ) y + α( |
y) y è |
Dz |
= f ¢(y |
) Dy + a(Dy) |
Dy . |
|||
Dx |
|||||||||
|
|
|
0 |
|
0 |
Dx |
Dx |
||
|
|
Перейдем в последней формуле к пределу при Dx ® 0 |
: òàê êàê |
функция y = g(x) имеет производную в точке x0, то она непрерывна
58 |
59 |
II.Дифференциальное исчисление функций одной переменной
âэтой точке, значит, при Dx ® 0 приращение Dy тоже стремится к 0:
Dy ® 0 è
|
lim |
Dz |
= lim |
æ |
|
Dy |
+ a(Dy) |
Dy |
ö |
|
|
|
|
|
||||||||||||||
|
Dx |
ç f ¢(y0) |
Dx |
Dx |
÷ = |
|
|
|
|
|
||||||||||||||||||
|
x→0 |
x→0 |
è |
|
|
|
|
|
|
|
ø |
|
|
|
|
|
||||||||||||
|
= f ¢(y |
0 |
) lim Dy + lim a(Dy)× lim Dy = |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
x→0 Dx |
x→0 |
|
|
|
|
|
|
x→0 Dx |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
= f ¢(y )g¢(x |
|
|
) + lim a(Dy)× g ¢(x |
|
) = |
f ¢(y |
|
)g ¢(x |
|
|
). x |
|||||||||||||||||
0 |
|
|
|
|
0 |
y→0 |
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|||||
|
|
|
|
|
|
|
|
1 4 2 4 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
ïì í ï î |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таблица производных |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
1) c¢ = 0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ö¢ |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
¢ |
|
|
1 |
|
|
æ 1 |
|
|
1 |
|
||||||||
2) (xα )¢ = axα−1, в частности ( |
x ) |
|
= |
|
|
|
|
, |
ç |
|
|
÷ |
= - |
|
|
|
|
; |
||||||||||
|
2 |
|
|
|
|
|
x |
2 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
è x |
ø |
|
|
|
|
||||||||
3) (ax )¢ = ax lna, в частности (ex )¢ = ex ; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
4) (loga x)¢ = |
|
1 |
|
, |
|
в частности (ln x)¢ = 1 ; |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
x lna |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
5)(sin x)¢ = cos x;
6)(cos x)¢ = -sin x;
7) |
(tgx)¢ = |
|
1 |
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
cos2 x |
|
|
|
|
|
|
|
|||||
8) |
(ctgx)¢ = - |
|
|
1 |
|
|
; |
|
|
|
|
|||
|
sin2 x |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
||||||
9) |
(arcsin x)¢ = |
|
|
|
1 |
|
; |
|
|
|||||
|
|
|
|
|
|
|||||||||
|
1- x2 |
|
|
|||||||||||
10) (arccos x)¢ |
= - |
|
|
1 |
|
|
; |
|||||||
|
|
|
||||||||||||
|
1- x2 |
|||||||||||||
11) (arctgx)¢ = |
|
1 |
|
; |
|
|
|
|||||||
1+ x2 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
||||||
12) (arcctgx)¢ = - |
|
|
1 |
|
; |
|
||||||||
1 |
+ x2 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
13)(shx)¢ = chx;
14)(chx)¢ = shx;
4. Производная
15)(thx)¢ = ch12x ;
16)(cthx)¢ = - sh12x .
¡ 1) было доказано выше;
4) y = ln x Þ y¢ = lim ln(x + Dx) - ln x = lim |
|
|
ln |
x + Dx |
|
|
|
|
|||||||||||||||||||||||||||
|
|
= |
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
x |
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
x→0 |
|
|
|
Dx |
|
|
|
|
|
x→0 |
|
|
Dx |
|
|
|
|
|
||||||||||||
|
ln(1+ |
Dx |
|
) |
= 1 |
(òàê êàê lim ln(1+ x) = 1); |
|
|
|
||||||||||||||||||||||||||
= lim |
x |
|
|
|
|
|
|||||||||||||||||||||||||||||
Dx x |
|
|
|
|
|
|
|||||||||||||||||||||||||||||
x→0 |
|
|
|
|
|
x |
|
|
|
|
|
x→0 |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2x + Dx |
Dx |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
5) y = sin x; y¢ = lim |
sin(x + Dx) - sin x |
= lim |
2cos |
2 |
sin 2 |
= |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
x→0 |
|
|
|
Dx |
|
|
|
|
|
x→0 |
|
|
|
|
|
2 |
Dx |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
||
|
æ |
+ |
Dx |
ö |
|
|
|
(òàê êàê |
|
lim |
sin x |
= 1 ); |
|
|
|
|
|||||||||||||||||||
= lim cosç x |
|
2 |
÷ = cos x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
x→0 |
è |
|
|
ø |
|
|
|
|
|
|
|
|
|
x→0 |
x |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
æ p |
- x |
ö |
ò.4..44 |
|
|
|
æ p |
- x |
öæ p |
|
|
|
ö¢ |
|
|
|
|
||||||||||||||||
6) y = cos x = sinç |
|
2 |
÷ |
Þ |
|
y¢ = cosç |
|
|
֍ |
2 |
- x ÷ |
= sin x(-1) = |
|||||||||||||||||||||||
|
|
è |
|
|
|
|
ø |
|
|
|
|
|
è 2 |
|
|
|
øè |
|
|
|
ø |
|
|
|
|
|
|||||||||
= - sin x; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
æ sin x ö¢ |
|
|
cos x cos x + sin x sin x |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|||||||||||||||||
7) (tgx)¢ = ç |
÷ |
|
= |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
; |
|
|
|
|
||||
|
|
|
|
|
|
cos |
x |
|
|
|
|
|
cos |
2 |
x |
|
|
|
|
||||||||||||||||
|
è cos x ø |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
8) аналогично; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
é |
– |
p p |
ù |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
9) пусть y = sin xÎê |
, |
|
ú Þ cуществует обратная функция |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
ë |
|
2 2 |
û |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x = arcsin y; по теореме о производной обратной функции |
|
|
|||||||||||||||||||||||||||||||||
|
x¢ |
= |
|
|
1 |
= |
|
1 |
|
= |
|
|
1 |
|
|
|
= |
|
|
|
|
|
1 |
|
|
|
|
, |
|
|
|
|
|||
|
|
y |
¢ |
cosx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
y |
|
|
|
|
|
1- sin |
2 |
x |
|
|
1- y |
2 |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
что, с заменой y на x и х на y, и доказывает нужное нам равенство; 10) так как arcsin x + arccosx = p2 , òî
60 |
61 |
II. Дифференциальное исчисление функций одной переменной
|
|
æ p |
|
|
ö¢ |
|
1 |
|
||
|
(arccos x)¢ = ç |
|
- arcsin x ÷ |
= - |
|
; |
||||
|
|
1- x2 |
||||||||
|
|
è 2 |
|
|
ø |
|
|
|||
11) пусть |
æ |
- |
p |
, |
p ö |
Þ |
cуществует обратная функция |
|||
y = tgx, x Îç |
2 |
÷ |
||||||||
|
è |
|
|
2 ø |
|
|
|
|
|
x = arctgy; |
по теореме о производной обратной функции |
x¢ |
= |
1 |
= |
||||||||||||||||
y¢ |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
||||||
|
|
1 |
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
x |
|
|
= 1: |
|
= |
|
= |
|
, что, с заменой y на x и х на y, и доказывает |
|||||||||||||||
|
cos2 x |
tg2x + 1 |
y2 + 1 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
нужное нам равенство; |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
12) òàê êàê arctgx + arcctgx = p , òî |
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
æ p |
ö¢ |
|
1 |
|
|
|
|
|
|
||
|
|
|
|
|
(arcctgx)¢ = ç |
- arctgx ÷ |
= - |
|
|
|
. |
|
|
|
|
||||||
|
|
|
|
|
1+ x |
2 |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
è 2 |
ø |
|
|
|
|
|
|
|
Дадим определение гиперболических функций: гиперболиче скими синусом, косинусом, тангенсом и котангенсом называются соответственно функции
shx = |
ex - e− x |
, chx = |
ex + e− x |
, thx = |
shx |
, cthx = |
chx |
. |
|
2 |
2 |
chx |
shx |
||||||
|
|
|
|
|
Как легко проверить, формулы для этих функций похожи на формулы для соответствующих тригонометрических функций, от личие может быть только в знаках, в частности, справедлива форму ла
ch2x - sh2x = 1.
Из данных определений имеем:
13)(shx)¢ = 12(ex + e−x ) = chx;
14)(chx)¢ = 12 (ex - e− x ) = shx;
15) |
(thx)¢ = |
ch2x - sh2x |
= |
1 |
; |
|
ch2x |
ch2x |
|||||
|
|
|
|
|||
16) |
аналогично. |
|
|
|
Теперь нам осталось доказать только формулы п. 2 и 3.
4. Производная
Логарифмическое дифференцирование
Пусть y = f (x) > 0 – некоторая функция, имеющая производную. Рассмотрим производную по х от ln y. Согласно теореме 4.4
(ln y)¢x = 1 yx¢ = 1 y¢. Такая производная называется логарифмической y y
производной функции y = f (x) , а метод ее использования – логарифмическим дифференцированием.
Применим этот метод для доказательства оставшихся форму л :
2) |
y = xα Þ ln y = a ln x Þ 1 y¢ = a 1 Þ y¢ = a |
y |
= a |
xα |
= axα−1; |
|
x |
|
|||||
|
y |
x |
|
x |
3) y = ax Þ ln y = x lna Þ 1 y¢ = lna Þ y¢ = y lna = ax lna. x y
Вобщемслучаеметодлогарифмическогодифференцированияприменяется для нахождения производных функций вида y = f (x)g(x) :
ln y = g(x)ln f (x )Þ 1 y¢ = g ¢(x )ln f (x )+ g (x ) |
1 |
|
f ¢(x )Þ |
|
f (x) |
||||
y |
|
|||
Þ y¢ = f (x)g(x) ln f (x)g ¢(x )+ g (x )f (x )g(x)−1 f ¢(x ), |
т.е. получаем сумму производных показательной и степенной функций.
Пример. Найти производную функции y = (sinx)x2 . Ð å ø å í è å
y = (sin x)x2 Þ ln y = x2 lnsin x; |
y ' |
= 2x lnsin x + x2 cos x ; |
||||
|
||||||
|
|
|
y |
|
sin x |
|
x2 |
æ |
2x lnsin x + x |
2 |
cosx ö |
||
y¢ = (sin x) |
ç |
|
÷. |
|||
|
è |
|
|
|
|
sin x ø |
Производная неявной функции
Пусть значения переменных x и y связаны между собой некоторым уравнением, которое, если все его члены перенести в левую ч асть, может быть записано в виде F (x, y) = 0, где F (x, y) – некоторая функция двух переменных. Если для каждого значения х, принадлежащего не-
62 |
63 |