- •Введение
- •Глава 1 Действительные числа
- •1.1 Бесконечные десятичные дроби
- •1.2 Сравнение чисел
- •1.3 Точная верхняя и точная нижняя грани числового множества
- •1.4 Сложение чисел
- •1.5 Умножение чисел
- •1.6 Непрерывность множества действительных чисел
- •1.7 Последовательности вложенных отрезков
- •1.8 Дедекиндовы сечения
- •1.9 Об аксиоматическом определении действительных чисел
- •1.10 Счётные и несчётные множества
- •Глава 2 Предел последовательности
- •2.1 Определение предела последовательности
- •2.3 Арифметические свойства пределов
- •2.4 Бесконечно малые и бесконечно большие последовательности
- •2.5 Предел монотонной последовательности
- •2.6 Число e
- •2.7 Частичные пределы
- •2.8 Верхний и нижний пределы последовательности
- •2.9 Критерий Коши
- •Глава 3 Предел функции
- •3.1 Понятие функции
- •3.2 Определение предела функции
- •3.3 Свойства предела функции
- •3.4 Критерий Коши
- •3.5 Предел сложной функции
- •3.6 Односторонние пределы
- •3.7 Сравнение функций
- •Глава 4 Непрерывные функции
- •4.1 Непрерывность функции в точке
- •4.2 Классификация точек разрыва
- •4.3 Свойства функций, непрерывных на отрезке
- •4.4 Равномерная непрерывность функций
- •4.5 Непрерывность обратной функции
- •4.6 Показательная функция
- •4.7 Элементарные функции
- •4.8 Примеры вычисления пределов
- •Глава 5 Производные и дифференциалы
- •5.1 Производная
- •5.2 Дифференциал функции
- •5.3 Производная обратной функции
- •5.4 Производная сложной функции
- •5.5 Производные и дифференциалы высших порядков
- •Глава 6 Свойства дифференцируемых функций
- •6.1 Локальные экстремумы функции
- •6.2 Теоремы о среднем
- •6.3 Раскрытие неопределённостей
- •6.4 Формула Тейлора
- •6.5 Формула Тейлора для элементарных функций
- •6.6 Исследование функций с помощью старших производных
- •6.7 Функции, выпуклые на промежутке
- •6.8 Некоторые классические неравенства
- •Глава 7 Кривые в трёхмерном пространстве
- •7.1 Векторнозначные функции
- •7.2 Определение кривой. Длина кривой
- •7.3 Гладкие кривые
- •Краткие сведения об ученых, упоминаемых в тексте
170 |
Гл. 6. Свойства дифференцируемых функций |
|||
Оценку (6.4.6) можно записать в виде |
|
|||
n |
k |
|
|
|
X |
|
|
||
f(x) = |
k! |
(x a)k + o (x a)k |
; x ! a: |
(6.4.8) |
k=0
Если для f справедлива оценка (6.4.8), то числа k называют
производными функции f порядка k в точке a в смысле Пеано.
§ 6.5. Формула Тейлора для элементарных функций
Запишем формулу Тейлора с остаточным членом в форме Лагранжа для основных элементарных функций и будем следить за поведением остаточного члена при n ! 1 и фиксированном x.
Для простоты записи и по традиции будем рассматривать формулу Тейлора в нуле.
10: Показательная функция f(x) = ex. Так как f(k)(x) = ex, то f(k)(0) = 1 при всех k. Значит,
n |
1 |
|
e x |
|
|
X |
|
|
|
|
|
ex = |
|
xk + |
|
xn+1; 0 < < 1: |
(6.5.1) |
|
k! |
(n + 1)! |
|
k=0
При каждом x имеем e x 6 ejxj. Поэтому для остаточного члена формулы (6.5.1) справедлива оценка
|
x |
6 |
|
x n+1 |
||
(ne+ 1)!xn+1 |
(jn j+ 1)!ejxj; |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
которая согласно (2.5.1) показывает, что для любого x остаточный член формулы Тейлора стремится к нулю при n ! 1. Следовательно, для каждого x справедливо равенство
|
ex = |
lim |
n |
xk : |
|
|||
|
|
|
n!1 |
X |
|
|
|
|
|
|
|
k=0 |
k! |
|
|
||
|
|
|
|
|
|
|
||
При x = 1 из (6.5.1) получаем |
|
|
|
|
|
|||
n 1 |
e |
|
|
|
|
|
||
e = X |
|
+ |
|
; |
0 < < 1: |
(6.5.2) |
||
k! |
(n + 1)! |
k=0
§ 6.5. Формула Тейлора для элементарных функций |
171 |
|||||||||
В частности, при n = 2 справедлива оценка |
|
|||||||||
e = |
2 |
1 |
+ e |
< 5 + e : |
|
|||||
|
X |
|
|
|
|
|
|
|
|
|
|
k=0 |
k! |
|
3! |
|
2 |
|
6 |
|
|
|
|
|
|
|
|
|
|
|
|
Отсюда следует, что e < 3.
Таким образом, согласно (6.5.2) при любом n имеем
n |
1 |
3 |
|
|
|
X |
|
|
|
|
|
0 < e |
k! |
< |
(n + 1)! |
: |
(6.5.3) |
k=0 |
|
|
|
|
|
Дробь в правой части (6.5.3) при n ! 1 стремится к нулю очень быстро. Поэтому формулу (6.5.2), в отличие от определения числа e, можно использовать для практического нахождения приближенного значения e.
Например, так как 8! = 40320, то формула (6.5.2) при n = 7 даёт значение e с точностью до 0,0001. Удобство этой формулы состоит ещё в том, что при переходе для получения б´ольшей точности от одного n к следующему используются проделанные ранее вычисления.
С помощью (6.5.3) легко доказать иррациональность числа e. Будем рассуждать от противного. Предположим, что e раци-
онально и
e = mn ;
где n > 2, так как e заведомо не является натуральным числом. Умножив двойное неравенство (6.5.3) на n!, получим
|
|
n |
n! |
3 |
|
6 1: |
|
||
0 < n! e |
|
< |
|
|
|
||||
k! |
n + 1 |
||||||||
|
|
k=0 |
|
|
|
|
|
|
|
Таким образом, число |
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
n! |
|
|
|
|
n |
n! |
||
X |
|
|
|
|
|
|
X |
|
|
n! e |
k! |
= (n 1)! m |
k=0 |
k! |
|
||||
k=0 |
|
|
|
|
|
|
|
|
лежит в интервале (0; 1). Вместе с тем, это число целое. Полученное противоречие доказывает иррациональность e.
Рациональные числа являются корнями уравнений первого порядка ax + b = 0 с целыми коэффициентами. Корни уравне-
ний
anxn + an 1xn 1 + + a0 = 0; n > 1;
172 |
Гл. 6. Свойства дифференцируемых функций |
с целыми коэффициентами называют алгебраическими числами. Нетрудно убедиться, что множество алгебраических чисел счётно. Если число не алгебраическое, его называют трансцендентным.
Можно доказать (это доказательство сложно и выходит за рамки курса), что число e не только иррационально, но и трансцендентно. Число также является трансцендентным.
20: Функция sin x. Имеем
sin(k) x = sin x + k2 :
Значит,
sin(k) 0 = sin k2
и в нуле производная порядка k при чётных k равна нулю, а при нечётных k равна попеременно +1 и 1.
Поэтому формула Тейлора порядка 2n + 2, n = 0; 1; 2; : : : , функции sin x имеет вид
n |
x2k+1 |
|
X |
|
|
sin x = ( 1)k (2k + 1)! + R2n+3(x); |
(6.5.4) |
|
k=0 |
|
|
а для остаточного члена справедливо представление
R2n+3(x) = |
sin(2n+3) x |
x2n+3; 0 < < 1: |
(2n + 3)! |
Отсюда вытекает оценка
jxj2n+3
R2n+3(x) 6 (2n + 3)!;
из которой следует, что остаточный член для каждого x стремится к нулю при n ! 1 и
n
X
sin x = lim ( 1)k
n!1
k=0
x2k+1
(2k + 1)!:
§ 6.5. Формула Тейлора для элементарных функций |
173 |
30: Функция cos x. Рассуждения аналогичны предыдущим. Так как
cos(k) x = cos x + k2 ;
то
cos(k) 0 = cos k2 :
Поэтому
n |
x2k |
|
X |
|
|
cos x = ( 1)k (2k)! + R2n+2(x) |
(6.5.5) |
|
k=0 |
|
|
и для остаточного члена справедлива оценка
jR2n+2(x)j 6 (2n + 2)!:
Значит, остаточный член для каждого x при n ! 1 стремится к нулю и
n |
x2k |
|
X |
||
cos x = nlim ( 1)k |
|
: |
(2k)! |
||
!1 |
|
|
k=0 |
|
|
40: Функции sh x и ch x. Так как sh(k) x = sh x при чётных k и sh(k) x = ch x при нечётных k, то sh(k) 0 = 0 для чётных k и sh(k) 0 = 1 для нечётных k. Поэтому
n |
x2k+1 |
|
X |
|
|
sh x = (2k + 1)! + R2n+3(x); |
(6.5.6) |
|
k=0 |
|
|
и, так как j sh(k)
Аналогично,
где
(x)j 6 ejxj, для R2n+3(x) справедлива оценка
jxj2n+3
R2n+3(x) 6 ejxj (2n + 3)!:
n |
|
|
x2k |
|
|
|
|
ch x = |
|
|
+ R2n+2(x); |
(6.5.7) |
|||
(2k)! |
|||||||
k=0 |
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
R2n+2(x) |
6 ejxj |
x2n+2 |
|
||||
(2n + 2)!: |
|
||||||
|
|
|
|
|
|
|
174Гл. 6. Свойства дифференцируемых функций
Вобоих случаях для каждого фиксированного x остаточный член стремится к нулю при n ! 1.
Поэтому функции sh x и ch x при каждом x можно представить в виде пределов
n |
x2k+1 |
n |
x2k |
||
X |
|
|
X |
|
|
sh x = lim |
|
|
; ch x = lim |
|
: |
n!1 |
(2k + 1)! |
n!1 |
(2k)! |
||
k=0 |
|
|
k=0 |
|
|
Заметим, что формулы вида (6.5.6) и (6.5.7) можно вывести и из (6.5.1).
50: Логарифмическая функция ln(1 + x). В отличие от предыдущих примеров здесь функция определена не при всех x, а только для x > 1.
Найдём производные функции f(x) = ln(1 + x). Имеем
|
f0(x) = |
1 |
|
= (1 + x) 1 |
|
||||||||
|
1 + x |
|
|
||||||||||
и при k > 2 |
|
|
|
|
|
|
|
|
|
|
|
||
f(k)(x) = |
( 1) ( 2) : : : ( (k 1)) |
|
= |
( 1)k 1(k 1)! |
: |
||||||||
|
|
|
(1 + x)k |
||||||||||
|
|
(1 + x)k |
|
|
|
|
|
|
|
|
|||
Поэтому формула Тейлора имеет вид |
|
|
|||||||||||
|
|
n |
|
|
xk |
|
|
|
|
|
|||
|
|
X |
|
|
|
|
|
|
|
||||
ln(1 + x) = |
( 1)k 1 |
|
+ Rn+1(x); |
(6.5.8) |
|||||||||
k |
|||||||||||||
|
|
k=1 |
|
|
|
|
|
|
|
|
|
||
где |
|
|
|
|
|
|
|
|
|
|
|
||
Rn+1(x) = ( 1)n |
|
xn+1 |
|
|
|
; |
0 < < 1: |
(6.5.9) |
|||||
|
|
||||||||||||
(n + 1)(1 + x)n+1 |
|||||||||||||
Оценим остаточный член (6.5.9). Если x 2 [0; 1], то |
|
||||||||||||
|
|
Rn+1(x) |
|
|
1 |
|
|
|
|
|
(6.5.10) |
||
|
|
< n + 1: |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, Rn+1(x) для этих x стремится к нулю при n ! 1
и
n |
|
|
|
xk |
|
||
ln(1 + x) = lim |
k |
|
1 |
(6.5.11) |
|||
|
|
||||||
|
|
k : |
|||||
n!1 X( 1) |
|
|
k=1
§ 6.5. Формула Тейлора для элементарных функций |
175 |
Равенство (6.5.11) справедливо и при x 2 ( 1; 0), но для отрицательных x остаточный член в форме Лагранжа (6.5.9) даёт возможность сделать такой вывод, только если x 2 [ 1=2; 0). Действительно, в этом случае
|
xn+1 |
|
|
|
x |
|
n+1 |
|
= |
|
|||||||
(1 + x)n+1 |
1 + x |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< |
1 j |
jjxj |
n+1 |
||
6 1 |
|||||
|
|
x |
|
|
|
и, значит, справедлива оценка (6.5.10).
В главе 16 с помощью других представлений остаточного члена формулы Тейлора будет показано, что Rn+1(x) в (6.5.8) стремится к нулю при n ! 1 для всех x 2 ( 1; 1], а для остальных x это не так.
60: Степенная функция f(x) = (1 + x)m. Пусть сначала m – натуральное число.
Если k 6 m, то |
|
|
|
|
|
|
|
|
f(k)(x) = m(m |
|
1) : : : (m |
|
k + 1)(1 + x)m k |
|
|||
|
|
|
|
|
|
|
||
и, значит, |
|
|
|
|
|
|
|
|
f(k)(0) = m(m 1) : : : (m k + 1) = |
|
m! |
|
: |
||||
|
|
|
||||||
(m |
|
k)! |
||||||
|
|
|
|
|
|
|
|
А если k > m, то f(k)(x) 0.
Поэтому остаточный член формулы Тейлора порядка n > m равен нулю и
|
|
|
|
m |
|
m! |
|
|
xk |
|
|
|
|
|
|
X |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(m |
|
k)! |
k! |
: |
||||
(1 + x)m = |
|
||||||||||
|
|
|
|
k=0 |
|
|
|
|
|
|
|
Таким образом, при всех x справедливо равенство |
|||||||||||
m |
|
m! |
m |
|
|
|
|
|
|||
X |
|
X |
|
|
|
|
m 2 N; (6.5.12) |
||||
|
|
|
|
|
|
|
|
||||
(m |
|
|
|
|
|
|
|
||||
(1 + x)m = |
|
k)!k!xk = Cmk xk; |
|||||||||
k=0 |
|
|
|
|
k=0 |
|
|
|
|
|
где коэффициенты Cmk уже встречались нам в формуле Лейбница для старших производных произведения двух функций.
Из (6.5.12) легко вывести формулу бинома Ньютона
m |
|
|
|
X |
|
; |
|
(a + b)m = Ck akbm k; m |
2 N |
(6.5.13) |
|
m |
|
k=0
176 |
Гл. 6. Свойства дифференцируемых функций |
справедливую для произвольных чисел a и b. В самом деле, достаточно рассмотреть b 6= 0, а в этом случае
a |
|
m |
m |
ak |
m |
|
(a + b)m = bm 1 + b |
|
= bm k=0 Cmk |
bk |
= k=0 Cmk akbm k: |
||
|
|
|
|
X |
|
X |
Поскольку числа Cmk являются коэффициентами в равенстве (6.5.13), их называют биномиальными коэффициентами.
Если m не является натуральным числом, то при всех k
f(k)(0) = m(m 1) : : : (m k + 1) |
|
|
|||||||||
и формула Тейлора порядка n имеет вид |
|
|
|||||||||
(1 + x)m = 1 + |
m |
x + |
m(m 1) |
x2 |
+ |
|
|
|
|||
|
|
|
|
||||||||
1! |
2! |
|
|
|
|
||||||
|
+ |
m(m 1) : : : (m n + 1) |
xn + R |
n+1 |
(x); |
||||||
|
|
|
n! |
|
|
|
|
(6.5.14)
где
Rn+1(x) = m(m 1) : : : (m n + 1)(m n) xn+1(1 + x)m n 1; (n + 1)!
0< < 1.
В16 главе будет показано, что при n ! 1 остаточный член формулы Тейлора (6.5.14) для jxj < 1 стремится к нулю, для jxj > 1 это не так, а для x, равных +1 и 1, ответ на этот вопрос зависит от значения m.
Простой вид многочлены Тейлора имеют также для функции arctg x, об этом будет сказано в 16 главе.
Многочлены Тейлора других элементарных функций записываются более сложно и мы не будем о них говорить.
Отметим, что формулу Тейлора с остаточным членом в форме Пеано можно использовать для раскрытия неопределённостей.
Например, предел
lim sin x x
x!0 x3
легко найти с помощью правила Лопиталя. Но можно воспользоваться формулой Тейлора
sin x = x |
x3 |
3! + o(x4); x ! 0: |