Сумма бесконечной геометрической прогрессии ♾️

Открой любую статью про обучение с подкреплением, и на первой же странице встретишь формулу отдачи: $G = r_0 + \gamma r_1 + \gamma^2 r_2 + \gamma^3 r_3 + \dots$ — награда, полученная агентом за все будущие шаги, с коэффициентом $\gamma$ (обычно $0{,}99$), который гасит далёкие награды. Сверху стоит знак суммы, а под ним — символ бесконечности. И тут возникает законный вопрос: как эта штука вообще может быть числом? Мы складываем бесконечно много слагаемых. Разве результат не должен быть бесконечным?

Оказывается — не должен. И в этом уроке мы разберёмся, почему. Ответ короче, чем кажется: если каждое следующее слагаемое меньше предыдущего в фиксированное число раз, то вся бесконечная сумма упирается в потолок и никуда дальше не идёт. Для $\gamma = 0{,}99$ и награды $1$ на каждом шаге этот потолок равен ровно $100$. Не «примерно сто», не «около ста» — ровно, по формуле в одну строчку, которую мы сейчас выведем.

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

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

🎯 Ты узнаешь:

• Что такое частичная сумма ряда и почему «бесконечная сумма» — это на самом деле предел последовательности, а не какая-то новая операция
• Как из формулы конечной суммы $S_n = \dfrac{b_1(1 - q^{\,n})}{1 - q}$ одним переходом к пределу получается $S = \dfrac{b_1}{1 - q}$
• Почему условие $|q| < 1$ обязательно и что конкретно ломается при $q = 1$, $q = -1$ и $|q| > 1$
• Как за три строчки превратить любую периодическую дробь в обыкновенную и почему $0{,}(9) = 1$ — это точное равенство, а не приближение
• Как парадокс Зенона про Ахиллеса и черепаху решается школьной формулой и почему грекам это было недоступно
• Откуда в машинном обучении берутся числа $\frac{1}{1-\gamma}$ и $\frac{1}{1-\beta}$: эффективный горизонт в RL, эффективное окно EMA, установившееся значение momentum и bias correction в Adam

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

Всё началось со скандала. Около 450 года до н. э. философ Зенон Элейский предъявил грекам набор рассуждений, каждое из которых доказывало, что движения не существует. Самый известный — про Ахиллеса и черепаху: быстроногий герой никогда не догонит черепаху, если та стартовала раньше, потому что пока он добежит до её нынешней позиции, она уже отползёт вперёд, и так бесконечное число раз. Второй — «дихотомия»: чтобы пройти путь, нужно сначала пройти половину, потом половину остатка, потом половину нового остатка; шагов бесконечно много, значит, движение невозможно начать и невозможно закончить.

Греки прекрасно видели, что Ахиллес черепаху догоняет — глазами это проверяется за минуту. Но опровергнуть Зенона они не могли, и вот почему: у них не было понятия предела. Сложить бесконечно много положительных чисел и получить конечный результат казалось логическим противоречием. Аристотель попытался выкрутиться, разделив бесконечность на «потенциальную» и «актуальную», но математической формулы это не дало. Ближе всех подошёл Архимед: в трактате «Квадратура параболы» (около 240 г. до н. э.) он честно просуммировал ряд $1 + \frac14 + \frac{1}{16} + \frac{1}{64} + \dots$, доказав, что результат равен $\frac43$, — и использовал это, чтобы найти площадь сегмента параболы. Правда, доказывал он методом исчерпывания и от противного: показывал, что сумма не может быть больше $\frac43$ и не может быть меньше, — до формулы $\frac{b_1}{1-q}$ ещё оставалось два тысячелетия.

Формулу в общем виде получили только в XVII веке, когда Европа заново открыла бесконечные ряды. Шотландец Джеймс Грегори, фламандец Грегуар де Сен-Венсан и англичанин Джон Валлис независимо друг от друга пришли к тому, что $1 + q + q^2 + \dots = \frac{1}{1-q}$ при малых $q$. Долгое время формулой пользовались бесстрашно и без всяких условий: Эйлер, например, спокойно подставлял $q = -1$ и получал $1 - 1 + 1 - 1 + \dots = \frac12$, а $q = 2$ давало $1 + 2 + 4 + 8 + \dots = -1$. Эти «результаты» вызывали яростные споры весь XVIII век. Наведение порядка произошло в 1821 году: Огюстен Луи Коши в «Курсе анализа» дал строгое определение суммы ряда как предела частичных сумм и чётко указал границу — формула верна при $|q| < 1$ и только при нём.

Мостик в сегодня получается почти неприлично коротким. Когда в 1957 году Ричард Беллман строил теорию динамического программирования, ему понадобилось складывать награды за бесконечное будущее — и чтобы сумма была конечной, он ввёл дисконтирующий множитель $\gamma < 1$. Ровно тот самый $q$ из нашей формулы, только переименованный. Каждый раз, когда ты пишешь gamma=0.99 в конфиге RL-агента или momentum=0.9 в оптимизаторе, ты выставляешь знаменатель геометрической прогрессии и молча пользуешься тем, что Коши доказал двести лет назад.

Частичные суммы: как приручить бесконечность

Интуиция: складываем не всё сразу, а по нарастающей

Проблема с записью $b_1 + b_2 + b_3 + \dots$ в том, что операция сложения определена для двух чисел. Для трёх — по ассоциативности. Для десяти — тоже. А для бесконечного количества сложение попросту не определено: нет такого момента, когда ты «закончил складывать». Поэтому математика поступает хитро: она не складывает бесконечно много чисел, а строит последовательность конечных сумм и смотрит, куда та ползёт.

Представь, что ты заливаешь воду в мензурку. Сначала полстакана, потом четверть стакана, потом восьмушку, потом шестнадцатую часть — каждый раз вдвое меньше. Уровень воды после каждой заливки — это конечное, вполне измеримое число:

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

Числа $S_n$ называются частичными суммами. Ключевая мысль урока укладывается в одну фразу: бесконечная сумма — это предел последовательности частичных сумм. Никакой новой операции, никакой мистики; просто предел, который мы уже умеем брать.

Определение: Пусть дана последовательность $(b_n)$. Числа

$$S_n = b_1 + b_2 + \dots + b_n$$

называются частичными суммами ряда $b_1 + b_2 + b_3 + \dots$

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

Обрати внимание на формулировку: «суммы не существует» — это не «сумма равна бесконечности» и не «мы не смогли посчитать». Это утверждение об отсутствии объекта, ровно как «не существует корня из $-4$ среди действительных чисел».

Примеры с разбором

Пример 1 (простой). Найдём частичные суммы ряда $\frac12 + \frac14 + \frac18 + \dots$ и его сумму.

Это геометрическая прогрессия с $b_1 = \frac12$, $q = \frac12$. По формуле конечной суммы из урока 128:

Проверим на маленьких $n$: $S_1 = 1 - \frac12 = \frac12$ ✅, $S_3 = 1 - \frac18 = 0{,}875$ ✅. Формула работает.

Теперь предел. Последовательность $\frac{1}{2^n}$ — это бесконечно малая (урок 129): $\frac{1}{2^n} \to 0$. Значит,

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

Пример 2 (средний). Что происходит с рядом $3 + 3 + 3 + 3 + \dots$?

