
Краткий курс математического анализа. Том 1
.pdf
§ 14. Формула Тейлора |
187 |
5. Пределы неопределенностей типов 0 · ∞ и ∞ − ∞ целесообразно
привести к виду |
0 |
или |
∞∞ |
. Например, |
|
|
|
||||
0 |
|
|
|
||||||||
lim |
1 |
|
ctg 2x |
= lim |
sin2 x − x2 cos2 x |
= |
|
|
|
||
|
|
|
|
|
|||||||
x→0 x2 |
− |
|
|
x→0 x2 sin2 x = lim |
sin x + x cos x |
sin x − x cos x |
. |
||||
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
x→0 |
sin x |
x2 sin x |
|
Предел первого сомножителя в правой части находится непосред-
ственно: |
sin x + x cos x |
|
x |
|
|
||
lim |
lim 1 |
|
2, |
||||
sin x |
|
+ sin x cos x |
= |
||||
x→0 |
= x→0 |
|
а предел второго — с помощью правила Лопиталя:
lim |
sin x − x cos x |
= lim |
x sin x |
|
= lim |
|
1 |
|
|
= |
1 |
. |
|||||
|
2 |
|
|
|
x |
|
|||||||||||
|
2 |
|
|
|
|
|
|
|
|
3 |
|
||||||
x→0 |
x sin x |
|
x→0 |
2x sin x + x |
cos x |
x→0 2 |
+ |
|
cos x |
|
|
|
|||||
sin x |
|
|
|
||||||||||||||
|
lim |
1 |
|
ctg 2x |
= 2 . |
|
|
|
|
|
|
|
|
|
|||
Таким образом, x→0 |
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x2 |
|
3 |
|
|
|
|
|
|
|
|
|
|
§14. Формула Тейлора
14.1.Вывод формулы Тейлора. Рассмотрим следующую за-
дачу. Пусть функция y = f (x) имеет в точке x0 производные до порядка n включительно. Требуется найти такой многочлен Pn(x) степени не выше, чем n, что
Pn(k)(x0) = f (k)(x0), k = 0, 1, ..., n, |
|
(14.1) |
def |
→ x0. |
(14.2) |
rn(x) = f (x) − Pn(x) = o((x − x0)n), x |
Вслучае n = 1 нам уже известно, что эта задача имеет решение
ичто ее решением является многочлен
P1(x) = f (x0) + f (x0)(x − x0), |
(14.3) |
так как |
|
P1(x0) = f (x0), P1(x0) = f (x0), |
|
r1(x) = f (x) − P1(x) = f (x) − f (x0) − f (x0)(x − x0) = |
x → 0, |
= y − f (x0)Δx = y − dy = o(Δx), |
где, как обычно, x = x − x0, y = f (x) − f (x0). |
|
По аналогии с формулой (14.3) будем искать многочлен Pn(x), |
|
удовлетворяющий условиям (14.1) и (14.2), в виде |
|
Pn(x) = a0 + a1(x − x0) + ... + an(x − x0)n. |
(14.4) |
Положив x = x0, в силу условия (14.1) при k = 0 получим |
|
a0 = f (x0). |
(14.5) |

