Знакопеременные ряды 🔀

Представь, что ты идёшь по числовой прямой: шаг вперёд, шаг чуть короче назад, ещё короче вперёд, ещё короче назад — и так до бесконечности. Интуитивно кажется, что такое «шатание» должно куда-то в итоге привести, но куда именно, и обязательно ли оно вообще куда-то приводит? В прошлом уроке ты разбирал признаки сходимости для рядов с положительными членами: сравнение, Даламбер, Коши, интегральный признак — все они работают с рядами, которые только растут, слагаемое за слагаемым, никогда не отступая назад. Но что делать с рядом, где знаки чередуются, где каждое следующее слагаемое тянет частичную сумму в противоположную сторону?

Давай разберёмся: оказывается, чередование знаков — это не помеха сходимости, а мощный сходящий фактор. Ряд $\sum_{n=1}^\infty (-1)^{n+1}/n = 1-\frac12+\frac13-\frac14+\dots$ сходится, хотя ряд из его модулей $\sum 1/n$ — тот самый гармонический ряд — расходится. Достаточно, чтобы модули слагаемых монотонно убывали к нулю, и знакопеременность сама берёт на себя всю работу по сходимости. Это открытие принадлежит Лейбницу, и признак, который ты сегодня разберёшь, назван в его честь.

Но у знакопеременных рядов есть и тёмная сторона, которая переворачивает интуицию о сложении с ног на голову. Оказывается, для некоторых сходящихся рядов сумма зависит от порядка, в котором складываются слагаемые. Переставь члены — и сумма ряда, которая раньше равнялась $0{,}693$, станет равна $1$, или $100$, или минус бесконечности, или вообще перестанет существовать. Это не фокус и не ошибка в вычислениях — это строгая теорема, которую в XIX веке доказал Бернхард Риман, и в этом уроке ты увидишь, почему она вообще возможна и где проходит граница между «безопасными» и «опасными» рядами.

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

История: откуда это взялось?

Готфрид Вильгельм Лейбниц, один из создателей математического анализа, в 1670-х годах, работая над вычислением числа $\pi$ через бесконечные ряды, вывел формулу $\pi/4 = 1-\frac13+\frac15-\frac17+\dots$. Ряд поразительно прост и поразительно медленно сходится — но сам факт его сходимости требовал объяснения: слагаемые не убывают «достаточно быстро» в смысле признака сравнения с геометрической прогрессией, а интегральный признак не даёт ответа тем же способом, каким он работает для рядов с положительными членами. Лейбниц заметил простой достаточный признак: если модули слагаемых монотонно убывают к нулю, чередование знаков само гарантирует сходимость ряда.

Почти два столетия ряд Лейбница считали безобидным частным случаем — пока в 1850-х годах Бернхард Риман не обнаружил нечто тревожное. Он заметил, что рассуждения о рядах молчаливо использовали свойство «сумму можно складывать в любом порядке» — свойство, очевидное для конечных сумм (переставляй слагаемые как угодно, результат не изменится), но для бесконечных рядов работающее далеко не всегда. Риман строго доказал: если ряд сходится условно — то есть сам ряд сходится, а ряд из модулей его членов расходится, — то, переставляя члены этого ряда, можно получить сумму, равную абсолютно любому наперёд заданному числу.

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

Знакочередующиеся ряды и признак Лейбница

Интуиция: прыжки по числовой прямой с уменьшающейся амплитудой

Рядом называется знакочередующимся, если его члены строго чередуют знак: $\sum_{n=1}^\infty (-1)^{n+1}a_n = a_1-a_2+a_3-a_4+\dots$, где все $a_n>0$. Представь, что ты прыгаешь по числовой прямой, начиная от нуля: прыжок на $a_1$ вправо, затем на $a_2$ влево, затем на $a_3$ вправо, и так далее — причём длина каждого следующего прыжка не больше длины предыдущего. Куда ты в итоге попадёшь?

Давай разберёмся аккуратно, глядя на частичные суммы. Обозначим $S_n=a_1-a_2+\dots\pm a_n$. Тогда

Поскольку $a_{2n-1}\ge a_{2n}$ (модули монотонно не возрастают), каждое такое слагаемое неотрицательно — значит последовательность чётных частичных сумм $S_2\le S_4\le S_6\le\dots$ монотонно не убывает. Аналогично

