Числовые ряды 🧮

С этого урока начинается одна из самых красивых и самых обманчивых тем математического анализа. До сих пор ты складывал конечное число слагаемых: три числа, десять чисел, миллион чисел — неважно, сколько именно, но всегда конечное. Сегодня мы делаем шаг, который кажется почти незаконным: попробуем придать точный смысл фразе «сложить бесконечно много чисел». Не приближённо, не «условно», а строго — так, чтобы результат был таким же точным математическим объектом, как обычная сумма пяти слагаемых.

На первый взгляд идея выглядит подозрительно. Если у тебя бесконечно много ненулевых слагаемых, разве сумма не обязана расти без остановки? Разве бесконечность слагаемых не должна означать бесконечность результата? Оказывается — нет. Иногда бесконечная сумма действительно бесконечна, а иногда — вполне конкретное конечное число, которое можно записать с точностью до знака после запятой. Разобраться, когда происходит одно, а когда другое, и есть главная задача теории числовых рядов, которую мы начинаем разбирать сегодня и будем продолжать ещё несколько уроков подряд.

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

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

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

Первый в истории числовой ряд — пусть и без единого символа современной записи — появился не у математика, а у философа. В V веке до нашей эры Зенон Элейский сформулировал знаменитую апорию об Ахиллесе и черепахе. Быстроногий Ахиллес соревнуется в беге с черепахой, которой дают фору. Пока Ахиллес добегает до точки, где черепаха была в начале, она успевает немного продвинуться вперёд. Пока Ахиллес добегает до этой новой точки, черепаха снова чуть-чуть продвигается — и так далее, до бесконечности. Зенон делал парадоксальный вывод: раз число этапов погони бесконечно, Ахиллес никогда не догонит черепаху, а значит, само движение логически противоречиво.

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

Следующий значительный шаг сделал Архимед в III веке до нашей эры: вычисляя площадь параболического сегмента методом исчерпывания, он фактически суммировал бесконечно убывающую геометрическую прогрессию с отношением $\frac14$, хотя формального понятия «суммы ряда» тогда, разумеется, не существовало. Гораздо позже, в XIV веке, средневековый французский учёный Николай Орем первым строго — по меркам своей эпохи — доказал расходимость гармонического ряда методом группировки слагаемых, который ты увидишь в этом уроке практически без изменений: спустя почти семьсот лет это доказательство остаётся эталоном изящества. А полноценную, строгую теорию сходимости рядов, основанную на понятии предела последовательности частичных сумм, дал только в 1820-х годах Огюстен Коши — тот самый математик, который незадолго до этого дал строгое определение интеграла. Неслучайно: идея предела, единожды строго сформулированная, оказалась универсальным инструментом сразу для нескольких разделов анализа.

Ряд, частичные суммы и что значит «сходится»

Интуиция: бесконечная сумма — это предел суммирования по одному слагаемому за раз

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

Представь, что ты складываешь слагаемые одно за другим и после каждого шага записываешь промежуточный результат — это и есть частичная сумма. После первого слагаемого у тебя одно число, после второго — сумма первых двух, после третьего — сумма первых трёх, и так далее. Возникает последовательность чисел $S_1, S_2, S_3, \dots$ — самая обычная числовая последовательность, с пределами которой ты уже отлично умеешь работать. И вот ключевая идея всей теории рядов: «сумма бесконечного ряда» — это по определению предел этой последовательности частичных сумм, если он существует.

Определение (числовой ряд). Пусть дана бесконечная числовая последовательность $a_1, a_2, a_3, \dots, a_n, \dots$. Выражение

$$\sum_{n=1}^{\infty} a_n = a_1+a_2+a_3+\dots+a_n+\dots$$

называется числовым рядом, а числа $a_n$ — его членами (или слагаемыми). Сумма первых $n$ членов

$$S_n = \sum_{k=1}^{n} a_k = a_1+a_2+\dots+a_n$$

называется $n$-й частичной суммой ряда. Если существует конечный предел $S=\lim\limits_{n\to\infty}S_n$, ряд называется сходящимся, а число $S$ — его суммой: $\sum_{n=1}^\infty a_n=S$. Если предел $S_n$ не существует или бесконечен, ряд называется расходящимся.

Обрати внимание: последовательность частичных сумм $\{S_n\}$ — это совершенно другой объект, чем исходная последовательность членов ряда $\{a_n\}$. Члены ряда могут вести себя как угодно, а вот вопрос сходимости ряда целиком определяется поведением именно последовательности частичных сумм, а не отдельных слагаемых. Это различие — источник почти всех ошибок новичков в этой теме, и мы вернёмся к нему ещё не раз.

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

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

Легко заметить закономерность: $S_n=1-\dfrac1{2^n}$ (проверь сам подстановкой $n=1,2,3,4$). Раз $\dfrac1{2^n}\to0$ при $n\to\infty$, получаем $S_n\to1$.

Ответ: ряд сходится, его сумма равна $1$.

