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

Источник: https://www.youtube.com/watch?v=5GwSxahtyKk
Канал: World Science Festival
Опубликовано: 01.04.2020

---

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

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

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

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

## 📉 Доказательство через бесконечно малые величины
[[JUMP:03:45]]

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

*   Разность между $1$ и $0,9$ составляет $0,1$ ($1/10$).
*   Разность между $1$ и $0,99$ составляет $0,01$ ($1/100$).
*   Разность между $1$ и числом с $n$ девятками после запятой составляет $1/10^n$ [04:12].

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

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

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

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

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

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

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

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

*   $1/3 = 0,333...$ [08:20]

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

*   $3 \times (1/3) = 1$
*   $3 \times 0,333... = 0,999...$ [08:34]

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

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

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

*   **Проблема рассинхрона:** При тестах прямого эфира возникает задержка между движением губ и звуком, что делает видео похожим на плохо дублированный иностранный фильм [00:26]. 
*   **Интерактив:** Грин просит зрителей проголосовать в комментариях, критичен ли для них такой лаг, и готов попробовать живой формат, если аудитория не против [00:39].
*   **Сессии вопросов и ответов (Q&A):** Ведущий планирует делать выпуски с ответами на вопросы пользователей, выбирая самые интересные комментарии или проводя для этого отдельные стримы [00:51].

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