188 Гл. 1. Дифференциальное исчисление функций одной переменной
Дифференцируя равенство (14.4), будем иметь |
|
|
|
||||||||||||
P |
(x) = a |
1 |
+ 2a |
(x |
− |
x |
) + |
... |
+ na |
n |
(x |
− |
x |
)n−1. |
|
n |
|
2 |
|
0 |
|
|
|
0 |
|
||||||
Положив здесь x = x0, в силу условия (14.1) при k = 1 получим |
|||||||||||||||
|
|
|
|
|
a1 = f (x0). |
|
|
|
|
|
(14.6) |
||||
Вообще, продифференцировав равенство (14.4) k раз: |
|||||||||||||||
Pn(k)(x) = k! ak + (k + 1) ... 2ak+1(x − x0) + ... |
|
|
|
|
|
||||||||||
|
|
|
|
|
... + n(n − 1) ... (n − k + 1)an(x − x0)n−k, |
||||||||||
и положив x = x0, в силу условия (14.1) получим |
|
|
|||||||||||||
|
ak = |
f (k)(x0) |
, |
k = 0, 1, ..., n. |
|
(14.7) |
|||||||||
|
|
|
|||||||||||||
|
|
|
|
|
k! |
|
|
|
|
|
|
|
|
|
|
Таким образом, если коэффициенты многочлена (14.4) выбраны согласно формулам (14.7), то этот многочлен удовлетворяет условию (14.1). Покажем, что он удовлетворяет и условию (14.2). Для этого прежде всего отметим, что в силу условий (14.1) для функции
|
|
|
|
def |
|
|
|
|
(14.8) |
||
имеет место |
|
|
rn(x) = |
f (x) − Pn(x) |
|
|
|||||
|
(x |
) = r |
(x |
) = |
... |
= r(n)(x |
) = 0. |
(14.9) |
|||
r |
|
||||||||||
|
n |
0 |
n |
0 |
|
|
n |
0 |
|
Из того, что функция f (x) имеет в точке x0 производную порядка n, вытекает, что у нее в некоторой окрестности этой точки существуют производные до порядка n − 1 включительно и все производные функции f (x), а следовательно, в силу равенства (14.8) и производные функции rn(x), до порядка n − 1 включительно непрерывны в указанной точке x0 и
lim |
r(k)(x) = r(k)(x |
) |
= |
0, k = 0, 1, |
... |
, n |
− |
1. |
|
|
|
||||
x x0 |
n |
0 |
|
(14.9) |
|
|
|
|
|
|
|
|
|||
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
rn (x) |
|
|
|
|
|
|
|
|||||
Для вычисления предела |
|
|
|
применим сначала |
n |
− |
1 |
||||||||
x |
|
x0 |
(x |
− |
x0)n |
|
|
||||||||
|
|
→ |
|
|
|
|
|
|
|
|
|
|
раз правило Лопиталя — теорему 2 из п. 13.1, а затем оттуда же теорему 1:
lim |
rn(x) |
|
= lim |
rn |
(x) |
= |
... = lim |
r(n−1)(x) |
= |
|
|||
(x − x0) |
n |
|
|
|
|
|
|
||||||
x→x0 |
|
(13.3) x→x0 n(x − x0)n−1 |
(13.3) |
(13.3) x→x0 |
n! (x − x0) (13.2) |
||||||||
|
|
|
|
|
|
|
|
= |
r(n)(x0) |
= 0. |
|||
|
|
|
|
|
|
|
|
n! |
|
|
|||
|
|
|
|
|
|
|
|
(13.2) |
|
|
|
Это и означает выполнение условия (14.2). Итак, доказана следующая

§ 14. Формула Тейлора |
189 |
Те о р е м а 1. Если функция f n раз дифференцируема в точке x0, то в некоторой окрестности этой точки
f (x) = f (x0) + |
f (x0) |
(x |
− x0) + ... |
|
|
|
|
|
|
|
||||||
|
1! |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
f (n)(x ) |
|
|
|
|
|
|
|
|
||||
... + |
|
|
|
|
0 |
(x − x0)n + o((x − x0)n), x → x0. |
(14.10) |
|||||||||
|
|
|
n! |
|
||||||||||||
Многочлен |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (x ) |
|
|
|
f (n)(x ) |
|
|
|
|||||||
Pn(x) = f (x0) + |
|
0 |
|
(x − x0) + ... + |
|
0 |
|
|
(x − x0)n = |
|
||||||
|
1! |
|
n! |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
(k)(x ) |
(x − x0)k |
|
||
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
k! 0 |
(14.11) |
|
|
|
|
|
|
|
|
|
|
|
k=0 |
|
|
|
|
|
называется многочленом Тейлора 1) (порядка n), формула (14.10) —
формулой Тейлора (порядка n) для функции f |
в точке x = x0, |
а функция |
|
rn(x) = f (x) − Pn(x) |
(14.10) |
— остаточным членом (порядка n) формулы Тейлора, а его представление в виде (14.2), т. е.
rn(x) = o((x − x0)n), x → x0,
— записью остаточного члена в виде Пеано 2).
Частный случай формулы Тейлора (14.10) при x0 = 0 называется
формулой Маклорена 3)
|
n |
|
|
|
|
f (x) = |
|
f |
(k)(0) |
xk + rn(x), |
(14.11) |
k=0 |
|
k! |
|||
|
|
|
|
||
|
|
|
|
|
где, согласно (14.2), остаточный член rn(x) можно записать в виде
rn(x) = o(xn), x → 0. |
(14.12) |
Из нижеследующей теоремы будет следовать, что многочлен Тейлора единствен в своем роде. Именно, никакой другой многочлен не приближает функцию, заданную в окрестности точки x0 с точностью до бесконечно малых того же порядка относительно x − x0, x → x0, что и многочлен Тейлора.
Предварительно отметим, что любой многочлен Pn(x) = n axxk
k=0
степени n для любого x0 может быть записан в виде Pn(x) =
1) Б. Тейлор (1685–1731) — английский математик.
2) Д. Пеано (1858–1932) — итальянский математик.
3) К. Маклорен (1698–1746) — шотландский математик.