Пример 2 (средний). Дан ряд $\sum_{n=1}^{\infty}(-1)^{n+1}=1-1+1-1+\dots$. Существует ли предел частичных сумм?

Выпишем частичные суммы подряд: $S_1=1$, $S_2=1-1=0$, $S_3=0+1=1$, $S_4=1-1=0$, и так далее — последовательность частичных сумм колеблется, бесконечно повторяя $1,0,1,0,\dots$, никогда не приближаясь ни к какому конкретному числу. Предела не существует.

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

Пример 3 (сложный, машинное обучение). В экспоненциальном скользящем среднем (сокращённо ЭСС) с коэффициентом $\alpha\in(0,1)$ вес, который придаётся наблюдению, сделанному $k$ шагов назад, равен $w_k=\alpha(1-\alpha)^k$. Найти частичную сумму весов $W_n=\sum_{k=0}^{n}w_k$ при $\alpha=0{,}2$ для $n=0,1,2,3$ и определить, к чему стремится эта сумма при $n\to\infty$.

При $\alpha=0{,}2$ имеем $1-\alpha=0{,}8$, поэтому $w_k=0{,}2\cdot0{,}8^k$.

Частичные суммы весов растут, но всё медленнее и медленнее приближаются к какому-то пределу — это в точности геометрический ряд, который мы строго разберём чуть ниже, и его сумма при бесконечном числе слагаемых окажется равна ровно $1$.

Ответ: $W_0=0{,}2$, $W_1=0{,}36$, $W_2=0{,}488$, $W_3=0{,}5904$; при $n\to\infty$ сумма весов стремится к $1$. Это принципиально важный факт: если сумма весов в бесконечной формуле сглаживания равна единице, значит ЭСС — это действительно корректное взвешенное среднее (для константного сигнала оно в пределе точно воспроизводит саму константу), а не какая-то смещённая, «неправильно отнормированная» комбинация значений.

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

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

Необходимый признак сходимости: когда общий член обязан стремиться к нулю

Интуиция: слагаемые бесконечной сходящейся суммы обязаны «затухать» — но одного этого мало

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

Доказательство этого факта короткое и элегантное, и стоит разобрать его один раз внимательно, потому что оно демонстрирует главную технику всей теории рядов — работу через частичные суммы. Заметь, что $n$-й член ряда всегда можно выразить как разность соседних частичных сумм: $a_n=S_n-S_{n-1}$ (частичная сумма первых $n$ членов минус частичная сумма первых $n-1$ членов — это в точности сам $n$-й член). Если ряд сходится к числу $S$, то и $S_n\to S$, и $S_{n-1}\to S$ (это одна и та же последовательность, просто со сдвинутым индексом, поэтому у неё тот же самый предел). По свойствам пределов последовательностей:

Необходимый признак сходимости. Если ряд $\sum_{n=1}^{\infty}a_n$ сходится, то $\lim\limits_{n\to\infty}a_n=0$.

Следствие (признак расходимости). Если $\lim\limits_{n\to\infty}a_n\ne0$ или этот предел не существует, то ряд $\sum a_n$ расходится.

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

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

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

Вычисляем предел общего члена: $\lim\limits_{n\to\infty}\dfrac{n}{n+1}=\lim\limits_{n\to\infty}\dfrac{1}{1+1/n}=1\ne0$.

Ответ: ряд расходится по необходимому признаку.

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

Общий член $a_n=(-1)^n\dfrac{n}{n+1}$ по модулю стремится к $1$, но знак чередуется, поэтому сама последовательность $a_n$ колеблется между значениями, близкими к $1$, и значениями, близкими к $-1$, и никакого единого предела у неё нет вообще (ни нулевого, ни любого другого).

Ответ: ряд расходится, поскольку $\lim\limits_{n\to\infty}a_n$ не существует — а значит, автоматически не выполняется равенство этого предела нулю, которое требует необходимый признак.

Пример 3 (сложный, машинное обучение). В алгоритме стохастического градиентного спуска шаг обучения на итерации $n$ задан как $\eta_n=\dfrac1n$. Проверить, выполнен ли для ряда $\sum \eta_n$ необходимый признак сходимости, и обсудить, можно ли из этого сделать вывод о конечности суммарного «шага», который сделает алгоритм за бесконечное число итераций.

Предел общего члена: $\lim\limits_{n\to\infty}\dfrac1n=0$ — необходимый признак выполнен.

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

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

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

Геометрический ряд: единственный ряд, где сумма считается по формуле

Интуиция: постоянное отношение между соседними слагаемыми — и вся сумма выражается одним числом

Представь себе апорию Зенона в чистом численном виде: Ахиллес каждый раз пробегает расстояние, которое ровно в фиксированное число раз меньше предыдущего. Или представь начисление процентов, уменьшающихся каждый год в одно и то же число раз. Такая последовательность, где каждое следующее слагаемое получается из предыдущего умножением на одно и то же число $q$, называется геометрической прогрессией, а ряд, составленный из неё, — геометрическим рядом. Это единственный по-настоящему широкий класс рядов, для которого сумма (при её существовании) находится не приближённо, а по явной, короткой формуле.

