Калькулятор сходимости рядов

О калькуляторе сходимости рядов

Решить, сходится ли ряд, — это умение, которое зависит от выбора правильного признака. В курсе анализа изучают как минимум семь: необходимый признак сходимости, геометрические ряды, обобщённые гармонические ряды, признаки сравнения в обычной и предельной форме, признак Даламбера, радикальный признак Коши, интегральный признак и признак Лейбница для знакочередующихся рядов. Каждый прекрасно работает для определённых рядов и ничего не говорит о других; вся трудность — выбрать подходящий.

Калькулятор применяет признаки в фиксированном разумном порядке и называет первый, который даёт ответ. Он распознаёт геометрические ряды и находит их точную сумму, проверяет, стремится ли общий член к нулю, разбирается со знакочередованием, а для положительных членов пробует признак Даламбера, радикальный признак Коши, сравнение с обобщённым гармоническим рядом, признак сгущения Коши и интегральный признак. Каждый нужный предел вычисляется модулем пределов, который сам проверяет себя численно.

Если признак опирается на свойство, которое нельзя доказать символьно, например что члены убывают начиная с некоторого номера, калькулятор проверяет его на многих номерах и прямо об этом предупреждает. Если ни один признак не даёт ответа, он перечисляет испробованные признаки, а не гадает. Для знакочередующихся рядов он также различает абсолютную и условную сходимость.

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

Ряд $\sum_{n=1}^{\infty} a_n$ — это сумма бесконечного числа членов. Чтобы придать ей смысл, рассматривают частичные суммы $S_N = a_1 + a_2 + \cdots + a_N$ . Если при росте $N$ они стремятся к конечному пределу $S$ , ряд сходится и его сумма равна $S$ . Если они неограниченно растут или продолжают колебаться, ряд расходится.

Сходимость — тонкое понятие, потому что она зависит от того, как быстро уменьшаются члены, а не только от того, что они уменьшаются. Члены $\sum \frac1n$ стремятся к нулю, и всё же частичные суммы превосходят любое число: гармонический ряд расходится. Члены $\sum \frac{1}{n^2}$ убывают лишь немного быстрее, и этот ряд сходится к $\frac{\pi^2}{6}$ .

Для большинства рядов сходимость можно установить, не вычисляя суммы, у которой часто вообще нет простого выражения. Важнейшее исключение — геометрические ряды: как только знаменатель удовлетворяет $|r| < 1$ , сумма равна $\frac{a}{1-r}$ , где $a$ — первый член.

Как пользоваться калькулятором сходимости рядов

Запишите общий член с индексом n, например 1/n^2, (-1)^(n+1)/n или 2^n/n!.
Допускаются факториалы (n!), степени, корни, логарифмы в записи log для ln, а также (−1)^n.
Введите начальный индекс — первое значение n в сумме. По умолчанию он равен 1.
Нажмите «Исследовать сходимость», чтобы увидеть применённые признаки, вычисленные пределы и результат.
Для геометрического ряда точная сумма приведена в последней строке.

Формулы

Геометрический ряд

\sum_{n=0}^{\infty} a r^n = \frac{a}{1-r},\quad |r| < 1

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

\lim_{n\to\infty} a_n \ne 0 \;\Rightarrow\; \sum a_n \text{ расходится}

Обобщённый гармонический ряд

\sum \frac{1}{n^p} \text{ сходится} \iff p > 1

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

L = \lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|;\ L < 1 \text{ сходится},\ L > 1 \text{ расходится}

Радикальный признак Коши

L = \lim_{n\to\infty}\sqrt[n]{|a_n|};\ L < 1 \text{ сходится},\ L > 1 \text{ расходится}

Признак Лейбница для знакочередующихся рядов

b_n \downarrow 0 \;\Rightarrow\; \sum (-1)^n b_n \text{ сходится}

Разобранный пример: Обобщённый гармонический ряд Σ 1/n²

Пример вычисляется в реальном времени для обобщённого гармонического ряда $\sum_{n=1}^{\infty} \frac{1}{n^2}$ . Члены стремятся к 0, поэтому расходимость по необходимому признаку не установлена, и этот признак ответа не даёт. Затем калькулятор оценивает, насколько быстро убывают члены, и сравнивает их с $\frac{1}{n^2}$ ; предел отношения равен 1 — строго положительному конечному числу.

По предельному признаку сравнения ряд ведёт себя так же, как обобщённый гармонический ряд с показателем $p = 2$ , который сходится, потому что $p > 1$ . Итог: ряд сходится. Его сумму, $\frac{\pi^2}{6} \approx 1.645$ , нашёл Эйлер в 1734 году, но о сходимости можно судить, не зная её.

Решение ниже построено тем же вычислительным движком, что и калькулятор выше.

Ответ

\sum_{n=1}^{\infty} \frac{1}{{n}^{2}} \ \text{сходится} \approx 1.644934067

Как мы поняли вашу задачу

Выясним, сходится или расходится Σ 1 / n² (n от 1 до ∞).

