Математичні парадокси

Словник / Гармонічний ряд

Словник · гармонічний ряд

Як далеко можна висунути стос книжок за край стола?

Покладіть книжку на край стола й посувайте, поки вона не почне падати: нависати вона буде рівно на половину довжини. Тепер кладіть книжки одна на одну, кожну трохи далі за попередню. Здається, що далеко так не зайдеш: стос завалиться, щойно верхня книжка відійде від краю на довжину-другу. Насправді, якщо книжок вистачає, верхня може нависати над підлогою як завгодно далеко. Усе через гармонічний ряд: суму 1 + ½ + ⅓ + ¼ + …, яка росте без кінця, хоч і неймовірно повільно.

На пальцяхкартинки, аналогії, маленькі числа

Шар «На пальцях» приховано на всіх задачах.

Парадокс стосу книжок

Додавайте книжки. Кожну нову підкладаємо знизу, а весь стос над нею зсуваємо так далеко, як тільки можна, щоб він ще не впав. Масштаб не змінюється: пунктир — довжини книжки за краєм стола. Скільки книжок треба, щоб верхня повністю вийшла за край?

Книжок–
Нависання, у довжинах книжки–

Скільки книжок треба, щоб верхня нависала на:

    На малюнку щонайбільше 300 книжок, решту ми порахували.

    Чому все повільніше, але без кінця

    Перша книжка висувається на половину довжини, друга додає чверть, третя — шосту частину, четверта — восьму. Кожна наступна дає менше, і здається, що такі дрібниці десь зупиняться. Але вони не зупиняються. З чотирма книжками верхня вже вся над підлогою, з 31 — на дві довжини. Ціна росте страшенно: на п'ять довжин піде 12 367 книжок. Якщо кожна завтовшки 3 см, це стос заввишки 371 м, вищий за Ейфелеву вежу. Проте межі немає: будь-яку відстань можна перевищити.

    Строготаблиці, графіки, формули

    Шар «Строго» приховано на всіх задачах.

    Сума обернених чисел

    Гармонічний ряд — це сума чисел, обернених до натуральних: 1 + ½ + ⅓ + ¼ + … Суму перших n доданків називають n-м гармонічним числом і позначають Hn. Ряд розбігається: Hn зростає без межі, хоча доданки прямують до нуля.

    H4 = 1 + 1/2 + 1/3 + 1/4 = 25/12 ≈ 2,08 · H10 ≈ 2,93 · H100 ≈ 5,19 · H1000 ≈ 7,49

    Стос книжок — це той самий ряд, лише поділений навпіл: нависання n книжок дорівнює ½ · Hn довжини книжки. З 4 книжками ½ · 25/12 = 25/24, трохи більше за одну довжину.

    Ряд, що зупиняється, і ряд, що ні

    Порівняйте з рядом 1 + ½ + ¼ + ⅛ + …, де кожен доданок удвічі менший за попередній. Його доданки теж прямують до нуля, і навіть швидше. Але він ніколи не перейде 2: кожен крок долає лише половину відстані, що лишилася до двійки. Гармонічний ряд на перших кроках ледь від нього відстає, а потім повільно, але невпинно йде вгору. Перемкніть шкалу.

    Гармонічний, остання сума–
    Половинний, остання сума–

    Як болісно повільно

    Скільки доданків треба, щоб сума перейшла задане число? Додавати по одному доданку щосекунди — і порахуйте, скільки на це піде часу.

    Доданків, щоб перейти–
    По доданку щосекунди–

    Що з цього взяти

    • Малі доданки — ще не скінченна сумаТе, що доданки прямують до нуля, необхідне, щоб сума зупинилася, але не достатнє. Гармонічний ряд — головний контрприклад.
    • Важить, як швидко вони малішають1/n² уже дає скінченну суму, π²/6 ≈ 1,645. Половинки 1/2n — тим паче. А 1/n — межова швидкість, на якій сума ще тікає в нескінченність.
    • Комп'ютер не помітитьДодайте мільйон доданків — вийде близько 14,4. Мільярд — близько 21,3. Схоже на число, до якого сума повзе, але такого числа немає. Розбіжність доводять, а не підглядають.
    • Росте як логарифмУдесятеро більше доданків додає до суми лише близько 2,3. Тому гармонічні числа з'являються всюди, де щось «повільно накопичується» з кожним новим кроком.
    Глибшеузагальнення, теорія, історія

    Шар «Глибше» приховано на всіх задачах.

    Доведення Орема: групуємо доданки

    Близько 1350 року французький філософ Нікола Орем помітив простий прийом. Згрупуйте доданки: друга група має два доданки, третя — чотири, четверта — вісім. У кожній групі всі доданки не менші за останній, тож уся група не менша за половину.

    1 + ½ + (⅓ + ¼) + (1/5 + 1/6 + 1/7 + 1/8) + … ≥ 1 + ½ + (¼ + ¼) + (⅛ + ⅛ + ⅛ + ⅛) + … = 1 + ½ + ½ + ½ + …

    H2k ≥ 1 + k / 2

    Половинок нескінченно багато, тож сума перевищить будь-яке число. Подивіться, як оцінка тримається знизу.

    Доданків 2k–
    H2k проти оцінки 1 + k/2–

    Оцінка груба: справжня сума росте швидше, ніж на ½ за групу. Але для доведення досить і цього.

    Hn ≈ ln n + γ

    Сума 1/1 + 1/2 + … + 1/n майже дорівнює площі під кривою 1/x від 1 до n, а ця площа — натуральний логарифм ln n. Різниця між ними не росте, а прямує до сталої γ ≈ 0,5772, яку назвали на честь Леонарда Ейлера. Досі невідомо навіть, чи можна записати γ звичайним дробом.

    Hn = ln n + γ + 1/(2n) − …

    Точно Hn–
    ln n + γ–
    Різниця–
    Поправка 1/(2n)–

    Звідси й числа з розділу вище: щоб Hn перейшло t, треба n ≈ et − γ. Для 10 це близько 12 367, для 100 — близько 1,5 · 1043 доданків. Щоб стос книжок нависав на 50 довжин, книжок треба саме стільки.

    Чому нависання саме ½ · Hn

    Стос стоїть, поки спільний центр мас кожної верхньої частини лежить над книжкою під нею. Тож найдалі можна висунути так, щоб центр мас верхніх k книжок припадав рівно на край (k + 1)-ї. Нехай так і є, і рахуємо від того краю. Центр k книжок там, де край, тобто в нулі, а центр (k + 1)-ї книжки на половину довжини лівіше. Спільний центр k + 1 книжок — середнє з вагами:

    (k · 0 + 1 · ½) / (k + 1) = 1 / (2(k + 1))

    Саме над ним має бути край наступної книжки, отже (k + 1)-ша книжка висувається за неї на 1/(2(k + 1)). Додаючи зсуви 1/2, 1/4, 1/6, …, 1/(2n), маємо ½ · Hn. Останній зсув — над столом: центр мас усього стосу стоїть рівно на краю стола.

    Це рекорд для стосу, де на кожному рівні лежить одна книжка. Якщо дозволити класти кілька книжок поруч і використовувати їх як противаги, нависання росте значно швидше: це показали Майк Патерсон і Урі Цвік у 2006 році.

    Викресліть дев'ятки — і сума зупиниться

    Ще один парадокс. Приберіть з гармонічного ряду всі доданки 1/n, у записі n яких є цифра 9: 1/9, 1/19, 1/90, 1/199… Здається, ми викинули дрібницю, бо серед малих чисел дев'ятка трапляється рідко. Але сума стає скінченною, менше за 80. Серед d-цифрових чисел без дев'ятки їх 8 · 9d − 1, і кожне з обернених не більше за 1/10d − 1. Тож уся сума не більша за

    8 · (1 + 9/10 + (9/10)2 + …) = 8 · 10 = 80

    Річ у тім, що серед дуже довгих чисел майже всі містять дев'ятку. Викидаємо ми не дрібницю, а майже весь ряд. Цей ряд вивчив Обрі Кемпнер у 1914 році.

    Де це трапляється

    Інші терміни