Давай разберёмся, откуда берётся эта формула. Рассмотрим частичную сумму $S_n=a+aq+aq^2+\dots+aq^{n-1}$ (первые $n$ членов геометрической прогрессии с первым членом $a$ и знаменателем $q$). Домножим обе части на $q$:

Вычтем второе равенство из первого — почти все слагаемые взаимно уничтожатся (это тот же приём, что и в телескопических суммах):

Теперь остаётся взять предел при $n\to\infty$. Ключевую роль здесь играет поведение $q^n$: если $|q|<1$, то $q^n\to0$ (числа, по модулю меньшие единицы, при возведении во всё большую степень неограниченно приближаются к нулю), и тогда предел частичной суммы существует и конечен. Если же $|q|\ge1$ (за исключением случая $q=1$, который рассматривается отдельно), поведение $q^n$ не даёт сходимости: при $q>1$ степень растёт неограниченно, при $q\le-1$ она либо растёт по модулю, либо колеблется без затухания.

Определение и теорема (геометрический ряд). Ряд вида

$$\sum_{n=0}^{\infty} aq^n = a+aq+aq^2+\dots \qquad (a\ne0)$$

называется геометрическим. Он сходится тогда и только тогда, когда $|q|<1$, и в этом случае его сумма равна

$$\sum_{n=0}^{\infty}aq^n = \frac{a}{1-q}$$

При $|q|\ge1$ ряд расходится (при $q=1$ частичная сумма равна $na$ и растёт неограниченно, при $q=-1$ частичные суммы колеблются, при $|q|>1$ они растут по модулю без ограничения).

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

Пример 1 (лёгкий). Найти сумму ряда $\sum_{n=0}^{\infty}\left(\dfrac13\right)^n$.

Здесь $a=1$, $q=\dfrac13$, и $|q|<1$, ряд сходится.

Ответ: $\dfrac32$.

Пример 2 (средний, апория Зенона в числах). Черепаха стартует со стометровой форой перед Ахиллесом, который бежит в десять раз быстрее. Найти суммарное расстояние, которое пробежит Ахиллес до момента, когда он догонит черепаху, представив его как сумму геометрического ряда: первый этап погони — $100$ м, каждый следующий этап в десять раз короче предыдущего.

Здесь $a=100$, $q=\dfrac1{10}$.

Ответ: Ахиллес пробежит $\dfrac{1000}{9}\approx111{,}11$ метров — конечное число, несмотря на то, что состоит из бесконечного числа этапов погони. Это и есть разгадка парадокса Зенона: бесконечное дробление процесса на этапы не мешает сумме расстояний (и, аналогично, сумме затраченных времён) оставаться конечной.

Пример 3 (сложный, машинное обучение). Вывести формулу для суммы весов в экспоненциальном скользящем среднем: показать, что $\sum_{k=0}^{\infty}\alpha(1-\alpha)^k=1$ для любого коэффициента сглаживания $\alpha\in(0,1)$, и объяснить, почему это гарантирует, что ЭСС точно воспроизводит постоянный сигнал.

Это геометрический ряд с $a=\alpha$ и $q=1-\alpha$. Поскольку $\alpha\in(0,1)$, выполняется $0<1-\alpha<1$, а значит $|q|<1$ и ряд сходится:

Ответ: сумма весов равна $1$ при любом допустимом $\alpha$. Смысл этого результата принципиален для практики: если бы сумма весов оказалась, скажем, $0{,}9$ или $1{,}3$, то ЭСС константного сигнала $x=c$ выдавало бы $0{,}9c$ или $1{,}3c$ — систематически смещённую, неверную оценку. А поскольку сумма весов равна ровно единице, ЭСС константного сигнала в пределе бесконечной истории в точности равно этой константе — сглаживание не искажает сигнал систематически, оно только гасит его флуктуации. Тот же самый расчёт лежит в основе коррекции смещения в алгоритме Adam: на конечном числе шагов $t$ сумма весов равна не $1$, а $1-\beta^t$ (частичная сумма геометрического ряда, а не полная бесконечная сумма), и именно поэтому оценки момента в Adam делят на множитель $1-\beta^t$ — чтобы скорректировать смещение, возникающее из-за того, что в начале обучения ряд весов ещё не успел «досуммироваться» до своего предела.

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

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

Гармонический ряд: почему стремление к нулю не спасает

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

Настало время разобрать самый знаменитый контрпример во всей теории рядов. Гармонический ряд $\sum_{n=1}^{\infty}\dfrac1n=1+\dfrac12+\dfrac13+\dfrac14+\dots$ выглядит максимально безобидно: его общий член стремится к нулю, причём довольно быстро на глаз — уже сотый член равен всего $0{,}01$. Интуиция подсказывает: раз слагаемые так стремительно тают, сумма должна быть конечной. Интуиция здесь ошибается, и ошибается катастрофически: гармонический ряд расходится, его частичные суммы растут неограниченно, хоть и чудовищно медленно.

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

