Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебники / Ter-Krikorov_Kurs_matematicheskogo_analiza_2015

.pdf
Скачиваний:
121
Добавлен:
19.01.2020
Размер:
8.17 Mб
Скачать

150 Гл. IV . Производная и ее приложения

т. е. дифференциал те-го порядка независимого переменного при те 2 равен нулю.

Отметим еще следующие свойства дифференциалов те-го порядка

в предположении существования

и

.

1) dn(Au + B v) = A d nu + В dnv,

А, В — постоянные;

П

 

 

2) dn(uv) = J 2 Cndkudnkv.

k = 0

Первое из этих свойств следует из равенств (22) и (8), а второе — из равенства (22) и формулы (19).

З а м е ч а н и е . Дифференциал второго порядка, в отличие от первого дифференциала, не обладает свойством инвариантности формы, т. е. фор­ мула (21) не сохраняется при замене х на функцию ip(t).

О

Действительно, пусть х = <f(t), тогда у = f(x)

= f(<p(t)). Если сущ ест­

вую т } ”{х) и

то, используя определение дифференциала и правила

диф ференцирования произведения и сложной функции, получаем

откуда

 

dy = f'(x) dx = f'(<p(t))<p'(t) dt,

= (/'(¥>(*))¥>'(*))'Я 2 = f " ( v ( m v ( t ) d t f + f(<p(tW(t)dt2.

 

i y

Т ак

как

dt

= dx, ip"(t) dt" = d x. to

 

 

 

 

d2y = f " (x) d x 2 + f (x) d2x,

 

или

 

 

dry = y"dx2 + y d 2x.

(23)

 

 

 

Из равенств (21) и (23) следует, что при замене х на функцию ip{t) изменя­

ется вид второго дифференциала — в нем появляется слагаемое y'd~x. Если х = tp(t) = at + Ь, где а, Ьпостоянные, то d~x = 0, и в этом случае вид

второго дифференциала не меняется. •

§17. Основные теоремы для дифференцируемых функций

1.Локальный экстремум и теорема Ферма. Пусть сущест­ вует число 6 > 0 такое, что функция f ( x) определена в Д-окрестности

точки жо, т. е. на множестве Ug(xо) = (жо —S, Xq + 6), и пусть для всех х G US (XQ) выполняется неравенство

f ( x ) > f ( x о).

(1)

Тогда говорят, что функция f ( x ) имеет в точке XQ локальный мини­ мум.

Аналогично, если существует число 6 > 0 такое,

что для всех

х G US (XQ) выполняется неравенство

(2)

f(x) «Сf ( x о),

то говорят, что функция /(ж) имеет в точке XQ локальный максимум. Локальный минимум и локальный максимум объединяются об­ щим термином локальный экстремум. Функция у = /(ж), график ко-

§17. Основные теоремы для дифференцируемых функций

151

торой изображен на рис. 17.1, имеет локальные экстремумы в точках х\ — 1, Х2 = 3, жз = 4, а именно минимумы при ж = 1 и ж = 4 и

максимум при ж = 3.

 

Т е о р е м а 1 (Ферма). Если функция /(ж)

имеет локальный экст­

ремум в точке жо и дифференцируема в этой точке, то

/ ' Ы = о.

(з)

О Пусть, например, функция /(ж) имеет локальный минимум в точ­ ке жоТогда в силу (1) для всех ж Е (жо —<5,жо + S) выполняется не­ равенство

f(x) -

f ( x о) ^ 0.

(4)

Если ж Е (жо —S, жо), то ж —жо < 0,

и из условия (4) следует, что

/(ж) -

/(жо)

^ 0,

(5)

ж —Жо

 

 

а если ж Е (жо,жо + £), то выполняется неравенство

 

/(ж ) -

/(жо)

> 0.

(6)

ж —Жо

Так как функция / дифференцируема в точке жо, то существует пре­ дел при ж —>• жо в левой части неравенства (5), равный f'_(жо) = f'(x о). По свойствам пределов из (5) следует, что

 

/ ' Ы

^ о.

(7)

Аналогично, переходя к пределу в неравенстве (6), получаем

 

 

/ ' Ы

^ о.

(8)

Из неравенств (7) и (8) следует, что /'(жо) = 0. •

 

З а м е ч а н и е

1. Теорема Ферма имеет простой геом етрический смысл:

касательная к граф ику функции у =

/(ж ) в точке локального экстрем ум а

(жо,/(жо)) параллельна оси абсцисс (рис. 17.2).

 

