Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математика / Шилкин Лекции.PDF
Скачиваний:
33
Добавлен:
11.05.2015
Размер:
7.25 Mб
Скачать

ЛЕКЦИЯ 17

Основные теоремы дифференциального исчисления.

Говорят, что в точке x0 функция f имеет локальный максимум (минимум), если существует такое δ > 0 , что для всех x из δ -окрестности точки x0 выполняется неравенство:

f (x) f (x0 ) (f (x) f (x0 )) x x x0 < δ .

Точки локального максимума и минимума называются точками локального экстремума, а значения функции в них – локальными экстремумами функции.

x1, x3 - точки локального минимума, x2 - точка локального максимума.

 

 

 

 

 

 

 

 

 

 

 

 

Теорема Ферма:

определена

в

 

 

 

 

 

 

 

 

 

 

 

 

Пусть функция f

 

 

 

 

 

 

 

 

 

 

 

 

интервале (a,b) и в некоторой точке

 

 

 

 

 

 

 

 

 

 

 

 

x0 (a,b)

 

имеет

 

локальный

существует конечная производная f (x0 ) , то

 

экстремум. Тогда, если в точке

x0

 

f (x0 ) = 0 .

 

 

 

 

 

Доказательство:

 

 

 

 

 

 

 

 

 

 

 

 

Пусть в точке x0

функция имеет локальный максимум, т.е.

f (x) f (x0 )

x Vδ (x0 )

или x,

 

x x0

 

< δ . Тогда в силу дифференцируемости

f

в точке

x0

 

 

при x > x0 :

 

 

 

 

f (x) f (x0 )

 

 

 

 

f (x) f (x0 )

 

 

 

 

 

 

 

 

 

 

 

0

lim

 

 

= f (x0 ) 0 ,

 

 

 

 

 

 

 

 

 

 

x x0

 

 

 

а при x < x0

 

 

 

 

x x0

xx0 +0

 

 

 

 

 

 

будем иметь:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) f (x0 )

0

lim

 

f (x) f (x0 )

= f (x0 ) 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x x0

xx0 0

 

x x0

 

 

 

 

 

Эти неравенства одновременно имеют место лишь при f (x0 ) = 0 .

Теорема доказана.

Геометрически теорема Ферма означает, что в точке локального экстремума касательная к графику функции в точке (x0 , f (x0 ))

параллельна оси OX .

Об условия существенны.

Теорема Ролля:

Пусть функция f непрерывна на отрезке [a,b] , дифференцируема в каждой точке интервала (a,b) и f (a) = f (b) . Тогда существует хотя бы одна точка c ,

a < c < b такая, что f (c) = 0 . Доказательство:

Если f (x) постоянная на [a,b] , то f (c) = 0 x (a,b) .

Если f (x) не постоянная, то она достигает в некоторых точках отрезка [a,b] наибольшего и наименьшего значений ( по теореме Вейерштрасса). Значит, или max f (x) или min f (x) обязательно достигаются функцией внутри отрезка (a,b) в некоторой точке c . Тогда, по теореме Ферма, f (c) = 0 .

Геометрически эта теорема означает следующее. Между двумя нулями функции лежит нуль производной.

Каждое из условий теоремы существенно.

Теорема Коши:

Пусть функции f (x) и g(x) непрерывны на отрезке [a,b], дифференцируемы в интервале (a,b) , причём g(x) 0 x (a,b) . Тогда на (a,b) найдётся точка c

 

f (b) f (a)

 

f

такая, что

=

(c)

.

g(b) g(a)

 

 

 

g (c)

Доказательство:

Заметим, что g(b) g(a) , т.к. в противоположном случае по теореме Ролля существует точка c такая, что g(c) = 0 , что противоречии условию g(c) 0

x (a,b) .

Рассмотрим вспомогательную функцию:

F(x) = f (x) f (a)

f (b) f (a)

(g(x) g(a))

 

 

g(b) g(a)

Функция F(x) непрерывна на [a,b], дифференцируема на (a,b) и

F(b) = F(a) (легко проверяется подстановкой). Тогда, по теореме Ролля существу-

 

 

 

 

 

 

 

 

 

ет c (a,b) , чтоF (c) = 0 .

 

 

 

 

 

 

f (b) f (a)

 

 

f (b) f (a)

 

Но

F (c) = f (c)

 

g (c) = 0

 

 

=

 

.

g(b) g(a)

g(b) g(a)

 

 

 

 

 

g (c)

 

 