и, поскольку $a_{2n}\ge a_{2n+1}$, последовательность нечётных частичных сумм $S_1\ge S_3\ge S_5\ge\dots$ монотонно не возрастает. При этом $S_{2n}=S_{2n+1}-a_{2n+1}\le S_{2n+1}$ — то есть каждая чётная сумма не превосходит соответствующую нечётную. Собирая всё вместе, получаем цепочку вложенных отрезков

Длина отрезка $[S_{2n},S_{2n+1}]$ равна $a_{2n+1}\to0$. По теореме о вложенных отрезках обе подпоследовательности — чётная и нечётная — сходятся к одному и тому же числу $S$, а значит и вся последовательность частичных сумм $S_n\to S$: ряд сходится.

Признак (Лейбница). Пусть дан знакочередующийся ряд $\sum_{n=1}^\infty(-1)^{n+1}a_n$, где $a_n>0$. Если последовательность $a_n$ монотонно не возрастает ($a_{n+1}\le a_n$ для всех $n$, начиная с некоторого номера) и $\lim_{n\to\infty}a_n=0$, то ряд сходится, причём его сумма $S$ заключена между любыми двумя соседними частичными суммами.

Разбор примеров

Пример 1 (лёгкий). Исследовать сходимость ряда $\sum_{n=1}^\infty(-1)^{n+1}/n$.

Здесь $a_n=1/n$. Последовательность монотонно убывает ($1/(n+1)<1/n$ для всех $n$), и $\lim_{n\to\infty}1/n=0$. Оба условия признака Лейбница выполнены.

Ответ: ряд сходится (хотя ряд из модулей $\sum 1/n$ — гармонический — расходится; к этому контрасту мы ещё вернёмся).

Пример 2 (средний). Исследовать сходимость $\sum_{n=1}^\infty(-1)^n\dfrac{n}{n^2+1}$.

Рассмотрим функцию $f(x)=\dfrac{x}{x^2+1}$. Её производная $f'(x)=\dfrac{(x^2+1)-x\cdot2x}{(x^2+1)^2}=\dfrac{1-x^2}{(x^2+1)^2}$. При $x\ge1$ числитель $1-x^2\le0$, значит $f'(x)\le0$ и функция не возрастает начиная с $x=1$. Значит $a_n=n/(n^2+1)$ монотонно не возрастает при $n\ge1$. При этом $\lim_{n\to\infty}\dfrac{n}{n^2+1}=0$.

Ответ: оба условия выполнены, ряд сходится по признаку Лейбница.

Пример 3 (сложный). Исследовать сходимость $\sum_{n=1}^\infty(-1)^{n+1}\dfrac{n}{2^n}$.

Рассмотрим $f(x)=x\cdot2^{-x}$. Тогда $f'(x)=2^{-x}-x\cdot2^{-x}\ln2=2^{-x}(1-x\ln2)$. Поскольку $\ln2\approx0{,}693$, корень уравнения $1-x\ln2=0$ находится в точке $x=1/\ln2\approx1{,}443$: при $x>1{,}443$ функция убывает. Проверим первые члены напрямую: $a_1=1/2=0{,}5$, $a_2=2/4=0{,}5$ (равны), $a_3=3/8=0{,}375

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

Почему это важно

Признак Лейбница — это первый инструмент, который работает именно благодаря чередованию знаков, а не вопреки ему. Часто бывает так, что ряд из модулей исходного ряда не поддаётся быстрому анализу через сравнение, Даламбера или интегральный признак, а знакочередующаяся структура сразу же даёт готовый ответ о сходимости. Но признак Лейбница даёт больше, чем просто факт «ряд сходится» — он даёт точную вилку значений, зажимающую сумму ряда. Именно на этом и строится следующий, практически важный результат — оценка остатка.

Оценка остатка ряда через признак Лейбница

Интуиция: ошибка приближения не больше, чем следующий шаг

Давай разберёмся, что происходит с остатком ряда — разностью между истинной суммой $S$ и частичной суммой $S_n$, взятой из первых $n$ слагаемых. Обозначим $R_n=S-S_n$. Заметь, что

