📊Ряд Тейлора для ln(1+x)

Ряд Тейлора для ln(1+x) — разложение натурального логарифма в бесконечную сумму: ln(1+x) = x − x²/2 + x³/3 − x⁴/4 + ... = Σ(−1)ⁿ⁺¹ xⁿ/n (суммирование от n=1 до бесконечности). Ряд сходится при −1 < x ≤ 1. Позволяет вычислять логарифм без таблиц и калькулятора — подставляешь x, считаешь несколько членов и получаешь приближение. Это один из фундаментальных рядов в анализе.

Откуда берётся формула

Ряд Тейлора — способ представить любую «гладкую» функцию как бесконечный многочлен. Идея: если знаешь значение функции и всех её производных в одной точке, можно восстановить функцию целиком. Для ln(1+x) раскладываем вокруг точки x = 0 (ряд Маклорена — частный случай Тейлора).

Вычислим производные. f(x) = ln(1+x), f(0) = ln(1) = 0. Первая производная: f'(x) = 1/(1+x), f'(0) = 1. Вторая: f''(x) = −1/(1+x)², f''(0) = −1. Третья: f'''(x) = 2/(1+x)³, f'''(0) = 2. Четвёртая: f⁴(x) = −6/(1+x)⁴, f⁴(0) = −6. Видна закономерность: n-я производная в нуле равна fⁿ(0) = (−1)ⁿ⁺¹ · (n−1)!.

Подставляем в формулу Тейлора f(x) = Σ fⁿ(0) · xⁿ / n!. Получаем: ln(1+x) = 0 + x·1/1! + x²·(−1)/2! + x³·2/3! + x⁴·(−6)/4! + ... Факториалы в числителе и знаменателе сокращаются: (n−1)!/n! = 1/n. Результат элегантен: ln(1+x) = x − x²/2 + x³/3 − x⁴/4 + ... В знаменателе — просто номер члена, не факториал. Знаки чередуются.

Когда ряд работает: радиус сходимости

Ряд сходится (даёт правильный ответ) при −1 < x ≤ 1. Почему именно так? У функции ln(1+x) есть «особенность» при x = −1: логарифм нуля равен минус бесконечности. Радиус сходимости степенного ряда определяется расстоянием до ближайшей особой точки. От центра разложения (x = 0) до особой точки (x = −1) расстояние ровно 1 — это и есть радиус.

При x = 1 получаем: ln(2) = 1 − 1/2 + 1/3 − 1/4 + 1/5 − ... ≈ 0,6931. Верно, но сходится медленно: для 4 знаков нужны сотни членов. При x = 0,1: ln(1,1) ≈ 0,1 − 0,005 + 0,00033 ≈ 0,09531 — три члена дают 5 знаков точности. Чем ближе x к нулю, тем быстрее сходимость.

Альтернативный вывод через интеграл

Есть путь проще. Вспомним: ln(1+x) = ∫₀ˣ dt/(1+t). Подынтегральное выражение 1/(1+t) — это сумма геометрического ряда: 1/(1+t) = 1 − t + t² − t³ + ... при |t| < 1. Интегрируем почленно: ∫₀ˣ (1 − t + t² − t³ + ...) dt = x − x²/2 + x³/3 − x⁴/4 + ... Тот же результат, но вывод занимает три строки вместо страницы с производными. Этот метод показывает глубокую связь между рядами, интегралами и логарифмами.

Зачем это нужно на практике

Калькуляторы и компьютеры вычисляют логарифмы именно через ряды (оптимизированные варианты). До эры калькуляторов: знаменитые таблицы логарифмов Непера (1614) и Бриггса (1617) вычислялись по аналогичным рядам. В физике и инженерии: при малых x достаточно первого члена: ln(1 + 0,01) ≈ 0,01 (ошибка менее 0,5%). Это «линейное приближение» — мощный инструмент для быстрых оценок в термодинамике, теории информации и финансовой математике.

Для вычисления ln(N) при больших N используют хитрость: записывают N = 2ᵏ · m, где 1 ≤ m < 2. Тогда ln(N) = k·ln(2) + ln(m) = k·ln(2) + ln(1 + (m−1)), и ряд сходится быстро, поскольку 0 ≤ m−1 < 1.