Сгруппируем ряд так:

Рассмотрим блок, состоящий из членов с номерами от $2^k+1$ до $2^{k+1}$ — в нём ровно $2^k$ слагаемых, и каждое из них не меньше, чем самое маленькое слагаемое в блоке, то есть $\dfrac1{2^{k+1}}$. Значит сумма всего блока не меньше, чем:

Каждый такой блок вносит вклад не меньше $\dfrac12$ — а блоков бесконечно много. Значит, после первых двух членов ($1+\dfrac12=1{,}5$) и $m$ таких блоков частичная сумма гармонического ряда не меньше, чем

При $m\to\infty$ правая часть неограниченно растёт, а значит и $S_n$ неограниченно растёт вместе с ней. Последовательность частичных сумм не имеет конечного предела.

Теорема (расходимость гармонического ряда). Ряд $\sum_{n=1}^{\infty}\dfrac1n$ расходится, несмотря на то, что его общий член $\dfrac1n\to0$ при $n\to\infty$.

Это классический и важнейший пример того, что необходимый признак сходимости — именно необходимый, а не достаточный: общий член стремится к нулю, но сумма всё равно бесконечна. Причина в том, что гармонический ряд стремится к нулю недостаточно быстро — как ты увидишь в следующем уроке, любой чуть более «быстро затухающий» ряд, например $\sum\dfrac1{n^2}$, уже сходится, а разница между $\dfrac1n$ и $\dfrac1{n^2}$ — это тонкая грань между расходимостью и сходимостью, которую строго разграничивают признаки сходимости.

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

Пример 1 (лёгкий). Оценить снизу частичную сумму $S_8$ гармонического ряда с помощью группировки и сравнить с точным значением.

По методу группировки $S_8=1+\dfrac12+\left(\dfrac13+\dfrac14\right)+\left(\dfrac15+\dfrac16+\dfrac17+\dfrac18\right) \ge 1+\dfrac12+\dfrac12+\dfrac12=2{,}5$.

Точное значение: $S_8=1+0{,}5+0{,}3333+0{,}25+0{,}2+0{,}1667+0{,}1429+0{,}125\approx2{,}718$.

Ответ: оценка снизу даёт $2{,}5$, точное значение $\approx2{,}718$ — оценка грубая, но верная по направлению, и с ростом числа блоков разрыв между оценкой и точным значением растёт медленнее, чем сама сумма.

Пример 2 (средний). Доказать, что ряд $\sum_{n=1}^{\infty}\dfrac1{2n}$ расходится, используя уже доказанный факт о расходимости гармонического ряда (без повторной группировки).

Заметим, что $\dfrac1{2n}=\dfrac12\cdot\dfrac1n$, то есть данный ряд — это гармонический ряд, каждый член которого умножен на постоянную $\dfrac12\ne0$. Предположим от противного, что $\sum\dfrac1{2n}$ сходится к некоторому числу $T$. Тогда, домножив каждый член на $2$ (что тоже линейная операция над сходящимся рядом), мы получили бы, что ряд $\sum\dfrac1n=\sum 2\cdot\dfrac1{2n}$ тоже сходится — к числу $2T$. Но это прямо противоречит доказанной выше теореме о расходимости гармонического ряда.

Ответ: ряд $\sum\dfrac1{2n}$ расходится — предположение о его сходимости ведёт к противоречию.

Пример 3 (сложный, машинное обучение). Условия Роббинса-Монро для сходимости стохастического градиентного спуска требуют, чтобы последовательность шагов обучения $\eta_n$ удовлетворяла одновременно двум условиям: $\sum_{n=1}^{\infty}\eta_n=\infty$ (сумма шагов бесконечна) и $\sum_{n=1}^{\infty}\eta_n^2<\infty$ (сумма квадратов шагов конечна). Проверить, удовлетворяет ли этим двум условиям последовательность $\eta_n=\dfrac1n$.

Первое условие: $\sum_{n=1}^{\infty}\dfrac1n$ — это в точности гармонический ряд, который, как только что доказано, расходится, то есть его сумма равна бесконечности. Первое условие выполнено.

Второе условие: нужно проверить сходимость $\sum_{n=1}^{\infty}\dfrac1{n^2}$. Строгий инструмент для такой проверки (признак сравнения) будет дан в следующем уроке, но идею можно понять уже сейчас через прямую оценку: для $n\ge2$ выполняется $\dfrac1{n^2}\le\dfrac1{n(n-1)}=\dfrac1{n-1}-\dfrac1n$ (это телескопическое разложение). Суммируя это неравенство от $n=2$ до $N$, все промежуточные слагаемые справа взаимно уничтожаются, и остаётся $\sum_{n=2}^{N}\dfrac1{n^2}\le1-\dfrac1N<1$. Значит частичные суммы ряда $\sum\dfrac1{n^2}$ ограничены сверху числом $1+1=2$ (добавляя первый член, равный $1$) и при этом монотонно возрастают (все слагаемые положительны) — а монотонная ограниченная последовательность, как ты знаешь из более раннего курса про пределы последовательностей, обязана иметь конечный предел. Значит ряд $\sum\dfrac1{n^2}$ сходится.

