0.999… равно единице.
это не приближение и не философия. это доказанный факт. и большинство людей в это не верят.
Возьмите число 0.999… — бесконечную десятичную дробь с девятками. Большинство людей скажут: «это почти единица, но чуть меньше». Они ошибаются. 0.999… = 1. Точно. Без приближения и без округления.
Первое доказательство — алгебраическое. Пусть x = 0.999…. Тогда 10x = 9.999…. Вычитаем: 10x − x = 9.999… − 0.999… = 9. Слева 9x. Значит x = 1. Готово.
«Но ты умножил бесконечную дробь на 10 — это нечестно». Хорошо. Второе доказательство — через простые дроби. 1/3 = 0.333… — с этим все согласны. Умножим обе части на 3: 3/3 = 0.999…. Но 3/3 = 1. Значит 0.999… = 11.
«Но между 0.999… и 1 должна быть разница — пусть бесконечно малая». Нет. Если между двумя вещественными числами нет ни одного третьего числа — они равны. Это не договорённость, это аксиома вещественных чисел. Какое число стоит между 0.999… и 1? Назовите хоть одно. Его нет.
В математике нет «почти». Есть «равно» и «не равно».
Третье доказательство — через геометрический ряд. 0.999… = 9/10 + 9/100 + 9/1000 + … = 9 · ∑(k=1..∞) (1/10)k. Сумма геометрического ряда: 9 · (1/10) / (1 − 1/10) = 9 · (1/10) / (9/10) = 9 · 1/9 = 1. Формула суммы работает, когда |q| < 1. Здесь q = 1/10. Всё законно2.
Откуда тогда берётся интуитивное сопротивление? Люди думают, что 0.999… — это процесс: «прибавляем девятки и никогда не заканчиваем». Но математика — не процесс, это объект. 0.999… — уже готовое число, как π или √2. Бесконечная запись не означает незаконченность. Она означает, что в записи бесконечно много знаков — и это другое.
На самом деле сопротивление появляется из другого места: мы привыкли, что у каждого числа одна запись. Но вещественные числа устроены иначе. У каждого числа с конечной десятичной записью есть две: 0.5 = 0.4999…, 1 = 0.999…, 3.7 = 3.6999…. Это особенность десятичной системы, не парадокс. В двоичной системе то же самое: 0.111… = 1.
Равенство 0.999… = 1 — не трюк и не договорённость. Это следствие того, как устроены вещественные числа. Аксиома полноты Дедекинда: вещественная прямая не имеет дыр3. Если бы 0.999… ≠ 1 — между ними была бы дыра. Дыр нет.
Любопытно, что в нестандартном анализе, где введены бесконечно малые числа (гиперреальные), запись 0.999… можно интерпретировать иначе — и тогда она действительно отличается от 1 на бесконечно малую величину. Но это другая система с другими аксиомами. В стандартной вещественной арифметике, в которой работает почти вся математика и физика, 0.999… = 1 — теорема, не мнение.