Это тоже геометрическая прогрессия, только с $q = 1$. Частичные суммы считаются устно: $S_n = 3n$. Последовательность $3, 6, 9, 12, \dots$ неограниченно возрастает, конечного предела у неё нет.

Ответ: ряд расходится, суммы не существует.

Пример 3 (сложный). Разберём знаменитый ряд Гранди: $1 - 1 + 1 - 1 + 1 - \dots$

Это прогрессия с $b_1 = 1$ и $q = -1$. Выпишем частичные суммы:

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

Здесь и ломались математики XVIII века. Заманчиво сгруппировать слагаемые: $(1-1) + (1-1) + \dots = 0$. Или иначе: $1 - (1-1) - (1-1) - \dots = 1$. Или обозначить сумму за $S$ и написать $S = 1 - S$, откуда $S = \frac12$. Три разных «ответа» — и все три неверны, потому что все три исходят из того, что сумма существует. Она не существует, и переставлять/группировать слагаемые в расходящемся ряде нельзя.

Ответ: ряд расходится; ни $0$, ни $1$, ни $\frac12$ его суммой не являются.

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

Определение через частичные суммы — это не формальность ради строгости, а рабочий инструмент. Когда ты в коде считаешь дисконтированную отдачу, ты физически не можешь просуммировать бесконечность — ты обрываешь цикл на каком-то шаге $n$ и берёшь именно частичную сумму $S_n$. Вопрос «насколько я ошибся, оборвав» — это вопрос о том, как быстро $S_n$ приближается к $S$. Мы на него ответим точно: ошибка равна $\frac{b_1 q^{\,n}}{1-q}$ и убывает геометрически, поэтому в задании 24 мы честно посчитаем, сколько шагов нужно, чтобы накопить $95\%$ отдачи.

Формула суммы: один предел — и всё готово

Интуиция: хвост становится невесомым

У нас уже есть формула конечной суммы из урока 128:

Всё зависимость от $n$ здесь сидит в одном-единственном месте: множителе $q^{\,n}$. И весь вопрос сводится к тому, что с этим множителем происходит, когда $n$ растёт.

Возьми $q = 0{,}5$ и посмотри: $q^{10} \approx 0{,}00098$, $q^{20} \approx 0{,}00000095$, $q^{30} \approx 10^{-9}$. Возьми $q = 0{,}99$ — убывает медленнее, но так же неотвратимо: $q^{100} \approx 0{,}366$, $q^{1000} \approx 0{,}000043$. Возьми $q = -0{,}8$: $q^{10} \approx 0{,}107$, $q^{25} \approx -0{,}0038$ — прыгает по знакам, но по модулю жмётся к нулю.

Это и есть содержательный факт из урока 129: при $|q| < 1$ последовательность $q^{\,n}$ бесконечно мала, то есть $q^{\,n} \to 0$. Причина простая: каждое умножение на число, меньшее единицы по модулю, съедает фиксированную долю от того, что осталось, а бесконечное количество таких откусываний не оставляет ничего.

Дальше — механика. Раз $q^{\,n} \to 0$, то $1 - q^{\,n} \to 1$, а вся дробь стремится к $\frac{b_1}{1-q}$:

Всё. Вывод занял одну строчку — потому что вся тяжёлая работа была сделана раньше: формула $S_n$ в уроке 128, предел $q^{\,n} \to 0$ в уроке 129.

Определение и теорема: Геометрическая прогрессия с $|q| < 1$ называется бесконечно убывающей. Ряд, составленный из её членов, сходится, и его сумма равна

$$S = \frac{b_1}{1 - q}, \qquad |q| < 1.$$

При $|q| \geq 1$ ряд расходится и суммы не имеет.

Название «бесконечно убывающая» — исторически сложившееся и слегка неудачное: прогрессия $-1, -\frac12, -\frac14, \dots$ формально возрастает (её члены увеличиваются: $-1 < -0{,}5 < -0{,}25$), а прогрессия $1, -\frac12, \frac14, -\frac18, \dots$ вообще скачет туда-сюда. Убывают модули членов. Держи это в голове: критерий всегда один — $|q| < 1$.

Полезно сразу заметить, как устроена ошибка обрыва. Вычитая, получаем:

То есть остаток после $n$ слагаемых составляет ровно долю $q^{\,n}$ от всей суммы. Практичнейшая формула: чтобы накопить $99\%$ суммы при $q = 0{,}9$, нужно $0{,}9^{\,n} \le 0{,}01$, то есть $n \ge \frac{\ln 0{,}01}{\ln 0{,}9} \approx 43{,}7$ — сорок четыре слагаемых, и ни одним меньше.

Примеры с разбором

Пример 1 (простой). Найди сумму ряда $6 + 2 + \frac23 + \frac29 + \dots$

Шаг 1. Находим знаменатель. $q = \dfrac{2}{6} = \dfrac13$. Проверяем следующее отношение: $\dfrac{2/3}{2} = \dfrac13$ ✅ — прогрессия действительно геометрическая.

Шаг 2. Проверяем условие сходимости. $|q| = \frac13 < 1$ ✅ — формулу применять можно.

Шаг 3. Подставляем.

Проверка: частичные суммы $6;\ 8;\ 8{,}667;\ 8{,}889;\ 8{,}963;\ 8{,}988\dots$ — уверенно подбираются к девятке ✅

Ответ: $S = 9$.

Пример 2 (средний). Найди сумму ряда $0{,}5 - 0{,}25 + 0{,}125 - 0{,}0625 + \dots$

Шаг 1. Знаки чередуются, значит $q$ отрицательный: $q = \dfrac{-0{,}25}{0{,}5} = -0{,}5$.

Шаг 2. $|q| = 0{,}5 < 1$ ✅ — сходится. Заметь: минус в знаменателе никак не мешает, важен только модуль.

Шаг 3.

Проверка: $S_1 = 0{,}5$, $S_2 = 0{,}25$, $S_3 = 0{,}375$, $S_4 = 0{,}3125$, $S_5 = 0{,}34375$ — частичные суммы прыгают вокруг $0{,}333\dots$, зажимая его всё плотнее ✅ Это типичное поведение знакочередующегося ряда: он подбирается к сумме «в вилку», то сверху, то снизу.

Ответ: $S = \dfrac13$.

Пример 3 (сложный). В бесконечно убывающей геометрической прогрессии с положительным знаменателем $b_3 = 4$ и $b_5 = 1$. Найди сумму прогрессии.

Шаг 1. Связываем данные члены. По формуле $n$-го члена $b_5 = b_3 \cdot q^2$, откуда

Шаг 2. Извлекаем корень. $q = \pm\frac12$, но по условию знаменатель положительный, поэтому $q = \frac12$. Условие $|q| < 1$ выполнено ✅

Шаг 3. Находим первый член. $b_3 = b_1 q^2$, значит

Шаг 4. Считаем сумму.

Проверка: прогрессия выглядит как $16;\ 8;\ 4;\ 2;\ 1;\ 0{,}5;\dots$ — третий член $4$ ✅, пятый $1$ ✅, а сумма $16+8+4+2+1+\dots$ явно стремится к $32$ (каждая частичная сумма ровно на «следующий член» не дотягивает до $32$) ✅

Ответ: $S = 32$.

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