Ответ: последовательность $\eta_n=\dfrac1n$ удовлетворяет обоим условиям Роббинса-Монро — именно поэтому шаг обучения, убывающий как $\dfrac1n$, остаётся одним из канонических примеров в теории сходимости стохастической оптимизации: он достаточно медленно убывает, чтобы алгоритм успел «дойти» до любой точки пространства параметров (сумма шагов бесконечна), но при этом достаточно быстро, чтобы накопленный шум от случайности отдельных шагов не разрушил сходимость (сумма квадратов шагов конечна).

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

Гармонический ряд — это стандартный, эталонный контрпример, о который должна разбиваться любая попытка сделать поспешный вывод «общий член стремится к нулю — значит ряд сходится». Держи его в голове каждый раз, когда возникает соблазн сделать этот вывод. В машинном обучении гармонический ряд — не музейный экспонат, а рабочий объект: расходимость $\sum\dfrac1n$ и одновременная сходимость $\sum\dfrac1{n^2}$ — это математическое содержание условий Роббинса-Монро, канонического критерия того, что последовательность убывающих шагов обучения годится для гарантированной (в определённом вероятностном смысле) сходимости стохастических методов оптимизации. Без строгого понимания расходимости гармонического ряда эти условия выглядели бы как произвольная магическая формула, а на самом деле это прямое следствие того, что ты только что доказал.

Свойства сходящихся рядов: линейность

Интуиция: с суммами сходящихся рядов можно обращаться как с обычными числами

Давай разберёмся с последним, но крайне полезным фактом этого урока. Если ты знаешь суммы двух сходящихся рядов по отдельности, можешь ли ты, не пересчитывая всё заново, найти сумму их линейной комбинации — то есть ряда, полученного умножением каждого на константу и сложением почленно? Интуиция подсказывает — да, ведь для конечных сумм это работает без всяких оговорок: $(2\cdot3+5\cdot7)$ ничем принципиально не отличается от $2\cdot3+5\cdot7$, посчитанных отдельно. Оказывается, для сходящихся рядов эта интуиция полностью подтверждается — это прямое следствие линейности предела последовательности, тех же самых свойств, которые ты уже использовал для пределов и интегралов.

Свойство (линейность сходящихся рядов). Если ряды $\sum_{n=1}^{\infty}a_n=A$ и $\sum_{n=1}^{\infty}b_n=B$ сходятся, то для любых постоянных $\alpha,\beta$ ряд $\sum_{n=1}^{\infty}(\alpha a_n+\beta b_n)$ тоже сходится, и

$$\sum_{n=1}^{\infty}(\alpha a_n+\beta b_n) = \alpha A+\beta B$$

Доказательство буквально повторяет то, что ты видел для линейности интеграла, только вместо предела функции при измельчении разбиения здесь предел последовательности частичных сумм. Частичная сумма ряда $\sum(\alpha a_n+\beta b_n)$ по первым $n$ членам раскладывается через простую алгебру конечной суммы:

Взяв предел при $n\to\infty$ и воспользовавшись линейностью предела последовательности (предел суммы равен сумме пределов, константу можно вынести за знак предела), получаем в точности требуемое равенство.

Есть и важное практическое следствие, о котором стоит помнить отдельно: добавление или отбрасывание конечного числа членов ряда никогда не меняет того, сходится ли ряд или расходится — меняется только числовое значение суммы (если ряд сходится), но не сам факт сходимости. Это интуитивно понятно: конечное число слагаемых — это конечная добавка, а вопрос сходимости определяется поведением «хвоста» ряда при $n\to\infty$, куда конечное число первых членов попросту не дотягивается.

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

Пример 1 (лёгкий). Найти сумму ряда $\sum_{n=1}^{\infty}\left[\left(\dfrac12\right)^n+\left(\dfrac13\right)^n\right]$, используя линейность и формулу геометрического ряда.

Оба слагаемых — геометрические ряды с первым членом при $n=1$. Для первого: $a=\dfrac12$, $q=\dfrac12$, сумма $=\dfrac{1/2}{1-1/2}=1$. Для второго: $a=\dfrac13$, $q=\dfrac13$, сумма $=\dfrac{1/3}{1-1/3}=\dfrac12$.

Ответ: $\dfrac32$.

Пример 2 (средний). Доказать: если ряд $\sum a_n$ сходится, а ряд $\sum b_n$ расходится, то ряд $\sum(a_n+b_n)$ обязательно расходится.