Это тоже знакочередующийся ряд — только он начинается не с $a_1$, а с $a_{n+1}$ — и он удовлетворяет тем же самым условиям признака Лейбница (та же монотонная убывающая к нулю последовательность модулей, только сдвинутая на $n$ позиций). Значит, по той же самой логике вложенных отрезков, сам остаток зажат между нулём и своим первым слагаемым:

Представь, что ты вычисляешь сумму бесконечного ряда прыжками, как в предыдущем разделе, но останавливаешься после $n$-го прыжка. Ты не долетел до истинной точки $S$, но и не мог улететь дальше, чем на длину следующего, ещё не сделанного прыжка — потому что вся оставшаяся «дорога» зажата между текущей позицией и позицией после следующего прыжка.

Теорема (оценка остатка для ряда Лейбница). Если знакочередующийся ряд $\sum_{n=1}^\infty(-1)^{n+1}a_n$ удовлетворяет условиям признака Лейбница, то для остатка $R_n=S-S_n$ выполняется

$$|R_n|\le a_{n+1}$$

то есть погрешность приближения суммы ряда частичной суммой из $n$ слагаемых не превышает модуля первого отброшенного, $(n+1)$-го, слагаемого. Знак остатка при этом совпадает со знаком первого отброшенного члена.

Разбор примеров

Пример 1 (лёгкий). Оценить погрешность приближения суммы ряда $\sum_{n=1}^\infty(-1)^{n+1}/n^2$ частичной суммой $S_5$.

По теореме об оценке остатка $|R_5|\le a_6=1/6^2=1/36\approx0{,}0278$.

Ответ: погрешность не превышает $\dfrac1{36}\approx0{,}0278$.

Пример 2 (средний). Сколько членов ряда $\sum_{n=1}^\infty(-1)^{n+1}/n!$ нужно взять, чтобы вычислить его сумму с точностью до $10^{-3}$?

Нужно найти наименьшее $n$, при котором $a_{n+1}=1/(n+1)!<10^{-3}$. Проверяем: $1/6!=1/720\approx0{,}00139>0{,}001$, а $1/7!=1/5040\approx0{,}000198<0{,}001$. Значит нужный остаток гарантирован при $n=6$ (первый отброшенный член — седьмой, $a_7\approx0{,}000198$).

Ответ: достаточно взять $6$ членов ряда.

Пример 3 (сложный). Вычислить $\ln1{,}5$ приближённо через ряд $\ln(1+x)=\sum_{n=1}^\infty(-1)^{n+1}\dfrac{x^n}{n}$ при $x=0{,}5$ с гарантированной точностью $10^{-4}$: сколько членов взять и чему равно приближённое значение?

Здесь $a_n=0{,}5^n/n$. Ищем наименьшее $n$, при котором $a_{n+1}=0{,}5^{n+1}/(n+1)<10^{-4}$. Проверка: $a_9=0{,}5^9/9\approx0{,}000217>0{,}0001$, а $a_{10}=0{,}5^{10}/10\approx0{,}0000977<0{,}0001$. Значит нужно взять $n=9$ членов.

Вычисляем $S_9$ слагаемое за слагаемым:

Ответ: $S_9\approx0{,}405532$, тогда как точное значение $\ln1{,}5\approx0{,}405465$ — разница составляет примерно $0{,}000067$, что действительно меньше требуемой точности $10^{-4}$, полностью согласуясь с оценкой $|R_9|\le a_{10}\approx0{,}0000977$.

Почему это важно

Это, пожалуй, самая практически ценная часть всего урока. Оценка остатка Лейбница даёт готовый рецепт «сколько слагаемых взять для нужной точности» — реши неравенство $a_{n+1}<\varepsilon$ относительно $n$, и всё. Это принципиально проще, чем оценка остатка ряда Тейлора через формулу Лагранжа, которая требует контроля производных высокого порядка на всём промежутке. Именно поэтому знакочередующиеся ряды — такой удобный инструмент в численных методах: при реализации элементарных функций в библиотеках, при приближённом вычислении интегралов и специальных функций, при контроле сходимости итеративных процессов, где ошибка на шаге $n$ оценивается похожим образом.

Абсолютная и условная сходимость

Интуиция: сходимость «по сути» и сходимость «на честном слове»

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

