Алекс Беллос - Алекс в стране чисел. Необычайное путешествие в волшебный мир математики

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

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

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

Как сложить кирпичи с максимальным нависанием так, чтобы они не опрокинулись

Полное нависание этой башни, представляющее собой сумму отдельных нависаний, дается следующим рядом:

что можно записать в виде

Но это — половина суммы гармонического ряда, если только мы не будем останавливаться и возьмем все бесконечное число членов. А поскольку мы знаем, что гармонический ряд растет до бесконечности, то после его деления на два все равно останется бесконечность, потому что бесконечность, деленная на два, — снова бесконечность. В терминах кирпичной кладки это означает, что теоретически возможно создать ничем не скрепленную конструкцию, свисающую на любую наперед заданную величину. Коль скоро деленный на два гармонический ряд рано или поздно превысит любое заданное число, если только взять достаточно много членов, нависание наклонной башни из кирпичей рано или поздно превысит любое заданное значение, если только положить друг на друга достаточно много кирпичей. Хотя это теоретически и возможно, практические аспекты построения башни с большим нависанием довольно пугающи. Дабы достичь нависания в 50 кирпичей, понадобится башня из 15 × 1042 кирпичей — что намного превысит расстояние от строительной площадки до края наблюдаемой Вселенной.

Гармонический ряд оказывается обильным источником разнообразных забав, так что давайте поиграем с ним еще немного. Рассмотрим гармонический ряд, в котором выкинут каждый член, содержащий в себе 9; получится снова бесконечный ряд. Другими словами, мы выкинем следующие члены:

А «общипанный» ряд будет иметь вид:

Вспоминая, что члены гармонического ряда суммируются к бесконечности, можно было бы думать, что гармонический ряд, лишенный девяток, также суммируется к достаточно большому числу. А вот и нет! Его сумма чуть меньше числа 23.

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

Этот результат представляется удивительным, но, посмотрев на происходящее повнимательнее, мы, несомненно, поймем, в чем тут дело. Устранение девяток избавляет нас только от одного из первых 10 членов гармонического ряда. Но уже в первой сотне удаляются 19 членов, а в первой тысяче — 271. Когда числа становятся очень большими, скажем, длиной в 100 цифр, подавляющее большинство их содержит хотя бы одну девятку. И оказывается, что «утоньшение» гармонического ряда за счет удаления членов с девятками удаляет почти все члены.

Однако тонкая настройка гармонического ряда может оказаться еще более захватывающей. Мы произвольным образом решили удалить девятки. Если бы мы удалили из гармонического ряда все члены, содержащие 8, то оставшиеся члены также сходились бы к конечному числу, и то же самое повторилось бы при удалении всех членов, содержащих 7, и вообще любую выбранную цифру. На самом деле нет никакой необходимости ограничиваться отдельными цифрами. Удалим все члены, содержащие любое выбранное число, и «утоньшенный» таким способом гармонический ряд окажется сходящимся. Таким числом может быть, например, 9 или 42, или 666, или 314 159, — в каждом случае действует то же самое рассуждение.