2. Теорема Ролля о нулях производной.

 

Т е о р е м а

2 (Ролля). Если функция /(ж) непрерывна на отрез­

ке [а, Ь], принимает в концах этого отрезка равные значения,

т. е.

 

/(а) =

/ ( 6),

(9)

дифференцируема на интервале (а, 6), то существует точка

152

Гл. IV . Производная и ее приложения

 

£ G (а, Ъ) такая, что

 

 

О Обозначим

А О

= о-

(ю)

М = sup /(ж),

т = inf /(ж). По теореме

Вей-

ерштрасса (§ 11, теорема 4) на отрезке [а, 6] существуют такие точки ci и с2, что /( d ) = т, f (с2) = М.

Если т = М, то /(ж) = const, и в качестве £ можно взять любую точку интервала (а, 6).

Если т ф М, то т < М, и поэтому /( d ) < / ( с2)- В силу условия (9) по крайней мере одна из точек d , с2 является внутренней точкой от­ резка [а, Ь]. Пусть, например, ci G (а, 6). Тогда существует число S > 0

такое, что Us(ci) С (а, Ь).

Так как для всех ж G ^ ( d )

выполняется

условие /(ж) ^ /(ci) = ш,

то по теореме Ферма /'( d ) =

т- е- усло­

вие (10) выполняется при £ = с\. Аналогично рассматривается случай, когда с2 G (а, 6). •

Теорему Ролля можно кратко сформулировать так: между двумя точками, в которых дифференцируемая функция принимает равные значения, найдется хотя бы один нуль производной этой функции. Для случая /(а) = f(b) = 0 теорема формулируется еще короче: между двумя нулями дифференцируемой функции лежит хотя бы один нуль ее производной.

З а м е ч а н и е 2. Геометрический смысл теоремы Ролля: при условиях теоремы 2 сущ ествует значение £ G (а, Ь) такое, что касательная к графику функции у = f ( x ) в точке (£ ,/(£ )) параллельна оси О х (рис. 17.3).

Рис. 17.5

Рис. 17.6

За м е ч а н и е 3. Все условия теоремы Ролля сущ ественны . На рис. 17.4­

17.6изображены графики функций, каж дая из которых удовлетворяет всем

§17. Основные теоремы для дифференцируемых функций

153

условиям теоремы Ролля, кроме одного. Для всех этих функций не сущ ест­ вует точки на интервале (—2,2), в которой производная была бы равна нулю.

3. Формула конечных приращений Лагранжа.

Т е о р е м а 3 (Лагранжа). Если функция f(x) непрерывна на отрез­ ке [а, Ь] и дифференцируема на интервале (а, 6), то в этом интервале найдется хотя бы одна точка £ такая, что

m - f ( a ) = m ( b - a ) .

(1 1 )

О Рассмотрим функцию

ip(x) = f{x) + Аж,

где число А выберем таким, чтобы выполнялось условие ср(а) = ip(b), т. е. /(а) + Aa — f{b) + АЪ. Отсюда находим

А =

(12)

 

о —а

Так как функция ip(x) непрерывна на отрезке [а, Ь], дифференцируе­ ма на интервале (а, b) и принимает равные значения в концах этого интервала, то по теореме Ролля существует точка £ Е (а, b) такая, что у/(£) = /'(£) + А = 0. Отсюда в силу условия (12) получаем равенство

/ ’к ) =

: f (<,).

из»

равносильное равенству (1 1 ). •

 

 

З а м е ч а н и е 4. Правая часть

формулы (13) равна угловому

коэффи­

циенту секущ ей, которая проходит через точки A ( a , f ( a ) ) и B ( b ,f ( b )) гра­ фика функции у = /(ж ), а левая часть этой формулы равна угловому коэф­ фициенту касательной к граф ику в точке (£ ,/(£ )). Поэтому теорема

Л агранж а имеет следую щ ую геом етрическую

интерпретацию : сущ ествует

значение £ Е (а,Ь) такое, что касательная к

граф ику функции у = f ( x )

в точке

(£ ,/(£ ))

параллельна секущ ей (рис. 17.7), соединяющ ей точки

A(a,f(a))

и B{b,f{b)).

З а м е ч а н и е

5. Пусть функция / удовлетворяет условиям теоремы 3.

Если жо Е [а, Ь], а приращение Аж ф 0 таково, что точка жо + Аж такж е при­ надлеж ит отрезку [а, Ь], то, применив теорем у Л агранж а к функции /(ж )

154

Гл. IV . Производная и ее приложения