190 Гл. 1. Дифференциальное исчисление функций одной переменной
= n bk (x − x0)k . Действительно, положив h = x − x0, использовав
k=0
формулу бинома Ньютона и собрав члены с одинаковыми степенями h, получим
n |
n |
n |
|
n |
|
|
|
|
|
Pn(x) = |
akxk = |
ak(x0 + h)k = |
bk hk = |
bk (x − x0)k , |
k=0 |
k=0 |
k=0 |
|
k=0 |
где bk — некоторые постоянные. |
|
|
Те о р е м а 2. |
Если функция f задана в окрестности точки x0 |
|
и имеет представление |
|
|
n |
ak(x − x0)k + o((x − x0)n), x → x0, |
|
f (x) = |
(14.13) |
|
k=0 |
|
|
|
|
то такое представление единственно.
Пусть наряду с представлением (14.15) имеет место представление
|
|
n |
|
|
|
|
|
|
|
x → x0. |
|
|
|
|
||
f (x) = bk (x − x0)k + o((x − x0)n), |
|
|
|
(14.14) |
||||||||||||
|
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда, положив |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
ck = bk − ak , |
k = 0, 1, ..., n, |
|
|
(14.15) |
|||||||||
и вычтя из равенства (14.16) равенство (14.15), получим |
|
|
|
|||||||||||||
|
n |
ck (x − x0)k + o((x − x0)n) = 0, |
|
|
x → x0. |
|
|
|
|
|||||||
|
|
|
|
|
|
(14.16) |
||||||||||
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
x0, получим c0 = 0. |
|||||||
Перейдя в этом равенстве к пределу при x |
|
m |
|
|||||||||||||
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|||
Заметим, что o((x − x0) |
) = ε(x)(x − x0) |
|
, lim ε(x) = 0, |
и, следо- |
||||||||||||
|
|
x x0 |
|
|
||||||||||||
вательно, при x = x0, m = 1, 2, ... |
|
|
|
|
|
→ |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|||||||
o((x − x0)m) |
= ε(x)(x |
− |
x |
)m−1 = o((x |
− |
x |
)m−1), |
x |
→ |
x |
. |
|||||
x |
− |
x0 |
0 |
|
|
|
0 |
|
|
0 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Сократив на x − x0, x = x0, левую часть равенства (14.18) (в нем, как уже доказано, c0 = 0), получим
n−1 ck (x − x0)k−1 + o((x − x0)n−1) = 0, x → x0.
k=1
Перейдя в этом равенстве к пределу при x → x0, x = x0, получим c1 = 0. Продолжая этот процесс после m-го шага, 0 m n, получим
n ck (x − x0)k−m + o((x − x0)n−m) = 0, x → x0,
k=m
отсюда при x → x0 следует, что cm = 0, m = 0, 1, ..., n.