Формула $\frac{b_1}{1-q}$ — это, возможно, самая часто применяемая формула во всём машинном обучении, просто она носит разные маски. Эффективный горизонт RL-агента $\frac{1}{1-\gamma}$, эффективное окно скользящего среднего $\frac{1}{1-\beta}$, установившийся масштаб шага при momentum $\frac{1}{1-\beta}$, коэффициент bias correction $\frac{1}{1-\beta^t}$ — это всё она, в четырёх костюмах. Когда инженер говорит «поставил gamma=0.995, теперь агент видит на две тысячи шагов вперёд» — он в уме поделил единицу на $0{,}005$.

Что ломается при $|q| \ge 1$

Условие $|q| < 1$ не косметическое ограничение, которое «в хороших случаях можно нарушить». Это точная граница, за которой объекта просто нет. Разберём все три способа выйти за неё.

Случай $|q| > 1$: сумма убегает

Здесь $|q^{\,n}| \to \infty$, члены прогрессии по модулю неограниченно растут, а вместе с ними и частичные суммы. Никакого предела нет.

Соблазн подставить в формулу всё равно велик, и результат выходит абсурдный. Для ряда $1 + 2 + 4 + 8 + \dots$ формальная подстановка $q = 2$ даёт

то есть сумма положительных чисел якобы отрицательна. Это тот самый «результат» Эйлера, из-за которого весь XVIII век кипели споры. С точки зрения школьного анализа он просто некорректен: формула выведена в предположении $q^{\,n} \to 0$, а при $q = 2$ это предположение ложно.

Отдельно стоит запомнить, что «медленно» не значит «сходится». Ряд $1 + 1{,}01 + 1{,}01^2 + 1{,}01^3 + \dots$ растёт настолько лениво, что первая тысяча членов кажется почти постоянной. Но $S_{1000} = \frac{1{,}01^{1000} - 1}{0{,}01} \approx \frac{20959 - 1}{0{,}01} \approx 2\,096\,000$, и дальше только хуже. Расходимость определяется не скоростью на глаз, а строгим неравенством $|q| \ge 1$.

Случай $q = 1$: сумма растёт линейно

Прогрессия превращается в постоянную последовательность $b_1, b_1, b_1, \dots$, частичные суммы равны $S_n = n b_1$ и уходят в $+\infty$ или $-\infty$ в зависимости от знака $b_1$. Формула $\frac{b_1}{1-q}$ здесь даёт деление на ноль — и это честный сигнал, а не техническая неприятность: сумма и правда не существует.

Обрати внимание, насколько резко всё меняется около единицы. При $q = 0{,}999$ сумма равна $1000 b_1$ — большая, но конечная. При $q = 0{,}99999$ она равна $100\,000 b_1$. А при $q = 1$ её нет вообще. Функция $\frac{1}{1-q}$ взрывается у самой границы — и в ML это ощущается физически: агент с $\gamma = 0{,}9999$ формально имеет горизонт в $10\,000$ шагов, но обучается отвратительно, потому что оценка отдачи становится дико неустойчивой.

Случай $q = -1$: сумма мечется

Разобран в примере 3 выше: частичные суммы прыгают между двумя значениями и предела не имеют. Формально $|q| = 1$, условие нарушено.

Случай $q < -1$: сумма мечется всё сильнее

Скажем, $q = -1{,}5$ и $b_1 = 1$: члены $1, -1{,}5, 2{,}25, -3{,}375, 5{,}0625, \dots$ Частичные суммы $1;\ -0{,}5;\ 1{,}75;\ -1{,}625;\ 3{,}4375;\dots$ — размах колебаний растёт, предела нет.

Примеры с разбором

Пример 1 (простой). Сходится ли ряд $5 + 10 + 20 + 40 + \dots$?

$q = \frac{10}{5} = 2$, $|q| = 2 \ge 1$. Ряд расходится, суммы не существует. Никакой формулы применять нельзя.

Ответ: расходится.

Пример 2 (средний). При каких значениях $x$ сходится ряд $1 + \dfrac{x}{3} + \dfrac{x^2}{9} + \dfrac{x^3}{27} + \dots$ и чему равна его сумма?

Шаг 1. Знаменатель прогрессии: $q = \dfrac{x/3}{1} = \dfrac{x}{3}$. Следующее отношение: $\dfrac{x^2/9}{x/3} = \dfrac{x}{3}$ ✅

Шаг 2. Условие сходимости.

Шаг 3. Сумма на этом промежутке.

Проверка: при $x = 1$ ряд равен $1 + \frac13 + \frac19 + \dots = \frac{1}{1-1/3} = \frac32$, и формула даёт $\frac{3}{3-1} = \frac32$ ✅

Ответ: сходится при $x \in (-3;\,3)$, сумма $S = \dfrac{3}{3-x}$.

Пример 3 (сложный). Сумма бесконечно убывающей геометрической прогрессии равна $4$. Какие значения может принимать первый член?

Шаг 1. Из формулы $\dfrac{b_1}{1-q} = 4$ следует $b_1 = 4(1-q)$.

Шаг 2. Ограничение на $q$: по условию сходимости $-1 < q < 1$, причём $q \neq 0$ (иначе это не прогрессия).

Шаг 3. Смотрим, что при этом пробегает выражение $1 - q$. Если $q \in (-1;\,1)$, то $-q \in (-1;\,1)$ и $1 - q \in (0;\,2)$. Исключая $q = 0$, убираем значение $1-q = 1$.

Шаг 4. Значит $b_1 = 4(1-q) \in (0;\,8)$, кроме $b_1 = 4$.

Проверка граничных случаев: при $q \to 1^-$ получаем $b_1 \to 0$ — крошечный первый член, но знаменатель почти единица, сумма всё равно $4$. При $q \to -1^+$ получаем $b_1 \to 8$ — прогрессия почти $8, -8, 8, \dots$, частичные суммы прыгают вокруг четвёрки ✅

Ответ: $b_1 \in (0;\,4) \cup (4;\,8)$.

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

Проверка $|q| < 1$ — первый шаг любого решения, и в прикладных задачах она не формальность. В обучении с подкреплением $\gamma = 1$ (недисконтированная задача) разрешён только для эпизодических сред, где эпизод гарантированно заканчивается; в бесконечной среде $\gamma = 1$ делает отдачу неопределённой, и алгоритм разваливается. В экспоненциальном сглаживании $\beta \ge 1$ означает, что вклад старых наблюдений не гаснет, а нарастает — фильтр взрывается. Это ровно наш случай $|q| \ge 1$, только в проде.

Периодические дроби: закрываем долг из урока 22

Интуиция: бесконечный хвост — это прогрессия

В уроке 22 ты пользовался правилом: «в числителе — период, в знаменателе — столько девяток, сколько цифр в периоде». Работало безотказно, но выглядело как фокус. Сейчас фокус разоблачается.

Запись $0{,}(3)$ означает $0{,}333333\dots$ Распишем её честно, по разрядам:

Это геометрическая прогрессия! Первый член $b_1 = \frac{3}{10} = 0{,}3$, знаменатель $q = \frac{1}{10} = 0{,}1$ (каждое следующее слагаемое в десять раз меньше). Условие $|q| < 1$ выполнено, поэтому

Вот откуда девятки: знаменатель формулы $1 - q$ при $q = 0{,}1$ даёт $0{,}9$, при $q = 0{,}01$ даёт $0{,}99$, при $q = 0{,}001$ — $0{,}999$. Число девяток равно длине периода, потому что именно столько разрядов «съедает» каждое умножение на $q$.

