Математика / Пределы, ряды

Остаток Пеано в формуле Тейлора

Остаток Пеано показывает, что ошибка тейлоровского многочлена n-й степени мала по сравнению с (x-a)^n. Такая запись фиксирует локальный порядок приближения без точной оценки константы.

Опубликовано: 25 мая 2026 г.Обновлено: 25 мая 2026 г.

Формула

f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+o\bigl((x-a)^n\bigr),\quad x\to a

Обозначения

$f^{(k)}(a)$: k-я производная функции в точке a, единицы f на единицы x в степени k
$n$: порядок тейлоровского многочлена, целое неотрицательное число
$o((x-a)^n)$: остаток, отношение которого к (x-a)^n стремится к нулю, единицы f
$a$: точка разложения, единицы аргумента

Условия применения

Функция имеет производные до порядка n в точке a и достаточную локальную гладкость для выбранной версии теоремы.
Предел рассматривается при x→a, то есть формула является локальной.
Остаток трактуется в смысле малой o-нотации: R_n(x)/(x-a)^n→0.

Ограничения

Формула Пеано не дает явной численной оценки ошибки на конечном отрезке.
Нельзя переносить локальное приближение далеко от точки a без анализа радиуса или остатка другого типа.
Если нужна гарантированная погрешность вычисления, чаще используют остаток Лагранжа или интегральный остаток.
Наличие нескольких производных в точке не всегда означает хорошее глобальное поведение функции.

Подробное объяснение

Формула Тейлора с остатком Пеано описывает функцию около точки a как многочлен, коэффициенты которого задаются производными в этой точке. Запись o((x-a)^n) означает, что после вычитания многочлена ошибка исчезает быстрее, чем n-я степень расстояния до a.

Смысл малой o-нотации в том, что она сравнивает два масштаба. Если R_n(x)=o((x-a)^n), то отношение R_n(x)/(x-a)^n стремится к нулю. Поэтому в пределах, где знаменатель имеет тот же порядок, остаток не влияет на главный коэффициент.

В отличие от остатка Лагранжа, форма Пеано не стремится оценить ошибку числом. Она говорит о структуре локального поведения: какие члены являются главными, какие исчезают быстрее, и какой порядок достаточно оставить для конкретного предела или асимптотического вывода.

Практически формула особенно сильна при сокращениях. Например, выражения e^x-1-x или sin x-x имеют нулевые младшие члены, и именно следующий ненулевой коэффициент определяет предел. Без записи остатка легко потерять контроль над тем, почему отброшенные члены действительно меньше нужного порядка.

Нужно помнить, что это локальная формула. Она прекрасно работает при x→a, но не обещает хорошего приближения на всем отрезке. Для вычисления значений с заданной точностью нужно дополнительно оценивать остаток или переходить к форме с явной границей.

Как пользоваться формулой

Выберите точку a и порядок n так, чтобы он совпадал с порядком знаменателя или нужной точностью.
Вычислите производные f(a), f'(a), ..., f^(n)(a) и запишите тейлоровский многочлен.
Добавьте остаток o((x-a)^n), если задача требует только локальный порядок ошибки.
Подставьте разложение в выражение и сократите одинаковые младшие члены.
Разделите на главный масштаб и используйте свойство o((x-a)^n)/(x-a)^n→0.
Проверьте, что вывод не используется вне предельного режима x→a.

Историческая справка

Разложения функций в ряды развивались от работ Ньютона, Брука Тейлора и Колина Маклорена в XVII-XVIII веках. Ранние формулы активно использовались для вычислений и механики, но вопросы о точности и допустимости операций с бесконечными выражениями оставались не полностью формализованными.

В XIX веке, вместе со строгой теорией пределов, возникла потребность различать разные типы остатка. Форма Лагранжа удобна для оценок на отрезке, интегральная форма связывает ошибку с интегрированием производной, а форма Пеано выражает именно асимптотический порядок. Джузеппе Пеано работал в конце XIX века над логическими и аналитическими основаниями математики, и его имя закрепилось за этой локальной записью остатка.

В современных курсах формула Пеано стала стандартным языком для предельных задач: она позволяет писать коротко, но строго, какие слагаемые управляют поведением функции около точки. Особенно часто она используется рядом с понятиями эквивалентности бесконечно малых и асимптотических разложений.

Историческая линия формулы