Доказываем от противного. Предположим, что $\sum(a_n+b_n)$ сходится, скажем к числу $C$, при этом по условию $\sum a_n$ сходится к числу $A$. Тогда по свойству линейности (примененному с коэффициентами $\alpha=1$ при ряде $(a_n+b_n)$ и $\beta=-1$ при ряде $a_n$) должен сходиться и ряд

к числу $C-A$. Но это прямо противоречит условию, что $\sum b_n$ расходится.

Ответ: предположение о сходимости $\sum(a_n+b_n)$ ведёт к противоречию, значит этот ряд расходится. Обрати внимание на важную асимметрию: «сходящийся плюс расходящийся всегда расходится», но «расходящийся плюс расходящийся» может как расходиться, так и (в специальных случаях взаимного сокращения) сходиться — с этим тонким случаем ты разберёшься в одном из продвинутых заданий практики.

Пример 3 (сложный, машинное обучение). Пусть накопленная ошибка алгоритма оптимизации на бесконечном числе итераций раскладывается на два независимых затухающих источника: ошибку из-за конечности шага обучения, вклад которой на итерации $n$ равен $\varepsilon_n=\dfrac{3}{4^n}$, и ошибку из-за шума в данных, вклад которой равен $\delta_n=\dfrac{2}{5^n}$ (для $n\ge1$ в обоих случаях). Используя линейность рядов, найти суммарную накопленную ошибку $\sum_{n=1}^{\infty}(\varepsilon_n+\delta_n)$.

Оба ряда геометрические. Для первого: $a=\dfrac34$, $q=\dfrac14$, сумма $=\dfrac{3/4}{1-1/4}=\dfrac{3/4}{3/4}=1$. Для второго: $a=\dfrac25$, $q=\dfrac15$, сумма $=\dfrac{2/5}{1-1/5}=\dfrac{2/5}{4/5}=\dfrac12$.

Ответ: суммарная накопленная ошибка равна $\dfrac32$ и, что важнее самого числа, она конечна. Линейность рядов здесь работает не просто как вычислительный трюк — она позволяет разложить сложный накопленный эффект на отдельные, более простые и понятные источники, проанализировать сходимость каждого по отдельности, а затем гарантированно сложить результаты, не опасаясь, что при объединении возникнет что-то неожиданное. Это стандартный приём анализа ошибки в теории оптимизации: суммарная ошибка алгоритма представляется как сумма ряда вкладов разных источников (ошибка дискретизации, ошибка от шума, ошибка от неточной оценки градиента), и конечность каждого слагаемого ряда по отдельности гарантирует конечность суммарной ошибки.

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

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

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

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

Задание 1: Найти частичные суммы $S_1,S_2,S_3,S_4$ ряда $\sum_{n=1}^{\infty}\dfrac1{n(n+1)}$, используя разложение $\dfrac1{n(n+1)}=\dfrac1n-\dfrac1{n+1}$, и предположить формулу для $S_n$.

Задание 2: Вычислить сумму ряда $\sum_{n=0}^{\infty}\left(\dfrac14\right)^n$.

Задание 3: Определить сходимость ряда $\sum_{n=1}^{\infty}\dfrac{n}{2n+3}$ по необходимому признаку.

Задание 4: Вычислить сумму ряда $\sum_{n=1}^{\infty}\dfrac{3}{5^n}$.

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

Задание 6: Записать частичную сумму $S_5$ гармонического ряда и вычислить её приближённо (до сотых).

Задание 7: Вычислить сумму ряда $2+1+0{,}5+0{,}25+\dots$

Задание 8: Проверить необходимый признак сходимости для ряда $\sum_{n=1}^{\infty}\dfrac1{\sqrt n}$ и объяснить, почему его выполнение не гарантирует сходимость ряда.

Задание 9: Вычислить сумму ряда $\sum_{n=1}^{\infty}\left(\dfrac23\right)^n$.

Задание 10: Определить сходимость ряда $\sum_{n=1}^{\infty}\dfrac{5n^2+1}{3n^2+2n}$ по необходимому признаку.

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

Задание 11: Доказать, используя уже установленную расходимость гармонического ряда и свойство линейности, что ряд $\sum_{n=1}^{\infty}\dfrac1{2n}$ расходится.

Задание 12: Найти сумму ряда $\sum_{n=1}^{\infty}\left[\left(\dfrac12\right)^n+\left(\dfrac13\right)^n\right]$, используя линейность.

Задание 13: Доказать: если $\sum a_n$ сходится, а $\sum b_n$ расходится, то $\sum(a_n+b_n)$ расходится.

Задание 14 (апория Зенона): Ахиллес стартует в $100$ м позади черепахи и бежит в $10$ раз быстрее. Найти суммарное расстояние, которое пробежит Ахиллес до момента, когда он догонит черепаху, представив его как сумму геометрического ряда.

Задание 15: Дан ряд $\sum_{n=1}^{\infty}\dfrac1{n(n+2)}$. Используя разложение $\dfrac1{n(n+2)}=\dfrac12\left(\dfrac1n-\dfrac1{n+2}\right)$, найти сумму ряда.