Ряд $\sum_{n=1}^\infty a_n$ называется абсолютно сходящимся, если сходится ряд из модулей его членов $\sum_{n=1}^\infty|a_n|$. Если же сам ряд $\sum a_n$ сходится, а ряд $\sum|a_n|$ расходится, ряд называется условно сходящимся.

Абсолютная сходимость — более сильное свойство. Доказать это несложно через критерий Коши: для любого $\varepsilon>0$ найдётся номер $N$, такой что для всех $m>n\ge N$ выполняется $|a_{n+1}|+\dots+|a_m|<\varepsilon$ (поскольку $\sum|a_n|$ сходится). Но тогда по неравенству треугольника

а значит критерий Коши выполнен и для самого ряда $\sum a_n$ — он тоже сходится.

Теорема. Если $\sum_{n=1}^\infty|a_n|$ сходится, то и $\sum_{n=1}^\infty a_n$ сходится, причём $\left|\sum_{n=1}^\infty a_n\right|\le\sum_{n=1}^\infty|a_n|$. Обратное неверно: существуют условно сходящиеся ряды, для которых ряд из модулей расходится.

Разбор примеров

Пример 1 (лёгкий). Определить тип сходимости ряда $\sum_{n=1}^\infty(-1)^n/n^2$.

Ряд из модулей $\sum 1/n^2$ — это эталонный степенной ряд с показателем $p=2>1$, он сходится.

Ответ: ряд сходится абсолютно.

Пример 2 (средний). Определить тип сходимости ряда $\sum_{n=1}^\infty(-1)^{n+1}/n$.

По признаку Лейбница (см. первый раздел) сам ряд сходится. Ряд из модулей $\sum 1/n$ — гармонический, он расходится (это доказано в прошлом уроке через интегральный признак или через группировку слагаемых по степеням двойки).

Ответ: ряд сходится условно.

Пример 3 (сложный). Определить тип сходимости $\sum_{n=2}^\infty(-1)^n\dfrac{\ln n}{n}$.

Проверим признак Лейбница. Рассмотрим $f(x)=\ln x/x$, тогда $f'(x)=\dfrac{1-\ln x}{x^2}$. При $x>e\approx2{,}718$ (то есть начиная с $n=3$) $f'(x)<0$, функция убывает. При этом $\lim_{n\to\infty}\ln n/n=0$ (логарифм растёт медленнее любой положительной степени $n$). Значит сам ряд сходится по Лейбницу.

Теперь ряд из модулей: $\sum_{n=2}^\infty \ln n/n$. При $n\ge3$ выполняется $\ln n\ge1$, значит $\ln n/n\ge1/n$. Поскольку гармонический ряд $\sum1/n$ расходится, по признаку сравнения расходится и $\sum\ln n/n$.

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

Почему это важно

Абсолютная сходимость — это «безопасный» тип: с абсолютно сходящимся рядом можно работать почти как с конечной суммой — переставлять члены, группировать их, перемножать ряды друг с другом. Условная сходимость — «хрупкий» тип: любая из этих операций рискует всё сломать. Это прямая подготовка к следующему, самому неожиданному разделу урока.

Парадокс Римана: перестановка членов ряда

Интуиция: баланс на грани

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

Возьмём условно сходящийся ряд $\sum a_n$ и разделим его члены на положительные и отрицательные, обозначив их суммы (по отдельности) $\sum p_n$ (сумма положительных членов) и $\sum q_n$ (сумма модулей отрицательных членов). Оказывается, оба этих ряда обязательно расходятся — $\sum p_n\to+\infty$, а $\sum q_n\to+\infty$. Действительно: если бы оба сходились, то ряд из модулей $\sum|a_n|=\sum p_n+\sum q_n$ тоже сходился бы (сумма двух сходящихся рядов), что противоречит условной сходимости. А если бы сходился только один из них, то $\sum a_n$ (как разность или сумма частично сходящегося и расходящегося ряда) тоже расходился бы — что противоречит исходному условию, что сам ряд сходится.

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

Теорема (Дирихле, о перестановке абсолютно сходящегося ряда). Если ряд $\sum a_n$ сходится абсолютно, то для любой перестановки $\sigma$ его членов ряд $\sum a_{\sigma(n)}$ тоже сходится абсолютно, и его сумма равна сумме исходного ряда.

