4. Остаточный член формулы Тейлора в интегральной форме.
Целью этого пункта является получение формулы Тейлора для функции
в окрестности произвольной точки а с остаточным членом в так называемой интегральной форме.
Пусть функция
имеет в некоторой
-окрестности точки а непрерывную производную
порядка. Пусть х принадлежит указанной окрестности. Рассмотрим равенство
Полагая
применим к интегралу
формулу интегрирования по частям. Получим
Таким образом, последовательно интегрируя по частям, получим
где
Мы видим, что
является остаточным членом разло жения Тейлора для функции
в окрестности точки а. Эта форма остаточного члена и называется интегральной формой.
Если применить первую формулу среднего значения (см. свойство д) п. 2 § 4), то
где I — некоторая точка сегмента
Следовательно,
тех же предположениях мы получим остаточный член в форме Лагранжа. На самом деле, легко заключить (используя теорему Дарбу о прохождении производной через все промежуточные значения), что
при условии существования и интегрируемости
Рассмотрим теперь примеры, иллюстрирующие изложенный в этом параграфе материал.
Примеры. 1) Вычислить интегралы, применяя основную формулу интегрального исчисления:
2) Вычислить интегралы, применяя правило замены переменной:
где
где
3) Вычислить интеграл, применяя правило интегрирования по частям:
Отсюда:
при
Легко видеть, что
По индукции получаем, что для
4) Доказать, что для функции
остаточный член
в интегральной форме стремится к нулю, если
Заметим, что