Файл: Итенберг С.И. Дифференциальное и интегральное исчисление функций одной переменной учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 14.07.2024
Просмотров: 122
Скачиваний: 1
Пример 3. Найти вторую производную от неявной функции у, заданной уравнением х3 -{- у3 — Зли/ = 0. Считая у функцией от х, дважды дифферен цируем по х данное равенство
Зл:2 + Ъугу' — 2>у — Ъху' = 0,
6х + &у (у'У + Ъу*у° - Zy' - Ъу' - Ъху" = 0.
Из первого равенства находим у', вносим его во второе равенство и на ходим у".
ГЛАВА 2
ПРИЛОЖЕНИЯ ПРОИЗВОДНЫХ к ИССЛЕДОВАНИЮ ФУНКЦИЙ И К ГЕОМЕТРИЧЕСКИМ ЗАДАЧАМ
2.1. Теорема РОЛЛЯ
Рассмотрим ряд теорем, имеющих большое теоретическое зна чение.
Теорема |
Ролля. Если функция |
f (х) |
непрерывна |
на замкнутом |
|||
интервале |
[а; Ь], дифференцируема |
на открытом |
интервале |
(а, Ь) |
|||
и f (а) — f (b), то |
между точками |
а и b имеется |
по крайней |
мере |
|||
одна такая |
точка |
с, в которой f |
(с) |
= |
0. |
|
|
ffc+йх)
Рис. п
До к а з а т е л ь с т в о . Возможны два случая.
1.Не только f-(a) = / (b), но функция / (л:) постоянна.во всем интервале [а; Ь]. В этом случае /' (л:) = 0 в каждой внутренней
точке интервала [а; Ь], так что с — любая точка, лежащая между
аи Ь.
2.Пусть / (л:) не постоянна на интервале [с; b ] . В силу непре рывности f (х) на замкнутом интервале [a; b 1 среди значений, при нимаемых функцией на этом интервале, имеются наибольшее и
наименьшее |
значения (там же, стр. 175), причем так |
как f (а) = |
|||
= f (b), то |
по крайней мере одно |
из |
этих значений |
принимается |
|
во внутренней точке интервала [а; |
Ь]. |
Пусть, например, |
функция |
||
/ (х) принимает наибольшее значение в точке с (а<±с<*Ь, |
рис. 11). |
30 .
Тогда при |
любом достаточно |
малом |
по |
модулю Ах будет / (с + |
||
+ Ax)<Cf |
(с), откуда следует, |
что |
|
|
|
|
|
f(c+Ax)-f(c) |
< Q п |
р и |
А |
х > |
0 . |
|
Ах |
|
|
|
|
|
|
/ ( С + А * ) - / ( С ) > 0 |
п р и |
Д |
л |
< 0 - |
|
|
Ад; |
|
|
|
|
|
Функция / (х) по условию дифференцируема в точке с, в силу чего при Ах -»- 0 оба последних отношения стремятся к общему пределу /' (с). Но общим пределом положительной и отрицатель ной величин может быть только 0. Следовательно, f (с) = 0.
|
|
Рис. 12 |
|
Рассуждения аналогичны, когда в точке с функция |
принимает |
||
наименьшее |
значение. |
|
|
Теорема |
Ролля имеет |
простой геометрический смысл. Так как |
|
/' (с) = 0, то касательная |
к кривой у = f (х) в точке с |
абсциссой |
с параллельна оси Ох. Следовательно, теорема утверждает следую щий очевидный геометрический факт: на гладкой дуге АВ с одина ковыми начальной и конечной ординатами всегда найдется по край
ней мере одна такая точка М, в которой касательная |
к дуге будет |
|||
параллельна оси Ох. |
|
|
|
|
Если |
требование |
дифференцируемое™ |
функции |
нарушается |
хотя бы |
в одной точке интервала (а; Ъ), то |
производная функции |
может нигде не обратиться в нуль. Подтверждением служит, на пример, функция, график которой представлен на рис. 12, не диф
ференцируемая в точке с. Ни в одной точке дуги |
АВ |
касательная |
||
здесь не параллельна оси Ох. |
|
|
|
|
2.2. ТЕОРЕМА КОШИ. |
|
|
|
|
ФОРМУЛА КОНЕЧНЫХ ПРИРАЩЕНИЙ ЛАГРАНЖА |
, |
|||
Опираясь на теорему Ролля, докажем теорему |
Коши. |
|
||
Теорема. Если функции f (х) и |
ср (х) непрерывны |
на |
замкнутом |
|
интервале [а; Ь], дифференцируемы |
на открытом |
интервале |
(а, Ъ), |
|
причем ф' (х) Ф 0 во всех точках интервала (а, Ь), |
то |
между точ- |
31
ками а и b имеется по крайней |
мере одна такая точка |
с (а<Сс<СЬ), |
|
что |
|
|
|
f(b)-f(a) |
= |
['(с)' |
(2.1) |
Ф ( 6 ) - Ф {а) |
Ф'(с) |
|
Д о к а з а т е л ь с т в о . Определим число R равенством
|
|
|
|
|
|
|
f(b)~f(a) |
= R |
|
|
|
|
|
|
|
(2.2) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
Ф (Ь) — ф (а) |
|
|
|
|
|
|
|
|
|
|
|||
откуда |
|
f(b)-f{a)-[<?W- |
|
ср(а)]Я = 0, |
|
|
|
|
|
(2.3) |
|||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||
и введем следующую вспомогательную функцию: |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
F(x)=f(x)-f(a)-[<p(x) |
|
— <p{a)]R. |
|
|
|
|
|
(2.4) |
|||||||
|
Функция F [х) |
является |
суммой |
функций, |
непрерывных на |
||||||||||||||
интервале la, Ь] и дифференцируемых |
на интервале |
|
(а, |
Ь). Поэ |
|||||||||||||||
|
|
|
|
|
|
|
|
|
тому |
F (х) |
непрерывна на зам |
||||||||
|
|
|
|
|
|
|
|
|
кнутом интервале |
[а; Ь] и диф |
|||||||||
|
|
|
|
|
|
|
|
|
ференцируема |
на |
открытом ин |
||||||||
|
|
|
|
|
|
|
|
|
тервале (а; Ь). Непосредственно |
||||||||||
|
|
|
|
|
|
|
|
|
видно, что F (а) = |
|
0, |
а в силу |
|||||||
|
|
|
|
|
|
|
|
|
(2.3) и F (Ь) = 0, так что F (а) = |
||||||||||
|
|
|
|
|
|
|
|
|
= |
F (Ь). Таким образом, |
функ |
||||||||
|
|
|
|
|
|
|
|
|
ция F (х) |
на интервале |
[а; Ъ 1 |
||||||||
|
|
|
|
|
|
|
|
|
удовлетворяет |
|
всем |
условиям |
|||||||
|
|
|
|
|
|
|
|
|
теоремы Ролля, |
поэтому |
между |
||||||||
|
|
|
|
|
|
|
|
|
точками а и b найдется |
такая |
|||||||||
|
|
|
Рис. |
13 |
|
|
|
точка |
с, |
в |
которой |
F' (с) = 0. |
|||||||
|
|
|
|
|
|
Имеем F' (х) = f |
(х) — Rq>' (х), |
||||||||||||
|
|
|
|
|
|
|
|
|
так что F' (с) = |
/' (с) — |
# ф ' (с) = . |
||||||||
= |
0. |
По условию |
теоремы |
ф' (х) |
0 на интервале (а; Ь), поэтому |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||
и |
ф' (с ) =г= 0, и из предыдущего |
равенства |
|
находим |
/< = |
— . |
|||||||||||||
Подставив это выражение в равенство |
(2.2), |
приходим |
к |
|
<р'(с) |
||||||||||||||
(2.1), что |
|||||||||||||||||||
и |
требовалось |
доказать. |
Равенство |
(2.1) |
носит название ф о р - |
||||||||||||||
м у л ы |
К о ш и. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Доказанная теорема может быть просто истолкована геометри |
||||||||||||||||||
чески. С этой целью обозначим независимую |
переменную буквой t |
||||||||||||||||||
и рассмотрим параметрические уравнения у |
= f (t); х = |
ф (t) не |
|||||||||||||||||
которой |
линии. Пусть дуга |
АВ (рис. 13) будет графиком этой ли |
|||||||||||||||||
нии, |
соответствующим |
некоторому промежутку |
[а; Ь] изменения |
||||||||||||||||
параметра t, так что точка |
А имеет |
координаты |
[ф (а); / (а)], a |
||||||||||||||||
точка В — координаты |
[ф (b)\ f (6)1. Угловой коэффициент |
хорды |
|||||||||||||||||
А В будет tg ф = |
i f f = |
f?l~H?\ |
|
' а |
^ТТГ = Ух (с ) |
е |
с |
т ь |
Усовой |
||||||||||
|
|
|
|
Л Р |
ф(6) — ф ( а ) |
|
ф'(с) |
|
|
|
|
|
|
|
|
||||
коэффициент касательной |
к дуге |
А В в некоторой ее точке М. Из |
|||||||||||||||||
равенства этих двух угловых коэффициентов |
[формула (2.1)1 сле- |
||||||||||||||||||
дует^параллельность хорды |
и касательной. |
|
Итак, |
теорема |
Коши |
32
утверждает |
следующий очевидный геометрический фактt"5 на глад |
кой дуге АВ |
всегда найдется по крайней мере одна такая точка М, |
в которой касательная к дуге будет параллельна хорде, стягиваю-
'щей |
дугу. |
|
|
|
|
В формуле Коши положим, в частности, ср (х) = |
х\ тогда ср (а) = |
||||
— а, |
ср (b) = |
Ь, ср' (х) = 1 и эта формула принимает вид |
|||
|
|
lS^LzlSEL=f |
(с) |
|
|
|
|
Ъ — а |
|
|
|
или |
|
|
|
|
|
|
|
f(b)-f(a) |
= (b-a)f'(c), |
(2.5) |
|
где |
а < с < 6 . |
|
|
|
|
Последняя |
формула называется |
ф о р м у л о й |
к о н е ч н ы х |
||
п р и р а щ е н и й Л а г р а н |
ж а. |
В соответствии с этой форму |
лой приращение функции на конечном интервале равно прираще нию аргумента, умноженному на значение производной функции в некоторой внутренней точке этого интервала.
Формула Лагранжа, являясь частным случаем формулы Коши, выражает тот же геометрический факт, что и формула Коши. Чи татель может самостоятельно в этом убедиться, рассмотрев на ин
тервале |
[a; b ] дугу кривой, заданной уравнением у = f |
(х). |
|
||
Формулу (2.5) часто используют в другой форме. Вместо на |
|||||
чального |
аргумента а пишут х, |
а вместо b пишут х + |
Ах. |
Тогда |
|
|
с — а |
с — х |
0 |
|
|
|
b — а |
Ах |
' |
|
|
где |
0 — некоторое |
число, удовлетворяющее |
условию |
0<<9<;1. |
||
Отсюда с = |
х + QAx. Таким образом, |
в новых обозначениях фор |
||||
мула |
(2.5) |
примет вид |
|
|
|
|
|
|
f(x+ |
Ах) —f (х) = Ax-f |
{x + |
QAx) |
(2.6) |
|
|
|
( 0 < 8 < 1 ) . |
|
|
|
2.3. ФОРМУЛА ТЕЙЛОРА
Пусть имеется функция / (я), дифференцируемая п раз на замк нутом интервале [а, Ь] (это значит, что f (х), f (х), f" (х), . . .
/( "- 1 > (х) являются дифференцируемыми функциями на рассматри ваемом интервале). Определим число R равенством
f (b)—f |
(а) — ^ р - ( p — a ) — ^ - i b — a f |
— . . . |
|
||
• • • |
(п—1)! |
( f t - a ) ' - 1 |
- 4 ( f t - a ) " |
= 0 |
(2.7) |
|
|
п\ |
|
|
33
и введем вспомогательную функцию
F(x) |
= fib)-t(x)—££>_(&_*)_.Ш-(6_*)>_ |
|
. . . |
|||||||
|
. . . - ^ { Ь - х Г - ' ~ ^ - ( Ь - х ) : |
|
|
|||||||
|
|
( я — |
1)1 |
|
|
|
я! |
|
|
|
В силу |
(2.7) |
F (а) — О и непосредственно |
видно, что F (Ь) = О, |
|||||||
так что F (а) — F (Ь). Кроме того, функция |
F (х) будет, |
очевидно, |
||||||||
дифференцируема на замкнутом |
интервале [а; Ь]. |
Таким |
образом, |
|||||||
функция F (х) удовлетворяет более жестким условиям, чем условия |
||||||||||
теоремы Ролля, поэтому |
она |
|
подавно |
удовлетворяет последним. |
||||||
Следовательно, |
между точками |
а и |
Ь |
существует |
такая |
точка с, |
||||
что F' (с) = 0. |
Имеем |
|
|
|
|
|
|
|
|
|
|
F' |
(*)=-/'(*) |
f" (х) |
(b~x)- |
|
|
|
|||
|
|
|
|
|
1! |
|
|
|
|
|
|
|
(Ь-х) |
|
1! |
(b—x) |
|
|
|
||
|
|
2! |
|
|
|
|
|
|
|
|
|
|
/(п) (x) ( Ь - х ) n—1 |
f•(п - 1) |
|
|
|
|
|
|
|
( л - 1 ) 1 |
|
(л —2)! |
|
|
|
R |
(b—x) |
п—1 |
/ ( п ) (*) |
п - 1 |
|
|
||
|
|
|
( & - * ) |
|
|
|
||
(n—1)1 |
|
|
( л - 1 ) 1 |
|
( п - 1 ) |
|||
Следовательно, |
|
|
|
|
|
|||
F' |
(с) = |
|
(n—\)l |
(6— с ) " - 1 |
+ |
( 6 - с ) п - 1 |
||
|
w |
|
|
( л — 1 ) 1 |
|
|
||
а так как |
b — с Ф 0, то |
отсюда находим |
.R = |
fn) |
(с). |
|||
это значение R |
в формулу |
(2.7) и заменив в ней |
b на х, |
|||||
/ ( * ) = Ж + ^ ( * - а ) + Г ^ ( * - я ) 2 |
+ • |
|||||||
|
|
|
( л — 1 ) ! |
|
л! |
(х-а)п, |
||
|
|
|
|
|
|
|
+
( Ь - Х ) п— 1
= 0,
Подставив
получим
(2.8)
где точка с лежит между |
точками а и х ( а < с < х ) . |
|
|
Формула (2.8) |
называется ф о р м у л о й Т е й л о р а |
/г-го |
|
порядка для функции / (х). Последний член этой формулы Rn |
(х) = |
||
= 1!П v '(Л (х — а)п; |
( а < с < х ) |
называется о с т а т о ч н ы м |
ч л е - |
п\ |
|
|
|
н о м формулы Тейлора. В частном случае, при а — 0, будем иметь формулу
f ( * ) - f ( 0 ) + - ^ - * - |
• Х 2 |
+ |
|
|
2! |
|
|
/<"-') ( 0 ) ^ - 1 |
/ W ( C ) |
^ |
(2.9) |
( я - 1 ) 1 |
|
|
|
|
|
|
34