\sum_{n=1}^{\infty} \frac{1}{{n}^{2}}

Пошаговое решение

Записываем ряд
Σ a(n) при n = 1, 2, 3, … где a(n) = 1 / n^2. Первые члены: 1, 0.25, 0.111111, 0.0625, …
$\sum_{n=1}^{\infty} \frac{1}{{n}^{2}}$
Необходимый признак сходимости
lim a(n) = 0, поэтому необходимый признак ничего не решает; члены ряда действительно убывают, так что нужен более тонкий признак.
$\lim_{n\to\infty} \frac{1}{{n}^{2}} = 0$
Предельный признак сравнения с обобщённым гармоническим рядом
Положительные члены: члены ряда убывают примерно как 1/n^2 (оценка по a(2N)/a(N)), поэтому сравниваем с Σ 1/n^2: lim a(n)·n^2 = 1. Предел — положительное конечное число, значит, ряд ведёт себя так же, как обобщённый гармонический ряд Σ 1/n^2, который сходится, потому что p > 1.
$\lim_{n\to\infty} \frac{a_n}{1/n^{2}} = 1$
Оценить сумму численно
Частичные суммы S_N вычислены для нескольких N и экстраполированы к N → ∞ (экстраполяция Ричардсона; для знакочередующихся членов сначала берётся среднее). Две независимые экстраполяции совпадают с точностью лучше 10⁻¹⁰ и дают S ≈ 1.644934067. Показанная замкнутая форма — численное отождествление, а не доказательство.

Использованные формулы

Необходимый признак сходимости (признак расходимости)
$\lim_{n\to\infty} a_n \ne 0 \Rightarrow \sum a_n \text{ расходится}$
Обобщённый гармонический ряд
$\sum \frac{1}{n^p} \text{ сходится} \iff p > 1$

Ряд сходится, если его частичные суммы стремятся к конечному числу. Для этого члены ряда должны стремиться к 0, но одного этого недостаточно (гармонический ряд расходится), поэтому для ответа применяется признак сравнения, признак Д’Аламбера, радикальный признак Коши, признак Лейбница или интегральный признак.

Проверка

Частичные суммы (подтверждение, а не доказательство): S₁₀ = 1.5497677, S₁₀₀ = 1.6349839, S₁₀₀₀ = 1.6439346, S₁₀₀₀₀ = 1.6448341

Подробное объяснение

Начинайте с быстрых признаков

Две проверки всегда стоит сделать первыми, потому что они быстрые. Если ряд геометрический, всё решает знаменатель $r$ : ряд сходится при $|r| < 1$ , и сумма получается сразу. Для $\sum_{n=1}^{\infty} 3\left(-\frac23\right)^n$ первый член $a = -2$ и $r = -\frac23$ , поэтому сумма равна $\frac{-2}{1 + 2/3} = -\frac65$ .

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

Признак Даламбера и радикальный признак Коши

Признак Даламбера сравнивает каждый член с предыдущим. Если отношение $\left|\frac{a_{n+1}}{a_n}\right|$ стремится к пределу $L < 1$ , члены в конце концов убывают не медленнее членов сходящегося геометрического ряда, и ряд сходится. Если $L > 1$ , члены растут, и ряд расходится. При $L = 1$ признак ответа не даёт.

Это естественный выбор, когда встречаются факториалы и показательные выражения. Для $\sum \frac{2^n}{n!}$ отношение упрощается до $\frac{2}{n+1}$ , которое стремится к 0, поэтому ряд сходится. Радикальный признак Коши, основанный на $\sqrt[n]{|a_n|}$ , похож на него и удобнее, когда весь член возведён в степень n. Для обобщённых гармонических рядов и дробно-рациональных функций от $n$ оба признака всегда дают $L = 1$ , и тогда нужны другие инструменты.

Сравнение с обобщённым гармоническим рядом

Если члены ведут себя как степень $n$ , их сравнивают с $\sum \frac{1}{n^p}$ , который сходится тогда и только тогда, когда $p > 1$ . Предельный признак сравнения гласит: если $\frac{a_n}{b_n}$ стремится к строго положительному конечному числу, оба ряда ведут себя одинаково. Калькулятор оценивает подходящий показатель $p$ , наблюдая, как меняются члены при удвоении $n$ , а затем точно вычисляет этот предел.

Так, $\sum \frac{1}{\sqrt{n}}$ расходится по сравнению с $\sum \frac1n$ , а $\sum \frac{\sin n}{n^2}$ сходится абсолютно, поскольку из $|\sin n| \le 1$ следует, что её члены ограничены величиной $\frac{1}{n^2}$ .

Логарифмы: сгущение и интегральный признак

Ряды с логарифмами вроде $\sum_{n=2}^{\infty} \frac{1}{n \ln n}$ находятся ровно на той границе, где признаки Даламбера и Коши, а также простое сравнение бессильны. Такие случаи решает признак сгущения Коши: для положительных убывающих членов $\sum a_n$ сходится тогда и только тогда, когда сходится $\sum 2^n a_{2^n}$ . Здесь у сгущённого ряда члены примерно равны $\frac{1.4427}{n}$ — это кратное гармонического ряда, поэтому исходный ряд расходится.