Задание 16 (машинное обучение): Скорость обучения задана как $\eta_n=\dfrac1{n^2}$. Проверить необходимый признак для ряда $\sum\eta_n$ и, используя оценку $\dfrac1{n^2}\le\dfrac1{n(n-1)}$ для $n\ge2$, показать, что частичные суммы ряда ограничены.

Задание 17: Найти сумму знакочередующегося геометрического ряда $\sum_{n=0}^{\infty}(-1)^n(0{,}5)^n$.

Задание 18: Ряды $\sum a_n$ и $\sum b_n$ сходятся к $A=7$ и $B=-3$ соответственно. Пусть $c_n=4a_n-2b_n$. Найти сумму ряда $\sum c_n$.

Задание 19: Верно ли, что если ряд $\sum a_n^2$ сходится, то и ряд $\sum a_n$ обязательно сходится? Привести контрпример, используя материал этого урока.

Задание 20 (машинное обучение): Пусть $\beta=0{,}9$ — коэффициент момента в алгоритме Adam. Найти сумму бесконечного ряда весов $\sum_{k=0}^{\infty}(1-\beta)\beta^k$ и объяснить смысл результата.

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

Задание 21: Доказать формулу суммы геометрического ряда $\sum_{n=0}^{\infty}aq^n=\dfrac{a}{1-q}$ при $|q|<1$, исходя из формулы частичной суммы $S_n=a\dfrac{1-q^n}{1-q}$.

Задание 22 (машинное обучение): Раскрытая рекуррентно формула ЭСС имеет вид $S_t=\alpha\sum_{k=0}^{t-1}(1-\alpha)^kx_{t-k}+(1-\alpha)^tS_0$, где $S_0$ — начальное приближение. Показать, что при $0<\alpha<1$ и $t\to\infty$ вклад $S_0$ исчезает, и объяснить почему.

Задание 23: Доказать сходимость телескопического ряда $\sum_{n=1}^{\infty}\left(\dfrac1n-\dfrac1{n+1}\right)$ и найти его сумму.

Задание 24: Доказать, что если ряд $\sum_{n=1}^{\infty}a_n$ сходится к числу $S$, то ряд $\sum_{n=1}^{\infty}a_{n+1}$ (тот же ряд без первого члена) тоже сходится, и найти его сумму через $S$ и $a_1$.

Задание 25 (машинное обучение, условия Роббинса-Монро): Показать, что для любой константы $c>0$ последовательность шагов обучения $\eta_n=\dfrac{c}{n}$ удовлетворяет условию Роббинса-Монро $\sum_{n=1}^{\infty}\eta_n=\infty$.

Задание 26: Доказать группировкой (сравнением с половиной гармонического ряда), что ряд обратных нечётных чисел $\sum_{n=0}^{\infty}\dfrac1{2n+1}=1+\dfrac13+\dfrac15+\dfrac17+\dots$ расходится.

Задание 27: Найти сумму ряда $\sum_{n=1}^{\infty}\left(\dfrac{2}{5^n}-\dfrac{3}{4^n}\right)$, используя линейность и формулу геометрического ряда.

Задание 28 (машинное обучение): Накопленная ошибка обучения на итерации $n$ убывает как $\varepsilon_n=\dfrac{10}{2^n}$ (экспоненциальное затухание со скоростью обучения $\eta=\dfrac12$). Найти суммарную накопленную ошибку по всем итерациям и объяснить, почему её конечность важна.

Задание 29: Используя приближённую формулу $S_n\approx\ln n+\gamma$ (где $\gamma\approx0{,}5772$ — постоянная Эйлера-Маскерони) для частичных сумм гармонического ряда, оценить $S_{10}$, $S_{100}$, $S_{1000}$ и оценить, при каком примерно $n$ сумма впервые превысит $10$.

Задание 30: Верно ли, что сумма двух расходящихся рядов $\sum a_n$ и $\sum b_n$ всегда расходится? Привести контрпример, используя гармонический ряд.

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

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

• Вера, что $a_n\to0$ гарантирует сходимость ряда. Это самая опасная и самая распространённая ошибка всей темы. Необходимый признак сходимости работает только в одну сторону: из сходимости следует стремление общего члена к нулю, но не наоборот. Гармонический ряд — вечное напоминание об этом: его общий член стремится к нулю, а сумма всё равно бесконечна.

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

• Применение формулы геометрического ряда без проверки условия $|q|<1$. Формула $\sum aq^n=\dfrac{a}{1-q}$ формально можно подставить в калькулятор для любого $q$, но при $|q|\ge1$ она даёт бессмысленное число, потому что сам ряд в этом случае расходится — предел частичных сумм просто не существует, и никакая формула ему не соответствует.

• Ошибка в индексации при вычислении первого члена геометрического ряда. Если суммирование начинается с $n=1$, а не с $n=0$, первый член ряда — это $aq$, а не $a$; подставлять в числитель формулы $\dfrac{a}{1-q}$ нужно именно фактический первый член суммируемого ряда, а не коэффициент из общей записи $aq^n$.