на отрезке I с концами хо и хо + Ах (Ах мож ет быть и отрицательным), получим

 

 

 

 

f(x0 + Ах) -

f(x0) = Дх/'(£),

(14)

где £ — некоторая внутренняя точка отрезка I.

 

 

 

 

П усть Ах > 0; тогда 0 < £ —хо < Ах (рис. 17.8), и поэтому 0 <

- — — < 1.

Полагая в = -——, получаем

 

 

 

 

 

 

А х

 

 

 

 

 

 

 

 

 

А х

J

 

 

 

 

 

 

 

 

 

 

 

£ = хо +

0 Д х ,

где

0 <

0 < 1.

(15)

 

Аналогично,

если

Ах < 0,

то

0 <

хо — £ <

|Д х| (рис. 17.9), и

поэтому

U <

^

, тт

 

Ci

 

=

 

 

 

 

01 К\

А х

< 1. Полагая в = -------

А х

, снова получаем равенство (15),

 

1.

 

—А х

 

 

 

 

 

где 0 < В <

 

 

 

 

 

 

 

 

 

 

Следовательно, равенство (14) можно записать

в виде

 

 

 

 

f ( x о + А х ) -

/(х о )

= А х

/'(х о

+

0 А х ) ,

(16)

где 0 < 0 < 1.

Формулу (16) назы ваю т формулой конечных приращений Лагранжа. Она дает точное выраж ение для приращ ения функции, в отличие от приближен­

ного равенства

 

 

 

 

 

 

 

/(х о + Ах) -

/ ( х 0) и

Д х / '( х 0),

 

 

которое иногда назы ваю т формулой бесконечно малых приращений.

Пр и м е р 1. Доказать, что

 

 

 

 

 

 

 

1п(1 + ж) <ж

при

х > 0,

 

(17)

 

|arctgX2 —arctgxi|

|жг —жг|,

х\ R,

is € R.

(18)

Д а) Применяя теорему Лагранжа к функции /(ж) = ln(l + ж) на от­

резке

[0, ж], где х > 0, получаем

1п(1 + ж) =

х. откуда

следует

неравенство (17), так как 0 < £ < х.

 

1 + £

 

 

 

 

 

 

б)

По теореме Лагранжа для функции arctg ж на отрезке с концами

Жг и Ж2 находим

 

 

 

 

 

 

 

arctgх2 —arctg жг =

1

(жг —х±),

 

 

 

 

1 + ? ■

 

 

 

откуда получаем | arctgЖ2 —arctgжг| =

 

^ ^

|жг —Жд |, так как

 

1

 

 

1 + ? "

 

 

о < — Ц - «с 1 . ▲

 

 

 

 

 

 

1

+ £2

Ж2 = ж,

х± = 0, получаем

 

Полагая в соотношении (18)

 

 

| arctgж| ^

|ж|,

ж €

R,

 

(19)

и, в частности,

 

 

 

 

 

 

 

0 ^ arctg ж ^ ж,

ж ^ 0.

 

(20)

 

 

§17. Основные теоремы для дифференцируемых функций

 

155

 

4.

Некоторые следствия из теоремы Лагранжа.

 

 

 

С л е д с т в и е

1. Если функция /(ж) дифференцируема на интервале

(а, Ъ) и /'(ж) = 0 для всех х (а, Ъ),

то

 

 

 

 

 

 

 

 

 

/(ж) = С = const,

 

х € (а,Ь).

 

 

 

 

О

Пусть Хо — фиксированная

точка интервала

(а,Ь),

х

— любая

точка этого интервала. Применяя теорему Лагранжа к функции /(ж)

на отрезке с концами Xq

и х, получаем

 

 

 

 

 

 

 

 

 

/(ж) - f ( x о) =

(ж -

жо)/'(О)

 

 

 

 

где £ G (а, Ь), /'(£) = 0, откуда /(ж) =

/ ( ж0) = С. •

 

 

 

 

С л е д с т в и е

2. Если функция /(ж)

непрерывна на отрезке [а,Ь],

дифференцируема на интервале (а, Ъ) и для всех ж G (а, Ъ) выполняется

равенство /'(ж) = к, где к постоянная, то

 

 

 

 

 

 

 

f(x) = kx + B,

ж €

[а, Ь],

 

 

 

 

т. е. /

линейная функция.

 

 

 

 

 

 

 

 

 

О Применяя теорему Лагранжа к функции / на отрезке

[а,ж], где

а ф ж ^ Ь, получаем /(ж) —/(а) = к (ж —а), откуда следует, что /(ж) =