Теорема (Римана, о перестановке условно сходящегося ряда). Если ряд $\sum a_n$ сходится условно, то для любого числа $S\in\mathbb R$ (а также для $S=+\infty$ и $S=-\infty$) существует такая перестановка членов ряда, что переставленный ряд сходится именно к $S$. Более того, существует перестановка, при которой ряд вообще не имеет суммы — частичные суммы колеблются, не стремясь ни к какому пределу.

Разбор примеров

Пример 1 (лёгкий). Ряд $\sum_{n=1}^\infty(-1)^n/2^n$ сходится абсолютно. Найти его сумму и убедиться, что перестановка первых нескольких членов её не меняет.

Это геометрическая прогрессия с первым членом $a=-1/2$ и знаменателем $q=-1/2$:

Переставим первые четыре члена (были: $-\frac12,\frac14,-\frac18,\frac1{16}$, стало: $\frac14,-\frac12,\frac1{16},-\frac18$) — сумма этих четырёх чисел та же самая, что и в исходном порядке, просто в силу коммутативности конечной суммы, а хвост ряда (с пятого члена) вообще не тронут.

Ответ: сумма остаётся $-\dfrac13$ — перестановка конечного числа членов абсолютно сходящегося ряда (и, как утверждает теорема Дирихле, вообще любая перестановка) не меняет сумму.

Пример 2 (средний). Качественно описать стратегию, с помощью которой члены условно сходящегося ряда $\sum(-1)^{n+1}/n=\ln2$ можно переставить так, чтобы получить сумму, равную $2$.

Ряд положительных членов $1+\frac13+\frac15+\dots$ расходится к $+\infty$, ряд модулей отрицательных членов $\frac12+\frac14+\dots$ тоже расходится к $+\infty$. Строим перестановку по алгоритму: берём подряд положительные члены $1,\frac13,\frac15,\dots$, пока частичная сумма не превысит $2$; затем добавляем один отрицательный член $-\frac12$; затем снова добавляем положительные члены, пока сумма опять не превысит $2$; затем добавляем следующий отрицательный член $-\frac14$, и так далее.

Ответ: поскольку и положительный, и отрицательный «хвосты» ряда стремятся к нулю, величина «перелёта» через отметку $2$ на каждом шаге становится всё меньше, и частичные суммы построенной перестановки сходятся именно к $2$ — что и утверждает теорема Римана.

Пример 3 (сложный). Переставить ряд $\ln2=1-\frac12+\frac13-\frac14+\dots$ по паттерну «два положительных члена, один отрицательный»: $1+\frac13-\frac12+\frac15+\frac17-\frac14+\dots$. Найти сумму такой перестановки.

Воспользуемся асимптотикой частичных сумм гармонического ряда $H_n=\sum_{k=1}^n1/k=\ln n+\gamma+o(1)$, где $\gamma\approx0{,}5772$ — постоянная Эйлера-Маскерони. После $k$ «троек» переставленный ряд включает первые $2k$ нечётных обратных чисел (сумма $O_{2k}$) со знаком плюс и первые $k$ чётных обратных чисел (сумма $E_k$) со знаком минус, то есть $S_{3k}=O_{2k}-E_k$.

Заметим, что $O_m+E_m=H_{2m}$ (все обратные от $1$ до $2m$ разбиты на нечётные и чётные), а $E_m=\frac12H_m$ (поскольку $\sum_{i=1}^m\frac1{2i}=\frac12\sum_{i=1}^m\frac1i$). Значит $O_{2k}=H_{4k}-E_{2k}=H_{4k}-\frac12H_{2k}$, и

Подставляем $H_n\approx\ln n+\gamma$ (слагаемые с $\gamma$ взаимно уничтожатся, так как коэффициент при $\gamma$ равен $1-\frac12-\frac12=0$):

Ответ: при $k\to\infty$ сумма переставленного ряда стремится к $\dfrac32\ln2\approx1{,}0397$ — на $50\%$ больше исходной суммы $\ln2\approx0{,}6931$, хотя переставлены ровно те же самые слагаемые, ни одно из них не изменилось и не потерялось.

Почему это важно