§ 14. Формула Тейлора |
191 |
Таким образом, в силу равенств (14.17)
ak = bk , k = 0, 1, ..., n.
Теорема 2 называется обычно теоремой единственности. Из нее следует, что если для n раз дифференцируемой в точке функции f получено представление ее в виде (14.15), то это представление является ее разложением по формуле Тейлора. В самом деле, при сделанных предположениях, согласно теореме 1, такое представление существует, а другого в силу теоремы 2 нет.
14.2. Примеры разложения по формуле Тейлора. |
|
|||||||||||||||||||||||||||||
П р и м е р ы. |
1. |
Напишем |
|
формулу Маклорена |
для |
функции |
||||||||||||||||||||||||
f (x) = sin x. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как (sin x)(n) = sin x + n |
π |
(см. п. 11.1), то |
|
|
||||||||||||||||||||||||||
2 |
|
|
||||||||||||||||||||||||||||
|
|
|
|
nπ |
0, |
|
|
если |
n = 2k, |
|
|
|
|
|||||||||||||||||
f (n)(0) = sin |
|
|
|
|
|
|
|
= (−1)k, |
если |
n = 2k + 1, |
k = 0, 1, 2, ... |
|||||||||||||||||||
2 |
|
|
|
|||||||||||||||||||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
x3 |
|
|
x5 |
|
|
|
|
|
|
|
|
x2n+1 |
|
|
|
|
|||||||||||||
sin x = x − |
|
+ |
|
|
|
|
|
|
− ... + (−1)n |
|
|
|
|
|
|
|
|
+ o(x2n+2), |
x → 0. |
(14.17) |
||||||||||
3! |
|
5! |
(2n + 1)! |
|||||||||||||||||||||||||||
2. Для функции f (x) = cos x имеем аналогично |
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(cos x)(n) = cos x + n |
π |
, |
|
|
|
|||||||||||||||
f (n)(0) = cos |
2 |
|
|
|
2 |
k = 0, 1, 2, ..., |
||||||||||||||||||||||||
|
|
|
= (−1)k, |
если |
n = 2k, |
|
||||||||||||||||||||||||
|
|
|
|
nπ |
0, |
|
|
если |
n = 2k + 1, |
|
|
|
||||||||||||||||||
поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
cos x = 1 − |
x2 |
+ ... + (−1)n |
x2n |
+ o(x2n+1), |
x → 0. |
(14.18) |
||||||||||||||||||||||||
2! |
|
(2n)! |
|
|||||||||||||||||||||||||||
3. Рассмотрим функцию f (x) = ex. |
|
|
|
|
||||||||||||||||||||||||||
Так как (ex)(n) = ex, то f (n)(0) = 1 и, следовательно, |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
||||||
|
|
ex = 1 + x + |
x |
+ ... + |
x |
+ o(xn), |
x → 0. |
(14.19) |
||||||||||||||||||||||
|
|
2! |
n! |
|||||||||||||||||||||||||||
Отсюда следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x2 |
|
|
|
|
|
xn |
|
|
|
|
|
|
|
|
|||||
e−x = 1 |
− x + |
|
+ ...(−1)n |
|
+ o(xn), x → 0. |
(14.20) |
||||||||||||||||||||||||
2! |
n! |
Складывая и вычитая соотношения (14.21) и (14.22), после умножения результата на 1/2 получим
|
ex + e−x |
|
x2 |
|
x2n |
|
ch x = |
2 |
= 1 + |
|
+ ... + |
|
+ o(x2n+1), x → 0, (14.21) |
2! |
(2n)! |