= кх + В, где В = f(a ) —fca.

 

 

 

 

 

 

 

 

 

 

С л е д с т в и е

3. Пусть функция /(ж)

дифференцируема на интер­

вале (а,Ь), за исключением, быть может, точки XQ € (а,Ь), и непре­

рывна в точке XQ. Тогда если существует конечный или бесконечный

 

 

 

 

lim

/'(ж) =

А,

 

 

 

(2 1)

 

 

 

 

х—^хо —О

 

 

 

 

 

 

 

 

 

то в точке XQ существует левая производная, причем

 

 

 

 

 

 

 

Г - Ы

= А.

 

 

 

 

(22)

 

Аналогично, если существует

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

/'(ж) =

В,

 

 

 

(23)

то

 

 

 

х—^жоН“0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Г+(хо) = В.

 

 

 

 

(24)

О

Пусть

приращениеАж таково, что Ажф0иточкаЖо + Аж при­

надлежитинтервалу(а,Ь).

Запишем равенство(16) в виде

 

 

 

 

Дж° + Аж) - /(жо) =

 

+ g

д ж);

0 < 6>< 1 .

(25)

Если существует предел (21), т.

е.

 

lim

/'(ж) =

lim/'(жо + Аж) =

 

 

 

 

 

ж—5-жо —о

А х —>—О

 

 

 

= А, то правая часть (25) имеет предел, равный А, а поэтому сущест­ вует предел в левой части (25) и справедливо равенство (22).

Аналогично, из соотношения (23) следует равенство (24). •

156

Гл. IV . Производная и ее приложения

 

 

Предположим, что функция /(ж) дифференцируема в точке XQ,

тогда

 

 

f'-(xo) = Д (ж 0) = f '(x0).

(26)

Если пределы (21) и (23) существуют и конечны, то из соотноше­ ний (22), (24) и (26) следует, что

lim

/'(ж) =

lim /'(ж) = f ( x 0).

x

—0

%—^жо+0

Это означает, что если функция /(ж) дифференцируема на интервале (а, Ь), то ее производная /'(ж) не может иметь точек разрыва пер­ вого рода. Иначе говоря, каждая точка XQ (а, Ъ) является либо точ­ кой непрерывности функции /'(ж), либо точкой разрыва второго рода.

Пр име р

 

 

 

 

 

 

 

 

 

 

 

2ж

 

2. Найти /1(1) и /+(1), если /(ж) = arcsin j-j-—т-

А Функция / определена на R, так как 1 + ж2

 

2|ж|. Вычислив про­

изводную, получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

1

 

 

 

2(1 —аг)

 

2(1 -

аг)

. .

,

J

(х > =

----,-----------------

 

75--------------= -75----- +775----+ 7 7 )

Ж

Ф

1,

J

х J

1

2

 

Л2 (1

+ а:2)2

1

- х2 (1

+ а:2) ’

1

| г

откуда

 

Л + ж

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/

 

о

 

 

 

 

1

 

 

 

 

 

 

 

 

1

если

|х| <

 

 

 

 

 

 

f ( x )

= <

+а:2’

 

 

 

 

 

 

 

2

если

I I

!

1 .

 

 

 

 

 

 

 

 

, _ 1~+~ж2

|ж| >

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применяя следствие 3, получаем

 

 

 

 

 

 

 

 

 

 

f'_( 1 ) =

 

lim

/ ' (ж) =

lim nT^ - y

 

= l.

 

 

 

 

 

 

 

х —^ 1—0

 

х —^1 —0 1 +

Х~

 

 

 

 

Аналогично находим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ 1 (1 ) = Пт

 

+ а:2

= - 1.

 

 

 

 

 

 

J +y

J

 

Ж—>1+0 V 1

 

 

 

 

 

 

 

Пр име р

3. Найти точки разрыва функции /'(ж), если

 

 

 

 

ttx\ _ /

х 2 sin -

ПРИ

х ф О,

 

 

 

 

 

 

 

 

 

* при

ж =

0.

 

 

 

 

А Если ж ф 0, то /'(ж) = 2жвт ——cos —, а если ж = 0, то по опреде-

 

9 - 1

лению производной /'(0)

х~sm -

= lim -------— = 0. Следовательно, функ­

ция /'(ж) определена на

Я и непрерывна при ж ф 0. В точке ж = 0

эта функция имеет разрыв второго рода, так как не существует пре­ дела функции

/Чж) =2ж sin —— cos —при ж + 0.▲