Теорема доказана. Теорема Лагранжа:

Если функция y = f (x) непрерывна на отрезке [a,b], дифференцируема на

интервале (a,b) , то существует c (a,b) такая, что

f (b) f (a)

 

или

 

=

f (c)

b a

 

 

 

 

f (b) f (a) = f (c)(b a) .

 

 

 

 

Доказательство:

Полагая g(x) = x в теореме Коши, получим формулу Лагранжа. Теорема доказана.

Геометрически: существует точка c (a,b)

такая, что касательная в точке

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

 

 

Применим формулу Лагранжа

к

функции

f (x) на

отрезке

[x0 , x0 + ∆x]:

 

 

 

 

 

f (x0 + ∆x)f (x0 ) = f (c)x .

 

Точку c

представим

в виде

c = x0 +θx = x0 +θ(x x0 ) ,

где

0 <θ <1.

 

Тогда

f (x0 ) = f (x0 + ∆x)f (x0 ) = f (x0 +θx)x

. Это равенство называется формулой

конечных приращений Лагранжа.

Привило Лопиталя.

Отыскание предела функции в точке или на бесконечности часто приводит к рассмотрению неопределённости типа 00 , , 0 , ∞−∞, 00 , 0 , 1.

Докажем следующую теорему:

Пусть f и g - непрерывные функции, имеющие производные в окрестности точки x0 , за исключением, может быть, самой точки x0 . Предположим, что

g(x) 0 и

в указанной окрестности и

lim f (x) = lim g(x) = 0 .

g (x) 0

 

 

 

f (x)

 

 

 

xx0

xx0

f (x)

 

Тогда, если существует lim

, то существует и

lim

и

 

g(x)

 

 

xx0

g(x)

 

f (x)

 

xx0

 

 

 

lim

f (x)

=

lim

.

 

 

 

 

 

 

 

 

 

 

 

 

xx0

g(x)

xx0

g(x)

 

 

 

Доказательство:

Доопределим функции f и g в точке x0 , полагая f (x0 ) = g(x0 ) = 0 . Тогда они будут непрерывны в точке x0 . Применим к ним теорему Коши на отрезке [x0 , x] (все условия выполнены) и получим:

f (x)

=

f (x) f (x0 )

=

f (x)

,

 

 

g(x)

 

g(x) g(x0 )

 

g (x)

 

где точкаc удовлетворяет условию x0 < c < x . Если x x0 , то и c x0 , поэтому

lim

f (x)

= lim

f (x)

=

lim

f (x)

.

g(x)

g(x)

 

xx0

cx0

 

xx0

g(x)

Теорема доказана.

 

 

 

 

 

 

 

Итак, мы получим правило для раскрытия неопределённостей типа 00 . Сле-

дует отметить, что

lim

f (x)

может существовать, а lim

f (x)

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

 

 

 

 

xx0

g(x)

 

 

xx0

g(x)

 

 

Лопиталя применимо не всегда.

 

 

 

 

 

 

 

 

Аналогичное правило имеет место и для неопределённостей вида , а

именно:

 

 

 

 

 

 

 

 

 

 

 

и g - непрерывные функции, имеющие производные в окрестно-

Пусть f

сти точки x0 , и

lim

f (x) = ∞ и lim g(x) = ∞. Пусть

g(x) 0 и

 

 

 

 

g (x) 0 в этой окре-

 

xx0

 

 

xx0

f (x)

 

 

 

 

 

f (x)

 

стности. Тогда, если существует lim

, то существует и

lim

, причём они

 

 

 

 

 

 

xx0

g(x)

 

xx0

g(x)

равны.

Без доказательства.

Неопределённости типа 0 , ∞−∞, 00 , 0 , 1сводятся к вышеуказанным типам с помощью логарифмирования или элементарных преобразований.

Примеры:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ln x

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

sin x

 

 

 

 

 

 

0

 

lim

 

lim

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

cos x

 

 

 

 

 

 

 

 

 

 

 

 

sin x

= (0 )=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→+0

1

 

 

 

 

x→+0

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

ln

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

= e0 =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

lim

 

 

 

 

 

 

 

 

lim e

x

 

 

 

 

= ex→+0

ln x

= 0

= e

 

 

 

 

sin x

= e

 

 

 

sin

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x→+0 x

 

 

 

 

 

 

 

 

 

 

 

 

x→+0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tgx

sin x

 

 

 

0

 

 

 

 

 

 

 

 

 

 

1

 

 

 

cos x

 

 

