Брайан Грин: «Почему равенство 1 = 0,999... — это абсолютная правда»

World Science Festival 51 тыс. 11 мин 3 мин 01.04.2020
Главное

В новом выпуске серии «Your Daily Equation» известный физик и популяризатор науки Брайан Грин отходит от обсуждения теории относительности, чтобы разобрать одно из самых контринтуитивных равенств в математике. Грин наглядно доказывает, почему единица и бесконечная десятичная дробь 0,999... — это не просто близкие значения, а одно и то же число.

🤯 Математическая неожиданность: почему 1 = 0,999... 1:18

Брайан Грин признаётся, что это уравнение кажется «сносящим мозг» (mind-slapping), несмотря на свою внешнюю простоту . Большинство людей при первом взгляде на выражение $1 = 0,999...$ (где девятки уходят в бесконечность) интуитивно предполагают, что правая часть уравнения всегда будет хоть немного, но меньше единицы .

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

📉 Доказательство через бесконечно малые величины 3:45

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

Грин объясняет это через концепцию «эпсилон» ($\epsilon$) — некоторого сколь угодно малого положительного числа, которое могло бы быть разностью между $1$ и $0,999...$ . По утверждению физика, если мы предположим, что такая разница существует, мы всегда можем выбрать настолько большое количество девяток ($n$), что значение $1/10^n$ станет меньше этого самого «эпсилона» .

Поскольку разница не может быть никакой конкретной конечной величиной, она должна быть равна нулю. Следовательно, утверждает Грин, между $1$ и $0,999...$ нет никакого зазора, что и делает их идентичными .

🧮 Алгебраический метод: изящное решение через X 6:16

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

  1. Пусть переменная $x$ равна нашей бесконечной дроби: $x = 0,999...$ .
  2. Умножим обе части уравнения на $10$. При умножении десятичной дроби на $10$ запятая сдвигается на один разряд вправо: $10x = 9,999...$ .
  3. Теперь вычтем исходное уравнение из полученного ($10x - x$).
  4. С левой стороны мы получаем $9x$ .
  5. С правой стороны бесконечные «хвосты» из девяток после запятой полностью вычитаются друг из друга, оставляя просто целое число $9$ .

В результате получается уравнение $9x = 9$, из которого неизбежно следует, что $x = 1$ . Грин отмечает, что именно этот довод помог его сыну окончательно принять истинность равенства.

🍰 Аргумент «трети»: почему это уравнение на самом деле скучное 7:49

Брайан Грин указывает на любопытный парадокс восприятия: равенство $1 = 0,999...$ кажется многим странным, хотя его составные части являются общепризнанными фактами . Он предлагает вспомнить базовую дробь, которую все знают со школы:

Это равенство ни у кого не вызывает протеста. Однако, по словам Грина, если мы просто умножим обе части этого «скучного» уравнения на $3$, мы получим именно то, что обсуждаем:

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

🎤 Организационные моменты и обратная связь 0:00

В начале и в конце ролика Брайан Грин уделяет время общению с аудиторией канала World Science Festival. Он обсуждает технические сложности проведения прямых трансляций:

Грин подчеркивает, что темы для выпусков часто подсказывают сами зрители. Разбор уравнения $1 = 0,999...$ был предложен одним из подписчиков .

💬 Цитаты

«Это одно из тех уравнений, которые в некотором роде сносят мозг. Удивительно даже то, что оно кажется удивительным.»

Брайан Грин 01:58

«Если вы всерьез воспринимаете три точки в конце и представляете, что это длится вечно, то это действительно равенство.»

Брайан Грин 03:18
👥 Спикер
📖 Термины
Эпсилон (ε)
В математике — обозначение для сколь угодно малой положительной величины.
Периодическая десятичная дробь
Бесконечная десятичная дробь, в которой, начиная с некоторого места, периодически повторяется определенная группа цифр.
📊 Цифры
⚖️ Другая сторона
Математика и физика Брайан Грин World Science Festival Your Daily Equation бесконечные дроби математическое доказательство