Все формулы РФ

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

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

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

Опубликовано: Обновлено:

Математический анализДифференциальное исчислениеПравило суммыЛинейное приближениеБесконечные пределы

Формула

$$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}$$

Обозначения

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

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

  • Функция f должна быть (n+1)-раз дифференцируемой на отрезке между a и x.
  • Остаток задается в форме Лагранжа в предположении применимости теоремы.
  • Переменная x рассматривается в области, где ряды и производные определены.

Ограничения

  • Без достаточной гладкости функция может иметь только частичное разложение по Тейлору.
  • Нужно аккуратно выбирать форму остатка и проверять существование оценки ξ.
  • На больших |x-a| количество членов растет, и простое «первые 2 члена» может быть неадекватно.

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

Тейлоровая формула вытекает из цепочки применения теоремы о среднем значении к интегральной форме и даёт явную связь между локальными производными и глобальной ошибкой хвоста. Это важно: аппроксимация не существует как «магия», а опирается на остаточный член. Для практики это означает, что можно заранее оценить, достаточно ли взяли n членов или нужен следующий для нужной точности.

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

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

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

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

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

Атрибуция здесь исторически шире одного имени. Идея разложения в окрестности и контролируемого остатка развивалась в традиции анализа начиная с XVIII–XIX веков; современный вид — результат накопления методов и нормализации записи.

Пример

Для e^x около нуля берут обычно первые несколько членов: 1+x+x^2/2 для x=0.5 дают 1.125. Истинное значение e^{0.5}≈1.64872, и точность на низких n невысока, что видно по остаточному члену R_2\approx e^{\xi}x^3/6. Если взять n=4, остаток резко падает до порядка x^5/120. Именно поэтому формула с остатком показывает не только число, но и то, как выбирать глубину разложения под требуемую погрешность.

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

Частая ошибка — игнорировать остаток и считать, что «несколько первых членов» всегда достаточно. Второй тип ошибки — подставлять производные до n без проверки, что функция имеет порядок дифференцируемости, который вы используете. Ещё путают знаки и факториалы, особенно для нечетных/четных степеней в sin и cos, из-за чего знак ошибки меняется. Наконец, ошибочно принимать ξ равным x или a: по формуле ξ лишь лежит между этими точками.

Практика

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

Аппроксимация sin(x) в точке 0

Условие. f(x)=\sin x, a=0, n=3, x=0.2. Найти приближение и оценить остаток.

Решение. sin x≈x-\frac{x^3}{3!}=0.2-\frac{0.008}{6}=0.198666\ldots\text{, }|R_3(0.2)|\le \frac{0.2^4}{4!}=\frac{0.0016}{24}\approx 0.000067.

Ответ. 0.19867\pm 0.00007

Линейное приближение e^x

Условие. f(x)=e^x, a=0, n=1, x=1.

Решение. e^1≈1+1=2, остаток |R_1(1)|=\left|\frac{e^{\xi}}{2}(1)^2\right|\le \frac{e}{2}≈1.359.

Ответ. 2\pm 1.359

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

  • Apostol, Calculus, Vol. 1
  • Spivak, Calculus

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

Математика

Ряд Маклорена для 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$

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

Математика

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

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

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