Не ботай

Сходимость ряда: складываем бесконечность правильно

Можно ли сложить бесконечно много чисел и получить конечный ответ? Иногда да. Разбираем, что такое сходимость, и два признака, которые закрывают большинство задач типовика.

Два эталона, которые надо знать

Геометрический ряд сходится при ∣q∣<1|q| < 1:

∑n=0∞qn=11−q\sum_{n=0}^{\infty} q^n = \frac{1}{1-q}

Обобщённый гармонический ряд ∑1np\sum \tfrac{1}{n^p} сходится при p>1p > 1 и расходится при p≤1p \le 1. В частности, гармонический ∑1n\sum \tfrac{1}{n} — расходится, хотя его члены стремятся к нулю.

Правило

Необходимый признак: если ряд сходится, его член стремится к нулю. Пользуемся контрапозицией: член НЕ стремится к нулю → ряд точно расходится. Это первая проверка в любой задаче — часто она же и последняя.

Признак Даламбера

Считаем предел отношения соседних членов:

D=lim⁡n→∞an+1anD = \lim_{n \to \infty} \frac{a_{n+1}}{a_n}

D<1D < 1 — сходится, D>1D > 1 — расходится, D=1D = 1 — признак молчит.

Пример: факториал в знаменателе

∑n=1∞2nn!\sum_{n=1}^{\infty} \frac{2^n}{n!}D=lim⁡n→∞2n+1(n+1)!⋅n!2n=lim⁡n→∞2n+1=0<1D = \lim_{n \to \infty} \frac{2^{n+1}}{(n+1)!} \cdot \frac{n!}{2^n} = \lim_{n \to \infty} \frac{2}{n+1} = 0 < 1

Ряд сходится. Факториал в знаменателе побеждает любую степень — полезно запомнить как факт.

Признак сравнения

Пример: сравнение с эталоном

∑n=1∞1n2+3n\sum_{n=1}^{\infty} \frac{1}{n^2 + 3n}

Член ряда меньше, чем 1n2\tfrac{1}{n^2}, а ряд ∑1n2\sum \tfrac{1}{n^2} сходится (p=2>1p = 2 > 1). Меньше сходящегося — значит, сходится.

Обратная логика тоже работает: больше расходящегося — расходится.

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

Частые вопросы

Что значит «ряд сходится»?

Частичные суммы (сумма первых n членов) стремятся к конечному числу. Это число и называют суммой ряда. Если частичные суммы растут неограниченно или скачут — ряд расходится.

Если члены ряда стремятся к нулю, он сходится?

Не обязательно — это самая знаменитая ловушка темы. Гармонический ряд 1 + 1/2 + 1/3 + … имеет члены, стремящиеся к нулю, но расходится. Стремление к нулю — необходимое условие, а не достаточное.

Когда применять Даламбера, а когда сравнение?

Даламбер силён, когда в члене ряда есть факториалы или степени вида aⁿ. Сравнение — когда член ряда похож на 1/n^p: сравниваешь с эталонным рядом, про который всё известно.

Что делать, если признак Даламбера дал предел ровно 1?

Признак не работает — ряд может и сходиться, и расходиться. Нужен другой инструмент: сравнение, интегральный признак или более тонкий анализ.

Связанные темы