192 Гл. 1. Дифференциальное исчисление функций одной переменной
sh x = ex − e−x |
= x + |
x3 |
+ |
... |
+ |
x2n+1 |
|
+ o(x2n+2), x |
→ |
0. |
(14.22) |
|
(2n + 1)! |
||||||||||
2 |
3! |
|
|
|
|
В силу теоремы единственности (см. теорему 2 в п. 14.1) полученные разложения являются разложениями функций ch x и sh x по формуле Тейлора.
4. Если f (x) = (1 + x)α, α R, α N, то |
|
|
|
|||||||||||
f (n)(x) = α(α |
− |
1) |
... |
(α |
− |
n + 1)(1 + x)α−n. |
|
|||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (n)(0) = α(α − 1) ... (α − n + 1), n = 1, 2, ..., |
f (0) = 1; |
|||||||||||||
отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1 + x)α = 1 + αx + |
α(α − 1) |
x2 + ... |
|
|
|
|
|
|
||||||
|
2! |
|
|
|
|
|
|
|
|
|
|
|
||
... |
+ |
α(α − 1) ... (α − n + 1) |
xn + o(xn), |
x |
→ |
0. (14.25) |
||||||||
|
|
|
|
|
n! |
|
|
|
|
|
|
|
Если α=m — натуральное число, то (1 + x)m = Pm(x) + 0, где Pm(x) — многочлен степени m. Отсюда, согласно теореме единственности, следует, что Pm(x) является многочленом Тейлора, и, следовательно, в силу (14.11)
(1 + x)m = 1 + mx + m(m − 1) x2 + ... + xm,
2
т. е. в этом случае формула (14.25) превращается в формулу бинома Ньютона.
5. Пусть f (x) = ln (1 + x); тогда
1 |
|
|
= (1 + x)−1, f (x) = (−1)(1 + x)−2, |
|
|
f (x) = |
|
|
|
|
|
1 + x |
|
||||
вообще, f (n)(x) = (−1)n+1(n − 1)!(1 + x)−n, поэтому |
|
||||
f (n)(0) = (−1)n+1(n − 1)!, n = 1, 2, ..., |
|
||||
и так как f (0) = 0, то |
|
|
|||
|
|
x2 |
xn |
|
|
ln (1 + x) = x − |
|
+ ... + (−1)n+1 n + o(xn), x → 0. |
(14.23) |
||
2 |
|||||
З а м е ч а н и е. Отметим, что |
|
||||
|
axn + o(xn) = O(xn), x → 0. |
(14.24) |
Действительно, o(xn) = ε(x)xn, где lim ε(x) = 0. Поэтому суще-
x→0
ствует такое δ > 0, что при |x| < δ имеем |ε(x)| 1 и, следовательно,
|axn + o(xn)| = |axn + ε(x)xn| (|a| + 1)|xn|.
Это и означает, что выполняется равенство (14.27).

§ 14. Формула Тейлора |
193 |
Если в формуле Маклорена (14.13), (14.14) заменить n на n + 1 (в предположении, конечно, существовании производной порядка n + 1 при x = 0) и воспользоваться равенством (14.27), то получим
|
n |
|
|
|
f (x) = |
|
f |
(k)(0) |
xk + O(xn+1), x → 0. |
|
||||
k=0 |
|
k! |
||
|
|
|
|
Получившаяся оценка остатка rn(x) = O(xn+1) является, очевидно, более сильной, чем его оценка в формуле (14.13), где
|
rn(x) = o(xn), x → 0. |
|
||||||||||||||||
Поэтому формула Тейлора для sin x, |
cos x, ex, sh x, ch x, (1 + x)α |
|||||||||||||||||
и ln (1 + x) можно при x → 0 записать в виде |
|
|||||||||||||||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
x2k+1 |
|
|
|
||||||||||
sin x = |
|
(−1)k |
|
|
|
|
|
+ O(x2n+3), |
|
|||||||||
|
(2k + 1)! |
|
||||||||||||||||
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
x2k |
|
+ O(x2n+2), |
|
|||||||
cos x = |
|
(−1)k |
(2k)! |
|
||||||||||||||
|
|
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
n |
xk |
|
+ O(xn+1), |
|
||||||||||
|
ex = |
|
|
|
|
|
|
|||||||||||
|
|
|
|
k=0 |
k! |
|
|
|
|
|
|
|
|
|
||||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
x2k+1 |
+ O(x2n+3), |
|
|||||||||||||
sh x = |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
k=0 |
(2k + 1)! |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ch x = |
|
x2k |
|
+ O(x2n+2), |
n = 0, 1, ..., |
|
||||||||||||
|
|
|
||||||||||||||||
|
(2k)! |
|
||||||||||||||||
|
k=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
α(α |
− |
1) |
... (α − k + 1) |
xk + O(xn+1), |
||||||||||||
(1 + x)α = 1 + |
|
|
|
|
|
|
||||||||||||
|
k=1 |
|
|
|
|
|
|
|
k! |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
xk |
|
|
|
|
|
|
|
|
|||
ln (1 + x) = ( 1)k−1 |
|
+ O(xn+1), n = 1, 2, |
... |
|||||||||||||||
|
k=1 |
− |
|
|
k |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
14.3. Применение метода выделения главной части функций для вычисления пределов. Пусть функция f представлена
в окрестности точки x0 по формуле Тейлора в виде f (x) = P (x) + o((x − x0)n), x → x0.
Многочлен Тейлора P (x) (если он не тождественный нуль) называют главной частью функции f в рассматриваемой окрестности. Ее
выделение полезно применять для нахождения пределов функций. Покажем на примерах, как это делается.
П р и м е р ы. 1. Найти lim x − sin x .
x→0 x3
7 Л. Д. Кудрявцев