0

 

 

 

 

 

 

 

2sin x

+sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

= lim

cos

x

 

 

= lim

cos

3

x

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x3

 

 

 

 

0

 

 

 

 

3x2

0

 

 

6x

 

 

 

 

 

 

 

 

 

 

 

 

 

2.

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+1

 

 

3

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= lim

 

 

 

 

 

 

cos2

 

 

=

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 6

 

 

 

 

 

6

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x 1ln x

 

 

0

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

= (∞ −∞)= lim

 

 

 

 

=

 

 

 

= lim

 

 

 

 

 

= lim

 

 

 

 

 

=

 

 

 

 

 

 

 

x 1

(x 1) ln x

 

 

 

 

 

 

 

x 1

 

 

 

 

 

3.

x1 ln x

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

0

 

x1

ln x +

 

 

x1 x ln x + x 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

= lim

 

 

 

 

1

 

 

 

 

=

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

==

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

+1

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1 ln x +1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

Поскольку наиболее изученными функциями являются многочлены, то возникает вопрос о возможности замены данной функции в окрестности точки x0

многочленом некоторой степени.

Ранее мы рассматривали приращение дифференцируемой функции и видели, что его можно представить в виде:

f (x) = f (x0 ) + f (x0 )(x x0 ) + o(x x0 ) , т.е. существует многочлен первой степени P1 (x) = f (x0 ) + Α(x x0 ) такой, что при x x0 f (x) = P1 (x) + o(x x0 ) , причём

P1 (x0 ) = f (x0 ) , P1(x0 ) = Α = f (x0 ) .

Поставим теперь более общую задачу.

Пусть функция f определена в некоторой окрестности точки x0 и имеет в этой точке n производных f (x0 ), f ′′(x0 ),..., f (n) (x0 ) . Попытаемся найти многочлен

Pn (x) степени выше n такой, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) = P (x) + o((x x

0

)n )

, где P

n

(x) удовлетворяет условиям

f (x

0

) = P (x

0

) ,

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

f (x0 ) = Pn(x0 ) ,…, f (n) (x0 ) = P(n) (x0 ) . Будем искать многочлен Pn (x) в виде:

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

n

(x) = Α

0

+ Α (x x

0

) + Α

2

(x x

0

)2 +... + Α

n

(x x

0

)n .

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последовательно дифференцируя, получаем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pn (x) = Α1 + 2Α2 (x x0 ) +... + nΑn (x x0 )n1

 

 

 

 

 

 

P′′n (x) = 2Α2 +3 2Α3 (x x0 ) +... + n(n 1)Αn (x x0 )n2

 

 

 

 

………………………………………………………………….

 

 

 

 

 

 

 

 

 

 

 

P(n) (x) = n(n 1) (n 2) ... 2 1 Αn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда и из условий f (k ) (x0 )= P(k ) (x0 ), k =

 

получаем:

 

 

 

 

 

 

0, n

 

 

 

 

 

 

Α0 = f (x0 )

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Α1 = Pn(x0 ) = f (x0 )

 

 

 

 

 

Pn(n) (x0 )

 

f (n) (x0 )

 

 

 

 

 

 

 

Α2

=

Pn′′(x0 )

=

f ′′(x0 )

,..., Αn =

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

n!

 

 

 

n!

 

 

 

 

 

 

Подставляя найденные коэффициенты, поучаем:

f (n) (x0 )

 

 

 

 

 

 

 

 

Pn (x0 ) = f (x0 ) + f

(x0 )(x x0 ) +

f ′′(x0 )

(x x0 )2

+... +

 

(x x0 )n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2!

 

 

 

 

 

 

 

 

 

 

 

n!

 

 

 

 

 

 

 

 

 

 

Это и есть многочлен Тейлора функции f (x) . Покажем, что данный много-

член приближает f (x)

с точностью до бесконечно малой функции более высокого

порядка, чем (x x0 )n . Обозначим через Rn (x) = f (x) Pn (x) . По определению Pn (x)

следует, что Rn (x0 ) = Rn(x0 ) = ... = R(n) (x0 ) = f (x0 ) . Чтобы убедиться, что

n

 

 

Rn (x) = o((x x0 )n ), докажем, что lim

Rn

= 0 . Применим n раз правило Лопи-

xx0

(x x0 )n

 

таля, получим:

 

 

R

n

 

0

 

 

R(x)

 

R(n) (x)

 

R(n) (x

0

)

 

0

 

 

 

 

lim

 

 

=

 

 

