
Semestr1-hyper1
.pdf
(f(x) g(x))0 = lim |
f(x + h)g(x + h) − f(x)g(x) |
= |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
h→0 |
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
= lim |
(f(x+h)−f(x))g(x+h)+f(x)(g(x+h)−g(x)) |
= |
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
h→0 |
|
|
|
|
|
h |
|
|
|
|
= f0(x)g(x)+f(x)g0(x), |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
1 |
|
0 |
1 |
|
|
|
1 |
|
|
1 |
|
|
g(x+h) |
g(x) |
1 |
|
|
|
|
g0(x) |
|
||||
|
lim |
|
|
|
|
= lim |
|
|
= |
|
. |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
g(x) |
|
|
|
|
|
−g(x) |
|
h− |
|
|
· g(x)g(x+h) |
|
|
|||||||||||||
= h→0 h g(x+h) |
h→0 − |
|
|
|
|
−g2(x) |
Равенства для дифференциалов следуют из равенств для производных и определения дифференциала df = f0dx.
2.(Дифференцирование сложной функции) Пусть задана сложная функция F (x) = g(f(x)) = (g ◦ f) (x) и пусть f дифференцируема в точке x, а функция g дифференцируема в точке y = f(x). Тогда F = g ◦ f дифференцируема в точке x и
F 0(x) = (g(f(x)))0 = g0(f(x)) f0(x), |
dF (x) = dg(y) = g0(f(x))df(x). |
Доказательство. g(f(x + h)) − g(f(x)) = |
g(f(x) + [f(x + h) − f(x)]) − g(f(x)) = |
g0(f(x)) (f(x+ h) −f(x)) + o(f(x+ h) −f(x)) = g0(f(x)) (f0(x) h+ o(h)) + ε(Δf) (f0(x) h+ o(h)) = g0(f(x)) f0(x) h + g0(f(x)) o(h) + ε(Δf) f0(x) h + ε(Δf) o(h)=g0(f(x)) f0(x) h +
o(h), h → 0 (здесь ε(Δf)→0 при h → 0). Таким образом, функция F (x) дифференцируема в точке x и F 0(x) = g0(f(x)) f0(x). dF (x) = g0(f(x)) f0(x)dx = g0(f(x))df(x).
Следствие 5.1. (Свойство инвариантности формы первого дифференциала): равенство dg(y) = g0(y)dy справедливо как в случае независимой переменной y, так и в случае, когда y является функцией: y = y(x).
3.(Дифференцирование обратной функции) Пусть y = g(x) – функция, обратная к функции x = f(y), причем f дифференцируема в точке y
и f0(y) = f0(g(x)) 6= 0. Тогда g дифференцируема в точке x и g0(x) =
1
f0(g(x)).
Доказательство. h = (x + h) − x = f(g(x + h)) − f(g(x)) = f(g(x) + g(x + h) − g(x)) − f(g(x)) = f0(g(x))(g(x + h) − g(x)) + o(g(x + h) − g(x)) = (g(x + h) − g(x)(f0(g(x)) +
o(1)), h → 0. Отсюда
lim |
g(x + h) − g(x) |
= lim |
1 |
h |
|
||
h→0 |
h→0 f0(g(x)) + o(1) |
1
= f0(g(x)) .
5.2Основные теоремы
Теорема 5.1. (Ролля) Пусть f : [a, b] → R непрерывна на [a, b], дифференци-
руема на (a, b) и f(a) = f(b). Тогда существует точка c (a, b) такая, что f0(c) = 0.
Доказательство. Если f(x) – постоянная на [a, b], то теорема очевидна. Пустьf(x) 6= const и существует точка x (a, b) такая, что, например, f(x) > f(a). Тогда по второй теореме
Вейерштрасса существует точка c (a, b) такая, что f(c) = max f(x). Отсюда следует
x [a,b]
f0(c + 0) = lim |
f(c + h) |
− f(c) |
|
≤ |
0, f0(c |
− |
0) = lim |
|
f(c + h) − f(c) |
≥ |
0. |
|||
|
|
|||||||||||||
h |
|
0 |
h |
|||||||||||
h |
→ |
+0 |
|
|
|
h |
→− |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Функция f(x) дифференцируема в точке c, поэтому f0(c) = f0(c + 0) = f0(c − 0) = 0.
41

Теорема 5.2. (Коши о среднем значении) Пусть f : [a, b] → R, g : [a, b] → R
непрерывны на [a, b] и дифференцируемы на (a, b) функции f0(x) и g0(x) не обращаются в нуль одновременно и g(b) 6= g(a). Тогда существует точка
|
f(b) |
f(a) |
|
f0(c) |
|
c (a, b) такая, что |
g(b) |
− |
= |
|
. |
g(a) |
g0(c) |
||||
|
|
− |
|
|
|
Доказательство. Определим функцию h(x) = g(x) [f(b)−f(a)]−f(x) [g(b)−g(a)]. Нетрудно проверить, что h(x) непрерывна на [a, b] и дифференцируема на (a, b), h(a) = h(b). Таким образом, функция h(x) удовлетворяет условиям теоремы Ролля, и, следовательно, существует точка c (a, b) такая, что
|
|
h0(c) = g0(c) [f(b) − f(a)] − f0(c) [g(b) − g(a)] = 0. |
(5.2) |
|||||||
Очевидно, что |
g0 |
(c) = 0 |
, иначе из |
( |
|
) |
следовало бы |
f0(c) = 0 |
, что противоречит предполо- |
|
|
6 |
|
|
|
||||||
жению теоремы. Поэтому из (5.2) |
следует искомое равенство. |
|
Теорема 5.3. (формула Лагранжа конечных приращений) Пусть f:[a, b] → R
непрерывна на [a, b] и дифференцируема на (a, b). Тогда существует точка c (a, b) такая, что f(b) − f(a) = f0(c)(b − a).
Доказательство. Пусть g(x) из теоремы Коши равна x. Очевидно, f и g будут удовлетво-
рять условиям теоремы Коши. Из теоремы Коши следует |
f(b) − f(a) |
= f0(c), c |
|
(a, b) |
. |
||
b |
− |
a |
|
|
|||
|
|
|
|
|
|
|
Следствие 5.2. Если функция имеет на (a, b) производную, равную нулю, то она постоянна на (a, b).
Доказательство. Пусть x1 – фиксированная точка из (a, b), x – произвольная точка из (a, b) (она может находиться справа и слева от x1). Тогда на основании формулы Лагранжа имеет место f(x) − f(x1) = (x − x1)f0(c), где c – некоторая, зависящая от x1 и x, точка,
находящаяся между x1 |
и x. По условию f0(x) ≡ 0 на (a, b), поэтому f0(c) = 0 и f(x) = |
||||||
f(x1) = C − const, для любых x (a, b). |
|
|
|||||
Геометрический смысл формулы Лагранжа |
|
|
|||||
y |
|
|
|
|
|
|
|
6 |
|
|
|
|
|
||
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
α |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
- |
|
|
|
0 a |
c |
|
b |
x |
f(b)−f(a) |
|
|
Запишем равенство из формулы Лагранжа в виде |
= f0(c), c (a, b). Левая |
||||||
b−a |
часть этого равенства есть tg α (α – угол наклона к оси абсцисс хорды, стягивающей точки (a, f(a)), (b, f(b)) графика функции f(x)). Правая часть есть тангенс угла наклона касательной к графику в точке c (a, b). Таким образом, формула Лагранжа утверждает, что если f(x) непрерывна на [a, b] и дифференцируема на (a, b), то на кривой, являющейся графиком f(x), существует точка (c, f(c)) такая, что касательная к кривой в этой точке параллельна хорде, стягивающей концы кривой (a, f(a)), (b, f(b)).
5.3Правило Лопиталя
Пусть f и g определены и дифференцируемы в некоторой проколотой окрест-
ности |
Uˇ |
(a) a |
|
|
, |
±∞), причем |
g(x), g0 |
(x) = 0 |
в |
Uˇ |
(a) |
и выполнено |
||||
|
( – число или ∞ |
|
|
6 |
|
|
|
|||||||||
одно из условий |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
неопределенность |
|
0 |
|
lim f(x) = lim g(x) = 0, |
|
|
|
|
|
|
||||
|
|
|
0 |
|
|
|
|
|
|
|
||||||
|
|
|
x→a |
x→a |
|
|
|
|
|
|
|
|
||||
|
|
неопределенность |
∞ |
|
∞ |
(или |
± ∞ |
). |
||||||||
|
|
x→a |
x→a |
|
||||||||||||
|
|
∞ |
lim f(x) = lim g(x) = |
|
|
|
42

Тогда, если существует предел lim |
f0(x) |
(конечный или бесконечный), то су- |
||||||||||
g0(x) |
|
|||||||||||
|
|
x→a |
|
|
|
|
|
|||||
ществует также равный ему предел |
|
|
|
|
|
|
|
|||||
|
|
lim |
f(x) |
= lim |
f0(x) |
. |
(5.3) |
|||||
|
|
|
|
|||||||||
|
|
x a g(x) |
x |
→ |
a g0(x) |
|
||||||
|
|
→ |
|
|
|
|
|
|
|
|||
Правило верно также для случаев односторонних пределов lim |
и lim в |
|||||||||||
конечной точке a. |
|
|
|
|
|
|
x→a+0 |
x→a−0 |
||||
|
|
|
|
|
|
|
|
|||||
Доказательство. Разберем несколько случаев. |
|
|
|
ˇ |
|
|||||||
|
0 |
|
|
|
|
|
|
|
|
|||
1. |
|
, x → a + 0, a – конечное число. В этом случае под U(a) понимается правая |
||||||||||
0 |
|
|
ˇ |
|
|
|
|
|
|
|
|
|
|
окрестность точки a, т. е. U(a) = (a, λ), где λ > a. Доопределим функции f и g в точке |
||||||||||||
a, полагая f(a) = lim f(x) = 0, g(a) |
lim |
g(x) = 0. Тогда f и g будут непрерывны |
||||||||||
|
[a, λ) |
x→a+0 |
x→a+0 |
|
(a, λ) |
|
g(x) |
|
g(a) = 0, a < x < λ |
|
||
на |
. Так как, по условию, |
g0(x) = 0 |
при |
x |
|
, то |
− |
. |
||||
|
6 |
|
|
|
6 |
Функции f и g удовлетворяют условиям теоремы Коши о промежуточных значениях на отрезке [a, x], x < λ. Применяя эту теорему, получим
|
|
|
|
|
|
f(x) |
= |
f(x) − f(a) |
= |
f0(a + θ(x − a)) |
, 0 < θ < 1. |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
g(x) − g(a) |
g0(a + θ(x − a)) |
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
g(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Переходя в этом равенстве к пределу при x → a + 0, получим (5.3): |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
lim |
f(x) |
|
= |
lim |
f0(a + θ(x − a)) |
= |
lim |
f0(x) |
. |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
x→a+0 g(x) |
|
|
|
|
|
x→a+0 g0(a + θ(x − a)) |
|
x→a+0 g0(x) |
|
|
|
|
|
||||||||||||||||||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|||||||||
2. |
|
|
, a = +∞. Положим y = |
|
|
. Тогда функции F (y) = f( |
|
|
) и G(y) = g( |
|
) диф- |
||||||||||||||||||||||||||||||
|
0 |
x |
y |
y |
|||||||||||||||||||||||||||||||||||||
ференцируемы |
в правой окрестности нуля Uˇ (0) = (0, λ), λ > 0. В этой же окрестности |
||||||||||||||||||||||||||||||||||||||||
Uˇ (0) |
|
|
|
|
|
|
|
|
|
|
G(y) = 0, G0(y) = 0 |
|
|
|
|
|
|
lim |
F (y) = lim f(x) = |
||||||||||||||||||||||
|
справедливы неравенства |
|
|
|
|
|
6 |
|
|
|
6 |
. Кроме того, y→+0 |
|
x→+∞ |
|||||||||||||||||||||||||||
0, lim |
G(y) = |
lim |
g(x) = 0. Применяя к функциям F и G предыдущий результат, полу- |
||||||||||||||||||||||||||||||||||||||
y→+0 |
x→+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
чим: |
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
f0(x) |
|
f0 |
( |
|
|
|
) (− |
|
|
) |
= lim |
F 0(y) |
= |
|
F (y) |
= |
lim |
f(x) |
. |
||||||||||||||||||
|
|
|
lim |
= lim |
y |
y2 |
lim |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
x→+∞ g0(x) |
y→+0 |
|
|
1 |
|
|
1 |
|
|
|
y→+0 |
G0(y) |
y→+0 |
G(y) |
x→+∞ g(x) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
g0 |
( |
|
) (− |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
y |
y2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞
3.∞ , x → a + 0, a – конечное число.
ˇ 0 0
В этом случае U(a) = (a, λ), λ > a. Пусть lim (f (x)/g (x)) = A.
Возьмем произвольное ε > 0 и найдем η > 0 такое, что |f0(x)/g0(x) − A| < ε/2 при a <
x < a + η, или |
|
ε/2 < f0(x)/g0(x) < A + ε/2 |
при |
a < x < a + η. |
(5.4) |
A |
− |
||||
|
|
|
Пусть теперь a < x < x0 < a + η, x0 – фиксировано. Тогда на отрезке [x, x0] можно воспользоваться теоремой Коши, откуда
|
|
|
f(x) − f(x0) |
= |
f0(c) |
, c |
|
(x, x ) |
|
(a, a + η). |
|
|
|
|
||||||||
|
|
|
g(x) − g(x0) |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
g0(c) |
|
|
0 |
|
|
|
|
|
|
|
|
|||||||
Отсюда и из (5.4) следует |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
A |
− |
ε/2 < |
f(x) − f(x0) |
< A + ε/2 |
при |
a < x < a + η. |
|
|
|
(5.5) |
|||||||||||
|
|
|
g(x) − g(x0) |
|
|
|
|
|
|
|
|
|
|
|||||||||
Далее, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(x)/g(x) |
|
= |
1 − g(x0)/g(x) |
= 1 + α, α |
→ |
0 |
при |
x |
→ |
a + 0. |
(5.6) |
||||||||||
|
|
|
|
|
1 − f(x0)/f(x) |
|||||||||||||||||
(f(x) − f(x0))/(g(x) − g(x0)) |
|
|
|
|
|
|
|
В силу (5.4) и (5.5)
(1 + α)(A − ε/2) < f(x) < (1 + α)(A + ε/2), g(x)
43

где α → 0 при x → a + 0. Поэтому найдется 0 < δ < η такое, что при a < x < δ будут справедливы неравенства
A − ε < f(x) < A + ε, g(x)
что означает lim |
f(x) |
= A = |
lim |
f0(x) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
x→a+0 g(x) |
x→a+0 g0(x) |
|
|
|
|
|
|
||||
Неопределенности типа ∞ − ∞, 0 · ∞, 00, ∞0, 1∞ приводятся к уже рас- |
|||||||||||
смотренным типам неопределенностей 0/0 или ∞/∞. |
|
|
|
|
|
|
|||||
Если f → ∞ и ϕ → ∞, то преобразуем равенство к виду f−ϕ = |
1 |
1 |
|
1 |
|||||||
|
− |
|
/ |
|
|||||||
ϕ |
f |
fϕ |
и получаем неопределенность 0/0.
Так, если f → 0 и ϕ → ∞, то пишем fϕ = f/ϕ1 , что приводит к неопреде-
ленности вида 0/0; если записать fϕ = ϕ/ |
1 |
, то придем к неопределенности |
||||||
|
||||||||
вида ∞/∞. |
|
|
|
f |
|
|
||
fϕ приводят к неопределенностям вида 00, |
|
0, 1∞. Если про- |
||||||
Выражения |
∞ |
|||||||
|
ϕ |
|
|
|
|
|||
логарифмировать f |
|
, то придем к неопределенности вида 0 · ∞. Например, |
||||||
lim ϕ ln f |
|
|
|
|
|
|
||
lim fϕ = ex→a |
. |
|
|
|
|
|
|
x→a
5.4Производные и дифференциалы высших порядков
Пусть f : E → R (E R) дифференцируема в окрестности U(x0) точки x0 E, тогда определена функция f0 : U(x0) → R. Если, в свою очередь, f0 дифференцируема в точке x0, то число (f0(x))0 называется 2-й производной от f в точке x0 и обозначается f00(x0). Иными словами,
f00(x0) = lim |
f0(x0 + |
x) − f0(x0) |
. |
|
|||
x→0 |
x |
По индукции можно определить производную любого пусть определена производная (n−1)-го порядка f(n−1) x0. Тогда производная от функции f порядка n
как первая производная от производной f(n−1)(x):
порядка n > 1. Именно, (x) в окрестности точки в точке x0 определена
f(n)(x0) = lim |
f(n−1)(x0 + |
x) − f(n−1)(x0) |
. |
|
|||
x→0 |
x |
Дифференциал второго порядка от функции f в точке x, соответству-
ющий dx, определяется равенством d2f(x) = d(df(x)). Обозначая (dx)2 через dx2 и учитывая, что dx не зависит от x, имеем: d2f(x) = d(f0(x)dx) = f00(x)dx2.
Аналогично определяется дифференциал n-го порядка (по индукции):
dnf(x) = d(dn−1f(x)) = d(fn−1(x)dxn−1) = f(n)(x)dxn.
Из данного равенства следует f(n)(x) = |
dnf(x) |
. |
|
dxn |
|||
|
|
Замечание 5.1. Для дифференциала порядка выше 1 не выполняется свойство инвариантности формы записи (в отличии от дифференциала первого порядка, см. следствие 5.1).
Действительно, если y = f(x), где x = x(t), то dy = f0(x(t))x0(t)dt = f0(x)dx, но d2y = d(f0(x)dx) = df0(x)dx + f0(x)d2x = f00(x)(dx)2 + f0(x)d2x, где
d2x 6= 0.
44

Докажем формулу, по которой вычисляется производная n-го порядка от произведения двух функций.
Формула Лейбница: Пусть u, v – функции, обладающие n-й производной в точке x. Тогда (считая по определению, u(0)(x) = u(x), v(0)(x)=v(x)) имеем
|
|
|
n |
|
|
|
X |
|
|
(u v)(n)(x) = |
Cnku(k)(x)v(n−k)(x), |
|
|
|
k=0 |
|
n! |
|
|
где Cnk = |
|
, k = 0, 1, . . . , n, – биномиальные коэффициенты. |
|
|
|||
|
k!(n − k)! |
|
Доказательство. Проводится по индукции. При n = 1 формула известна: (u v)0 = u0v + uv0. Предположим, что она верна для случая n-й производной. Тогда
(u v)(n+1) = |
d |
n |
Cku(k) v(n−k) = |
n |
Ck |
[ u(k+1)v(n−k) + u(k)v(n−k+1) ] = |
||||||
|
|
|
|
|
|
X |
n |
|
X |
n |
|
|
|
|
|
|
dx |
k=0 |
|
k=0 |
|
|
|||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||
|
n+1 |
|
|
|
|
|
|
n |
|
|
|
n+1 |
|
X |
|
|
|
|
|
|
X |
|
|
|
X |
= Cnk−1u(k)v(n+1−k) + Cnku(k)v(n+1−k) = Cnk+1u(k)v(n+1−k), |
||||||||||||
|
k=1 |
|
|
|
|
|
|
k=0 |
|
|
|
k=0 |
так как C0 |
= C |
0 |
= Cn = Cn+1 |
= 1 и Ck |
= Ck |
+ Ck−1 |
, k = 1, . . . , n. |
|||||
n+1 |
|
n |
|
n |
|
n+1 |
n+1 |
|
n |
n |
|
5.5Формула Тейлора
Формулой Тейлора называется формула, с помощью которой можно по данным значениям функции и её производных f(a), f0(a), . . . , f(n−1)(a) в точке a и некоторым сведениям о её производной f(n)(x) в окрестности U(a) этой точки узнать приближенно её значение f(x) в точках x U(a).
Сначала получим формулу Тейлора для многочлена P (x) = a0 + a1x + · · ·+ anxn. Сделаем замену x на (x − a) + a в P (x):
n
X
P (x) = a0 + a1((x − a) + a) + · · · + an((x − a) + a)n = bk(x − a)k,
k=0
где bk – коэффициенты, зависящие от коэффициентов ak. Полученное равенство называется разложением многочлена P (x) по степеням x − a, а bk –
коэффициентами данного разложения. Продифференцируем k раз равенство
n
X
P (x) = bk(x − a)k:
k=0
P (k)(x) = k!bk + (k + 1)k · · · 2bk+1(x − a) + · · ·
В полученном выражении для P (k)(x) положим x = a и получим P (k)(a) = k!bk. Отсюда следует
bk = P (k)(a), k = 0, 1, 2, · · ·
k!
Таким образом, получена формула
X
n P (k)(a)
P (x) = (x − a)k, k!
k=0
которая называется формулой Тейлора по степеням x − a (или формула Тейлора в окрестности точки a) для многочлена P (x) степени n.
Перейдем теперь к выводу формулы Тейлора для функции f, не являющейся многочленом степени n −1, но имеющей производные достаточно высокого порядка. С помощью чисел f(a), f0(a), . . . , f(n−1)(a) образуем функцию
Q(x) = f(a) + |
f0(a) |
(x − a) + · · · + |
f(n−1)(a) |
(x − a)n−1 |
= . |
(5.7) |
||||
1! |
|
(n |
− |
1)! |
|
|||||
|
|
|
|
|
|
|
|
|
|
45

Функция Q(x) называется многочленом Тейлора функции f по степеням x − a. Если f является сама многочленом степени n − 1, то f(x) = Q(x) для любых x U(a), т. е. f(x) ≡ Q(x). В общем случае f(x) 6≡Q(x). Тем не менее, многочлен Q(x) связан с функцией f(x) в том смысле, что f(k)(a) = Q(k)(a), k = 0, 1, . . . , n−1. Действительно, по формуле Тейлора для многочле-
нов
(n−1) Q(k)(a)
X
Q(x) = (x − a)k. k!
k=0
Отсюда и из (5.7) следуют равенства f(k)(a) = Q(k)(a), k = 0, 1, . . . , n − 1. Положим
X
n−1 f(k)(a)
f(x) = Q(x) + Rn(x) = (x − a)k + Rn(x). (5.8) k!
k=0
Выражение (5.8) называется формулой Тейлора функции f по степеням x − a (или в окрестности точки a), а Rn(x) называется остаточным членом формулы Тейлора.
Теорема 5.4. Пусть функция f непрерывна на отрезке [a, x] вместе со своими производными до (n − 1)-го порядка включительно и n раз дифференцируема на (a, x). Тогда существует точка c = a + θ(x − a) (0 < θ < 1) такая, что имеет место равенство (5.8), где
Rn(x) = n1!f(n)(c)(x − a)n (остаточный член в форме Лагранжа)
или
Rn(x) = |
|
1 |
|
f(n)(c)(x−a)n(1−θ)n−1 |
, 0 < θ < 1 (остаточный член в форме Коши). |
|
|
|
|||
(n |
− |
1)! |
|||
|
|
|
|
|
Доказательство. Будем искать Rn(x) в виде Rn(x) = λ(x −a)p, где p – натуральное число, λ – величина, зависящая от x. Итак, мы имеем равенство
f(x) = n−1 f(k)(a) (x − a)k |
+ λ(x a)p. |
|
|
X |
− |
(5.9) |
|
|
k! |
||
k=0 |
|
|
Заменим в (5.9) постоянную a на переменную z. Тогда получим функцию
g(z) = f(x) |
|
n−1 f(k)(z) (x − z)k |
λ(x z)p, |
||
|
|
X |
|
||
|
− |
|
k! |
− |
− |
|
|
k=0 |
|
которая определена и непрерывна для всех z [a, x], потому что на этом отрезке исходная функция f(z) непрерывна вместе со своими производными до (n − 1)-ого порядка включительно. Кроме того, из определения функции g(z) следует, что g(a) = 0 и g(x) = 0. Наконец, функция g(z) имеет на интервале (a, x) производную, потому что на (a, x) исходная функция f имеет производную n-го порядка. Тем самым, функция g(z) удовлетворяет условиям теоремы Ролля, поэтому существует точка c = a + θ(x − a) (0 < θ < 1) такая, что g0(c) = 0. Прямыми вычислениями находим производную g0(z):
n−1 |
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||
X |
|
|
|
|
|
|
|
|
− |
|
|
|
|
||||
g0(z) = −f0(z) − |
|
k! |
f(k+1)(z)(x − z)k − |
|
(k |
|
|
|
1)! |
f(k) |
(z)(x − z)k−1 |
+ λp(x − z)p−1 = |
|||||
k=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= − |
|
|
|
1 |
f(n)(z)(x − z)n−1 + λp(x − z)p−1. |
|||||
|
|
|
|
|
|
|
|
|
|||||||||
Из условия g0(a + θ(x − a)) = 0 следует |
|
(n − 1)! |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
λ = |
f(n)(a + θ(x − a)) |
(x a)n−p(1 θ)n−p. |
|
||||||||||||
|
|
|
|
p(n |
− |
1)! |
|
|
|
|
− |
|
|
− |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
Если теперь положить p = n в равенстве Rn(x) = λ(x − a)p, то получим остаточный член в форме Лагранжа, а при p = 1 – в форме Коши.
46

5.6Формула Тейлора для некоторых элементарных функций
1.f(x) = ex, x R, f(n)(x) = ex.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
ex = 1 + |
|
|
|
|
+ |
|
|
+ · · · + |
|
|
|
|
|
|
|
|
|
|
|
+ Rn(x), Rn(x) = |
|
eθx, 0 < θ < 1. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1! |
2! |
(n |
− |
1)! |
n! |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
| |
R |
n |
(x) |
| ≤ |
|
|
|x|n e|x| |
|
→ |
|
0 |
|
|
при |
|
|
n |
→ ∞ для любых |
x |
R (здесь мы использовали то, что |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
lim |
|
|
|
an |
= 0 при любом a > 0). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
n→∞ n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nπ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
2. |
f(x) = sin x, x R, f(n)(x) = sin(x + |
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2n−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2n+1 |
|
|
|
|
|
|
|
π |
||||||||||||||||||||||||||
|
sin x = x− |
|
|
|
+· · ·+(−1)n+1 |
|
|
|
|
|
|
|
|
|
|
+R2n+1(x), R2n+1(x) = |
|
|
|
|
|
sin(θx+(2n+1) |
|
|
). |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
3! |
(2n |
− |
1)! |
(2n + 1)! |
2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
R |
|
|
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|x|2n+1 |
|
|
|
|
|
|
|
|
0 |
, при |
n |
|
|
→ ∞, для любого |
x |
|
R. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |
2n+1 |
| ≤ (2n + 1)! → |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
nπ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
3. |
f(x) = cos x, x R, f(n)(x) = cos(x + |
|
|
|
|
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
x4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2(n−1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2n |
|
|
|
|
|
π |
|||||||||||||||||||||||
|
cos x = 1 − |
|
|
|
+ |
|
|
−· · ·+ (−1)n−1 |
|
|
|
|
|
|
|
|
|
|
|
+ R2n(x), R2n(x) = |
|
|
|
cos(θx + (2n) |
|
). |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
2! |
4! |
(2(n |
− |
1))! |
(2n)! |
2 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
R |
|
|
|
(x) |
|
|
|
|
|
|
|x|2n |
|
|
|
|
|
|
|
0 |
, при |
n |
|
→ ∞, для любого |
|
x |
R. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| |
2n |
| ≤ |
|
(2n)! → |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
f(x) = ln(1 + x) |
|
|
|
x |
|
|
|
|
( |
|
|
|
|
1, 1] |
|
|
|
f(n)(x) = |
(−1)n−1(n − 1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4. |
, |
|
|
|
− |
, |
|
|
|
(1 + x)n . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xn |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln(1 + x) = x − |
|
|
|
|
|
|
+ · · · + (−1)n−1 |
|
|
|
+ Rn+1(x) |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(−1)nxn+1 |
|
|
|
|
|
|
|
|
, 0 < θ < 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
|
(x) = |
(n + 1)(1 + θx)n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
(форма Лагранжа) |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n xn+1 |
|
|
|
|
|
1 |
|
|
|
|
θ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( 1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, 0 < θ < 1, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
1 + θx |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(форма Коши) |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 + θx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
0 ≤ x ≤ 1 |Rn+1| ≤ |
|
|
|
→ 0 при n → ∞ (используется форма Лагранжа). |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
n + 1 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
− |
1 < x < 0 |
| |
R |
n+1 |
(x) |
| ≤ |
|
|
|x|n+1 |
→ |
0 |
при |
n |
→ ∞ (используется форма Коши и неравенства |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 − |x| |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
1 − θ |
|
< |
|
1 − θ |
|
= 1, |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
< |
|
|
|
|
1 |
|
|
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
1 + θx 1 − θ |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 + θx 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
5. |
f(x) = (1 + x)m, x > −1, m R, f(n)(x) = m(m − 1) . . . (m − n + 1)(1 + x)m−n. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
(1 + x)m = 1 + mx + |
m(m−1) |
x2 + |
· · · |
+ |
m(m−1) . . . (m−n+2) |
xn−1 + R |
(x), |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(n |
− |
1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m(m − 1) . . . (m − n + 1) xn(1 + θx)m−n |
|
|
|
|
|
|
|
|
|
|
Лагранжа), |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
R |
|
(x) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(в формеn |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
m(m |
|
− |
1) . . . (m |
|
− |
|
n + 1) |
|
|
n |
|
|
|
|
|
|
|
|
|
m |
− |
1 |
|
1 |
− |
|
θ |
|
|
|
|
− |
|
|
|
|
(в форме Коши). |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x (1 + θx) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(n − 1)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 + θx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m(m − 1) . . . (m − n + 1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
0 |
|
≤ |
x < 1 |
при |
n > m |
|
| |
R |
n| ≤ |
|
|
xn |
→ |
0 |
при |
n |
→ ∞ |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(используется форма Лагранжа). |
|||||||||||||||||||||||||||||||||
|
|
|
|
− |
1 < x < 0 |
|
| |
R |
|
(x) |
| ≤ |
|
|
C |
m(m − 1) . . . (m − n + 1) |
|
x |
n |
→ |
0 |
при |
n |
→ ∞ |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(n |
− |
1)! |
|
|
|
|
|
|
|
|
| | |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 − θ |
|
|
|
|
|
|
1 − θ |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(используется форма Коши и неравенства |
|
|
|
< |
|
= 1, |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 + θx |
|
|
1 − θ |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1 + θx)m−1 ≤ 2m−1 при m > 1, (1 + θx)m−1 ≤ (1 − |x|)1−m при m < 1).
47

5.7Локальная формула Тейлора
Теорема 5.5. Если функция f n раз дифференцируема в точке a, то
f(x) = f(a) + f0(a)(x − a) + · · · + n1!f(n)(a)(x − a)n + o((x − a)n), x → a. (5.10)
Формула (5.10) называется локальной формулой Тейлора или формулой Тейлора с остаточным членом в форме Пеано.
n
Доказательство. Введем функцию h(x) = f(x) − X k1! f(k)(a)(x − a)k. Так как функция f
k=0
дифференцируема n раз в точке a, то функция h также дифференцируема n раз в точке a
и
|
|
|
|
|
n−i |
1 |
|
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
h(i)(x) = f(i)(x) − |
|
k! |
f(k+i)(a)(x − a)k, i = 1, . . . , n. |
(5.11) |
|||||
|
h(a) = h0(a) = |
|
k=0 |
|
|
|
|
|
||
Отсюда следует |
· · · |
= h(n) |
(a) = 0 |
. Теорема будет доказана, если мы покажем, |
||||||
|
n |
), x → a. |
|
|
|
|
||||
что h(x) = o((x − a) |
|
|
|
|
|
|
|
|
Применим метод математической индукции. Пусть n = 1. Тогда из дифференцируемости h(x) в точке a следует равенство h(x) = h(a) + h0(a)(x − a) + o(x − a) = o(x − a), x → a, так
что при n = 1 теорема верна.
Допустим, что утверждение теоремы верно для n − 1, и докажем, что тогда верно и для n. Положим g(x) = h0(x). Тогда из (5.11) следует, что g(a) = g0(a) = · · · = g(n−1)(a) = 0 и, по
предположению индукции, g(x) = o((x − a)n−1), x → a. По формуле конечных приращений
Лагранжа |
h(x) = h(x) |
− |
h(a) = h0(c)(x |
− |
a) = g(c)(x |
− |
a) |
, где |
c |
– точка между |
a |
и |
x |
. |
|||||||||||||
|
|
|
) |
|
|
|
g(c) |
|
|
|
g(c) |
|
|
|
|
||||||||||||
Следовательно, |
h(x |
|
= |
|
|
|
|
|
≤ |
|
|
|
|
|
= o(1), |
x → a, откуда h(x) = |
|||||||||||
(x a)n |
(x |
− |
a)n−1 |
(c |
− |
a)n−1 |
|||||||||||||||||||||
o((x a)n), x |
a |
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Лемма 5.4. Разложение функции по локальной формуле Тейлора единственно. Единственность разложения понимается в том смысле, что если f име-
ет n-ю производную в точке a и если f(x) = a0 + a1(x −a) + · · ·+ an(x −a)n + o((x − a)n), x → a, то
ak = k1!f(k)(a), k = 0, 1, . . . , n.
Доказательство. Функция f имеет n-ю производную в точке a поэтому для нее справед-
n
лива локальная формула Тейлора: f(x) = f(a) + X k1! f(k)(a)(x − a)k + o((x − a)n), x → a.
k=1
Таким образом,
n
a0 + a1(x−a) + · · ·+ an(x−a)n + o((x−a)n) = f(a) + X k1! f(k)(a)(x−a)k + o((x−a)n), x → a.
k=1
Перейдем к пределу при x → a в правой и левой части данного равенства. Получим a0 = f(a), поэтому
a +a (x a)+ +a (x a)n−1+o((x a)n−1) = f0(a)+ |
n |
(x − a)k |
+o((x a)n−1), x a. |
||
f(k)(a) |
|||||
1 2 − · · · n − |
− |
X |
|
− |
→ |
k=2 |
k! |
||||
|
|
|
|
|
Перейдя к пределу при x → a, получим a1 = f0(a). Продолжая этот процесс последовательно, мы докажем, что ak = k1! f(k)(a), k = 0, 1, . . . , n.
Замечание 5.2. Если к предположению о существовании n-й производной в точке a добавить непрерывность этой производной, то локальная формула Тейлора будет следовать из формулы Тейлора с остаточным членом в форме Лагранжа. Действительно, пусть f имеет n-ю непрерывную производную в точке a. Тогда существует окрестность точки a, на которой f имеет производную n-го порядка f(n) и, тем более, непрерывную производную (n − 1)-го порядка f(n−1). Мы получим, что условия, при которых имеет место
48

разложение f по формуле Тейлора с остаточным членом в форме Лагранжа, выполняются и, следовательно,
f(x) = f(a) + n−1 |
1 f(k)(a)(x a)k + R (x), R (x) = (x − a)n f(n)(a + θ(x a)), 0 < θ < 1. |
||||||||||||||||||||
|
|
X |
|
|
− |
|
|
|
n |
|
n |
|
|
|
|
|
− |
|
|
||
|
|
k=1 |
k! |
|
|
|
|
|
n! |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.12) |
|||
Так как f(n) |
непрерывна в точке a, то f(n)(a + θ(x − a))=f(n)(a) + o(1), x→a и |
|
|||||||||||||||||||
|
|
||||||||||||||||||||
R |
(x)= |
1 |
(x |
− |
a)nf(n)(a) + |
1 |
(x |
− |
a)n |
· |
o(1)= |
(x − a)n |
f(n)(a) + o((x |
− |
a)n), x |
→ |
a. |
||||
n! |
|
|
|||||||||||||||||||
n |
|
|
|
|
n! |
|
|
n! |
|
|
Из полученной оценки и равенства (5.12) следует локальная формула Тейлора (5.10).
5.8Исследование функций с помощью производных. Поведение функции в точке
Возрастание и убывание функции в точке, локальные экстремумы
Определение 5.4. Пусть функция f(x) определена в некоторой окрестности U(x0) точки x0. Тогда она
возрастает в точке x0, если δ > 0 :
|
f(x0 + x) − f(x0) |
> 0 |
при |
0 < |
| |
x |
| |
< δ; |
|||||
|
x |
||||||||||||
|
|
|
|
|
|
|
|||||||
убывает в точке x0, если δ > 0 : |
|
|
|
|
|
|
|
|
|
|
|||
|
f(x0 + x) − f(x0) |
< 0 |
при |
0 < |
| |
x |
| |
< δ; |
|||||
|
x |
||||||||||||
|
|
|
|
|
|
|
|||||||
имеет локальный максимум в точке x0, если δ > 0 : |
|||||||||||||
|
f(x0 + x) − f(x0) < 0 при | |
|
x| < δ; |
||||||||||
имеет локальный минимум в точке x0, если δ > 0 : |
|||||||||||||
|
f(x0 + x) − f(x0) > 0 при | |
|
x| < δ; |
||||||||||
Локальный максимум и локальный минимум объединяются термином ло- |
|||||||||||||
кальный экстремум. |
|
|
|
|
|
|
|
|
|
|
|||
Лемма 5.5. Если f(x) имеет производную в точке x0, то |
|||||||||||||
f0(x0) > 0 f(x) возрастает в точке x0, |
f0(x0) < 0 f(x) убывает в точке x0. |
||||||||||||
Доказательство. Если |
|
|
|
|
|
|
|
|
|
|
|||
|
|
f0(x0) = lim |
f(x0 + |
x) − f(x0) |
> 0, |
|
|||||||
|
|
|
|
||||||||||
|
|
x→0 |
|
x |
|
|
|
|
|
|
|
|
|
то δ > 0 : |
|
|
|
|
|
|
|
|
|
|
|||
|
|
f(x0 + x) − f(x0) |
> 0 |
при |
0 < |
| |
x |
< δ. |
|||||
|
|
x |
|
|
|
| |
|
|
|
Аналогично для второго случая.
Теорема 5.6. (Ферма) Если f(x) имеет производную в точке x0 и достигает локального экстремума, то f0(x0) = 0.
Доказательство. Если допустить, что f0(x0) > 0, то она возрастает в точке x0, а если допустить, что f0(x0) < 0, то она убывает в точке x0. В обоих случаях она не имела бы локального экстремума в точке x0.
Замечание 5.3. Условие f0(x0) = 0 – недостаточное для достижения функцией f в точке x0 локального экстремума. Например, функция f(x) = x3 имеет в точке x = 0 производную, равную нулю, но в этой точке у нее нет локального экстремума.
49

Теорема 5.7. (Необходимое условие экстремума) Если x0 – точка локального экстремума функции f(x), определенной в окрестности U(x0), то либо f0(x0) не существует, либо f0(x0) = 0.
Доказательство. Следует из теоремы Ферма.
Ниже приведен график функции, которая достигает локального максимума в точке, где нет производной.
y
6
|
|
- |
|
0 |
x0 |
x |
Теорема 5.8. (Достаточное условие экстремума) Пусть функция f(x) непрерывна в окрестности U(x0) и дифференцируема в проколотой окрестности
ˇ 0
U(x0). Если f (x) меняет знак при переходе через точку x0, то x0 – точка локального экстремума.
Доказательство. Пусть, например, f0(x) меняет знак с + на − при переходе через точку x0, т.е. f0(x) > 0 при x < x0 и f0(x) < 0 при x > x0. В силу формулы Лагранжа конечных
− 0 − − ˇ
приращений f(x) f(x0) = f (x0 + θ(x x0))(x x0) > 0, x U(x0), т.е. x0 – точка локального максимума.
Замечание 5.4. Условие доказанной теоремы является лишь достаточным. Например,
функция |
(0, x = 0 |
6 |
f(x) = |
||
|
x2(2 + cos 1/x), |
x = 0 |
имеет локальный минимум в точке x0 = 0, f0(0) = 0, но при этом f0(x) не меняет знак при переходе через точку 0.
Теорема 5.9. Если функция f(x) имеет вторую производную в точке x0 и f0(x0) = 0, f00(x0) > 0, то x0 – точка локального минимума функции f.
Соответственно, если f0(x0) = 0, f00(x0) < 0, то x0 – точка локального максимума функции f.
Доказательство. Из существования f00(x0) следует, что в некоторой окрестности U(x0) функция f(x) имеет непрерывную производную f0(x). Если f00(x0) > 0, то f0(x) возрастает в т x0. Поскольку при этом f0(x0) = 0, то производная меняет знак с − на + при переходе через точку x0. Согласно предыдущей теореме x0 – точка локального минимума функции f(x).
При исследовании функции на локальный экстремум полезна следующая таблица.
50