Калькулятор збіжності рядів

Про калькулятор збіжності рядів

Вирішити, чи збігається ряд, — це вміння, яке залежить від вибору правильної ознаки. У курсі аналізу вивчають щонайменше сім: необхідну ознаку збіжності, геометричні ряди, узагальнені гармонічні ряди, ознаки порівняння у звичайній і граничній формі, ознаку Д'Аламбера, радикальну ознаку Коші, інтегральну ознаку й ознаку Лейбніца для знакозмінних рядів. Кожна чудово працює для певних рядів і нічого не каже про інші; уся складність — обрати відповідну.

Калькулятор застосовує ознаки у фіксованому розумному порядку й називає першу, яка дає відповідь. Він розпізнає геометричні ряди й знаходить їхню точну суму, перевіряє, чи прямує загальний член до нуля, розбирається зі зміною знаків, а для додатних членів пробує ознаку Д'Аламбера, радикальну ознаку Коші, порівняння з узагальненим гармонічним рядом, ознаку згущення Коші та інтегральну ознаку. Кожну потрібну границю обчислює модуль границь, який сам перевіряє себе чисельно.

Якщо ознака спирається на властивість, яку не можна довести символьно, наприклад що члени спадають починаючи з деякого номера, калькулятор перевіряє її на багатьох номерах і прямо про це попереджає. Якщо жодна ознака не дає відповіді, він перелічує випробувані ознаки, а не вгадує. Для знакозмінних рядів він також розрізняє абсолютну й умовну збіжність.

Що означає, що ряд збігається?

Ряд $\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 — це випадок, коли ознака відповіді не дає. Так відбувається для всіх узагальнених гармонічних рядів, тому для таких членів калькулятор переходить до ознак порівняння.

Спробуйте калькулятор збіжності рядів

Запишіть загальний член ряду й дізнайтеся, збігається він чи розбігається, з покроковим поясненням вирішальної ознаки.

Відкрити калькулятор Запитати ШІ-розв'язувач