МА_Метода
.pdfТогда lim β(y) = β(y0) = 0 è
y→y0
g(y) = g(y0) + g0(y0)(y − y0) + β(y)(y − y0).
Заменяя в последнем равенстве y = f(x), y0 = f(x0),
y − y0 = f(x) − f(x0) = f0(x0)(x − x0) + o(x − x0),
получим
g(f(x)) = g(f(x0)) + g0(f(x0))f0(x0)(x − x0) + α(x),
ãäå α(x) = g0(f(x0))o(x − x0) + β(f(x))(f(x) − f(x0)). Остается показать,
÷òî α(x) = o(x − x0). Òàê êàê lim β(f(x)) = β(f(x0)) = β(y0) = 0, òî
x→x0
|
lim |
α(x) |
= g0(f(x0)) lim |
o(x − x0) |
+ |
|
|
|
|
|||||
|
x − x0 |
|
|
|
|
|
||||||||
|
x→x0 |
|
x→x0 |
x − x0 |
|
|
|
|
||||||
+ lim β(f(x)) lim |
f(x) − f(x0) |
= g0(f(x |
)) |
· |
0 + 0 |
· |
f0 |
(x |
) = 0. |
|||||
x→x0 |
x→x0 |
x − x0 |
0 |
|
|
|
|
0 |
|
Èòàê, g(f(x)) = g(f(x0)) + g0(f(x0))f0(x0)(x − x0) + o(x − x0) или, что то же самое, (g ◦f)(x0) = (g ◦f)(x0) + g0(f(x0))f0(x0)(x−x0) + o(x−x0). Ïî
определению 4.1 суперпозиция g ◦ f дифференцируема в точке x0 |
(здесь |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
A = g0(f(x0))f0(x0)). Следовательно, по предложению 4.1 существует |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(g ◦ f)0(x0) = g0(f(x0))f0(x0). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
f− |
1 |
Теорема 4.2 Пусть функция f : X → R имеет обратную функцию |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
: f(X) |
|
|
X. Если функция f дифференцируема в точке |
x0 |
|
|
X, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
→ 1 |
непрерывна в точке y |
|
|
|
|
= f(x0), то функция f− |
1 |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
f0(x ) = 0 è f− |
|
|
|
|
|
|
|
диффе- |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
0 |
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
ренцируема в точке y0 è (f− |
)0(y0) = (f0(x0))− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
Доказательство. Òàê êàê y0 = lim f(x), òî y0 есть предельная точка |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
f(X). По условию f(x) = f(x |
|
) + f0(x |
|
)(x |
− |
x |
) + o(x |
|
|
x |
). Обозначим |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
f(x) = y, |
f0(x |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
1 |
|
0 |
|
|
|
|
|
|
1− |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
x |
). |
||||||||||||||||||
) = A. Тогда y = y |
|
|
+ A(f− |
(y) |
|
− |
f− |
(y |
)) + o(x |
− |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
1 |
|
|
|
|
|
|
1 |
(y |
|
|
|
0 |
|
1 |
(y |
|
y |
) |
|
|
|
1 |
|
|
|
0 |
|
|
x |
|
|
|
|
|
|
0 |
|
|||||||||||||||
Отсюда находим f− |
(y) = f− |
) + A− |
|
|
|
− |
|
A− o(x |
− |
|
). Покажем, |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
÷òî ( |
|
|
|
1 |
o(x |
|
|
x |
)) = o(y |
|
|
y |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
−1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
− |
A− |
− |
|
− |
). Òàê êàê f− |
непрерывна в y |
, òî lim x = |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
y |
→ |
y0 |
|
|
||||||||
= lim f−1(y) = f−1(y |
) = x |
, ò. å. x |
→ |
x |
0 |
ïðè y |
|
→ |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
. Отсюда |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
y |
→ |
y0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
lim |
|
|
−o(x − x0) |
= |
|
|
1 |
lim |
o(x − x0) |
lim |
|
x − x0 |
|
|
= |
|
|
|
|
1 |
|
|
0 |
|
|
1 |
|
= 0. |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
f(x) − f(x0) |
−A |
· |
· A |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
y→y0 |
|
A(y − y0) |
|
|
|
−A x→x0 |
|
x − x0 |
|
|
|
x→x0 |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
1 |
Èòàê, f−1(y) = f−1(y |
) + A−1(y |
|
|
|
y |
|
|
) + o(y |
|
− |
y0). По определению 4.1 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
f− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
−1 |
|
0 |
|
|
|
|
|
|
|
1). По предложению 4.1 |
||||||||||||||||||||||||||||||||
|
|
дифференцируема в y0 (здесь A− |
= (f0(x0))− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
существует (f−1)0(y0) = (f0(x0))−1.
30
1 |
Замечание 4.2. Åñëè f0(x0) = 0, òî f−1 |
не может быть дифферен- |
|||||||||||||||||||||||||||||||||
|
|
|
|
y0. Действительно, допустим противное. Из равенства x X |
|||||||||||||||||||||||||||||||
цируемой в |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
(f− |
◦ f)(x) = x и теоремы 4.1 следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
(f−1 ◦ f)0(x0) = (f−1)0(y0) f0(x0) = 1. |
|
|
|
|||||||||||||||||||||||||
Это противоречит условию f0(x0) = 0. |
|
|
|
|
1 |
; arcctg0(x) = |
|||||||||||||||||||||||||||||
|
|
Пример 4.2. 1. Äëÿ âñåõ x |
R arctg0(x) = |
||||||||||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
1 + x2 |
|||||||||||||||||||||||||||||||||
= − |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 + x2 |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|||||
|
|
2. Äëÿ âñåõ x (−1; 1) |
arcsin0(x) = |
√ |
|
|
; arccos0(x) = −√ |
|
|
|
. |
||||||||||||||||||||||||
|
|
1 − x |
2 |
|
|
|
2 |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 − x |
|
|
||||||
|
|
Докажем эти формулы, используя теорему 4.2 . |
1 |
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
1. arctg0(x) = |
1 |
|
|
= |
cos2(arctg(x)) = |
|
|
|
= |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
tg0(arctg(x)) |
1 + tg2(arctg(x)) |
||||||||||||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
= |
|
|
. Аналогично, arcctg |
0(x) = − |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
1 + x2 |
1 + x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
2. arcsin0(x) = |
1 |
|
|
|
= |
1 |
|
|
|
= |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
sin0(arcsin(x)) |
cos(arcsin(x)) |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
||||
= |
|
|
|
= |
√ |
|
. Аналогично, arccos0(x) = −√ |
|
. • |
||||||||||||||||||||||||||
p |
|
||||||||||||||||||||||||||||||||||
1 − sin2(arcsin(x)) |
|
1 − x2 |
1 − x2 |
4.3. Правила вычисления производных
Теорема 4.3. Если функции f, g : X → R дифференцируемы в точке x0 X и c R, то функции cf, f ± g, fg, 1/g и f/g (при g(x0) 6= 0) дифференцируемы в точке x0
1)(cf)0(x0) = cf0(x0);
2)(f ± g)0(x0) = f0(x0) ± g0(x0);
3)(fg)0(x0) = f0(x0)g(x0) + f(x0)g0(x0);
|
1 |
|
|
0 |
|
|
|
g0(x0) |
|
|
||
4) |
|
|
|
|
|
|
(x0) = − |
|
; |
|
||
g |
|
|
g2(x0) |
|||||||||
5) |
|
f |
|
|
0 |
(x |
) = |
f0(x0)g(x0) − f(x0)g0(x0) |
. |
|||
g |
|
|
|
|||||||||
|
|
0 |
|
|
|
g2(x0) |
Доказательство. По условию теоремы
(
f(x) = f(x0) + f0(x0)(x − x0) + o(x − x0), g(x) = g(x0) + g0(x0)(x − x0) + o(x − x0).
31
1. Умножая f íà c, получим:
cf(x) = cf(x0) + cf0(x0)(x − x0) + c · o(x − x0).
c o(x − x0) = o(x − x0), òî (cf)(x) = (cf)(x0) + cf0(x0)(x − x0)+ +o(x − x0), ò. å. cf дифференцируема в точке x0 è (cf)0(x0) = cf0(x0).
±g(x0) + f0(x0) ± g0(x0) (x − x0) + o(x − x0) ± o(x − x0). Òàê |
|
o(x− |
2. Складывая или вычитая f è g, получим: f(x) ± g(x) = |
|
f(x0)± |
êàê
−x0) ± o(x − x0) = o(x − x0), òî
(f ± g)(x) = (f ± g)(x0) + f0(x0) ± g0(x0) (x − x0) + o(x − x0),
ò.å. f ± g дифференцируема в x0 è (f ± g)0(x0) = f0(x0) ± g0(x0).
3.Умножая f íà g, получим:
f(x)g(x) = f(x0)g(x0) + f0(x0)g(x0) + f(x0)g0(x0) (x − x0) + α(x),
ãäå
α(x) = f(x0)o(x − x0) + g(x0)o(x − x0) + f0(x0)g0(x0)(x − x0)2+
+f0(x0)(x − x0)o(x − x0) + g0(x0)(x − x0)o(x − x0) + o(x − x0)o(x − x0).
Так как из правил 1 3 действий с асимптотическими оценками α(x) = = o(x − x0), òî
(fg)(x) = (fg)(x0) + f0(x0)g(x0) + f(x0)g0(x0) (x − x0) + o(x − x0),
ò.å. fg дифференцируема в x0 è (fg)0(x0) = f0(x0)g(x0) + f(x0)g0(x0).
4.Òàê êàê äëÿ h(x) = 1/x, h0(x) = −1/x2 ïðè x 6= 0 (см. пример 4.1),
то по теореме 4.1 имеем:
1 |
|
0 |
|
|
|
|
g0(x0) |
||
|
|
|
|
(x0) = (h ◦ g)0 |
(x0) = h0 |
(g(x0))g0 |
(x0) = − |
|
. |
g |
|
g2(x0) |
По предложению 4.2 функция 1/g дифференцируема x0.
5. Применяя правила вычисления производных 3 и 4, имеем
|
f |
|
0 |
|
|
|
1 |
|
0 |
|
|
1 |
|
|
||
|
|
|
(x0) = f |
|
|
|
|
(x0) = f0 |
(x0) |
|
+ |
|
||||
g |
g |
|
g(x0) |
|||||||||||||
+f(x |
) |
|
g0(x0) |
|
|
= |
f0(x0)g(x0) − f(x0)g0(x0). |
|||||||||
|
|
|
0 |
|
− |
|
|
|
|
|
|
|
|
|||
|
|
|
|
g2(x0) |
|
|
|
g2(x0) |
|
|
Из предложения 4.2 следует, что f/g дифференцируема в x0. Напомним производные простейших функций. Для всех x из области
определения:
32
1) (xα)0 = αxα−1;
4) |
sin0(x) = cos(x); |
||||
|
1 |
|
|
||
6) |
tg0(x) = |
|
|
|
; |
cos2(x) |
|||||
8) |
arcsin0(x) = |
|
|
1 |
|
|
|
|
|||
|
|
|
√
1 − x2
10) arctg0(x) = 1
1 + x2 ;
2) |
(ax)0 = ax ln a; |
|
|
3) loga0 (x) = |
1 |
; |
|||||
|
|
|
|||||||||
|
x ln(a) |
||||||||||
5) |
cos0(x) = |
|
sin(x); |
|
|
|
|
||||
− |
|
|
|
|
|
||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
7) |
ctg0(x) = − |
|
|
; |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
||||
sin2(x) |
|
|
|
|
|
||||||
; 9) |
arccos0(x) = −√ |
1 |
|
|
; |
|
|
||||
|
|
2 |
|
|
|||||||
11) arcctg0(x) = − |
1 −1 |
x |
|
|
|
|
|||||
1 + x2 |
. |
|
|
4.4. Понятие экстремума функции. Теорема Ферма
Определение 4.4. Пусть f : X → R, x0 X. Говорят, что функ-
ция f в точке x0 достигает: 1) максимума (минимума), если x0 ïðå-
◦
дельная точка X, и существует ε > 0 такое, что для любого x Kε (x0)∩ ∩X выполнено f(x) < f(x0) (f(x) > f(x0)); 2) экстремума, если f в точке x0 достигает максимума или минимума; 3) наибольшего (наименьшего) значения, если для любого x X f(x) ≤ f(x0) (f(x) ≥ f(x0)). Точки, в которых f достигает максимума (минимума, экстремума) называются
точками максимума (минимума, экстремума) функции f.
Пример 4.3. Функция f : [−1; 2) → R, f(x) = x2 достигает максиму- ма в точке x = −1; достигает минимума и наименьшего значения в точке x = 0. Наибольшего значения функция f не достигает. •
Теорема 4.4 (Ферма). Пусть f : X → R, x0 X. Åñëè x0 предель-
ная слева и справа точка X; существует ε > 0 такое, что для любого
◦
x Kε (x0) ∩ X выполнено f(x) ≤ f(x0) (f(x) ≥ f(x0)), и существует f0(x0), òî f0(x0) = 0.
Доказательство. Òàê êàê äëÿ x (x0 − ε; x0) ∩ X по условию
f(x) − f(x0) ≥ 0 (≤ 0), x − x0
то по теореме 2.7 о предельном переходе в неравенстве получаем
lim |
f(x) − f(x0) |
= f0(x |
) |
0( 0). |
|
x − x0 |
|||||
x→x0−0 |
0 |
|
≥ ≤ |
Òàê êàê äëÿ x |
|
(x |
; x |
|
− |
ε) |
∩ |
X по условию |
f(x) − f(x0) |
≤ |
0 ( |
≥ |
0), òî |
|||||||
|
x − x0 |
|||||||||||||||||||
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|||||||||
lim |
f(x) − f(x0) |
= f0 |
(x |
) |
≤ |
0 ( |
≥ |
0). Следовательно, f0(x |
) = 0. |
|
|
|
||||||||
|
|
|
||||||||||||||||||
x→x0+0 |
x − x0 |
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
|||||
Из доказанной теоремы вытекает следующее следствие. |
|
|
|
|
|
33
Следствие 4.1. Если в точке x0, предельной слева и справа для множества X, функция f достигает максимума (минимума, наибольшего или наименьшего значения) и существует f0(x0), òî f0(x0) = 0.
4.5. Теоремы о среднем (Ролля, Коши, Лагранжа)
Теорема 4.5 (Ролля). Пусть функция f : [ a, b ] → R непрерывна на [ a, b ] и дифференцируема в любой точке из (a, b). Если f(a) = f(b), то
существует точка x0 (a, b) такая, что f0(x0) = 0. |
|
Доказательство. Пусть M = sup f(x) è m = |
inf f(x) соответс- |
x [ a,b ] |
x [ a,b ] |
венно наибольшее и наименьшее значения функции f íà [ a, b ]. По теореме
3.4 существуют x1, x2 [ a, b ]: f(x1) = M, f(x2) = m. Åñëè M = m, то функция f постоянна на [ a, b ], а потому x0 (a, b) f0(x0) = 0. Пусть
M > m. Òàê êàê f(a) = f(b), то хотя бы одна из точек, x1 èëè x2, ïðè-
надлежит (a, b). Обозначим ее x0. Тогда в точке x0 функция f достигает
наибольшего или наименьшего значения, и по следствию 4.1 из теоремы Ферма f0(x0) = 0.
Теорема 4.6 (Коши). Пусть функции f, g : [ a, b ] → R непрерывны на [ a, b ] и дифференцируемы в любой точке из (a; b). Если x (a; b)
g0(x) = 0, то существует точка x |
0 |
(a, b) такая, что |
f(b) |
− f(a) |
= |
||||
g(b) |
|||||||||
|
6 |
|
|
− |
g(a) |
|
|||
|
f0(x0) |
|
|
|
|
|
|
||
= |
(формула Коши). |
|
|
|
|
|
|
||
g0(x0) |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
Доказательство. Отметим сразу, что g(a) 6= g(b), так как иначе по теореме Ролля x0 (a, b) g0(x0) = 0, что противоречит условию.
Рассмотрим функцию F : [ a, b ] → R, F (x) = f(x) − kg(x), k R. Она непрерывна на [ a, b ] как разность двух непрерывных на [ a, b ] функций и дифференцируема на (a, b) по тем же соображениям. Подберем число k так, чтобы F (a) = F (b), ò.å. f(a) − kg(a) = f(b) − kg(b). Отсюда находим
k = f(b) − f(a). Функция F удовлетворяет всем условиям теоремы Ролля. g(b) − g(a)
Поэтому x0 (a, b) F 0(x0) = f0(x0) −kg0(x0) = 0. Отсюда получаем, что
k= f0(x0) = f(b) − f(a). g0(x0) g(b) − g(a)
Теорема 4.7 (Лагранжа). Пусть функция f : [ a, b ] → R непрерывна на [ a, b ] и дифференцируема в любой точке из (a, b). Тогда существует точка x0 (a, b) такая, что
f(b) − f(a) = f0(x0)(b − a)
34
(формула Лагранжа).
|
|
Доказательство. Функции f è g |
: [ a, b ] |
→ R, g(x) |
= |
x удовле- |
|||||||||||||
творяют всем условиям теоремы Коши. Поэтому |
|
x0 |
(a, b) такая, что |
||||||||||||||||
|
f(b) − f(a) |
|
= |
f0(x0) |
èëè f(b) |
− |
f(a) = f0(x |
)(b |
− |
|
a). |
|
|
|
|
||||
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
||||||||||||
|
b − a |
|
1 |
|
|
|
0 |
|
|
|
|
|
|
|
|||||
|
|
Теорема Лагранжа имеет простой |
|
|
y . . |
|
|
|
|||||||||||
геометрический смысл. Очевидно, что |
|
|
|
. |
|
||||||||||||||
|
f(b) − f(a) есть угловой коэффициент |
|
f(b) |
|
|
|
. B |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. . . . . . . . . |
|
|||
|
b |
− |
a |
, à |
f0(x0) |
|
|
|
|
|
|
|
|
|
|
. |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
[AB] |
|
|
|
|
|
|
|
|
|
|
. |
. |
|
|||
хорды |
|
|
|
|
|
угловой коэф- |
|
|
|
|
|
|
. |
. |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
фициент касательной к графику функ- |
|
|
|
|
|
|
. |
. |
|
||||||||||
öèè f |
в точке x0 (рис. 4.2). Теорема |
|
f(a) . . |
. |
. |
|
|||||||||||||
|
|
|
|
A . |
. |
. . |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
..... |
|||||||
Лагранжа утверждает, что существу- |
|
|
0 |
|
a |
x0 |
b |
.x |
|||||||||||
ет точка, в которой касательная парал- |
|
|
|
|
Ðèñ. 4.2 |
|
|
||||||||||||
лельна хорде. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4.6. Правило Лопиталя раскрытия неопределенностей
Правило Лопиталя показывает, как используются производные при вычислении пределов, представляющих собой неопределенность типа 0/0
èëè ∞/∞.
Теорема 4.8 Пусть x0 [ a, b ], |
f, g |
|
: |
[ a, b ] \ {x0} → R. Åñëè |
||||||||
выполнены следующие условия: 1) lim f(x) |
= |
|
lim g(x) = |
0; 2) f è g |
||||||||
|
|
|
x→x0 |
|
|
x→x0 |
|
|||||
дифференцируемы во всех точках x |
|
[ a, b ] |
|
x |
0} |
, причем g0 |
(x) = 0 è 3) |
|||||
|
f0(x) |
|
|
\ { |
|
f(x) |
|
6 |
||||
существует lim |
= K, то существует |
lim |
|
|
= K. |
|
||||||
|
|
|
|
|||||||||
x→x0 |
g0(x) |
|
|
|
x→x0 |
|
|
g(x) |
|
Доказательство. Доопределим f и g в точке x0, полагая f(x0) = = g(x0) = 0. Тогда в силу условия 1) f и g станут непрерывными в точке
x |
. Покажем, что если x |
0 6= |
b, то существует |
lim |
f(x) |
= |
K. Функции f è |
|
|||||||
0 |
|
|
x x0+0 g(x) |
|
|||
|
|
|
|
→ |
|
|
|
g удовлетворяют всем условиям теоремы Коши на отрезке [ x0, b ]. Поэтому
|
x |
|
[ x |
, b ] |
|
ξ(x) |
|
(x |
, x) : |
f(x) |
= |
f(x) − f(x0) |
= |
f0(ξ(x)) |
. |
|
|
|
g(x) − g(x0) |
|
|||||||||||||
|
0 |
|
|
0 |
|
g(x) |
|
|
g0(ξ(x)) |
Так как по теореме 2.8 о пределе сжатой функции |
|
lim ξ(x) = x0, òî ïî |
|||||||||
|
|
|
|
|
|
|
|
|
x→x0+0 |
||
теореме 2.2 о пределе суперпозиции |
lim |
f0(ξ(x)) |
= K. Отсюда следу- |
||||||||
|
|
|
|||||||||
|
|
|
|
|
x→x0+0 g0(ξ(x)) |
|
|||||
ет, что существует lim |
f(x) |
= |
lim |
|
f0(ξ(x)) |
= K. Аналогично, если |
|||||
|
|
||||||||||
x |
→ |
x0+0 g(x) |
x x0+0 g0(ξ(x)) |
|
|||||||
|
|
|
|
→ |
|
|
|
|
|
|
35
x0 6= a, òî lim f(x) = K. Поэтому по теореме о связи предела и одно-
x→x0−0 g(x)
сторонних пределов существует lim f(x) = K.
x→x0 g(x)
Замечание 4.3. 1. Теорему 4.8 можно кратко записать так:
lim |
f(x) |
= lim |
f0(x) |
. |
|
g(x) |
|
|
|||
x x0 |
x x0 |
g0(x) |
|||
→ |
|
|
→ |
|
|
Это равенство принято называть правилом Лопиталя раскрытия неопределенностей типа 0/0.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
x0 |
±∞ |
è |
|||||
|
|
|
2. Теорема остается справедливой и для случаев |
|
lim f(x) = |
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(x) |
|
|
|
|
|
f0(x) |
|
|
|
|
→ |
|
|
|
|
|
|
||||||||
lim g(x) = |
|
|
, ò. å. |
lim |
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
g(x) |
|
g0(x) (правило Лопиталя раскрытия |
||||||||||||||||||||||||||||||||||
x→x0 |
|
|
|
|
±∞ |
x→x0 |
|
= x→x0 |
|||||||||||||||||||||||||||||||
неопределенностей типа ∞/∞), а также когда x0 = ±∞. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
3. Теорема 4.8 |
íå |
допускает |
обращения, т. е. из |
существования |
||||||||||||||||||||||||||||||||
lim |
|
f(x) |
не следует существование предела lim |
f0(x) |
. Например, суще- |
||||||||||||||||||||||||||||||||||
|
|
|
g0(x) |
||||||||||||||||||||||||||||||||||||
x |
→ |
x0 |
|
g(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x x0 |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
ствует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
lim |
|
x + sin(x) |
= |
lim |
|
|
1 + sin(x)/x |
= 1, |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x→+∞ x + cos(x) |
x→+∞ 1 + cos(x)/x |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
íî |
|
lim |
(x + sin(x))0 |
|
|
|
lim |
1 + cos(x) |
не существует. |
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
x→+∞ |
(x + cos(x)) = x→+∞ 1 − sin(x) |
|
|
|
|
|
sin(x) − x |
|
|
||||||||||||||||||||||||||||
|
|
|
Пример 4.4. Рассмотрим предел |
|
lim |
|
|
с неопределенно- |
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→0 x cos(x) − x |
|
|
|
|
|
|
|
|
|||||||
ñòüþ 0/0 и, трижды применив правило Лопиталя, получим: |
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
lim |
sin(x) − x |
= lim |
|
|
|
|
|
|
cos(x) − 1 |
|
|
|
= |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
x→0 x cos(x) − x |
|
|
x→0 cos(x) − x sin(x) − 1 |
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
= lim |
|
|
− sin(x) |
|
|
= lim |
|
|
|
|
|
− cos(x) |
|
|
|
|
= |
1 |
. |
|
|
||||||||||||||
|
|
|
|
− |
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
→ |
2 sin(x) |
− |
x cos(x) |
x |
→ |
0 |
|
3 cos(x) + x sin(x) 3 • |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
x 0 |
|
|
|
|
|
|
|
|
|
4.7.Формула Тейлора n-го порядка с остаточным членом в форме Пеано
Определение 4.5. Пусть f : X → R, x0 X предельная точка X. Говорят, что функция f n раз дифференцируема в точке x0, åñëè существуют постоянные A1, . . . , An R такие, что
n
X
f(x) = f(x0) + Ak(x − x0)k + o((x − x0)n).
k=1
36
По определению функция f n раз дифференцируема в точке x0, åñëè
n
она отличается от некоторого многочлена n-й степени f(x0)+ P Ak(x−x0)k
k=1
на бесконечно малую более высокого порядка, чем (x − x0)n ïðè x → x0. Пусть в некоторой окрестности x0 существует f0(x). Если у функции f0
существует производная в точке x0, то она называется второй производной функции f в точке x0 и обозначается f00(x0) èëè f(2)(x0). Аналогично, пусть в некоторой окрестности x0 существует f(n−1)(x). Если у функции f(n−1)
существует производная в точке x0, то она называется n-й производной функции f в точке x0 и обозначается
По определению f(n)(x0) = lim |
f(n−1)(x) − f(n−1)(x0) |
. |
x→x0 |
x − x0 |
Теорема 4.9 Если у функции f существует f(n)(x0), то f n раз дифференцируема в точке x0 и имеет место равенство
f(x) = f(x0) + f0(x0)(x − x0) + · · · + f(n)(x0)(x − x0)n + o((x − x0)n) 1! n!
(формула Тейлора n-го порядка для функции f в точке x0 с остаточным членом в форме Пеано).
Доказательство. Вычислим, используя n −1 раз правило Лопиталя, следующий предел:
|
|
|
|
|
|
|
f0(x0) |
|
|
|
|
|
|
|
|
|
|
|
f(n−1)(x0) |
|
− x0)n−1 |
|
|
|
|||||||||||||||||||||
|
|
f(x) − f(x0) − |
|
|
|
|
|
(x |
− x0) − · · · − |
|
|
|
|
|
|
(x |
|
|
|
||||||||||||||||||||||||||
lim |
1! |
|
|
|
(n |
− |
1)! |
|
= |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(x − x0)n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
x→x0 |
|
|
|
f00(x0) |
|
|
|
f(n−1)(x0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
f0(x)−f0(x0)− |
|
|
|
|
(x−x0)− · · · − |
|
|
|
|
|
|
|
(x−x0)n−2 |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
1! |
|
|
|
|
(n |
|
− |
2)! |
|
|
|
· · · |
|
|
|||||||||||||||||||||||||||||
= lim |
|
|
|
|
|
|
|
|
|
|
|
n(x−x0)n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
= |
|||||||||||||||
x→x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
= lim |
|
f(n−1)(x) − f(n−1)(x0) |
= |
1 |
|
|
|
lim |
f(n−1)(x) − f(n−1)(x0) |
= |
f(n)(x0) |
. |
|||||||||||||||||||||||||||||||||
n(n − 1) . . . 2(x − x0) |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
x→x0 |
|
|
|
|
n! |
x→x0 |
|
|
|
(x − x0) |
|
|
|
|
|
|
|
|
|
|
n! |
|
|
||||||||||||||||||||||
Следовательно функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
f(x) − f(x0) − · · · − |
|
f(n−1)(x0) |
− x0)n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(x |
|
|
f |
(n)(x |
|
) |
|
|
|
||||||||||||||||||||||||||
|
|
|
|
(n |
− |
1)! |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
α(x) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
0 |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(x − x0)n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|||||||||
есть бесконечно малая при x → x0. Отсюда находим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
f x |
f x |
|
f0(x0) |
|
x |
− |
x |
0) + · · · + |
f(n−1)(x0) |
x |
− |
x |
|
n−1 |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
( ) = |
( |
0) + |
|
|
1! |
( |
|
|
|
|
|
|
(n |
− |
1)! |
( |
|
|
|
|
0) |
|
+ |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
37
|
|
|
|
|
|
+ |
f(n)(x0) |
(x − x0)n + α(x)(x − x0)n. |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
||||||
Òàê êàê |
lim |
α(x)(x − x0)n |
= |
lim α(x) = 0, òî α(x)(x |
− |
x |
)n = o((x |
− |
x |
)n) |
|||||||||
ïðè |
|
x |
x0 |
|
(x |
− |
x |
)n |
x x0 |
|
0 |
|
0 |
|
|||||
|
|
→ . |
|
|
0 |
|
|
|
→ |
|
|
|
|
|
|
|
|||
|
x → x0 |
|
|
|
|
|
|
|
|
|
f(x0) = f(0)(x0) è 0! = 1. |
||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||
|
Замечание 4.4. 1. Удобно считать, что |
Тогда формулу Тейлора n-го порядка для функции f в точке x0 можно кратко записать так:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
f(k)(x0) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Xk |
|
|
|
|
|
|
|
|
(x − x0)k + o((x − x0)n). |
|
|
||||||||||||||||
|
|
|
|
|
f(x) = |
|
|
|
k! |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
2. Формула Тейлора n-го порядка позволяет функцию f с точностью |
|||||||||||||||||||||||||||||||||||||||||
äî o((x − x0)n) заменять многочленом |
|
n f(k)(x0) |
(x |
− x0)k |
, который на- |
|||||||||||||||||||||||||||||||||||||
k=0 |
k! |
|
|
|||||||||||||||||||||||||||||||||||||||
зывается |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n-ãî |
|
|
P |
для функции f в точке x0. |
||||||||||||
|
|
многочленом Тейлора |
|
|
|
|
|
порядка |
|
|
|
|
|
|||||||||||||||||||||||||||||
Укажем формулы Тейлора для некоторых конкретных функций в точ- |
||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||
êå x0 = 0: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
x |
|
|
x2 |
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
1. |
ex = 1 + |
|
+ |
|
|
|
|
+ · · · + |
|
+ o(xn); |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
1! |
2! |
|
n! |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
2. |
cos(x) = 1 |
|
|
x2 |
|
+ |
|
|
x4 |
|
|
|
|
|
|
+ |
|
(−1)nx2n |
+ o(x2n+1); |
|
|
|
||||||||||||||||||||
− |
2! |
|
4! − · · · |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2n)! |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
3. |
sin(x) = x |
|
|
x3 |
+ |
|
x5 |
|
|
|
|
|
|
+ |
|
(−1)nx2n+1 |
+ o(x2n+2); |
|
|
|||||||||||||||||||||||
− |
3! |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
5! − · · · |
|
|
|
|
(2n + 1)! |
|
|
|
|
|
||||||||||||||||||||||
4. |
ln(1 + x) = x |
− |
|
x2 |
+ |
x3 |
|
|
|
|
|
+ |
(−1)n−1xn |
+ o(xn); |
|
|
||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
3 − · · · |
|
|
|
|
|
n |
|
|
|
|
|
||||||||||||||||||
5. |
(1+x)α = 1+ |
α |
x+ |
α(α − 1) |
x2 + |
· · · |
+ |
α(α − 1) . . . (α − n + 1) |
xn +o(xn). |
|||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1! |
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
Проверим первое равенство. Для f(x) = ex имеем f(k)(x) = ex ïðè k = 0, 1, 2, . . . . Отсюда f(k)(0) = 1. Следовательно,
n |
f(k)(0) |
|
Xk |
||
ex = |
|
xk + o(xn) = 1 + |
=0 |
k! |
|
|
|
x |
|
x2 |
|
xn |
|
|
+ |
|
+ · · · + |
|
+ o(xn). |
1! |
2! |
n! |
4.8.Формула Тейлора n-го порядка с остаточным членом в форме Лагранжа
Остаточный член формулы Тейлора, записанный в форме Пеано o((x − x0)n), есть бесконечно малая более высокого порядка, чем (x − x0)n
38
ïðè x → x0. Однако часто полезно иметь более детальную информацию об
остаточном члене. Далее будет указана еще одна форма (форма Лагранжа) записи остаточного члена формулы Тейлора.
|
Лемма 4.1. Пусть функции F, G : |
[ x0, x ] → R такие, что: 1) име- |
|||||||||||||||||||
ют производные (n + 1)-го порядка на [ x |
, x ]; 2) F (x |
) = F 0(x |
) = |
· · · |
= |
||||||||||||||||
= F |
(n) |
(x0) = 0; 3) G(x0) = G0(x0) = |
|
0 |
|
(n) |
0 |
0 |
|
|
|||||||||||
|
|
· · · |
= G |
|
(x0) = 0; 4) G0, G00 |
, . . . , |
|||||||||||||||
. . . , G |
(n+1) |
íå |
|
|
|
|
(n+1) |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
(x0, x). Тогда существует c (x0, x) |
|||||||||||||
|
|
|
|
|
|
обращаются в нуль на |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
F (x) |
|
F |
|
(c) |
|
|
|
|
|
|
|
|
|
|||
такое, что |
|
|
|
= |
|
. |
|
|
|
|
|
|
|
|
|
||||||
|
G(x) |
G(n+1)(c) |
|
|
|
|
|
|
|
|
|
|
|
Доказательство. По теореме Коши существует точка x1 (x0, x) |
|||||||||||||||||||||||||||||||
такая, что |
F (x) |
= |
|
F (x) − F (x0) |
= |
|
F 0(x1) |
. Аналогично, существует точка |
|||||||||||||||||||||||||
|
|
G(x) − G(x0) |
G0(x1) |
||||||||||||||||||||||||||||||
|
|
|
|
G(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
x |
2 |
(x |
, x) такая, что |
F 0 |
(x1) |
= |
|
F 0 |
(x1) − F 0 |
(x0) |
= |
F 00 |
(x2) |
и так далее. В |
|||||||||||||||||||
|
|
|
|
G |
|
|
(x |
) |
G |
(x |
) |
|
|||||||||||||||||||||
|
1 |
|
|
|
|
|
|
G |
(x |
) |
|
|
(x |
) |
− |
G |
|
|
|
||||||||||||||
итоге получим: |
|
|
|
|
|
0 |
1 |
|
|
|
|
|
0 |
1 |
|
0 |
0 |
|
00 |
2 |
|
|
|
||||||||||
|
|
|
|
|
F (x) |
|
= |
F 0 |
(x1) |
|
= |
F 00 |
(x2) |
|
= · · · |
= |
F (n+1)(xn+1) |
, |
|||||||||||||||
|
|
|
|
|
G(x) |
G0 |
(x1) |
G00 |
(x2) |
G(n+1)(xn+1) |
ãäå x0 < xn+1 < xn < · · · < x1 < x. Остается взять c = xn+1.
Теорема 4.10 Пусть у функции f : [ a, b ] → R существует (n+1)- я производная на (a, b). Тогда для любых x0, x (a, b) существует точка c между x0 и x такая, что
n |
f(k)(x0) |
f(n+1)(c) |
||||
Xk |
|
|
|
|
|
|
k! |
(x − x0)k + (n + 1)! (x − x0)n+1 |
|||||
f(x) = |
||||||
=0 |
|
|
|
|
|
(формула Тейлора n-го порядка для функции f в точке x0 с остаточным членом в форме Лагранжа).
Доказательство. Рассмотрим случай x0 < x. Покажем, что функции
|
|
|
|
n f(k)(x0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
удовлетворяют |
||||||||||||
F (x) = f(x) − k=0 |
|
|
|
(x − x0)k è G(x) = (x − x0)n+1 |
|
|
|
|
|
|
|
||||||||||||||||||||
|
k! |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
всем условиям P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
леммы 4.1 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Найдем производные F äî (n + 1)-ой включительно: |
|
|
|
|
|
|
|
||||||||||||||||||||||||
F 0 |
|
x |
|
f0 x |
f0 |
|
x |
|
|
|
f00 |
(x0) |
|
x |
|
x |
|
|
|
|
|
f(n)(x0) |
|
x |
|
x |
|
n−1 |
|
||
( |
) = |
( |
0) |
− |
|
1! |
( |
− |
0) − · · · − (n |
|
1)! |
( |
− |
0) |
; |
||||||||||||||||
|
|
( ) − |
|
|
|
|
|
− |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(n)(x0) |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
F 00(x) = f00(x) − f00(x0) − · · · − |
|
|
|
|
(x − x0)n−2; . . . ; |
|
|
|
||||||||||||||||||||
|
|
|
(n |
− |
2)! |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
39