Ряд Тейлора простыми словами: приближение любой функции многочленами

Если производные передают наклон функции в точке, то ряд Тейлора передаёт всю функцию целиком в окрестности точки — складывая бесконечное число производных. Это мост между математическим анализом и численными вычислениями: каждый раз, когда ваш калькулятор вычисляет $\sin(0.4)$, он под капотом суммирует ряд Тейлора.

Формула ряда Тейлора

Ряд Тейлора функции $f$ с центром в точке $x = a$ имеет вид:

$f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!} (x - a)^n$

То есть: вычислите $f$, $f'$, $f''$, $f'''$, … в точке $a$, а затем постройте многочлен, $n$-й член которого равен $\frac{f^{(n)}(a)}{n!}(x-a)^n$.

При $a = 0$ ряд называется рядом Маклорена — это самый распространённый случай.

Почему это работает?

В окрестности точки $a$ функция выглядит как её касательная (член при $n=1$), затем как парабола, учитывающая кривизну ($n=2$), затем как кубическая функция и так далее. Каждая следующая производная передаёт всё более тонкую информацию о форме. Сложите бесконечно много членов — и (для «хороших» функций) вы в точности восстановите $f$.

Три классических разложения Маклорена

Запомните эти три — они встречаются постоянно:

$e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \dots$

$\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \dots$

$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \dots$

В ряде для экспоненты присутствуют все степени; у синуса — только нечётные степени; у косинуса — только чётные. Эта симметрия — прямое следствие того, какие производные обращаются в нуль в точке $0$.

Разобранный пример: строим $\sin x$ с нуля

Пусть $f(x) = \sin x$. В точке $a = 0$:

• $f(0) = 0$
• $f'(0) = \cos(0) = 1$
• $f''(0) = -\sin(0) = 0$
• $f'''(0) = -\cos(0) = -1$
• $f^{(4)}(0) = \sin(0) = 0$
• Дальше картина повторяется каждые 4 производные.

Подставляем в формулу Тейлора:
$\sin x \approx 0 + 1 \cdot x + 0 \cdot \frac{x^2}{2!} + (-1)\frac{x^3}{3!} + 0 + \frac{x^5}{5!} - \dots$
что упрощается до $x - x^3/6 + x^5/120 - \dots$. То же самое, что и в формуле выше.

Приближение на практике

Для малых $x$ вблизи 0 даже первые несколько членов дают чрезвычайно высокую точность:

• $\sin(0,1) \approx 0,1 - 0,001/6 \approx 0,09983$ (истинное значение: $0,0998334\dots$).

Именно поэтому приближение для малых углов $\sin x \approx x$ справедливо: следующий член крошечный, когда $x$ мало.

Сходимость — когда ряд действительно равен $f$?

У ряда Тейлора есть радиус сходимости $R$. При $|x - a| < R$ ряд равен $f(x)$; вне этого промежутка ряд расходится. У некоторых функций ($e^x$, $\sin x$, $\cos x$) $R = \infty$. У других, например у $1/(1-x)$ с центром в 0, $R = 1$.

Типичные ошибки

• Забывают факториальные знаменатели $n!$.
• Путают разложения в ряд — у синуса нечётные степени, у косинуса чётные, у $e^x$ все.
• Предполагают сходимость, не проверив радиус.

Попробуйте с ИИ-решателем рядов

Используйте Калькулятор рядов, чтобы вычислить разложения Тейлора для любой функции — он показывает шаги нахождения производных, итоговый многочлен и числовую проверку на разумность.

Похожие ссылки:

• Калькулятор производных — строительные блоки любого ряда Тейлора
• Калькулятор пределов — сходимость это вопрос предела
• Калькулятор интегралов — ряд Тейлора можно интегрировать почленно