Здесь прямая связь с вычислительной практикой. Числа с плавающей точкой на компьютере хранятся с конечной точностью, и каждая операция сложения вносит небольшую ошибку округления. Сложение чисел с плавающей точкой не ассоциативно: $(a+b)+c$ в общем случае не равно $a+(b+c)$ из-за округления на промежуточных шагах. Парадокс Римана — это «идеальный», предельный случай той же самой идеи: если для бесконечного условно сходящегося ряда порядок операций может изменить результат сколь угодно сильно, то неудивительно, что для конечной, но очень длинной суммы разномасштабных чисел на компьютере порядок суммирования тоже даёт ощутимо разные числовые результаты.

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

Практика: 30 заданий

Базовые задания (1–10)

Задание 1: Исследовать сходимость ряда $\sum_{n=1}^\infty(-1)^{n+1}/n$ по признаку Лейбница.

Задание 2: Исследовать сходимость $\sum_{n=1}^\infty(-1)^{n+1}/n^2$.

Задание 3: Исследовать сходимость $\sum_{n=1}^\infty(-1)^n\dfrac{n}{n+1}$.

Задание 4: Оценить погрешность приближения суммы ряда $\sum_{n=1}^\infty(-1)^{n+1}/n!$ частичной суммой $S_4$.

Задание 5: Исследовать сходимость $\sum_{n=1}^\infty(-1)^{n+1}\dfrac{n}{2^n}$.

Задание 6: Определить тип сходимости $\sum_{n=1}^\infty(-1)^n/\sqrt n$.

Задание 7: Определить тип сходимости $\sum_{n=1}^\infty(-1)^n/n^2$.

Задание 8: Исследовать сходимость и тип сходимости $\sum_{n=2}^\infty(-1)^n/\ln n$.

Задание 9: Найти сумму ряда $\sum_{n=0}^\infty(-1)^n(1/3)^n$ и определить тип его сходимости.

Задание 10: Исследовать сходимость $\sum_{n=1}^\infty(-1)^n\dfrac{2n+1}{3n+2}$.

Средние задания (11–20)

Задание 11: Оценить, сколько членов ряда Лейбница $\pi/4=\sum_{n=0}^\infty(-1)^n/(2n+1)$ нужно взять для вычисления $\pi/4$ с точностью $10^{-4}$.

Задание 12: Доказать, что ряд $\sum_{n=1}^\infty(-1)^{n+1}/n$ сходится условно.

Задание 13: Исследовать $\sum_{n=3}^\infty(-1)^n\dfrac{\ln n}{n}$ на абсолютную и условную сходимость.

Задание 14: Вычислить $\ln2$ приближённо с точностью $10^{-2}$ через ряд $\sum_{n=1}^\infty(-1)^{n+1}/n$, указав необходимое число членов.

Задание 15: Показать, что при перестановке первых трёх членов абсолютно сходящегося ряда $\sum_{n=1}^\infty(-1)^{n+1}/2^n$ его сумма не меняется.

Задание 16: Исследовать сходимость $\sum_{n=1}^\infty(-1)^n\left(1+\dfrac1n\right)^n$.

Задание 17: Исследовать абсолютную сходимость $\sum_{n=1}^\infty(-1)^n\dfrac{n^2}{3^n}$ через признак Даламбера.

Задание 18: Построить пример знакочередующегося ряда, где $a_n\to0$, но $a_n$ не монотонна, и ряд расходится.

Задание 19: При хранении чисел с точностью до $4$ значащих цифр даны $a=1000$, $b=0{,}4$, $c=-999{,}7$. Сравнить результаты $(a+b)+c$ и $a+(b+c)$.

Задание 20: Найти минимальное $n$, при котором частичная сумма $S_n$ ряда $\sum_{n=1}^\infty(-1)^{n+1}/n^3$ отличается от точной суммы не более чем на $10^{-6}$.

Продвинутые задания (21–30)

Задание 21: Описать алгоритм построения перестановки условно сходящегося ряда $\sum_{n=1}^\infty(-1)^{n+1}/n=\ln2$, дающей сумму, равную произвольному наперёд заданному числу $S$, и объяснить, почему такая перестановка гарантированно сходится к $S$.

Задание 22: Переставить ряд $\ln2=1-\frac12+\frac13-\frac14+\dots$ по паттерну «один положительный член, два отрицательных»: $1-\frac12-\frac14+\frac13-\frac16-\frac18+\dots$. Найти сумму такой перестановки.

