"Математика: алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа (базовый и углублённый уровни)", Никольский С.М., Потапов М.К., Решетников Н.Н. и др.
Формула Тейлора представляет функцию около точки a через её производные в этой точке: получается многочлен и остаточный член. Многочлен даёт приближённое значение функции, а остаток показывает погрешность. Если остаток стремится к нулю при увеличении числа членов, формула переходит в ряд Тейлора. Разложение около нуля называют рядом Маклорена.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Формула Тейлора записывает функцию около точки a так: f(x) = f(a) + f′(a)(x − a) + f″(a)(x − a)² / 2! + … + f⁽ⁿ⁾(a)(x − a)ⁿ / n! + Rn(x). Производные в точке a задают коэффициенты степенных членов. Такая запись позволяет заменить сложную функцию многочленом и отдельно учесть погрешность.
Многочлен Тейлора — сумма первых членов этой записи без остаточного члена: Tn(x) = Σ f⁽ᵏ⁾(a)(x − a)ᵏ / k! при k от 0 до n. Его коэффициент при (x − a)ᵏ равен f⁽ᵏ⁾(a) / k!. Многочлен нужен для приближённых вычислений и исследования поведения функции около a.
Остаточный член Rn(x) показывает разность f(x) − Tn(x), то есть ошибку замены функции многочленом. В форме Лагранжа Rn(x) = f⁽ⁿ⁺¹⁾(ξ)(x − a)ⁿ⁺¹ / (n+1)!, где ξ находится между a и x. По этой формуле можно оценить точность приближения.
Ряд Тейлора — бесконечная сумма f(a) + f′(a)(x − a) + f″(a)(x − a)² / 2! + … . Он совпадает с функцией не автоматически: необходимо, чтобы остаток Rn(x) стремился к нулю при n → ∞. Тогда конечные многочлены постепенно дают значение исходной функции.
Коэффициенты многочлена выбирают так, чтобы он и функция имели одинаковые значения в точке a. Затем требуют совпадения первых производных, вторых производных и так далее до производной n-го порядка. При подстановке x = a все степени исчезают, а последовательное дифференцирование выделяет нужный коэффициент с множителем k!, поэтому появляется деление на факториал.
Добавление новых членов учитывает всё более высокие производные функции и уточняет её поведение около точки разложения. При x, близком к a, величина (x − a)ⁿ быстро уменьшается с ростом n, особенно если производные не растут слишком быстро. Поэтому многочлен большей степени обычно даёт меньшую погрешность, хотя для далёких от a точек это преимущество не гарантируется.
Остаточный член показывает, насколько найденный многочлен отличается от настоящего значения функции. В форме Лагранжа он содержит степень (x − a)ⁿ⁺¹, поэтому близость аргумента к точке разложения напрямую влияет на ошибку. Если при увеличении n остаток стремится к нулю, конечная формула превращается в равенство функции с бесконечным рядом Тейлора.
При a = 0 выражение упрощается: вместо (x − a)ᵏ остаётся xᵏ, а производные вычисляются в нуле. Такое разложение называют рядом Маклорена. Например, для eˣ все производные в нуле равны 1, поэтому eˣ = 1 + x + x² / 2! + x³ / 3! + … .
Стандартные ряды превращают вычисление функций в действия с числами и степенями. Например, sin x = x − x³ / 3! + x⁵ / 5! − …, cos x = 1 − x² / 2! + x⁴ / 4! − …, а ln(1 + x) = x − x² / 2 + x³ / 3 − … при |x| < 1. Взяв несколько членов и оценив остаток, можно заранее понять точность результата.
| Что сравнивается | Формула Тейлора | Ряд Тейлора |
|---|---|---|
| Вид записи | Конечная сумма и Rn(x) | Бесконечная сумма степенных членов |
| Наличие остаточного члена | Остаток записан явно | Остаток рассматривают как предел |
| Точка разложения | Любая подходящая точка a | Та же точка a |
| Условие применения | Нужны производные до порядка n + 1 | Нужны сходимость и нулевой предел остатка |
| Что позволяет получить | Приближение и оценку погрешности | Точное представление функции рядом |
Сначала определяют точку разложения и число нужных членов, затем выбирают столбец формулы или ряда. Если требуется приближённое значение, используют многочлен и оценивают остаток. Если нужно доказать равенство функции ряду, дополнительно проверяют сходимость и предел остаточного члена.
Задача 1. Записать многочлен Тейлора функции f(x) = eˣ в точке a = 0 до членов третьей степени.
Ответ: T3(x) = 1 + x + x² / 2 + x³ / 6.
Задача 2. Записать формулу Тейлора для sin x около a = 0 с остатком Лагранжа и оценить остаток при приближении sin 0,2 многочленом второй степени.
Ответ: sin 0,2 ≈ 0,2, погрешность не превосходит примерно 0,00134.
Задача 3. Используя ряд Тейлора для ln(1 + x), получить приближение ln 1,1 и указать точность.
Ответ: ln 1,1 ≈ 0,09533, а погрешность не превышает 0,000025.
Путают формулу и ряд Тейлора. Конечная сумма обычно является только приближением, поэтому нельзя молча убирать остаток. Проверьте, есть ли в записи Rn(x) или доказан ли его предел, равный нулю.
Забывают факториал. Значение производной не является готовым коэффициентом: его нужно разделить на k!. Ошибка обнаруживается проверкой производной многочлена порядка k в точке a.
Считают ряд сходящимся к функции при любом x. Сходимость степенного ряда и совпадение с функцией — разные утверждения. Уточните область сходимости и проверьте предел остатка.
Неверно выбирают точку разложения. Производные должны вычисляться именно в указанной точке a, а степени имеют вид (x − a)ᵏ. Перед вычислениями отдельно выпишите a и подставьте его в каждую производную.
Для формулы Тейлора нужны производные основных функций, правила дифференцирования и факториал натурального числа. Она связывает локальное поведение функции с её производными и продолжает тему приближённых вычислений. Ряды Тейлора применяются при вычислении пределов, оценке погрешностей и изучении степенных рядов.
Чем формула Тейлора отличается от ряда Тейлора?
Формула Тейлора содержит конечное число членов и остаточный член, поэтому описывает функцию точно. Ряд Тейлора — бесконечная сумма, равная функции только при сходимости и стремлении остатка к нулю.
Почему в коэффициентах разложения появляется факториал?
При последовательном дифференцировании члена (x − a)k появляются множители k!. Поэтому, чтобы k-я производная многочлена в точке a совпала с f(k)(a), коэффициент при степени должен быть равен f(k)(a) / k!.
Что означает остаточный член и как оценить его величину?
Остаточный член Rn(x) — это разность между функцией и многочленом Тейлора степени n. По формуле Лагранжа его можно записать как f(n+1)(ξ)(x − a)n+1 / (n+1)!, где ξ находится между a и x, а затем оценить модуль производной.
Когда ряд Тейлора равен самой функции?
Это происходит в тех точках, где ряд сходится и остаток формулы Тейлора стремится к нулю при n → ∞. Одной сходимости ряда недостаточно: нужно установить, что его сумма действительно совпадает с исходной функцией.
Чем разложение Маклорена отличается от разложения Тейлора?
Разложение Маклорена является частным случаем разложения Тейлора при a = 0. В нём степени имеют вид xk, а коэффициенты вычисляются по производным в нуле.
5.12. Формула и ряд Тейлора