• Вывод о расходимости суммы из расходимости слагаемых. Как показано в задании 30 практики, сумма двух расходящихся рядов вовсе не обязана расходиться — в частных случаях расходимости могут взаимно сократиться. Линейность гарантирует расходимость суммы только тогда, когда один из рядов сходится, а другой расходится.

• Перепутанные направления доказательства от противного. При доказательстве расходимости через предположение о сходимости важно аккуратно следить, какое именно противоречие получается: часто теряется, с чем именно противоречит результат — с исходным условием задачи или с ранее доказанной теоремой.

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

• Числовой ряд $\sum a_n$ — это способ строго определить «бесконечную сумму» через предел последовательности частичных сумм $S_n$.

• Ряд сходится, если существует конечный предел $S=\lim S_n$; в этом случае $S$ называется суммой ряда.

• Необходимый признак: если ряд сходится, то $a_n\to0$. Обратное неверно — это не достаточное условие.

• Гармонический ряд $\sum\dfrac1n$ расходится, несмотря на то что его общий член стремится к нулю — классический контрпример к обратному утверждению необходимого признака.

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

• Геометрический ряд $\sum aq^n$ сходится тогда и только тогда, когда $|q|<1$, и тогда его сумма равна $\dfrac{a}{1-q}$ — единственная формула суммы ряда в явном виде, которой ты пользуешься уже сейчас.

• Линейность сходящихся рядов позволяет находить сумму $\sum(\alpha a_n+\beta b_n)$ как $\alpha A+\beta B$, если известны суммы $A$ и $B$ исходных рядов.

• Добавление или удаление конечного числа членов ряда не влияет на сходимость (только на значение суммы, если ряд сходится).

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

• Условия Роббинса-Монро для сходимости стохастического градиентного спуска дословно формулируются в терминах сходимости и расходимости числовых рядов из шагов обучения.

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

Числовые ряды логически продолжают тему несобственных интегралов (предыдущий урок курса): несобственный интеграл — это тоже «предел суммирования», только по непрерывному аргументу, а не по дискретному индексу, и у обоих объектов схожая логика сходимости — через предел частичной (или неполной) суммы или интеграла. В следующем уроке ты познакомишься с настоящим арсеналом признаков сходимости рядов, включая интегральный признак, который напрямую использует несобственные интегралы для проверки сходимости ряда — так что сегодняшняя тема и предыдущая свяжутся напрямую. Чуть позже в курсе числовые ряды станут фундаментом для степенных рядов и рядов Тейлора — инструмента, который позволяет представлять сложные функции (экспоненту, синус, логарифм) в виде бесконечной суммы простых степенных слагаемых. В теории вероятностей та же самая идея сходящегося ряда лежит в основе понятия суммы вероятностей дискретного распределения (например, геометрического распределения — не случайно носящего то же имя, что и сегодняшний геометрический ряд) и производящих функций. А в машинном обучении, как ты уже увидел сегодня, сходимость рядов — это не абстракция, а прямой критерий работоспособности алгоритмов оптимизации и корректности формул экспоненциального сглаживания.

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

• Разница между частичной суммой гармонического ряда $S_n$ и $\ln n$ стремится к постоянной, которую называют постоянной Эйлера-Маскерони, $\gamma\approx0{,}5772156649\dots$ — и по сей день неизвестно, является ли это число рациональным или иррациональным, хотя большинство математиков уверены во втором.

• Задача о сумме ряда обратных квадратов $\sum_{n=1}^{\infty}\dfrac1{n^2}$ (которую ты частично исследовал в практике этого урока) называется Базельской задачей. Она была открытой проблемой почти сто лет, пока в 1735 году её не решил Леонард Эйлер, получив неожиданный ответ $\dfrac{\pi^2}{6}$ — связь между суммой обратных квадратов натуральных чисел и числом $\pi$ поразила математическое сообщество того времени.

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

• Ряд $1-1+1-1+\dots$ (задание с колеблющимися частичными суммами из теоретической части урока) исторически называется рядом Гранди — в XVIII веке вокруг него велись жаркие споры, потому что разные способы группировки скобок «убедительно» давали то сумму $0$, то сумму $1$. Строгое определение сходимости через предел частичных сумм, данное Коши, окончательно расставило точки: у этого ряда просто нет суммы в обычном смысле, потому что предела частичных сумм не существует.

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

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

• Узнавай геометрический ряд по внешнему виду: переменная $n$ стоит в показателе степени (например, $q^n$ или $c\cdot r^n$), а не в основании — если это так, сразу вспоминай формулу $\dfrac{a}{1-q}$ и проверяй условие $|q|<1$.

• При вычислении суммы геометрического ряда всегда аккуратно определяй, с какого номера $n$ начинается суммирование, и бери в качестве $a$ именно фактический первый член ряда, а не коэффициент из общей формулы.

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

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

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

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

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