Задание 23: Ряд $\sum_{n=1}^\infty(-1)^{n+1}/n^2=\pi^2/12\approx0{,}822467$ сходится абсолютно. Переставить его первые пять членов в порядке $3,1,5,2,4$ и убедиться, что сумма этой пятёрки не изменилась.

Задание 24: Объяснить, почему при суммировании ряда $\sum_{n=1}^{1000}(-1)^{n+1}/n$ на компьютере в арифметике с плавающей точкой порядок суммирования (от $n=1$ до $n=1000$ или в обратную сторону) влияет на накопленную ошибку округления.

Задание 25: Исследовать сходимость и тип сходимости $\sum_{n=1}^\infty(-1)^n(\sqrt{n+1}-\sqrt n)$.

Задание 26: При каких значениях параметра $p$ ряд $\sum_{n=1}^\infty(-1)^n/n^p$ сходится абсолютно, сходится условно, расходится?

Задание 27: Оценить погрешность приближённого вычисления $\cos(0{,}5)$ тремя членами ряда Тейлора $\cos x=\sum_{n=0}^\infty(-1)^n\dfrac{x^{2n}}{(2n)!}$ (членами с $n=0,1,2$).

Задание 28: Доказать, что если ряд $\sum a_n$ сходится абсолютно, то ряд $\sum a_n^2$ тоже сходится.

Задание 29: Ряд $\sum_{n=1}^\infty(-1)^{n+1}=1-1+1-1+\dots$ расходится. Показать, что расстановка скобок по-разному даёт разные "суммы", и объяснить, почему это не противоречит теореме о единственности суммы сходящегося ряда.

Задание 30: В распределённом обучении нейросети градиенты, вычисленные на $8$ вычислительных узлах, суммируются: $g=\sum_{k=1}^8 g_k$, каждое значение хранится в $32$-битном формате с плавающей точкой ограниченной точности. Объяснить, почему результат редукции почти не зависит от порядка суммирования, если все $g_k$ одного знака и порядка величины, но может заметно зависеть от порядка, если среди $g_k$ есть числа сильно разных порядков или знаков.

Частые ошибки

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

• Путать необходимое условие сходимости ($a_n\to0$) с достаточным условием признака Лейбница. Стремления модулей к нулю недостаточно — нужна ещё и монотонность их убывания. Задание 18 этого урока прямо строит контрпример: последовательность $a_n\to0$, но без монотонности, и ряд расходится.

• Считать, что если ряд из модулей расходится, то и сам ряд расходится. Это неверно — именно это несовпадение и называется условной сходимостью: сам ряд сходится, а ряд из модулей расходится.

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

• Считать, что можно переставлять члены любого сходящегося ряда без изменения суммы. Это верно только для абсолютно сходящихся рядов (теорема Дирихле). Для условно сходящихся рядов теорема Римана гарантирует прямо противоположное — перестановкой можно получить любую сумму.

• Забывать, что признак Лейбница требует строгого чередования знаков. Признак сформулирован именно для рядов вида $a_1-a_2+a_3-a_4+\dots$ — для более сложных, нерегулярных знаковых паттернов нужны другие инструменты, например признаки Дирихле или Абеля.

• Путать оценку остатка с точным значением остатка. Неравенство $|R_n|\le a_{n+1}$ — это оценка сверху, а не точное равенство. Реальная погрешность обычно заметно меньше этой границы (как видно из разобранных примеров), но гарантированно не превышает её.

Главное запомнить

• Знакочередующийся ряд имеет вид $\sum_{n=1}^\infty(-1)^{n+1}a_n$, где все $a_n>0$.

• Признак Лейбница: если $a_n$ монотонно не возрастает и $a_n\to0$, то ряд сходится.

• Оценка остатка: $|R_n|\le a_{n+1}$ — погрешность приближения суммы частичной суммой из $n$ слагаемых не превышает модуля первого отброшенного члена.

• Абсолютная сходимость (сходится $\sum|a_n|$) — более сильное свойство, чем просто сходимость, и она влечёт обычную сходимость ряда.

• Условная сходимость — это когда сам ряд сходится, а ряд из его модулей расходится; классический пример — $\sum(-1)^{n+1}/n=\ln2$.

• Теорема Дирихле: перестановка членов абсолютно сходящегося ряда не меняет его сумму, при любой перестановке, включая бесконечную.