Правило: любую бесконечную периодическую десятичную дробь можно представить суммой бесконечной геометрической прогрессии со знаменателем $q = 10^{-k}$, где $k$ — длина периода, и потому любая такая дробь является рациональным числом.

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

Примеры с разбором

Пример 1 (простой). Переведи $0{,}(12)$ в обыкновенную дробь.

Шаг 1. Раскладываем. $0{,}(12) = 0{,}12 + 0{,}0012 + 0{,}000012 + \dots$

Шаг 2. Определяем параметры. Период состоит из двух цифр, значит $b_1 = 0{,}12$ и $q = 0{,}01$.

Шаг 3. Считаем.

Проверка: $4 : 33 = 0{,}121212\dots$ ✅

Ответ: $\dfrac{4}{33}$.

Пример 2 (средний). Переведи смешанную периодическую дробь $0{,}2(45)$ в обыкновенную.

Здесь есть непериодическая часть — двойка сразу после запятой. Отделим её.

Шаг 1. Разбиваем на два куска.

Шаг 2. Хвост — это прогрессия с $b_1 = 0{,}045$ и $q = 0{,}01$:

Шаг 3. Складываем.

Проверка: $27 : 110 = 0{,}2454545\dots$ ✅

Ответ: $\dfrac{27}{110}$.

Пример 3 (сложный). Докажи, что $0{,}(9) = 1$.

Этот пример вызывает больше споров, чем любой другой в школьной математике, поэтому разберём его по-честному.

Шаг 1. Раскладываем в ряд.

Это геометрическая прогрессия: $b_1 = 0{,}9$, $q = 0{,}1$.

Шаг 2. Проверяем условие. $|0{,}1| < 1$ ✅

Шаг 3. Считаем сумму.

Шаг 4. Разбираемся с возражением. Обычно спорят так: «Каждая частичная сумма $0{,}9;\ 0{,}99;\ 0{,}999$ строго меньше единицы, значит, и предел меньше». Ошибка здесь в последнем шаге. Строгие неравенства при переходе к пределу превращаются в нестрогие: из $S_n < 1$ для всех $n$ следует только $S \le 1$, а не $S < 1$. Простейший контрпример этого же типа: все члены последовательности $\frac1n$ строго положительны, а предел равен нулю.

Шаг 5. Ещё один аргумент — от плотности. Если бы $0{,}(9)$ и $1$ были разными числами, между ними нашлось бы третье число (для любых различных действительных чисел это так). Попробуй назвать число, которое больше $0{,}(9)$ и меньше $1$. Его не существует, потому что разность равна $\lim\limits_{n\to\infty} 10^{-n} = 0$.

Ответ: $0{,}(9) = 1$ — это точное равенство, две разные записи одного и того же числа.

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

Помимо чистой арифметики, здесь важен принцип: одно и то же действительное число может иметь две десятичные записи. Это не курьёз, а причина реальных багов. Когда ты сравниваешь числа с плавающей точкой оператором ==, ты сталкиваешься с младшим братом этой проблемы: 0.1 + 0.2 == 0.3 даёт False, потому что $0{,}1$ и $0{,}2$ в двоичной системе — бесконечные периодические дроби, которые пришлось обрезать. Отсюда универсальное правило нормализации данных и тестов: вещественные числа сравнивают через $|a - b| < \varepsilon$, а не на точное равенство.

Парадокс Зенона: как Ахиллес всё-таки догнал черепаху

Давай разберёмся с историей, с которой всё начиналось. Возьмём конкретные числа: Ахиллес бежит со скоростью $10$ м/с, черепаха ползёт со скоростью $1$ м/с, фора черепахи — $100$ метров.

Рассуждение Зенона строится по шагам:

• Шаг 1. Ахиллес бежит $100$ м до стартовой точки черепахи. Это занимает $10$ секунд. За это время черепаха уползла на $10$ м вперёд.
• Шаг 2. Ахиллес бежит эти $10$ м за $1$ секунду. Черепаха за секунду уползает ещё на $1$ м.
• Шаг 3. Ахиллес бежит $1$ м за $0{,}1$ с. Черепаха уползает на $0{,}1$ м.
• Шаг 4. Ахиллес бежит $0{,}1$ м за $0{,}01$ с. Черепаха уползает на $0{,}01$ м.

И так далее — бесконечно. Каждый раз, добравшись до места, где черепаха была, Ахиллес обнаруживает её чуть впереди. Вывод Зенона: догнать невозможно, ведь шагов бесконечно много.

Ошибка в последнем предложении, и она ровно в том, что бесконечное число шагов Зенон отождествил с бесконечным временем. Посчитаем время явно:

Это геометрическая прогрессия с $b_1 = 10$ и $q = 0{,}1$. Условие $|q| < 1$ выполнено, значит,

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

Сверим с обычным школьным решением через уравнение. Пусть $t$ — время встречи. Путь Ахиллеса $10t$, путь черепахи $100 + t$. Приравниваем:

Совпало в точности ✅ А путь Ахиллеса:

Проверим по черепахе: она стартовала со $100$ м и проползла $1 \cdot \frac{100}{9} = \frac{100}{9}$ м, итого $100 + \frac{100}{9} = \frac{900 + 100}{9} = \frac{1000}{9}$ ✅ Встретились в одной точке.

Вторая версия парадокса — «дихотомия» — разбирается так же. Чтобы пройти километр, нужно пройти полкилометра, потом четверть, потом восьмушку:

Ровно километр, ни метром больше. Бесконечное дробление пути не делает путь бесконечным.

Что тут по-настоящему интересно: Зенон не был дураком, и его парадокс не «решается» пренебрежительным «ну он же догоняет, все видят». Зенон нащупал реальный логический пробел — отсутствие понятия предела, — и математике понадобилось 2300 лет, чтобы этот пробел закрыть строго. Формула $\frac{b_1}{1-q}$, которую ты сегодня применяешь за десять секунд, — это конец очень длинной истории.

Бесконечная прогрессия в машинном обучении

Здесь начинается самое прикладное. Все четыре сюжета ниже — одна и та же формула, и во всех четырёх ты будешь видеть выражение вида $\frac{1}{1 - \text{что-то}}$.

1. Дисконтированная отдача в обучении с подкреплением

Агент в среде получает награды $r_0, r_1, r_2, \dots$ Задача — максимизировать не награду прямо сейчас, а суммарную награду за всё будущее. Если среда бесконечная, наивная сумма $r_0 + r_1 + r_2 + \dots$ расходится, и сравнивать стратегии невозможно: обе дают «бесконечность». Выход — дисконтирование:

Если награда постоянна и равна $r$, это в точности наша прогрессия с $b_1 = r$ и $q = \gamma$:

Отсюда две сверхполезные вещи.

Первое — оценка сверху. При $\gamma = 0{,}99$ и наградах в диапазоне $[0;\,1]$ отдача заведомо лежит в $[0;\,100]$. Это сразу говорит, как инициализировать голову value-функции и в каком диапазоне нормировать таргеты. Если сеть выдаёт $Q$-значение $10^4$, где-то баг — при таком $\gamma$ это физически невозможно.

Второе — эффективный горизонт. Величину

