Что решатель проверяет и зачем это нужно
Числовой ряд — бесконечная сумма . Сходящимся ряд называется, если частичные суммы — конечные обрезки этой суммы — прижимаются к конечному числу. Расходящийся ряд суммы не имеет: обрезки растут неограниченно или скачут без цели. Вопрос «сходится ли ряд» стоит до любых манипуляций с бесконечной суммой: у расходящегося ряда нет ни суммы, ни права на почленное интегрирование, ни разложения Тейлора.
Исследование сходимости — это выбор признака под форму общего члена. Признаков несколько, у каждого своя зона действия, и главная студенческая боль — применить признак не к тому ряду и получить бессмысленный результат вроде ρ=1 с выводом «не знаю». Решатель ведёт проверку в правильном порядке: сначала отсекает заведомо расходящиеся ряды необходимым условием, затем распознаёт известные типы, и только потом обращается к признакам сравнения.
Вердикт решателя всегда снабжён числами: значениями общего члена на больших номерах, величиной отношения соседних членов, частичными суммами. Числа позволяют убедиться, что вывод не формален: расходящийся ряд видно по членам, которые не исчезают, а сходящийся — по отношению, уходящему от единицы.
Как решатель исследует ряд: алгоритм по шагам
Порядок проверок не случаен: от дешёвых и решающих к дорогим и деликатным.
Необходимое условие
Общий член вычисляется при больших n. Если a_n не прижимается к нулю, ряд расходится — дальнейшие проверки не нужны. Например, ряд из n/(n+1) расходится, хотя разница между членом и единицей крошечная.
Распознавание известных типов
Выражение сравнивается с эталонами: степенной вид 1/n^p — это p-ряд, вид r^n — геометрический ряд. Оба типа решаются без признаков: у p-ряда всё решает степень, у геометрического — знаменатель.
Признак Даламбера
Отношение a_{n+1}/a_n вычисляется в пределе. Меньше единицы — ряд сходится, больше — расходится, равно единице — признак молчит, идём дальше. Особенно силён Даламбер на факториалах и степенях в члене.
Радикальный признак Коши
Если член является n-й степенью выражения, корень n-й степени снимает степень, и вопрос сводится к пределу основания. Зона действия — члены вида (f(n))^n.
Признак Лейбница для знакочередующихся
Если члены чередуют знак, проверяется монотонное убывание модуля к нулю. Выполнено — ряд сходится; далее сравнивается ряд из модулей, чтобы отличить абсолютную сходимость от условной.
Вердикт с обоснованием
Итог формулируется словами: сходится абсолютно, сходится условно или расходится — с указанием сработавшего признака и чисел, которые это подтверждают.
Таблица типовых случаев
Опорная сводка «тип члена — признак — вердикт». Полный обзор признаков с условиями применения — в шпаргалке по рядам.
| Тип ряда | Условие | Вердикт |
|---|---|---|
| Степенной ряд 1/n^p | сходится (p-ряд, интегральный признак); при p≤1 расходится | |
| Геометрический r^n | сходится, сумма b/(1-r); при |r|≥1 расходится | |
| Признак Даламбера | сходится; при ρ>1 расходится; при ρ=1 признак не решает | |
| Радикальный Коши | сходится; при ρ>1 расходится; при ρ=1 нужен другой признак | |
| Знакочередующийся (−1)^n·f(n) | сходится по Лейбницу; тип сходимости проверяется по ряду из модулей | |
| Необходимое условие | расходится немедленно, без признаков |
Разобранные примеры
Пример 1. p-ряд:
Общий член стремится к нулю — необходимое условие выполнено. Выражение совпадает с p-рядом при , значит ряд сходится:
Частичные суммы подтверждают: , — медленно поднимаются к 1,644934. Смена знака степени решает судьбу ряда: при p=2 сходится, при p=1 расходится, хотя члены обоих рядов стремятся к нулю одинаково честно.
Пример 2. Гармонический ряд:
Необходимое условие выполнено: . Но p-ряд с расходится — пограничный случай, и частичные суммы это показывают:
Сумма растёт как логарифм числа членов: чтобы удвоить частичную сумму с пяти до десяти, нужно домножить число слагаемых на тысячу. Ряд расходится не потому, что члены велики, а потому, что они исчезают слишком медленно. Даламбер здесь бессилен: отношение соседних членов , и нужен именно p-ряд или интегральный признак.
Пример 3. Даламбер:
Член содержит и степень, и факториал — классическая зона признака Даламбера. Отношение соседних членов упрощается точно:
Предел равен нулю, значит ряд сходится — факториал растёт быстрее любой экспоненты. Числа согласны: , а отношение уже заметно ниже единицы. Сумма ряда от n=1 равна — бесконечная сумма здесь имеет конкретное конечное значение.
Пример 4. Лейбниц:
Знаки чередуются, модуль члена монотонно убывает к нулю — оба условия Лейбница выполнены, ряд сходится. Частичные суммы колеблются вокруг предела:
Ряд из модулей — это гармонический ряд из примера 2, он расходится. Значит сходимость условная: сумма существует, но при перестановке членов она изменится. Подробнее об этом классе — на странице признака Лейбница.
Частые ошибки при исследовании сходимости
Вывод о сходимости из необходимого условия
a_n → 0 не гарантирует сходимости: гармонический ряд расходится, хотя его члены стремятся к нулю. Необходимое условие ловит только расходящиеся ряды.
Даламбер при ρ = 1 без продолжения
Результат ρ=1 означает «признак не решил», а не «ряд сходится». Дальше нужен p-ряд, интегральный или радикальный признак.
Применение признаков к знакочередующимся рядам напрямую
Даламбер и Коши в классическом виде рассчитаны на положительные члены. Для чередующихся знаков сначала исследуйте модули или используйте Лейбница.
Путаница условной и абсолютной сходимости
Сходимость по Лейбницу без проверки ряда из модулей — неполный ответ. Нужно явно сказать: абсолютно или условно.
Сравнение не с тем эталоном
Сравнивать ряд нужно с рядом того же порядка роста: 1/(n^2+1) сравнивается с 1/n^2 и сходится, а с 1/n даёт неверный вывод.
Проверьте себя и что читать дальше
Теория с доказательствами признаков — в уроках числовые ряды и числовые последовательности. Куда применяется сходимость — в уроках степенные ряды и формула Тейлора.
Стратегия выбора признака с примерами — в материале как решать ряды. Отработать выбор признака с мгновенной проверкой — в тренажёре по рядам. Исследование рядов опирается на решатель пределов — там считается предел отношения соседних членов. Соседние инструменты: решатель производных и решатель интегралов для интегрального признака. Обзор всех решателей — на странице решателей.
Перед признаком назовите тип члена: степень — p-ряд, факториал или экспонента в члене — Даламбер, n-я степень выражения — Коши, чередование знаков — Лейбниц. Правильная классификация — девять десятых ответа.
Частые вопросы
С чего начинать исследование любого ряда?
С необходимого условия: если общий член не стремится к нулю, ряд расходится сразу, и никакие признаки не нужны. Решатель проверяет это численно на больших номерах — там, где ручная подстановка уже не видна. Только после того, как член уходит в ноль, имеет смысл выбирать признак: сравнение, Даламбера, Коши или Лейбница.
Вводить весь ряд не нужно — что писать в поле?
Решателю нужен только общий член a_n как выражение от n: например, 1/n^2, 2^n/n! или (-1)^n/n. Сам знак суммы и пределы подразумеваются: ряд — это сумма a_n по всем n от единицы до бесконечности. Кнопки-чипсы с примерами показывают формат записи степени, факториала и знакочередующегося множителя.
Почему признак Даламбера не работает на 1/n?
Формально отношение соседних членов даёт n/(n+1), что стремится к единице. Результат ρ=1 означает лишь одно: признак не способен решить вопрос — ряд может и сходиться (1/n^2), и расходиться (1/n). Нужен более тонкий инструмент: интегральный признак, сравнение с p-рядом или признак Коши. Решатель в такой ситуации честно предлагает другой признак.
Чем абсолютная сходимость отличается от условной?
Если сходится ряд из модулей членов — сходимость абсолютная, самый удобный случай: ряд можно переставлять и почленно складывать. Если модули расходятся, но знакочередующийся ряд сходится по Лейбницу — сходимость условная: сумма существует, но свойства у неё хуже, при перестановке членов сумма меняется. Классический пример условной сходимости — ряд из минус единицы в степени n плюс один, делённой на n, со суммой ln 2.
Зачем вообще исследовать сходимость?
Без проверки сходимости работа с бесконечной суммой бессмысленна: у расходящегося ряда суммы не существует, и формальные манипуляции дают абсурд вроде 1-1+1-1 с ответом «что угодно». Проверка сходимости — фундамент степенных рядов и разложений Тейлора: прежде чем писать e^x в виде бесконечной суммы, нужно знать, что сумма существует.