• Теорема Римана: перестановкой членов условно сходящегося ряда можно получить абсолютно любую наперёд заданную сумму, включая $\pm\infty$ или полное отсутствие суммы.

• Признак Лейбница требует одновременно и монотонности, и стремления к нулю — оба условия существенны и ни одно нельзя пропускать.

• Неассоциативность сложения чисел с плавающей точкой на компьютере — это конечномерный аналог того же самого явления, что демонстрирует парадокс Римана для бесконечных рядов.

• Практическая ценность оценки остатка Лейбница — это готовый рецепт "сколько слагаемых взять для заданной точности" без анализа производных высокого порядка.

Связь с другими темами курса

Этот урок напрямую опирается на признаки сходимости рядов с положительными членами из прошлого урока: чтобы определить тип сходимости знакопеременного ряда (абсолютная или условная), ты применяешь ровно те же самые инструменты — сравнение, Даламбер, Коши, интегральный признак — но уже к ряду из модулей. Без этого арсенала невозможно было бы отличить абсолютную сходимость от условной.

Оценка остатка через признак Лейбница напрямую готовит тебя к следующей большой теме курса — степенным рядам, где вопрос о сходимости на границе интервала сходимости (в самих концевых точках) очень часто сводится именно к проверке знакопеременного ряда по признаку Лейбница. Та же самая оценка остатка станет одним из инструментов контроля точности при приближении функций отрезками их рядов Тейлора.

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

Интересные факты

• Для условно сходящегося ряда $\ln2=1-\frac12+\frac13-\frac14+\dots$ существует перестановка членов, дающая сумму, равную числу $\pi$ — это прямое следствие теоремы Римана, и конкретный алгоритм её построения ничем принципиально не отличается от того, что разобран в задании 21 этого урока, просто цель $S$ берётся равной $\pi\approx3{,}14159$ вместо $2$.

• Классический ряд Лейбница для числа $\pi$ сходится настолько медленно, что для получения всего четырёх верных знаков после запятой требуется около $5000$ членов (это подтверждено расчётом в задании 11). Именно поэтому для реального вычисления знаков $\pi$ математики придумали куда более эффективные формулы — например, формулу Мачина, сходящуюся на порядки быстрее.

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

• Есть альтернативные, более гибкие определения "суммы" расходящегося ряда — например, суммирование Чезаро, при котором ряду $1-1+1-1+\dots$ (см. задание 29) приписывается значение $1/2$ как предел среднего арифметического частичных сумм. Эти методы регуляризации широко используются в физике (например, в теории струн и квантовой теории поля) и показывают, что понятие "суммы" бесконечного ряда куда богаче и тоньше, чем просто предел частичных сумм в классическом смысле.

Лайфхаки и полезные трюки

• Перед применением признака Лейбница всегда проверяй оба условия по отдельности и явно — монотонность и стремление к нулю. Не полагайся на "на глаз похоже, что убывает": для проверки монотонности удобнее всего рассмотреть соответствующую непрерывную функцию $f(x)$ и посмотреть знак её производной.

• Если условия признака Лейбница выполняются не с первого члена, а только начиная с некоторого номера $N$, не переживай — просто отбрось первые $N-1$ членов (конечная сумма не влияет на сходимость) и применяй признак к оставшемуся хвосту ряда.

• Чтобы быстро определить тип сходимости (абсолютная или условная), сначала проверь ряд из модулей известными признаками из прошлого урока — если он сходится, дальше про знаки можно вообще не думать: ряд сходится абсолютно.

• Оценка остатка Лейбница — твой инструмент номер один для вопроса "сколько членов взять для заданной точности": просто реши неравенство $a_{n+1}<\varepsilon$ относительно $n$, и готовый ответ у тебя в руках.

• Если видишь задачу на перестановку членов ряда, первым делом определи тип сходимости. Для абсолютной сходимости результат гарантированно не изменится при любой перестановке. Для условной сходимости результат может стать абсолютно любым — будь готов строить явную стратегию (как в задании 21), а не гадать.

• При работе с суммами чисел разного порядка величины на компьютере (в коде, а не только на бумаге) старайся складывать их от меньших по модулю к большим или использовать компенсирующие алгоритмы суммирования — это прямое практическое следствие сегодняшнего урока про неассоциативность сложения при ограниченной точности.

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