называют эффективным горизонтом: это масштаб числа шагов, которые агент реально «видит» вперёд. Для $\gamma = 0{,}9$ горизонт $10$ шагов, для $\gamma = 0{,}99$ — $100$, для $\gamma = 0{,}999$ — $1000$. Отсюда рабочее правило: если в твоей задаче награда приходит через $N$ шагов после действия, бери $\gamma$ так, чтобы $\frac{1}{1-\gamma}$ был хотя бы порядка $N$. С $\gamma = 0{,}9$ агент в шахматах не научится ничему: вклад победы, отстоящей на $60$ ходов, гасится множителем $0{,}9^{60} \approx 0{,}0018$ — это шум.

Можно посчитать и точнее. Доля отдачи, накопленная за первые $H$ шагов, равна $1 - \gamma^{H}$. При $\gamma = 0{,}99$ и $H = 100$:

то есть первые сто шагов дают около $63\%$ всей отдачи, а оставшиеся $37\%$ размазаны по бесконечному хвосту.

2. Экспоненциальное скользящее среднее (EMA)

Стандартная формула сглаживания:

Развернём рекурсию до конца, подставляя $v_{t-1}$, потом $v_{t-2}$ и так далее:

Получилось взвешенное среднее всех прошлых наблюдений с весами $(1-\beta)\beta^{\,k}$ — геометрической прогрессией со знаменателем $\beta$. Сумма всех весов при $t \to \infty$:

Единица — и это принципиально. Именно поэтому в формуле стоит множитель $(1-\beta)$: он нормирует веса так, чтобы EMA было честным средним, а не «суммой с накруткой». Если убрать $(1-\beta)$, получится не среднее, а величина, в $\frac{1}{1-\beta}$ раз большая.

Эффективное окно. Сколько последних наблюдений реально влияет на $v_t$? Аккуратный ответ даёт средний возраст наблюдения — центр тяжести весов, который равен $\frac{\beta}{1-\beta}$, а грубая и повсеместно используемая оценка размера окна такова:

Для $\beta = 0{,}9$ это $10$ наблюдений, для $\beta = 0{,}99$ — $100$, для $\beta = 0{,}999$ — $1000$. Именно поэтому в Adam стоит betas=(0.9, 0.999): первый момент усредняется по окну примерно в $10$ шагов (быстро реагирует на изменение направления), второй момент — по окну примерно в $1000$ шагов (стабильная оценка масштаба градиента).

Bias correction. На старте обучения $v_0 = 0$, и первые несколько шагов EMA сильно занижено: сумма весов, реально задействованных к моменту $t$, равна не единице, а

Вот откуда в Adam берётся деление $\hat{v}_t = \frac{v_t}{1 - \beta^{\,t}}$: это не эвристика, а честная нормировка на недостающую часть геометрической суммы. При $\beta = 0{,}999$ и $t = 1$ поправка равна $\frac{1}{0{,}001} = 1000$ — без неё первый шаг Adam был бы в тысячу раз меньше нужного.

3. Momentum в оптимизаторах

Классический momentum накапливает градиенты:

Обрати внимание: здесь нет множителя $(1-\beta)$ — это «ненормированная» версия. Что будет, если градиент постоянен и равен $g$ (скажем, агент едет по длинному пологому склону)? Раскрываем:

То есть на длинном плоском участке momentum разгоняет эффективный шаг в $\frac{1}{1-\beta}$ раз. При $\beta = 0{,}9$ — в десять раз. Отсюда практическое правило, которое иначе выглядит магией: включая momentum с $\beta = 0{,}9$, уменьшай learning rate примерно на порядок, иначе обучение разлетится. И наоборот, переходя с SGD+momentum на чистый SGD, lr надо поднимать.

Полезно знать и время разгона. Скорость достигает доли $\alpha$ от установившегося значения, когда $1 - \beta^{\,t} \ge \alpha$. Для $\beta = 0{,}9$ и $\alpha = 0{,}99$:

Сорок четыре шага на «раскрутку» — вот почему кривая обучения с momentum первые полсотни итераций ведёт себя не так, как обещает теория для установившегося режима.

4. Геометрическая сходимость итеративных методов

Когда говорят, что метод сходится линейно (он же «геометрически») со скоростью $\rho < 1$, имеют в виду оценку ошибки

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

то есть траектория оптимизации имеет конечную длину и не может «наматывать круги» бесконечно. Во-вторых, число итераций до точности $\varepsilon$ равно примерно $\frac{\ln(e_0/\varepsilon)}{\ln(1/\rho)}$ — логарифм от требуемой точности, а не линейная зависимость. Именно поэтому выжать из численного метода лишний знак после запятой дёшево, а изменить $\rho$ с $0{,}99$ на $0{,}9$ — гигантский выигрыш (в $\ln 0{,}9 / \ln 0{,}99 \approx 10$ раз меньше итераций).

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

Заметил закономерность? Во всех четырёх сюжетах появилось одно и то же выражение $\frac{1}{1-x}$, и во всех четырёх оно означало одно и то же: «сколько шагов эффективно участвует». Это не совпадение, а один и тот же математический объект, надетый на четыре разные инженерные задачи. Умение узнавать его сразу экономит часы: увидел в конфиге beta=0.98 — мгновенно знаешь, что окно около пятидесяти шагов, и уже понимаешь, будет ли метрика реагировать на изменения достаточно быстро.

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

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

Задание 1: В бесконечной геометрической прогрессии $b_1 = 5$, $q = \frac12$. Найди сумму прогрессии.

Задание 2: Найди сумму ряда $12 + 4 + \dfrac43 + \dfrac49 + \dots$

Задание 3: Сходится ли ряд $2 + 6 + 18 + 54 + \dots$? Если да, найди сумму.

Задание 4: Найди сумму ряда $9 - 3 + 1 - \dfrac13 + \dots$

Задание 5: Переведи периодическую дробь $0{,}(7)$ в обыкновенную с помощью формулы суммы прогрессии.

Задание 6: Сумма бесконечной геометрической прогрессии равна $12$, а её первый член равен $8$. Найди знаменатель.

Задание 7: Знаменатель бесконечно убывающей прогрессии равен $0{,}8$, её сумма равна $45$. Найди первый член.

Задание 8: Мяч падает с высоты $10$ м и после каждого удара о пол подскакивает на половину предыдущей высоты. Какой суммарный путь он пройдёт до полной остановки?

Задание 9: RL-агент на каждом шаге получает награду $r = 1$ и работает бесконечно долго. Коэффициент дисконтирования $\gamma = 0{,}9$. Чему равна дисконтированная отдача $G = \sum_{t=0}^{\infty}\gamma^{\,t} r$?

Задание 10: Существует ли сумма ряда $100 - 100 + 100 - 100 + \dots$?

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

Задание 11: Найди сумму ряда $1 + 0{,}4 + 0{,}16 + 0{,}064 + \dots$

Задание 12: Переведи $0{,}(36)$ в обыкновенную дробь.

Задание 13: Переведи смешанную периодическую дробь $0{,}4(6)$ в обыкновенную.

Задание 14: При каких значениях $x$ сходится ряд $1 + x + x^2 + x^3 + \dots$ и чему равна его сумма?

Задание 15: При каких $x$ сходится ряд $x + \dfrac{x^2}{2} + \dfrac{x^3}{4} + \dfrac{x^4}{8} + \dots$ и чему равна сумма?