J v'

х

х

 

 

§17. Основные теоремы для дифференцируемых функций

157

 

С л е д с т в и е 4. Если функции (риф дифференцируемы при ж ф Жо

и удовлетворяют условиям р(хо) = ф(хо),

р'(х) > ф'(х) при х > X Q ,

то р(х) > ф(х) при х > Жо-

 

 

 

/(ж) = р(х) ф(ж) на

0

Применяя теорему Лагранжа

к функции

отрезке [жо, ж], где ж >

Жо,

получаем /(ж)

=

/'(^)(ж — Жо),

так как

/ ( Жо) = 0. Отсюда, учитывая, что

 

 

 

 

 

 

 

£ > ж 0,

/'(С) =

</?'(£) - Ф '( 0

> о,

 

получаем /(ж) > 0, т. е. р(х)

> ф(ж) при ж > Жо- •

 

 

Пр и м е р 4. Доказать, что

9

 

 

 

 

 

 

1п(1 + ж) > ж —

Т~

ж > 0.

(27)

 

 

 

при

 

 

 

 

 

 

 

9

 

 

А

Пусть

р(х) = 1п(1 + ж),

 

 

х~

тогда уфО)

= ф(0),

ф(ж) = ж — —,

р'(х)

= —-—, ф'(ж) = 1

—ж, и при ж > 0

справедливо неравенство

 

1

1

+ х

 

 

 

 

 

 

1

> 1 —ж, так как при ж > U это неравенство равносильно очевид-

+ х

ному неравенству 1 > 1 —ж2. Применяя следствие 4 к функциям р(х)

иф(ж), получаем неравенство (27). ▲

5.Обобщенная формула конечных приращений (формула

Коши).

Т е о р е м а 4. Если функции /(ж) и д(ж)

непрерывны на отрезке

[а,Ь], дифференцируемы на интервале (а,Ь),

причем д'(ж) ^ 0 во всеж

точках этого интервала, то найдется хотя бы одна точка £ € (а, Ъ)

такая, что

f (£)

 

f(b) ^ f(a)

 

y(b)-g(a)

g ' W

{S)

О Рассмотрим функцию

р(х) = /(ж) + Хд(х),

где число А выберем таким, чтобы выполнялось равенство р(а) = = р(Ь), которое равносильно следующему:

m - f ( a ) + X(g(b)-g(a)) = 0.

(29)

Заметим, что д(Ь) ф д(а), так как в противном случае согласно теоре­ ме Роллясуществовалабы точка с G (а, Ь) такая, чтод'(с) = 0 вопреки

условиям теоремы4.Итак, д(Ь) — д(а) ф 0, иизравенства

(29) сле­

дует, что

f(b) -

f(a)

 

ч _

/-опч

А“ У

й -

J W

(30)

Так как функция р при любом А непрерывна на отрезке [а, Ь] и диф­ ференцируема на интервале (а,Ь), а при значении А, определяемом формулой (30), принимает равные значения в точках а и Ь, то по

158 Гл. IV . Производная и ее приложения

теореме Ролля существует точка £ € (а, Ь) такая, что </?'(£) = 0, т. е.

/'(£) + Л<?'(£) =

0, откуда

/'(£)

и форму-

УД = —Л. Из этого равенства

 

 

 

 

5 (?)

 

лы (30) следует утверждение (28). •

 

 

З а м е ч а н и е

6. Теорем а Л агранж а — частны й случай теорем ы Коши

(у(х) = х).

 

 

 

 

 

З а м е ч а н и е

7. Т еорем у 4 нельзя получить применением

теоремы 3

к числителю и знаменателю

дроби, стоящ ей в левой части равенства (28).

Действительно, эту дробь по теореме 3 можно записать в виде

/'( 6 ) , где

£i

€ (а,Ь), € (а,Ь),

но, вообще говоря, £i / £ г -

У (&)

 

 

У п р а ж н е н и е .

Пусть ф ункция f ( x ) дифференцируема на отрезке [а, Ь]

и

f ( a ) <

Д оказать, что для любого А, удовлетворяю щ его условию

/ ' (а) < А < / ' (Ь), сущ ествует хотя бы одна точка £ € (а, Ь) такая, что / ' (£) = = А ( теорема Дарбу).

§18. Формула Тейлора

1.Формула Тейлора с остаточным членом в форме Лаг­

ранжа.

Л е м м а 1. Если функция /(ж) имеет в точке XQ производную п-го

порядка, то существует многочлен Рп(х)

степени не выше п такой,

что

 

 

 

 

 

 

 

 

 

Р п ( х 0) = f ( x o) ,

 

P i k)(xo)

