H4 Ряды и сходимость

Метод состоит в том, что бесконечная сумма $\sum_{k=1}^\infty a_k$ анализируется на сходимость (существование конечного предела частичных сумм) с помощью набора признаков: сравнение, Даламбер, Коши, интегральный и другие.

В олимпиадном контексте задачи на ряды делятся на три типа:
1. Доказать сходимость/расходимость данного ряда.
2. Вычислить сумму сходящегося ряда (геометрический ряд, телескопический, специальные).
3. Оценить частичную сумму или показать, что она лежит в заданных пределах.

Интуиция: ряд сходится, если слагаемые «убывают достаточно быстро». «Достаточно быстро» — ключевое слово: $1/k^2$ убывает быстро (ряд сходится), $1/k$ — недостаточно (гармонический ряд расходится). Все признаки сходимости — это формализация этого интуитивного «достаточно быстро».

Для олимпиад особенно важны: геометрический ряд ($\sum q^k = \frac{1}{1-q}$ при $|q|<1$), телескопические суммы ($a_k - a_{k+1}$), оценка через интеграл и признак сравнения.

• Необходимое условие сходимости. Если ряд $\sum a_k$ сходится, то $a_k \to 0$. Условие: всегда. Когда использовать: для опровержения сходимости — если $a_k \not\to 0$, ряд расходится. Обратное неверно ($1/k \to 0$, но ряд расходится).

• Геометрический ряд. $\sum_{k=0}^\infty q^k = \frac{1}{1-q}$ при $|q| < 1$; расходится при $|q| \geq 1$. Когда использовать: слагаемые имеют вид $c^k$, $r^k$, геометрическая прогрессия.

• Признак сравнения. Если $0 \leq a_k \leq b_k$ и $\sum b_k$ сходится, то $\sum a_k$ сходится. Если $a_k \geq c_k \geq 0$ и $\sum c_k$ расходится — расходится и $\sum a_k$. Когда использовать: сравнивай с геометрическим или $p$-рядом.

• $p$-ряд. $\sum_{k=1}^\infty \frac{1}{k^p}$ сходится при $p > 1$ и расходится при $p \leq 1$. Когда использовать: базовая «линейка» для сравнения.

• Признак Даламбера. Если $\lim_{k\to\infty} \frac{a_{k+1}}{a_k} = L$, то: $L < 1$ — сходится; $L > 1$ — расходится; $L = 1$ — не даёт ответа. Когда использовать: слагаемые содержат факториалы или степени.

• Телескопический ряд. Если $a_k = f(k) - f(k+1)$, то $\sum_{k=1}^n a_k = f(1) - f(n+1)$. Когда использовать: слагаемое раскладывается в разность.

• Разложи слагаемое в разность (телескоп): пробуй $a_k = f(k) - f(k+1)$ или $\frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1}$.
• Оцени через геометрический ряд: найди $q < 1$ такое, что $a_k \leq C q^k$; тогда ряд сходится.
• Применяй Даламбера для факториалов: $\frac{a_{k+1}}{a_k}$ часто упрощается при $a_k = \frac{x^k}{k!}$ или $a_k = \frac{k!}{n^k}$.
• Сравни с $p$-рядом: если $a_k \sim \frac{C}{k^p}$, то поведение совпадает с $1/k^p$.
• Интегральный признак: для убывающей положительной $f$ сходимость $\sum f(k)$ эквивалентна сходимости $\int_1^\infty f(x)\,dx$.
• Для вычисления суммы: сначала проверь, телескопический ли ряд; если нет — ищи связь с геометрическим или известными суммами ($\pi^2/6$, $\ln 2$).

Поверхностные признаки (что буквально написано):
- «Докажите, что ряд $\sum_{k=1}^\infty a_k$ сходится».
- «Найдите сумму ряда $\sum_{k=1}^\infty \ldots$».
- «Оцените, чему равна $\sum_{k=1}^n a_k$ при больших $n$».

Структурные признаки (форма выражения, объекты):
- Слагаемое содержит $k!$, $k^k$, $q^k$, $1/k^p$ — классические «сигналы» признаков сходимости.
- Слагаемое раскладывается в разность: $\frac{1}{k} - \frac{1}{k+1}$, $\arctan(k+1) - \arctan k$ и т.д.
- Частичная сумма связана с интегральной суммой.

Цель задачи (что от тебя хотят):
- Доказать сходимость или расходимость.
- Найти точную сумму ряда.
- Сравнить поведение двух рядов.

Задача 1. Телескопический ряд

Условие: Найдите сумму ряда $\displaystyle\sum_{k=1}^\infty \frac{1}{k(k+1)}$.