Задание 16: Сумма бесконечно убывающей геометрической прогрессии равна $9$, а сумма квадратов её членов равна $40{,}5$. Найди $b_1$ и $q$.

Задание 17: В треугольнике площадью $12$ соединили середины сторон — получился новый треугольник. В нём снова соединили середины сторон, и так бесконечно. Найди сумму площадей всех треугольников (включая исходный).

Задание 18: В экспоненциальном скользящем среднем $v_t = \beta v_{t-1} + (1-\beta)x_t$ взяли $\beta = 0{,}98$. Чему равна сумма всех весов, с которыми прошлые наблюдения входят в $v_t$ при $t \to \infty$, и каково эффективное окно усреднения?

Задание 19: В квадрате со стороной $8$ соединили середины сторон — получился новый квадрат. Процесс продолжили бесконечно. Найди сумму площадей всех квадратов.

Задание 20: При каком значении $a$ сумма ряда $a + a^2 + a^3 + a^4 + \dots$ равна $\dfrac13$?

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

Задание 21: Ахиллес бежит со скоростью $10$ м/с, черепаха ползёт со скоростью $1$ м/с и стартует на $100$ м впереди. Просуммируй «зеноновские» отрезки времени и найди, через сколько секунд и на каком расстоянии от старта Ахиллеса произойдёт встреча. Сверь результат с решением через уравнение.

Задание 22: Докажи, что $0{,}(9) = 1$, и объясни, почему рассуждение «все частичные суммы меньше единицы, значит, и сумма меньше» неверно.

Задание 23: Найди сумму ряда $1 + 2q + 3q^2 + 4q^3 + \dots$ при $q = \dfrac12$. (Это не геометрическая прогрессия, но приём «умножили на $q$ и вычли» из урока 128 работает и здесь.)

Задание 24: RL-агент получает награду $r = 2$ на каждом шаге, $\gamma = 0{,}99$. Найди полную дисконтированную отдачу и наименьшее число шагов $n$, за которое накопится не менее $95\%$ этой отдачи.

Задание 25: Переведи $2{,}1(37)$ в обыкновенную дробь.

Задание 26: Первый член бесконечно убывающей геометрической прогрессии равен $3$. (а) При каком $q$ её сумма равна $2$? (б) Может ли сумма такой прогрессии быть равной $1$? (в) Какие вообще значения может принимать сумма?

Задание 27: Итерационный метод сходится геометрически: ошибка на каждом шаге умножается на $\rho = 0{,}8$, начальная ошибка $e_0 = 5$. (а) Найди сумму всех ошибок $e_0 + e_1 + e_2 + \dots$ (б) Сколько итераций нужно, чтобы ошибка стала меньше $0{,}01$?

Задание 28: Найди сумму ряда $\dfrac12 + \dfrac13 + \dfrac14 + \dfrac19 + \dfrac18 + \dfrac{1}{27} + \dfrac{1}{16} + \dfrac{1}{81} + \dots$, где слагаемые с нечётными номерами образуют прогрессию со знаменателем $\frac12$, а с чётными — со знаменателем $\frac13$.

Задание 29: В SGD с классическим momentum скорость обновляется как $v_t = \beta v_{t-1} + g_t$, где $\beta = 0{,}9$, $v_0 = 0$. Градиент постоянен и равен $g = 1$. (а) К какому значению стремится $v_t$? (б) Через сколько шагов $v_t$ достигнет $99\%$ от этого значения? (в) Что это значит для выбора learning rate?

Задание 30: Снежинка Коха строится так: у равностороннего треугольника площадью $A_0$ каждая сторона делится на три части, и на средней части наружу достраивается равносторонний треугольник; операция повторяется бесконечно. Найди площадь снежинки.

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

❌ Ошибка 1: применяют формулу, не проверив $|q| < 1$

Неправильно: для ряда $1 + 2 + 4 + 8 + \dots$ написать $S = \dfrac{1}{1-2} = -1$.

Правильно: сначала найти $q = 2$, увидеть $|q| \ge 1$ и заключить: ряд расходится, суммы не существует.

💡 Почему важно: формула $\frac{b_1}{1-q}$ выведена в предположении $q^{\,n} \to 0$. При $|q| \ge 1$ это предположение ложно, и формула превращается в генератор бессмыслицы: сумма положительных чисел «равна» отрицательному числу. Проверка условия — не бюрократия, а часть вывода. Сделай её первым шагом любого решения, до всяких вычислений.

❌ Ошибка 2: путают формулы конечной и бесконечной суммы

Неправильно: считать сумму первых $n$ членов по формуле $\dfrac{b_1}{1-q}$ или, наоборот, искать бесконечную сумму по $\dfrac{b_1(1-q^{\,n})}{1-q}$, не понимая, куда девать $n$.

Правильно: $S_n = \dfrac{b_1(1-q^{\,n})}{1-q}$ — конечная сумма, работает при любом $q \neq 1$; $S = \dfrac{b_1}{1-q}$ — бесконечная, работает только при $|q| < 1$ и получается из первой предельным переходом $q^{\,n} \to 0$.

💡 Почему важно: это два разных объекта, и подмена меняет ответ. Мнемоника: если в условии есть номер $n$ («сумма первых десяти членов») — формула с $q^{\,n}$; если стоят многоточие и слово «бесконечной» — короткая формула.

❌ Ошибка 3: считают, что при отрицательном $q$ ряд не сходится

Неправильно: увидев ряд $9 - 3 + 1 - \frac13 + \dots$, заявить: «знаменатель отрицательный, значит, суммы нет».

Правильно: $q = -\frac13$, $|q| = \frac13 < 1$ — ряд сходится, сумма $\dfrac{9}{1+\frac13} = \dfrac{27}{4}$.

💡 Почему важно: условие сформулировано через модуль именно потому, что знак не важен — важно, гаснут ли члены. Знакочередующийся ряд просто подбирается к сумме «в вилку», то сверху, то снизу, а не монотонно. Ряд $1 - \frac12 + \frac14 - \dots$ сходится ровно так же уверенно, как $1 + \frac12 + \frac14 + \dots$, просто к другому числу ($\frac23$ против $2$).

❌ Ошибка 4: теряют знак в знаменателе при отрицательном $q$

Неправильно: для $b_1 = 9$, $q = -\frac13$ посчитать $1 - q = 1 - \frac13 = \frac23$ и получить $S = 13{,}5$.

Правильно: $1 - q = 1 - \left(-\frac13\right) = 1 + \frac13 = \frac43$, откуда $S = \dfrac{9}{4/3} = 6{,}75$.

💡 Почему важно: это самая частая арифметическая потеря балла в теме. Проверка на здравый смысл занимает секунду: при отрицательном $q$ члены частично гасят друг друга, поэтому сумма должна быть меньше $b_1$, а не больше. Если получилось больше первого члена при $q<0$ — ищи потерянный минус.

❌ Ошибка 5: считают, что $0{,}(9)$ чуть-чуть меньше единицы

Неправильно: «все частичные суммы $0{,}9;\ 0{,}99;\ 0{,}999$ строго меньше $1$, значит, и предел строго меньше».

Правильно: при переходе к пределу строгое неравенство становится нестрогим: из $S_n < 1$ следует только $S \le 1$. А поскольку $1 - S_n = 0{,}1^{\,n}$ становится меньше любого $\varepsilon > 0$, получается ровно $S = 1$.