Формула Тейлора как идея связана с Бруком Тейлором и более ранней традицией степенных разложений, а обозначение остатка в форме малой o закреплено в строгой асимптотической культуре XIX века. Имя Пеано относится прежде всего к локальной форме остатка, а не к открытию всей тейлоровской схемы. Поэтому в источниках обычно указывают учебную или научную традицию, а не единственного автора короткой записи.

Пример

Задача. Найти предел L=lim_{x→0} (e^x-1-x-x^2/2)/x^3. Дано: функция e^x, точка разложения a=0, порядок нужен до третьей степени. По формуле Тейлора с остатком Пеано e^x=1+x+x^2/2+x^3/6+o(x^3). Подставляем в числитель: e^x-1-x-x^2/2=x^3/6+o(x^3). Тогда L=lim_{x→0} (x^3/6+o(x^3))/x^3=1/6. Ответ: 1/6. Проверка: все члены до x^2 специально вычтены, поэтому первый оставшийся ненулевой член имеет третий порядок. Остаток после деления на x^3 стремится к нулю, значит коэффициент 1/6 не искажается. Дополнительная проверка: сравниваем результат с исходной записью при допустимых значениях переменных или на граничном случае из условия. Если обе записи дают одно и то же значение и не нарушают ограничения, преобразование выполнено согласованно.

Частая ошибка

Часто путают o((x-a)^n) и O((x-a)^n): малая o после деления на (x-a)^n исчезает, а большая O только остается ограниченной. Еще одна ошибка — брать слишком малый порядок разложения и терять первый ненулевой член после сокращений. В вычислительных задачах опасно заменять остаток Пеано численной оценкой погрешности: эта форма не сообщает, насколько мала ошибка при конкретном x. Наконец, иногда забывают центр a и записывают степени x вместо (x-a).

Практика

Задачи с решением

Разложение косинуса до четвертого порядка

Условие. Записать cos x при x→0 до члена x^4.

Решение. Производные в нуле дают 1, 0, -1, 0, 1. Поэтому cos x=1-x^2/2+x^4/24+o(x^4).

Ответ. 1-x^2/2+x^4/24+o(x^4)

Предел через остаток Пеано

Условие. Найти lim_{x→0} (sin x - x)/x^3.

Решение. sin x=x-x^3/6+o(x^3). Тогда (sin x-x)/x^3=(-x^3/6+o(x^3))/x^3→-1/6.

Ответ. -1/6

Дополнительные источники

Zorich, Mathematical Analysis I, chapter on Taylor formula and asymptotics
Fichtenholz, Differential and Integral Calculus, Vol. 1, Taylor formula
Apostol, Calculus, Vol. 1, Taylor's formula
Rudin, Principles of Mathematical Analysis, differentiation and Taylor theorem

Связанные формулы

Математика

Формула Тейлора с остаточным членом

$f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+R_n(x),\quad R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}$

Формула Тейлора описывает функцию через начальные производные в точке a и остаточный член, который контролирует точность обрезки. В задачах это даёт не только аппроксимацию, но и механизм проверки погрешности через ξ между a и x. Такой подход делает разложение вычислительно безопасным.

Математика

Ряд Маклорена для e^x

$e^x=\sum_{n=0}^{\infty}\frac{x^n}{n!},\quad x\in\mathbb R$

Это базовый специальный случай Тейлора в точке a=0. Ключевой плюс разложения в нуле — все производные e^x в 0 равны 1, поэтому коэффициенты просты и серия даёт очень удобную рабочую модель для вычислений, линейных аппроксимаций и решения задач на оценку роста.

Математика

Ряд Маклорена для sin x

$\sin x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n+1}}{(2n+1)!},\quad x\in\mathbb R$

Маклореновский ряд синуса — стандартное чередующееся разложение с только нечётными степенями. Это делает его удобным для численного приближения на малых x и для сравнения с рядом косинуса в задачах на дифференцирование и интегрирование.

Математика

Ряд Маклорена для cos x

$\cos x=\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!},\quad x\in\mathbb R$

Косинус разлагается в чётные степени с чередованием знаков, что делает его удобным для оценки и для вычислений вблизи нуля. Это разложение естественно дополняет ряд синуса и часто используется вместе с ним в задачах колебаний и в методах линейного приближения.

Математика

Бесконечно малая функция

$\lim_{x\to a}\alpha(x)=0$

Бесконечно малая функция - это функция, которая стремится к нулю в заданном предельном процессе. Такой язык удобно использовать для оценок, сравнения порядков малости и вывода стандартных пределов.