Интегральный признак приходит к результату того же рода, сравнивая сумму с $\int f(x)\,dx$ , где $f(n) = a_n$ положительна и убывает. Оба приёма показывают, насколько медленно может расходиться ряд: частичные суммы $\sum \frac{1}{n \ln n}$ растут как $\ln(\ln N)$ , что даже после миллиарда членов остаётся меньше 4.

Знакочередующиеся ряды и условная сходимость

Когда знаки чередуются, помогают взаимные сокращения. Признак Лейбница гласит: если модули $b_n$ убывают к нулю, ряд сходится. Знакочередующийся гармонический ряд $1 - \frac12 + \frac13 - \cdots$ сходится именно так, причём к $\ln 2$ , хотя $\sum \frac1n$ расходится.

Такая ситуация называется условной сходимостью. Если сходится и ряд из модулей, как у $\sum \frac{(-1)^n}{n^2}$ , сходимость абсолютная, а это сильнее: члены абсолютно сходящегося ряда можно переставлять, не меняя суммы, а члены условно сходящегося — нет. Калькулятор сообщает, какой случай перед вами.

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

Заключать, что ряд сходится, потому что его общий член стремится к нулю.
Считать результатом $L = 1$ в признаке Даламбера или Коши; это значит, что признак ответа не даёт.
Брать не тот первый член в геометрической сумме, когда индекс начинается с 1, а не с 0.
Применять признак Лейбница, не проверив, что модули членов убывают.
Путать сходимость последовательности $a_n$ со сходимостью ряда $\sum a_n$ .
Сравнивать не в ту сторону, например оценивать ряд сверху расходящимся рядом.

Советы

Сначала проверяйте необходимый признак; он сразу отсекает многие расходящиеся ряды.
Вспоминайте о признаке Даламбера, как только видите факториалы или $c^n$ .
Для дробно-рациональных функций от $n$ сравнивайте степени: ряд ведёт себя как $\sum \frac{1}{n^{q-p}}$ .
Используйте сгущение или интегральный признак, когда встречаются логарифмы.
Для знакочередующихся рядов исследуйте и абсолютную сходимость, чтобы знать её вид.
Вычислите численно первые частичные суммы, чтобы увидеть, стабилизируются ли они.

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

Какой признак сходимости использует калькулятор?

Он перебирает их по порядку: геометрический ряд, необходимый признак, признак Лейбница, а для положительных членов — признак Даламбера, радикальный признак Коши, предельный признак сравнения с обобщённым гармоническим рядом, признак сгущения Коши и интегральный признак. Показывается первый признак, который даёт ответ.

Находит ли он сумму ряда?

Он даёт точную сумму геометрических рядов, например −6/5 для Σ 3(−2/3)ⁿ начиная с n = 1. Для других рядов он только решает вопрос о сходимости, потому что у большинства сходящихся рядов нет простой формулы суммы.

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

Члены уменьшаются слишком медленно. Если сгруппировать их как 1/2, затем 1/3 + 1/4 > 1/2, затем 1/5 + … + 1/8 > 1/2 и так далее, видно, что частичные суммы каждый раз прибавляют не меньше 1/2, поэтому они не ограничены.

Чем абсолютная сходимость отличается от условной?

Ряд сходится абсолютно, если сходится сумма |aₙ|. Он сходится условно, если сходится только благодаря сокращениям от чередования знаков, как знакочередующийся гармонический ряд.

Как записать факториалы и чередование знаков?

Пишите n! для факториала и (-1)^n или (-1)^(n+1) для чередующихся знаков, например (-1)^(n+1)/n или 2^n/n!. Для натурального логарифма используйте log(n).

Влияет ли начальный индекс на сходимость?

Нет. Другое начало суммы добавляет или убирает конечное число членов, что меняет сумму, но никогда не меняет того, сходится ли ряд. Однако он важен для геометрической суммы и для членов вроде 1/(n ln n), которые не определены при малых n.

Что будет, если ни один признак не сработает?

Калькулятор перечислит испробованные признаки и сообщит, что ни один не дал ответа. Он никогда не гадает. Колеблющиеся члены вроде sin(n), предел которых нельзя определить, тоже явно отмечаются.

Что такое обобщённый гармонический ряд?

Это ряд вида Σ 1/nᵖ. Он сходится при p > 1 и расходится при p ≤ 1. Это обычный эталон для признаков сравнения, а Σ 1/n при p = 1 — гармонический ряд.

Почему признак Даламбера не работает для 1/n²?

Отношение n²/(n + 1)² стремится к 1 — это случай, когда признак ответа не даёт. Так происходит для всех обобщённых гармонических рядов, поэтому для таких членов калькулятор переходит к признакам сравнения.

Попробуйте калькулятор сходимости рядов

Запишите общий член ряда и узнайте, сходится он или расходится, с пошаговым объяснением решающего признака.

Открыть калькулятор Спросить ИИ-решатель