= f {k)(xo),

* = м .

(1)

Этот многочлен представляется в виде

 

 

 

 

Рп (х) = / ( ж 0) +

;Ц у ^ ( ж -

Жо) +

^ ^

-

Ж0 ) 2 + ...

 

 

 

 

 

 

 

 

f(n

Х ^ х 0)п.

(2)

 

 

 

 

 

...+

п\

 

 

 

 

 

 

 

 

 

О Пусть <Дж) =

(ж —ж0)та, где то € N. Тогда ip(xo) = 0

 

 

(fc)

=

]

0,

если

* # т о ,

 

(3)

 

< ^% o )

 

,

если

'

 

 

 

 

( к! ,

к = то.

 

 

 

Из (3) следует, что многочлен Рп(х), заданный формулой(2),удов­ летворяет условиям (1). Этот многочлен называютмногочленом Тей­ лора п-го порядка для функции /(ж) в точке XQ.

У п р а ж н е н и е . Д оказать, что если Qn(x) — произвольный многочлен степени не выше п, то этот многочлен можно записать в виде

Q^x) = Y ,

Я [к)(хоЬ_ „ ч*

4LJz r l (.*-xo)h-

к=0

к\

 

 

§18. Формула

Тейлора

159

Л е м м а 2. Пусть функции ф х)

и ф(х)

определены в 8-окрестнос­

ти точки Хо и удовлетворяют следующим условиям:

 

1 ) для каждого х £ Ug(xo) существуют

(х) и ф(п + 1'1 (ж);

 

2) ф х 0) = ф(х о) =

... =

ф п)(хо) =

О,

 

ф(х0) = ф'(х0) =

■■■=ф{п)(хо) = 0;___________

^

3) ф(х) ф О, ф(кЦх) ф О для х £ Ug(xо) и для к = 1,п+ 1.

 

Тогда для каждого х £ US (XQ) существует точка £, принадлежа­

щая интервалу с концами XQ и х такая, что

 

 

Ф )

= Фп+1ч е

 

(гл

 

ф(х)

^(»+!)(^)'

{ J

О Пусть, например, х £ (Xq,Xq + 8).

Тогда, применяя к функциям tp

и ф на отрезке [жо,ж] теорему Коши

(§ 17) и учитывая, что (р(хо) =

= ф(хо) = 0 в силу условий (4), получаем

<р(х)

ip(x) -

ip(xo)

Ф ( Ф )

. f

 

6)

IИ

 

= i r i — т И

=

77тН> хо

< Ci < ж-

ф(х)

ф(х)-ф(хо)

Ф (ф)

 

 

 

Аналогично, применяя к функциямф и ф'на отрезке

[жо,^] теорему

Коши, находим

 

 

 

 

 

 

 

 

 

Ф ( Ф )

 

= Ф (6 ) -

у 'Ы

=

Ф 'Ф Ф

< с

< г

(7\

Ф'(Ф)

 

Ф'(Ф) -

Ф'(хо)

 

ф"(фУ

°

 

 

Из равенств (6) и (7) следует, что

 

 

 

 

 

р{х) _

ф(ф) _

ф'(фф

хо < & < ф < х < х0 + 8.

 

Ф(х)

ф'(ф)

ф"{ф)'

 

 

 

 

 

 

Применяя теорему Коши последовательно к функциям <р" и ф", ф 3'1 и ф^ , ..., ф ^ и ф(п'>на соответствующих отрезках, получаем

Ф ) _ ФФФ

_

_ Ф п]Фп) _

Ф п+1ч е

Ф(х) ф'(ф)

 

ф{п)фп)

Ф{П+1)(0

где ж0 < С < £п < ••• < Ci < х < ж0 + 8.

Равенство (5) доказано для случая, когда ж £ (жо,Жо + 5). Анало­ гично рассматривается случай, когда ж £ (жо —8, Жо).

Т е о р е м а 1. Пусть существует 8 > 0 такое, что функция /(ж) имеет в 8-окрестности точки Хо производные до (те + 1 )-го порядка включительно.

Тогда для любого ж £ Щ(хо) найдется точка £, принадлежащая

интервалу А с концами Хо и ж, такая, что

 

/(ж) = / ( Жо) + t - j^ - ( x - Жо) + ... + ^ ^ ° \ х -

Жо)” +

+ ;

^ / ( ж - ж о ) ^ 1. (8)

(те

ij.