= lim

n

= .. = lim

n

=

n

 

=

 

 

= 0

, т.е.

 

(x x0 )n

 

(x x0 )n1

n!

n!

 

 

n!

 

xx0

0

 

xx0

xx0

 

 

 

 

 

 

R (x) = ((x x

0

)n ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

xx0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, нами доказана теорема.

 

 

 

 

 

 

 

 

 

 

 

Пусть функция

f

определена в некоторой точке окрестности точки x0 и n

раз дифференцируема в ней. Тогда при x x0 имеет место формула:

f (x) = f (x0 ) + f (x0 )(x x0 ) +

f ′′(x0 )

(x x0 )2

+... +

f (n) (x0 )

(x x0 )n + o(x x0 )n

2!

n!

 

 

 

 

Данная формула называется формулой Тейлора n-го порядка с остаточным чле-

ном в форме Пеано R

n

(x) = f (x) P (x) = o((x x

0

)n ),

x x

0

.

 

 

 

 

n

 

 

 

 

Так как x x0 = ∆x , то x = x0 + ∆x ,

f (x0 + ∆x) f (x0 ) = ∆f (x0 ) и формулу Тей-

лора можно записать в виде:

 

 

f (n) (x0 )

 

 

 

 

 

f (x0 ) = f (x0 )x +

f ′′(x0 )

x2 +... +

 

 

xn

+ o(x) , x 0 .

 

 

 

 

 

 

2!

 

 

n!

 

 

 

 

 

 

Если x0 = 0 ,

то формула Тейлора называется формулой Маклорена и при-

нимает вид:

 

 

 

 

 

 

 

 

 

 

 

 

f (x) = f (0) + f

 

 

 

 

 

 

 

 

 

 

 

 

(0)x

 

 

 

 

 

 

 

 

 

Остаточный член формулы Тейлора в форме Лагранжа.

Пусть функция f (x)

 

имеет и (n +1) -ю производную в окрестности точки x0 .

Введём новую функцию g(x) = (x x0 )n+1 . Очевидно, что

 

 

 

 

 

g(x0 ) = g(x0 ) = ... = g (n) (x0 ) = 0 ,

g (n+1) (x0 ) = (n +1)!0 .

 

 

 

 

 

 

К функциям Rn (x) = f (x) Pn (x) и g(x)

на отрезке [x0 , x] применим теорему

Коши (n +1) раз и получим:

 

 

Rn(c1 ) =

Rn(c1 ) Rn(x0 )

=

Rn′′(c2 ) = ... =

Rn

(cn ) =

 

Rn (x) = Rn (x) Rn (x0 ) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.Коши

 

 

(n)

 

 

 

g(x)

 

 

 

g(x) g(x0 )

 

 

 

 

 

 

 

g(c1 )

 

 

g(c1 ) g(x0 )

 

g′′(c2 )

 

g (n) (cn )

 

=

R(n) (c

n

) R(n)

(x

0

)

=

 

 

R(n+1) (ξ)

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g (n) (cn ) g (n) (x0 )

 

 

 

 

 

g

(n+1) (ξ)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

c1 (x0 , x),c2 (x0 , c1 ),..., cn (x0 ,cn1 ),ξ (x0 , cn ) (x0 , x).

 

 

Но g (n+1) (ξ)= (n +1)!,

 

Rn(n+1) (ξ)= f (n+1) (ξ)0 = f (n+1) (ξ), следовательно:

 

 

 

 

 

 

 

R(n+1) (ξ)

 

 

 

 

f

(n+1) ξ

 

 

 

 

 

 

 

 

 

 

 

 

R

(x) = g(x)

n

 

 

 

 

 

=

( )

(x x

 

)n+1 , x

 

< ξ < x .

 

 

 

 

 

g (n+1) (ξ)

 

 

0

0

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

(n +1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это и есть остаточный член в форме Лагранжа. Если использовать для точ-

ки ξ = x 0 +θ(x x 0 ) ,

0 <θ <1, получим формулу Тейлора с остаточным членом в

форме Лагранжа:

 

′′

 

)

 

f

(n)

(x

 

)

 

f

(n+1)

(ξ)

 

f (x) = f (x0 ) + f (x0 )(x x0 ) +

f (x

0

(x x0 )2 + ... +

 

0

(x x0 )n +

 

(x x0 )n+1

2!

 

 

 

n!

 

 

(n +1)!

 

x0 < ξ < x (ξ = x0 +θ(x x0 ),0 <θ <1).