МатВектор

Command Palette

Search for a command to run...

Интервал сходимости степенного ряда онлайн

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

работает в браузере, без сервера понимает факториалы и степени честно про концы интервала

Степенной ряд: пошаговое решение

работает в браузере

Введите коэффициент c_n как выражение от n (переменная — n). Движок ищет R = lim |cₙ/cₙ₊₁| и показывает интервал сходимости.

Нажмите «Решить пошагово» или пример-чипс — решение строится прямо в браузере, без отправки на сервер.

Как найти радиус сходимости: формула Даламбера

Степенной ряд — это бесконечный многочлен . Его судьба целиком записана в коэффициентах: у каждого степенного ряда есть число , такое что при ряд сходится абсолютно, при расходится, а на границе начинается отдельная история. Это число называют радиусом сходимости, а промежуток — интервалом сходимости.

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

Практическое следствие: чтобы найти радиус, достаточно уметь упрощать отношение соседних коэффициентов и брать предел от . Для учебных рядов это одна-две строки; решатель проделывает их перед вашими глазами и дополнительно проверяет себя численно — вычисляет отношение в десяти пробах вплоть до .

Три судьбы предела

  1. Предел — конечное число : интервал . Так будет для (радиус 2), для (тот же радиус 2 — множитель в коэффициенте радиус не меняет), для (радиус 3).
  2. Предел бесконечен — коэффициенты падают быстрее любой геометрической прогрессии: даёт и сходимость при всех . Именно поэтому определена на всей прямой, а не на отрезке.
  3. Предел равен нулю — коэффициенты растут слишком быстро: или дают . Такой ряд сходится только в центре и функцию не порождает.

Разобранные примеры с решением

Пример 1: классика с геометрическим знаменателем

Найти интервал сходимости ряда . Коэффициент , отношение соседних:

Интервал . Концы: при ряд превращается в — расходится; при — в — тоже расходится. Область сходимости совпала с интервалом.

Пример 2: факториал в коэффициенте

Ряд . Отношение коэффициентов упрощается изящно:

Предел — второй замечательный предел: . Решатель получает это же число численно: экстраполяция Ричардсона по пробам и снимает поправку вида и восстанавливает точное значение , хотя прямой подсчёт в double переполняется уже при .

Пример 3: когда радиус не решает — ряд с 1/n

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

Шпаргалка по типовым коэффициентам

КоэффициентПредел отношенияВердикт
Коэффициент 1/n!|c_n/c_{n+1}| = n+1 → ∞R = ∞: сходится при всех x (так устроена e^x)
Коэффициент 1/a^nотношение → aR = a: интервал (−a; a), концы дают геометрический ряд
Коэффициент n^k/a^nотношение → aR = a: многочлен в коэффициенте радиус не меняет
Коэффициент 1/nотношение → 1R = 1: при x=1 расходится, при x=−1 сходится (Лейбниц)
Коэффициент n!|c_n/c_{n+1}| → 0R = 0: сходится только в центре x = 0
Пропущенные члены (только чётные n)предел отношения не существуетнужна радикальная формула Коши или междучленная оценка
Многочлен в коэффициенте () радиус не меняет — он растворяется в пределе.

Концы интервала: единственное, что решается руками

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

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

Что вводить в решатель — весь ряд или коэффициент?

Только коэффициент c_n как выражение от n: переменная в поле — именно n, а не x. Для ряда сумма x^n делить на 2^n введите 1/2^n; для ряда с n·x^n/2^n введите n/2^n. Сам икс и знак суммы подразумеваются: решатель ищет радиус по формуле Даламбера для коэффициентов, а интервал сходимости получает из радиуса автоматически.

Почему на концах интервала решатель не даёт вердикт?

Потому что его и не существует заранее: в точках x = ±R степенной ряд превращается в числовой, и его поведение зависит от коэффициентов — у ряда x^n/n² оба конца сходятся, у x^n/n расходятся оба, у знакочередующегося ведут себя по-разному. Любой инструмент, который ставит знак на концах по радиусу, обманывает. Решатель честно напоминает проверить концы отдельно — подставьте x = R в ряд и исследуйте числовой ряд признаками.

Как найти радиус, если коэффициент содержит факториал?

Факториал пишите как n! — движок распознаёт его и считает отношение соседних коэффициентов, устойчиво к переполнению: там, где прямое вычисление 170! ломает калькулятор, отношение c_n/c_{n+1} уже стабильно показывает предел. Классика: для 1/n! радиус бесконечен (так сходится экспонента), для n!/n^n радиус равен числу e.

Что означают случаи R = 0 и R = ∞?

R = ∞ — коэффициенты убывают быстрее любой геометрической прогрессии (1/n!, 1/(n!)^2), ряд сходится при каждом x из всех вещественных чисел: именно так устроены разложения e^x, sin x, cos x. R = 0 — коэффициенты растут слишком быстро (например, n^n или (n!)^2), и ряд сходится только в центре x = 0: как числовой ряд он существовать может, но функции не определяет.

Чем радиус сходимости по Даламберу отличается от формулы с корнем?

Это два равноценных способа: формула Даламбера R = lim|c_n/c_{n+1}| и формула Коши R = 1/lim sup корень степени n из |c_n|. Даламбер проще в выкладках, когда коэффициент устроен из факториалов и степеней; радикальная формула надёжнее, когда внутри сидит n^n или корни. Если предел отношения не существует, радикальная может всё ещё сработать — у неё шире область применимости, но считать её руками тяжелее.

Откуда решатель берёт точное значение радиуса?

Движок вычисляет отношение |c_n/c_{n+1}| в десяти пробах от n=10 до n=1000 — там, где double ещё не переполняется, — и по поведению хвоста отличает три судьбы: стабилизация к константе, рост без предела и затухание к нулю. Для стабилизации применяется экстраполяция Ричардсона, которая снимает поправку вида c/n и даёт точные значения на учебных примерах: 2, 3, 1/2 и даже e для n!/n^n.