Признаки сходимости рядов: как выбрать — Даламбер, Коши, Лейбниц
Пять классических признаков — пять разных видов членов ряда. Эта страница — маршрут по кластеру: в каком порядке проверять ряд, как по внешнему виду члена выходить сразу на нужный признак и что делать, когда признак молчит на границе ρ = 1.
Как выбрать признак: порядок исследования ряда
Исследовать ряд на сходимость — значит ответить на один вопрос: собирается бесконечная сумма слагаемых к конечному числу или разбегается до бесконечности. Универсального признака, который решает любой ряд, не существует: каждый из пяти классических инструментов заточён под свой вид общего члена, и большинство ошибок на контрольных случаются не из-за арифметики, а из-за того, что признак применили не к своему ряду. Хорошая новость: вид члена почти всегда сам подсказывает инструмент, если перебирать их в правильном порядке. Ниже — этот порядок целиком; каждая страница кластера разбирает свой шаг с формулами, алгоритмом, разобранными примерами и интерактивами.
Шаг первый — необходимое условие сходимости, и он всегда бесплатный: посчитайте предел общего члена. Если члены не стремятся к нулю, ряд расходится — и никакой дальнейший признак не нужен. Ряд Σ n/(n + 1) расходится уже потому, что его члены стремятся к единице: один предел вместо целого исследования. Но помните про логику: условие необходимое, а не достаточное. Из того, что члены тают к нулю, сходимость не следует — гармонический ряд Σ 1/n стремится к нулю и всё равно расходится. Поэтому необходимое условие только отсеивает заведомо расходящиеся ряды; для всех остальных оно разрешает переходить к следующим шагам.
Шаг второй — признаки Даламбера и радикальный признак Коши. Они работают, когда в члене ряда есть экспоненциальная составляющая, то есть рост или таяние геометрической силы. Увидели факториал n! или множитель вида a^n — делите соседние члены: предел отношения aₙ₊₁/aₙ это признак Даламбера. Увидели, что весь член целиком стоит в степени n, — извлекайте корень n-й степени: это радикальный признак Коши, и степень под корнем обычно схлопывается в простой предел. Оба признака читаются одинаково: предел меньше единицы — ряд сходится, больше единицы — расходится (и это настоящая расходимость, ведь члены перестают стремиться к нулю). Пресеты для тренировки: Σ n²/3^n по Даламберу, Σ (2 + 1/n)^n по Коши.
Отдельного разговора заслуживает случай ρ = 1. Это не приговор ряду и не ответ «расходится» — это честное молчание признака. Гармонический ряд и ряд из обратных квадратов дают ровно единицу и в отношении Даламбера, и в корне Коши, а судьба у них противоположная. Причина в том, что отношение и корень чувствуют экспоненциальную скорость таяния, но не различают полиномиальную: разница между 1/n и 1/n² для них невидима. Так что если предел вышел единицей — не бросайте задачу и не выдумывайте вывод, а меняйте инструмент: судьбу степенных рядов разбирают следующие два шага.
Шаг третий — предельный признак сравнения. Он включается, когда член ряда — дробь из многочленов и корней, например (n + 1)/(n³ + 2) или 1/√n. Приём в одну фразу: оставьте в числителе и знаменателе только самые быстрые множители — получите эталонный ряд Σ 1/n^p, где p равен разности старших степеней знаменателя и числителя. Затем возьмите предел отношения члена ряда к члену эталона: если он конечен и отличен от нуля, у ряда и эталона одна судьба, а судьба эталона известна заранее — p-ряд сходится при p > 1 и расходится при p ≤ 1. Так исследование ряда сводится к выбору правильной степени, и именно здесь необходимое условие «члены стремятся к нулю» впервые превращается в точный вердикт.
Шаг четвёртый — интегральный признак Коши–Маклорена. Как только в члене появляется логарифм — 1/(n ln n), 1/(n ln² n) и их родня, — степенные эталоны пасуют, и ряд сверяют с несобственным интегралом: сходится ∫ f(x)dx от единицы до бесконечности — сходится и ряд, расходится интеграл — расходится ряд. Тем же признаком получают полную сводку для Σ 1/n^p, не опираясь ни на какие эталоны. Полезная привычка: держать в голове лестницу скоростей — 1/√n расходится, 1/n расходится, 1/(n ln n) расходится, а 1/(n ln² n) уже сходится: водоразделы проходят по единичному показателю и у степени, и у логарифма, и видит их только интеграл.
Отдельная ветка — знакочередующиеся ряды. Все перечисленные признаки требуют положительных членов: стоит появиться множителю (−1)^n, и отношение соседей теряет смысл. Для чередующихся рядов работает признак Лейбница, и он удивительно дешёв: проверьте, что модули членов монотонно убывают и стремятся к нулю, — и ряд сходится, без единого предела. Но на этом останавливаться нельзя: вторым ходом исследуйте ряд из модулей обычными признаками. Сходятся модули — сходимость абсолютная, не сходятся — условная. Различение важно, потому что условная сходимость хрупка: по теореме Римана перестановка членов способна изменить сумму такого ряда на любое число или вообще разогнать его.
Итоговый маршрут одной строкой: необходимое условие; затем факториал или a^n — Даламбер, весь член в степени n — радикальный Коши; затем дробь из степеней — предельное сравнение с 1/n^p; затем логарифм или молчание сравнения — интегральный признак; чередование знаков — Лейбниц, после него абсолютная сходимость по модулям. Пять страниц ниже разбирают каждый шаг: формулировка с доказательной частью, алгоритм по шагам, три разобранных примера с точной арифметикой, интерактивы для проверки на ощупь и FAQ с типовыми вопросами преподавателя. Прочитать их можно в любом порядке, но самый дешёвый вход — признак Даламбера: на нём видно и механику предела, и честное молчание при ρ = 1.
Пять признаков кластера
У каждого признака — своя формула и своя территория. Формула под заголовком — то, что вы пишете в тетради; фраза под ней — как узнать по члену ряда, что время именно этого признака.
Когда применять: в члене ряда факториал n! или степень a^n — делите соседние члены
Когда применять: знаки чередуются, а модули членов монотонно тают к нулю
Когда применять: весь член целиком стоит в степени n — извлекайте корень
Когда применять: член — дробь из многочленов и корней: сравните с 1/n^p
Когда применять: член содержит ln n или нужен точный вердикт для 1/n^p
Когда применять: ряд сошёлся по Лейбницу — выясняйте тип: сходятся ли модули
Когда применять: ряд со степенями xⁿ — радиус по коэффициентам, концы отдельно
Когда применять: нужно разложить функцию в степенной ряд и указать область сходимости
Когда применять: член 1/n или 1/n^p — эталонная сводка для сравнения
Какой признак когда применять
Сводная таблица по всем пяти признакам: что писать в тетради, какой член ряда подсказывает инструмент и что делать, когда признак упирается в границу ρ = 1.
| Признак | Когда применять | Что даёт при ρ = 1 |
|---|---|---|
| Необходимое условие | первая проверка любого ряда: члены должны таять к нулю | нарушено — ряд расходится сразу; выполнено — переходите к признакам |
| Признак Даламбера | в члене факториал n! или степень a^n — предел отношения соседей | молчит: корень уже вычерпал экспоненту, судьбу решает сравнение или интеграл |
| Радикальный признак Коши | весь член целиком в степени n — извлекайте корень n-й степени | молчит: полиномиальную скорость не видит, как и Даламбер |
| Предельный признак сравнения | член — дробь из многочленов и корней: эталон 1/n^p по старшим степеням | при k = 1 как раз работает: ряд и эталон неразличимы, вердикт даёт p-ряд |
| Интегральный признак | в члене логарифм либо сравнение молчит — сверяйте ряд с интегралом | выносит вердикт там, где другие молчат: Σ 1/n^p сходится при p > 1 и расходится при p ≤ 1 |
Про признак Лейбница в колонке ρ = 1 спросить нечего: у него нет предела-константы, его проверка — монотонное убывание модулей к нулю. Знакочередующийся ряд исследуют Лейбницем всегда, а вопрос о модулях (абсолютная или условная сходимость) возвращается к признакам для положительных рядов.
Практика и инструменты
Теория закрепляется руками: отработайте выбор признака на живых задачах в тренажёре по рядам, держите формулы под рукой в шпаргалке по рядам, пройдите полный алгоритм исследования в разборе как решать ряды, а пошаговое исследование конкретного ряда проведёт решатель рядов — он показывает, какой признак применил на каждом шаге.
Частые вопросы
В каком порядке применять признаки сходимости?
Сначала необходимое условие: если общий член не стремится к нулю, ряд расходится, и дальнейшее исследование не нужно. Затем по виду члена: факториал или степень a^n — признак Даламбера, весь член в степени n — радикальный признак Коши, дробь из многочленов и корней — предельный признак сравнения с эталоном 1/n^p, логарифм в члене — интегральный признак. Знакочередующиеся ряды идут по отдельной ветке — через признак Лейбница.
Что означает ρ = 1 в признаках Даламбера и Коши?
Ничего: при ρ = 1 оба признака не дают вердикта — ни сходимости, ни расходимости. Это не тупик, а сигнал сменить инструмент: гармонический ряд и ряд из обратных квадратов дают ровно единицу и у Даламбера, и у Коши, а судьба у них противоположная. Ряды, члены которых ведут себя как 1/n^p, разбирают предельным признаком сравнения или интегральным признаком.
Какой признак применять, если в члене ряда логарифм?
Интегральный признак Коши–Маклорена. Ряды вида 1/(n ln n) и 1/(n ln^2 n) не различаются ни отношением, ни корнем, ни сравнением со степенным эталоном, а интеграл решает их в одну строку: ∫ dx/(x ln x) расходится, ∫ dx/(x ln^2 x) сходится. Заодно интегральный признак даёт полную сводку для 1/n^p: сходится при p > 1 и расходится при p ≤ 1.
Что делать со знакочередующимся рядом?
Применить признак Лейбница: проверить, что модули членов монотонно убывают и стремятся к нулю, — после этого ряд сходится без единого предела. Затем взять ряд из модулей и исследовать его обычными признаками: если модули сходятся, сходимость абсолютная, если нет — условная. Это различение спрашивают почти всегда, потому что от него зависит поведение ряда при перестановке членов.