💡 Почему важно: это принципиальное свойство пределов, а не частный курьёз про девятки. Простейший контрпример: $a_n = \frac1n > 0$ для всех $n$, а $\lim a_n = 0$. Забыв про него, легко «доказать», что предел положительной последовательности обязан быть положительным, — и получить неверный вывод в любой задаче на пределы.

❌ Ошибка 6: в задаче про мяч считают только высоты, а не путь

Неправильно: для мяча, падающего с $10$ м с коэффициентом отскока $0{,}5$, написать $S = \dfrac{10}{1-0{,}5} = 20$ м.

Правильно: первое падение $10$ м проходится один раз, а каждый подъём на высоту $h$ даёт путь $2h$ (вверх и обратно вниз):

💡 Почему важно: ошибка не в формуле, а в моделировании — прогрессию нужно строить для того, что реально спрашивают. Универсальная проверка: посчитай первые три-четыре слагаемых руками ($10 + 5 + 5 + 2{,}5 + 2{,}5 + \dots$) и сравни с тем, что даёт твоя формула.

❌ Ошибка 7: группируют слагаемые в расходящемся ряде

Неправильно: $1 - 1 + 1 - 1 + \dots = (1-1)+(1-1)+\dots = 0$.

Правильно: ряд расходится, суммы не существует, поэтому расставлять скобки нельзя — та же расстановка другим способом даёт $1$, а трюк «$S = 1 - S$» даёт $\frac12$.

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

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

📝 Ключевые понятия

✅ Частичная сумма: $S_n = b_1 + b_2 + \dots + b_n$ — обычная конечная сумма первых $n$ членов.

✅ Сумма ряда — это предел частичных сумм: $S = \lim\limits_{n\to\infty} S_n$. Никакой новой операции нет, есть только предел из урока 129.

✅ Сходимость и расходимость: если предел частичных сумм конечен, ряд сходится и сумма существует; если предела нет или он бесконечен, ряд расходится и суммы не существует (это не то же самое, что «сумма равна бесконечности»).

✅ Главная формула: при $|q| < 1$ сумма бесконечной геометрической прогрессии равна

✅ Условие $|q| < 1$ обязательно. При $|q| \ge 1$ ряд расходится: при $|q|>1$ члены растут, при $q=1$ сумма равна $nb_1$ и уходит в бесконечность, при $q=-1$ частичные суммы прыгают между двумя значениями.

✅ Вывод в одну строку: $S_n = \dfrac{b_1(1-q^{\,n})}{1-q}$, а при $|q|<1$ множитель $q^{\,n} \to 0$, откуда и получается $\dfrac{b_1}{1-q}$.

✅ Ошибка обрыва: $S - S_n = S\cdot q^{\,n}$. Остаток после $n$ слагаемых составляет долю $q^{\,n}$ от всей суммы, а число слагаемых для точности $\varepsilon$ ищется логарифмом: $n \ge \dfrac{\ln\varepsilon}{\ln|q|}$.

✅ Периодическая дробь = геометрическая прогрессия со знаменателем $10^{-k}$, где $k$ — длина периода. Отсюда правило «девятки в знаменателе» из урока 22 и равенство $0{,}(9) = 1$.

✅ Квадраты членов прогрессии сами образуют прогрессию со знаменателем $q^2$, и их сумма равна $\dfrac{b_1^2}{1-q^2}$ — стандартный второй ход в задачах с системой.

✅ В ML это одна формула в четырёх костюмах: эффективный горизонт RL $\frac{1}{1-\gamma}$, эффективное окно EMA $\frac{1}{1-\beta}$, установившийся масштаб momentum $\frac{1}{1-\beta}$, bias correction Adam $\frac{1}{1-\beta^{\,t}}$.

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

Что было раньше: урок 128 дал формулу конечной суммы $S_n = \frac{b_1(1-q^{\,n})}{1-q}$ и приём «умножили на $q$ и вычли» — весь фундамент сегодняшнего вывода. Урок 129 дал предел последовательности и, главное, факт $q^{\,n} \to 0$ при $|q|<1$: без него формула не выводится, а только угадывается. Урок 22 из базового курса ввёл периодические дроби и правило с девятками — сегодня мы наконец увидели, откуда оно берётся. Уроки 116–118 про логарифмы дали инструмент для обратной задачи: найти номер слагаемого, начиная с которого хвост меньше заданной точности.

Что дальше: в уроке 131 предел перейдёт с последовательностей на функции — вместо «что происходит при $n \to \infty$» появится «что происходит при $x \to a$», и наша сумма $S(x) = \frac{1}{1-x}$ окажется первым примером функции, заданной рядом. Урок 132 про непрерывность объяснит, почему такие функции хорошо себя ведут внутри промежутка сходимости и ломаются на его границе. Дальше, в уроках 133–144, придёт производная, и она даст второй, гораздо более мощный способ работать с рядами (в частности, ряд из задания 23 будет получаться за одну строчку). А в университетском курсе (уроки 204–208) геометрический ряд станет эталоном, с которым сравнивают все остальные: признаки сходимости Даламбера и Коши — это в буквальном смысле «а не ведёт ли себя мой ряд как геометрический».

Где это применяется в жизни и в ML/данных:

🤖 В машинном обучении: дисконтированная отдача в RL и эффективный горизонт $\frac{1}{1-\gamma}$; экспоненциальные скользящие средние в Adam, RMSProp и AdaGrad; bias correction; momentum и его установившийся масштаб шага; оценки скорости сходимости оптимизаторов ($e_k \le \rho^{\,k}e_0$); затухание и взрыв градиентов в рекуррентных сетях — это ровно вопрос о том, больше или меньше единицы модуль эффективного множителя.

📊 В анализе данных: экспоненциальное сглаживание временных рядов (Holt-Winters), half-life в моделях удержания пользователей, взвешивание исторических наблюдений с затуханием, оценка суммарного LTV при постоянном оттоке — это буквально $\frac{\text{ARPU}}{\text{отток}}$, то есть наша формула.

💰 В финансах: оценка вечной ренты (перпетуитета) по формуле $\frac{C}{r}$ — предельный случай нашей суммы; дисконтирование бесконечного денежного потока; модель Гордона для оценки акций $\frac{D}{r-g}$, где $q = \frac{1+g}{1+r}$; банковский денежный мультипликатор $\frac{1}{\text{норма резервирования}}$.

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

💻 В программировании: амортизированная сложность вставки в динамический массив, экспоненциальный backoff при повторных запросах (суммарное время ожидания конечно только при определённых коэффициентах), геометрическая сходимость численных методов, вероятностные структуры вроде skip-list, где ожидаемая высота считается через геометрический ряд.

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

💡 Архимед просуммировал ряд за две тысячи лет до появления формулы. В «Квадратуре параболы» (около 240 г. до н. э.) он доказал, что $1 + \frac14 + \frac{1}{16} + \frac{1}{64} + \dots = \frac43$, и использовал это для вычисления площади параболического сегмента. Формулы $\frac{b_1}{1-q}$ у него не было — он показал методом от противного, что сумма не может быть ни больше $\frac43$, ни меньше. Это, возможно, первое в истории строгое обращение с бесконечным рядом.