194 Гл. 1. Дифференциальное исчисление функций одной переменной
Представим sin x, согласно формуле Тейлора, в виде
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
sin x = x − |
x |
|
+ o(x4), |
|
x → 0. |
|
||||||||||||
|
6 |
|
|||||||||||||||||
В соответствии с теоремой 1 п. 9.3 |
|
|
|
+ o(x4) x6 |
, x → 0. |
||||||||||||||
x − sin x = x − x − x6 |
+ o(x4) = x6 |
||||||||||||||||||
|
3 |
|
|
|
|
|
|
|
|
3 |
|
|
|
3 |
|||||
Поэтому, применив теорему 2 п. 9.3, получим |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x3 |
|
|
1 |
|
|
|
|
|
lim |
x − sin x |
= lim |
6 |
|
= |
. |
|
|
||||||||||
|
|
|
6 |
|
|
||||||||||||||
|
x→0 |
3 |
|
|
|
|
x→0 |
3 |
|
|
|
|
|
||||||
|
x |
|
|
x |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
lim |
1 + x cos x − |
|
1 + 2x |
. |
|
|
|
|
|
|
|
|
|
||||||
2. Найти x 0 |
ln (1 + x) x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
→ |
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
Имеем
x cos x = x(1 + o(x)) = x + o(x2),
√1 + 2x = (1 + 2x)1/2 = 1 + x − 12 x2 + o(x2), ln (1 + x) = x − 12 x2 + o(x2), x → 0.
Поэтому, согласно теоремам 1 и 2 из п. 9.3, с помощью этих соот-
ношений будем иметь |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
lim |
|
|
− |
|
|
|
= lim |
|
1 |
|
|
1 |
|
|
|
|
|
|
= |
|||||||
|
1 |
+ x cos x |
|
|
1 + 2x |
|
1 |
+ x + o(x2) − |
1 + x − |
x2 + o(x2) |
|
|||||||||||||||
|
|
|
|
2 |
|
|||||||||||||||||||||
x 0 |
|
ln (1 + x) x |
x 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|||||||
→ |
|
|
|
− |
→ |
|
|
x − |
|
x + o(x ) − x |
|
|
||||||||||||||
|
|
|
|
2 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
lim |
1 |
x2 + o(x2) |
= lim |
|
1 |
x2 |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
2 |
2 |
= |
1. |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
= x→0 − |
1 |
x2 + o(x2) |
x→0 − |
1 |
x2 |
|
− |
|||||||||||
|
|
|
|
|
|
|
|
2 |
2 |
|
Мы воспользовались здесь тем, что
12 x2 + o(x2) 12 x2 и − 12 x2 + o(x2) −12 x2, x → 0.
3. Найти предел lim (cos x)ctg 2x.
x→0
Заметив, что (cos x)ctg 2x = ectg 2x ln cos x, найдем предел натурального логарифма функции, стоящей под знаком предела, т. е. предел
|
lim (ctg 2x ln cos x). |
||
Имеем |
x→0 |
||
2 |
|
||
|
cos x = 1 − |
x |
+ o(x2), x → 0. |
|
2 |

