Необходимый признак сходимости ряда

Перед вами ряд $\sum \frac{n}{2n+1}$, и непонятно, за что схватиться. Первый ход всегда один и тот же: посмотрите, куда убегают члены. Если общий член не спешит к нулю, ряд мёртв — сумма не может накопиться из слагаемых размером с константу. Этот фильтр называется необходимым признаком сходимости, и он отсеивает половину экзаменационных рядов одной строчкой. Живое исследование вашего ряда проведёт решатель рядов, а здесь — логика, на которой он построен.

Формулировка: сходимость заставляет члены таять#

Логика прозрачная: если частичные суммы $S_n$ сходятся к числу $S$, то и хвост $a_n=S_n-S_{n-1}$ стягивается к нулю. Обратное утверждение неверно, и это главная ловушка признака: $\frac{1}{n}$ тает, а гармонический ряд расходится. Таяние членов — обязательное, но не достаточное условие. Контрапозиция работает жёстко: $\lim a_n\ne 0$ или предела нет вовсе — ряд расходится, точка.

Алгоритм: три шага и одна развилка#

1. 1
   Выпишите общий член без знака суммы: для $\sum \frac{n}{2n+1}$ это $a_n=\frac{n}{2n+1}$.
2. 2
   Посчитайте ${\lim }_{n\to \infty }{a}_n$. Дроби с многочленами — деление на старшую степень $n$; подгонка пределов — эквивалентности.
3. 3
   Предел отличен от нуля или не существует — ряд расходится, исследование закончено.
4. 4
   Предел равен нулю — признак ничего не сказал. Дальше конвейер: сравнение, Даламбер, Коши; маршруты расписаны в разборе по рядам.

Разбор флагманского примера#

Исследуем $\sum \frac{n}{2n+1}$. Общий член — отношение двух многочленов, делим числитель и знаменатель на $n$: предел равен $\frac{1}{2}$. Не ноль — значит, слагаемые стабилизируются около половины, и частичные суммы растут примерно как $\frac{n}{2}$. Ряд расходится по необходимому признаку, весь ответ — одна строка.

Второй классик — $\sum {\left(1+\frac{1}{n}\right)}^n$: члены бегут к $e\approx 2,718$, а не к нулю, так что расходимость видна мгновенно. А вот $\sum \frac{n!}{(2n)!}$ — противоположная ситуация: члены улетают в ноль так быстро, что необходимый признак молчит. Продолжение истории: отношение соседей $\frac{(n+1)!}{(2n+2)!}\cdot \frac{(2n)!}{n!}=\frac{n+1}{(2n+2)(2n+1)}\to 0$ — признак Даламбера закрывает вопрос сходимостью.

Промежуточный случай — когда предел ноль, но вердикта всё ещё нет. Ряд $\sum \frac{2n^2+1}{n^3-5}$: старшие степени дают $\frac{2n^2}{n^3}\to 0$, и дальше придётся работать — сравнение с гармоническим эталоном $\frac{1}{n}$ покажет расходимость, поскольку $\frac{2n^2+1}{n^3-5}\sim \frac{2}{n}$. Необходимый признак тут только открывает дело, а не закрывает его.

Три типовые ошибки#

• Перевернуть логику: из $a_n\to 0$ заключить, что ряд сходится. Гармонический ряд — фольга для этой ошибки: члены к нулю стремятся, сумма — к бесконечности.
• Считать предел от частичной суммы вместо общего члена: признак говорит о $a_n$, а не о $S_n$.
• Тратить время на признаки сравнения там, где предел не ноль. Первая проверка бесплатна — начинайте всегда с неё.