💡 Равенство $1 + 2 + 4 + 8 + \dots = -1$ в некотором смысле верно. В обычных действительных числах это бессмыслица, но существуют так называемые $2$-адические числа, где «близкими к нулю» считаются числа, делящиеся на большую степень двойки. В такой метрике $2^{\,n} \to 0$, условие сходимости выполняется, и формула честно даёт $\frac{1}{1-2} = -1$. Эйлер интуитивно нащупал структуру, которую строго построил Курт Гензель только в 1897 году.

💡 Канторово множество: выбросили всё, а осталось несчётно много. Возьми отрезок $[0;1]$ и выбрось среднюю треть, потом средние трети у двух оставшихся кусков, и так далее. Суммарная длина выброшенного: $\frac13 + \frac29 + \frac{4}{27} + \dots$ — прогрессия с $b_1 = \frac13$, $q = \frac23$, её сумма равна $\frac{1/3}{1/3} = 1$. Выброшена вся длина отрезка! При этом оставшееся множество не пусто и даже несчётно — в нём столько же точек, сколько во всём отрезке.

💡 Спор про $0{,}(9) = 1$ регулярно попадает в научные статьи по педагогике. Исследования показывают, что большинство студентов первого курса, даже успешно сдавших анализ, при первом предъявлении считают $0{,}(9)$ строго меньше единицы. Причина устойчива: интуиция подсказывает «процесс не закончен», хотя $0{,}(9)$ — это не процесс, а число, обозначаемое пределом. У равенства даже есть постоянная страница обсуждения на Википедии — одна из самых длительных в истории математического раздела.

💡 Снежинка Коха имеет бесконечный периметр и конечную площадь. Ты посчитал это в задании 30: площадь равна $\frac85$ от исходного треугольника, а периметр умножается на $\frac43$ на каждом шаге и растёт неограниченно ($q = \frac43 > 1$ — расходящаяся прогрессия). Похожий эффект в природе называют «парадоксом береговой линии»: измеренная длина побережья Британии зависит от длины линейки и растёт при её уменьшении, а площадь острова при этом конечна и стабильна.

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

1. Держи в голове таблицу «$q \to \frac{1}{1-q}$»

Эти шесть значений закрывают девять из десяти практических случаев, и считать их каждый раз незачем:

Пример: увидел в конфиге gamma=0.95 — сразу знаешь: эффективный горизонт $20$ шагов, и если награда приходит через сотню шагов, агент её почти не почувствует ($0{,}95^{100} \approx 0{,}006$).

2. Периодическая дробь: «девятки по периоду, нули по предпериоду»

Общая формула для дроби вида $0{,}a(b)$, где $a$ — непериодическая часть из $m$ цифр, а $b$ — период из $k$ цифр:

Это ровно результат суммирования прогрессии, только свёрнутый в одну строчку.

Пример: $0{,}2(45) = \dfrac{245 - 2}{990} = \dfrac{243}{990} = \dfrac{27}{110}$ — совпадает с тем, что мы получили длинным путём.

3. Проверяй ответ по «коридору»

При $0 < q < 1$ сумма всегда больше первого члена (все слагаемые положительны). При $-1 < q < 0$ сумма лежит строго между $\frac{b_1}{2}$ и $b_1$ (потому что $1-q \in (1;\,2)$). Если ответ вылез из коридора — где-то потерян знак.

Пример: $b_1 = 9$, $q = -\frac13$, получилось $S = 13{,}5$ — это больше $b_1 = 9$, а при отрицательном $q$ так быть не может. Ищем ошибку и находим: $1-q$ посчитано как $\frac23$ вместо $\frac43$.

4. Ряд из квадратов — это отдельная прогрессия со знаменателем $q^2$

Как только в условии появляются «сумма прогрессии» и «сумма квадратов её членов», сразу пиши систему

и дели второе уравнение на квадрат первого — знаменатели красиво сокращаются через $1-q^2 = (1-q)(1+q)$, и остаётся простое уравнение относительно $q$.

Пример: $S=9$, $S_{\text{кв}}=40{,}5$ дают $\frac{1-q}{1+q} = \frac{40{,}5}{81} = 0{,}5$, откуда $q = \frac13$ за одну строчку.

5. Сколько слагаемых брать — считай логарифмом, а не перебором

Остаток после $n$ слагаемых равен $S\cdot q^{\,n}$, поэтому для относительной точности $\varepsilon$ достаточно

Пример: нужно $99\%$ дисконтированной отдачи при $\gamma = 0{,}99$. Тогда $\varepsilon = 0{,}01$ и $n \ge \frac{\ln 0{,}01}{\ln 0{,}99} \approx 458$ шагов — сразу понятно, что эпизоды длиной $100$ шагов для такой $\gamma$ коротковаты.

6. Задача про отскок мяча решается одной формулой

Мяч падает с высоты $h$ и после каждого удара поднимается на долю $q$ от предыдущей высоты. Полный путь:

Пример: $h = 10$, $q = 0{,}5$ дают $L = 10\cdot\frac{1{,}5}{0{,}5} = 30$ м — тот самый ответ из задания 8, но без промежуточных рассуждений. Отдельный бонус: формула сразу показывает, что при $q \to 1$ (идеально упругий мяч) путь становится бесконечным, и это физически честно.

7. Узнавай прогрессию по рекуррентной формуле $v_t = \beta v_{t-1} + c$

Любое обновление такого вида при $|\beta| < 1$ и постоянном $c$ сходится к $\frac{c}{1-\beta}$ — это относится к momentum, EMA, скользящим оценкам метрик, экспоненциальным фильтрам в сигналах и даже к моделям популяции с постоянным притоком.

Пример: очередь, в которую каждую секунду приходит $c = 5$ задач, а обрабатывается $10\%$ содержимого ($\beta = 0{,}9$), стабилизируется на $\frac{5}{0{,}1} = 50$ задачах. Не нужно моделировать — достаточно поделить.

💡 Совет: заведи себе привычку, встречая в коде или в статье любое выражение вида $\frac{1}{1-\text{что-то}}$, мысленно проговаривать: «а, это сумма бесконечной геометрической прогрессии, и это число означает, сколько шагов реально работает». Дисконтирование в RL, окно скользящего среднего, разгон momentum, вечная рента в финансах, амортизированная сложность вставки в массив — за всем этим стоит одна формула в две буквы, которую ты сегодня вывел сам, за одну строчку, из предела $q^{\,n} \to 0$.

И обрати внимание, что именно произошло в этом уроке. Мы взяли объект, который две тысячи лет считался парадоксальным — бесконечную сумму, — и превратили его в обычный предел обычной последовательности. Ничего мистического не осталось: есть частичные суммы, есть предел, есть чёткая граница $|q|<1$, за которой объекта просто нет. Это универсальный приём математического анализа, и ты только что применил его в первый раз. Дальше он будет повторяться снова и снова: площадь под кривой, мгновенная скорость, длина дуги — каждый раз бесконечный объект будет заменяться пределом конечных приближений.

Впереди урок 131 — предел функции. Там мы перенесём тот же язык с последовательностей на непрерывный аргумент: вместо «что происходит при $n \to \infty$» появится «что происходит, когда $x$ подбирается к точке $a$». Это прямая дорога к производной (урок 133) и ко всему остальному анализу. Ты уже умеешь думать про пределы — осталось расширить область применения. Поехали 🚀