§ 15. Исследование функций |
195 |
Поэтому |
|
|
|
|
|
|
+ o(x2) |
= −x2 + o(x2), |
x → 0. |
|||
ln cos x = ln 1 − x2 |
|
|||||||||||
|
|
|
|
2 |
|
|
2 |
|
|
|
||
Далее, |
|
|
|
|
|
|
|
|
|
|
|
|
ctg |
2 |
|
cos2 x |
|
|
(1 + o(x))2 |
1 + o(x) |
|
|
|||
|
x = |
|
= |
|
= x2 + o(x2) |
, |
x → 0. |
|||||
|
sin2 x |
(x + o(x))2 |
Следовательно,
|
|
( |
1 |
)) |
x2 |
+ o(x2) |
||||||
lim |
(ctg 2x ln cos x) = lim |
|
+ o(x |
− 2 |
|
|
= |
|||||
|
|
2 |
|
2 |
|
|
|
|
|
|||
x→0 |
x→0 |
|
x |
+ o(x ) |
2 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
= lim − |
x |
|
+ o(x2) |
||||
|
|
|
|
|
2 |
|||||||
|
|
|
|
|
x→0 |
x2 + o(x2) |
||||||
Тем самым найден и искомый предел: |
|
|
|
|
|
|
|
|||||
|
lim |
ctg 2x |
|
1 |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
||||
|
x 0(cos x) |
|
= √ . |
|||||||||
|
|
→ |
|
|
|
|
|
e |
2 |
|
|
|
|
||
lim |
− |
x |
|
|
1 |
|
2 |
|
= − |
||||
|
|
|
2 . |
|||
= x→0 x2 |
|
§15. Исследование функций
15.1.Признак монотонности функций.
Те о р е м а 1. Для того чтобы дифференцируемая на интервале функция возрастала (убывала) на этом интервале, необходимо и достаточно, чтобы ее производная была во всех точках интервала неотрицательна (неположительна).
Если производная функция во всех точках интервала положительна (отрицательна), то функция строго возрастает (строго убывает).
Докажем, например, что если на интервале (a, b) производная функции f неотрицательна (f (x) 0 для всех x (a, b)), то функция f возрастает на (a, b). Действительно, если x1 (a, b), x2 (a, b) и x1 < x2, то по теореме Лагранжа
f (x2) − f (x1) = f (ξ)(x2 − x1), x1 < ξ < x2, |
(15.1) |
а так как по условию f (ξ) 0, то из равенства (15.1) следует, что
f (x2) − f (x1) 0, т. е. |
(15.2) |
f (x1) f (x2). |
При этом если для всех x (a, b) выполняется неравенство f (x) > 0
и, следовательно, в равенстве (15.1) f (ξ) > 0, |
то f (x2) − f (x1) > 0, |
т. е. |
|
f (x1) < f (x2) |
(15.3) |
— функция f строго возрастает. |
|
7*

196 Гл. 1. Дифференциальное исчисление функций одной переменной
Пусть теперь функция f возрастает на интервале (a, b) и имеет
в точке x0 (a, b) производную. Возьмем x > 0, тогда
f (x0 + x) f (x0) |
|
|
и, следовательно, |
|
|
f (x0 + x) − f (x0) |
0. |
(15.4) |
x |
|
Переходя в этом неравенстве к пределу при
x → 0, получим |
|
f (x0) 0. |
(15.5) |
Аналогично теорема 1 доказывается для убывающих функций.
З а м е ч а н и е 1. Как было показано, условие положительности производной на интервале является достаточным условием строгого возрастания. Отметим, что это условие не является, однако, необходимым условием строгого возрастания. Действительно, например, функция f (x) = x3 строго возрастает на всей числовой оси, однако ее производная f (x) = 3x2 не всюду положительна — она обращается
внуль при x = 0 (рис. 82).
15.2.Локальные экстремумы функций. Пусть функция f
задана на некотором множестве X R и x0 X.
О п р е д е л е н и е 1. Точка x0 называется точкой локального максимума (минимума) функции f , если существует такая окрестность U (x0) точки x0, что для всех x X ∩ U (x0) выполняется неравенство
f (x) f (x0) (соответственно f (x) f (x0)).
Если для всех x X ∩ U (x0) и x = x0 выполняется неравенство
f (x) < f (x0) (соответственно f (x) > f (x0)), то точка x0 называется
точкой строгого локального максимума (минимума).
В дальнейшем для простоты точки (строгого) локального максимума и минимума функции будем кратко называть ее точками (строгого) максимума и минимума.
Точки максимума и минимума (строгого) функции называют ее точками экстремума (строгого).
Из теоремы Ферма (см. п. 12.1) для функций, определенных в некоторой окрестности точки, сразу следует необходимое условие локального экстремума в этом точке.
Те о р е м а 2 (необходимое условие экстремума). Если функция имеет в точке локального экстремума производную, то эта производная равна нулю.