Источник: Физтех (вступительный), классический тип

Как думать (рассуждение ученика$):
1. $Что вижу:* ряд с дробью $\frac{1}{k(k+1)}$. Числитель — 1, знаменатель — произведение двух последовательных чисел. Это классический сигнал телескопического разложения.$2. *$Пробую разбить на простые дроби: $\frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1}$.$3. *$Сумма телескопически сворачивается: $S_n = \left(1 - \frac{1}{2}\right) + \left(\frac{1}{2} - \frac{1}{3}\right) + \cdots + \left(\frac{1}{n} - \frac{1}{n+1}\right) = 1 - \frac{1}{n+1}$.$4. *$Предел: $S = \lim_{n\to\infty} S_n = 1$.

Решение:
Заметим разложение:$$\frac{1}{k(k+1)} = \frac{1}{k} - \frac{1}{k+1}.$$

Частичная сумма:$$S_n = \sum_{k=1}^n \left(\frac{1}{k} - \frac{1}{k+1}\right) = 1 - \frac{1}{n+1}.$$

При $n\to\infty$: $S = \lim_{n\to\infty}\left(1 - \frac{1}{n+1}\right) = 1.$

Ответ: сумма ряда равна $1$.

Что главное: телескопирование уничтожает все «промежуточные» слагаемые, оставляя лишь первый и последний член.

Задача 2. Признак Даламбера и оценка суммы

Условие: Докажите, что ряд $\displaystyle\sum_{k=0}^\infty \frac{2^k}{k!}$ сходится и найдите его сумму.

Источник: Физтех-олимпиада (разложение экспоненты)

Как думать (рассуждение ученика$):
1. $Что вижу:* $a_k = 2^k / k!$ — факториал в знаменателе и степень в числителе. Классический Даламбер.$2. *$Применяю Даламбера: $\frac{a_{k+1}}{a_k} = \frac{2^{k+1}/(k+1)!}{2^k/k!} = \frac{2}{k+1} \to 0 < 1$. Ряд сходится.$3. *$Сумма: это ряд Маклорена для $e^x$ при $x=2$! $e^x = \sum_{k=0}^\infty \frac{x^k}{k!}$, при $x=2$: $\sum_{k=0}^\infty \frac{2^k}{k!} = e^2$.$4. *$Совпадение неслучайно: именно такие ряды дают определение $e^x$ через степенные ряды.

Решение:
Сходимость по признаку Даламбера:$$L = \lim_{k\to\infty}\frac{a_{k+1}}{a_k} = \lim_{k\to\infty}\frac{2^{k+1}}{(k+1)!}\cdot\frac{k!}{2^k} = \lim_{k\to\infty}\frac{2}{k+1} = 0 < 1.$$ Ряд сходится.

Сумма: из ряда Маклорена $e^x = \sum_{k=0}^\infty \frac{x^k}{k!}$ при $x=2$:$\sum_{k=0}^\infty \frac{2^k}{k!} = e^2.$

Ответ: ряд сходится, его сумма равна $e^2$.

Что главное: признак Даламбера для $k!$ всегда даёт $L=0$ — это нужно знать наизусть. Сумму ряда с $x^k/k!$ всегда нужно узнавать как $e^x$.

• Ошибка: путают необходимое и достаточное условие сходимости. Утверждают: «$a_k \to 0$, значит ряд сходится». → Почему неверно: это только необходимое условие. Гармонический ряд расходится, хотя $1/k \to 0$. → Как избежать: всегда применяй один из признаков сходимости.
• Ошибка: применяют признак Даламбера при $L=1$ и делают вывод. → Почему неверно: при $L=1$ признак Даламбера не даёт ответа. → Как избежать: при $L=1$ переходи к другим признакам (Гаусс, интегральный, сравнение).
• Ошибка: не проверяют сходимость перед вычислением суммы. Начинают вычислять сумму расходящегося ряда. → Почему неверно: расходящийся ряд не имеет суммы. → Как избежать: сначала доказывай сходимость, затем вычисляй сумму.
• Ошибка: неправильно телескопируют. Путают порядок слагаемых в разности $f(k) - f(k+1)$ и $f(k+1) - f(k)$. → Почему неверно: знак суммы изменится. → Как избежать: проверяй на $k=1, 2$ вручную, что разбиение верное.
• Ошибка: путают геометрический ряд $\sum q^k$ (от $k=0$) и $\sum q^k$ (от $k=1$). → Почему неверно: первый даёт $\frac{1}{1-q}$, второй — $\frac{q}{1-q}$. → Как избежать: всегда явно указывай начальный индекс суммирования.