Математика / Пределы, ряды

Степенной ряд

Степенной ряд — это бесконечная сумма, где каждый следующий член строится по одному шаблону степени относительно фиксированного центра a. В таком виде функция описывается через бесконечное многочленное приближение, а локальное поведение переменной x становится управляемым по степеням (x−a). Для практики это удобно: один набор коэффициентов {a_n} определяет весь шаблон приближения и задает область, где сумма имеет смысл.

Опубликовано: 13 мая 2026 г.Обновлено: 13 мая 2026 г.

Формула

\sum_{n=0}^{\infty} a_n (x-a)^n

Обозначения

$a_n$: коэффициент при n-й степени, безразмерный
$a$: центр ряда, то же, что и x
$x$: переменная, по которой строится ряд, человеческая переменная
$n$: номер члена ряда, натуральное число

Условия применения

Последовательность коэффициентов {a_n} задана для всех n≥0.
Задано значение центра a и исследуемое значение переменной x.
Рассматриваемые переменные принадлежат числовому полю задачи (обычно R или C).

Ограничения

Нельзя утверждать сходимость для всех x без проверки радиуса и условий концов отрезка.
Если ряд расходится, запись не определяет функцию через сумму на этих x.
Поведение при больших |x-a| нужно анализировать отдельно через критерии сходимости.

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

Степенной ряд является бесконечным многочленом с базовым блоком (x-a)^n и переменным коэффициентом a_n. В отличие от обычного многочлена сумма всех слагаемых не берется автоматически: сначала определяют, где ряд сходится, а потом уже используют формулу как точную запись функции или её приближения. Если ряд сходится в некоторой точке x, то формально значение определяется как предел частичных сумм \sum_{n=0}^N a_n (x-a)^n при N→∞. При |x-a| малом члены с ростом n быстро уменьшаются и первые несколько уже дают хорошее приближение, поэтому степенные ряды удобны в вычислениях и оценках.

Как пользоваться формулой

Запишите общий вид ряда и выделите центр a и коэффициенты a_n.
Определите область x, где ряд может сходиться: сначала найдите радиус и затем проверьте концы.
Для численного приближения используйте частичные суммы S_N и оцените вклад хвоста по правилу сходимости.
Проверьте, что после аппроксимации остаётся управляемая погрешность и зафиксируйте её в задаче.

Историческая справка

Обобщение идеи приближения через бесконечные многочлены формировалось постепенно вместе с развитием анализа в XVIII–XIX веках. Результат стал особенно важным при переходе от интуитивной геометрии к строгому анализу бесконечных процессов: вместо «чертить график и гадать» появилась конструктивная схема задания функции рядом. В работах Ньютона и Лейбница уже были зачатки локальной полиномиальной идеи, но именно строгая школа XIX века (Коши, Вейерштрасс и др.) дала общую рамку для сходимости и корректности операций с бесконечными суммами.

Историческая линия формулы

Атрибуция этой формулировки коллективная: она выросла в общей культуре анализа на стыке дифференциального и бесконечного процесса. Нет единственного «изобретателя» в современном смысле, как и у ряда большинства базовых технических приёмов матанализа; это результат накопления обозначений и критериев сходимости.

Пример

Ряд \sum_{n=0}^{\infty} x^n при |x|<1 — это геометрический ряд с частичной суммой S_N=(1-x^{N+1})/(1-x), которая при N→∞ даёт 1/(1-x). Здесь формула "общего вида" позволяет вывести известную формулу дроби из частного случая степенного ряда. Этот пример показывает переход от ряда к компактной функциональной модели. Практический смысл: для x=0.2 достаточно первых двух-трёх членов, т.к. остаток меньше x^3=0.008. Для сложных задач это даёт быстрое вычисление значений через конечную сумму. Равенство \sum_{n=0}^{\infty} a_n (x-a)^n помогает также строить аппроксимации решения дифференциальных уравнений и упрощать локальные оценки, где точное выражение сложно интегрировать или производить напрямую.

Частая ошибка

Частая ошибка — использовать формулу без проверки области x, в которой ряд сходится, и считать, что степенной ряд дает значение для любого x. Вторая ошибка — перепутать индекс и взять S_2 по n=1..2 вместо n=0..2, если общий ряд стартует с n=0. Ещё обычно путают центр a и точку x: выражение (x-a)^n — не (x)^n, если ряд именно вокруг точки a. Наконец, бывает ошибка в знаках при переменной сдвига, что даёт систематически неверные члены и ломает и приближение, и все дальнейшие производные/интегралы.

Практика

Задачи с решением

Частичная сумма для геометрического набора

Условие. a_n = 1, a = 0, x = 2/3. Найти S_4(x) = \sum_{n=0}^4 a_n(x-a)^n.

Решение. S_4(x)=1+x+x^2+x^3+x^4=1+\frac{2}{3}+\frac{4}{9}+\frac{8}{27}+\frac{16}{81}=\frac{121}{81}.

Ответ. 121/81

Частичная сумма с меняющимися коэффициентами

Условие. a_n = 1/n!, a = 1, x = 2. Найти S_2(x) = \sum_{n=0}^2 a_n(x-a)^n.

Решение. S_2 = 1 + (x-a) + \frac{(x-a)^2}{2!} = 1 + 1 + \frac{1}{2} = 1.5.

Ответ. 3/2

Дополнительные источники

Apostol, Calculus, Vol. 1
Rudin, Principles of Mathematical Analysis

Связанные формулы

Математика

Радиус сходимости степенного ряда

$R=\frac{1}{\limsup_{n\to\infty}\sqrt[n]{|a_n|}},\quad (1/\limsup=\infty\text{ если }\limsup=0),\quad (1/\infty=0)$

Радиус сходимости R определяет главный «каркас» степенного ряда: внутри интервала (a−R,a+R) ряд сходится, вне его расходится. В этом месте удобно разделять задачу на два этапа: сначала анализировать общий коэффициентный шаблон через limsup (или эквивалентный признак отношения), затем отдельно проверять концы. Такой подход резко снижает риск пропуска тонких случаев.

Математика

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

$I=(a-R,a+R),\quad a\pm R\text{ — проверяются отдельно }$

После нахождения радиуса сходимости остаётся завершить задачу, исследовав сам интервал. Внутри I ряд гарантированно сходится, вне I расходится, а на концах R-круговой границы возможны любые варианты: сходящийся, расходящийся или условно сходящийся. Поэтому интервал сходимости всегда строится в два шага: «внутри/снаружи» по R и «границы» по отдельным критериям.

Математика

Формула Тейлора с остаточным членом

$f(x)=\sum_{k=0}^{n}\frac{f^{(k)}(a)}{k!}(x-a)^k+R_n(x),\quad R_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}$

Формула Тейлора описывает функцию через начальные производные в точке a и остаточный член, который контролирует точность обрезки. В задачах это даёт не только аппроксимацию, но и механизм проверки погрешности через ξ между a и x. Такой подход делает разложение вычислительно безопасным.