Почему 0,999… равно 1 и где ломается интуиция
0,999… равно 1 точно, а не после округления. Три точки означают бесконечное продолжение девяток, поэтому между этой записью и единицей не остаётся никакого числа.
Дальше вы увидите три доказательства, разберётесь со смыслом бесконечной записи и поймёте, почему обычный калькулятор иногда только усиливает сомнение.
В статье вы узнаете:
0,999… является законченной записью бесконечного процесса
Числа 0,9, 0,99 и 0,999 меньше единицы. У каждого есть последняя девятка, а после неё остаётся пустой разряд. Разница с единицей равна 0,1, затем 0,01 и 0,001.
В записи 0,999… последней девятки нет. Многоточие означает, что девятки продолжаются без конца. Нельзя мысленно остановить их на миллиардном знаке и сохранить тот же объект: получится очень близкая, но конечная дробь.
Бесконечная десятичная дробь задаёт число как предел конечных приближений. Мы берём 0,9, затем 0,99, затем 0,999 и продолжаем. Числом считается значение, к которому эта последовательность приближается без остатка.
Для записи с n девятками разница с единицей известна точно:
Чем больше n, тем меньше разница. Для бесконечного продолжения нельзя указать положительный зазор, который останется навсегда. Именно здесь бытовое представление об «очень длинном числе» перестаёт работать.
Дробь 1/3 даёт самое короткое доказательство
Разделим единицу на три обычным способом. Получится 0,333…: тройка повторяется, потому что на каждом шаге деления снова остаётся тот же остаток.
Теперь умножим обе части на три. Слева получаем 1. Справа каждая тройка превращается в девятку.
Но 3 × 1/3 равно 1. Значит, 0,999… тоже равно 1.
Иногда возражают, что 0,333… лишь приблизительно равно одной трети. Это неверно для бесконечной записи. Конечное 0,333 действительно является приближением. Многоточие меняет смысл: оно включает все следующие тройки.
Калькулятор дробей поможет проверить деление и обратное умножение, но экран всё равно покажет конечное число знаков. Ограничение дисплея относится к записи результата, а не к значению дроби 1/3.
Умножение на десять сдвигает бесконечный хвост
Обозначим число 0,999… буквой x. После умножения на 10 запятая сдвинется на один разряд, а бесконечный хвост девяток останется тем же.
Вычтем первое равенство из второго. Одинаковые бесконечные хвосты исчезают, остаётся 9x = 9.
Трюк работает не только с девятками. Пусть x = 0,272727… Тогда 100x = 27,272727…, после вычитания получается 99x = 27, то есть x = 27/99 = 3/11. Так любую периодическую десятичную дробь можно превратить в обычную.
Вычитание бесконечных хвостов выглядит подозрительно, если считать многоточие незаконченной работой. Но обе строки обозначают уже определённые числа. Операции допустимы по тем же правилам, что и для других пределов.
Бесконечная сумма заполняет весь промежуток до единицы
Запись 0,999… можно разобрать по разрядам. Первая девятка означает 9/10, вторая 9/100, третья 9/1000. Получается бесконечная геометрическая прогрессия.
Каждый следующий член в десять раз меньше предыдущего. Сумма такой прогрессии равна первому члену, делённому на единицу минус множитель перехода:
Можно обойтись и без готовой формулы. Сумма первых n разрядов равна 1 − 10−n. Чтобы сохранить положительную щель, нужно назвать число больше нуля, которое меньше 10−n при любом n. Среди обычных вещественных чисел такого положительного числа нет.
Например, предложим щель 0,000001. Уже шесть девяток дают именно такую разницу, а семь делают её ещё меньше. Какой бы десятичный зазор мы ни выбрали, достаточно продолжить девятки, чтобы пройти его.
Исследователи математического образования отмечают, что сопротивление этому равенству связано именно с разными представлениями о бесконечности и вещественных числах, а не с незнанием одного алгебраического трюка. [Norton, Baldwin, 2012]
Некоторые числа имеют две десятичные записи
Равенство не делает математику противоречивой. Оно показывает, что запись числа и само число являются разными вещами. Дроби 1/2, 2/4 и 50/100 выглядят по-разному, но указывают на одну точку числовой прямой.
Так же число 1 можно записать как 1,000… или 0,999… . Число 2,5 имеет записи 2,5000… и 2,4999… . Любая конечная десятичная дробь получает второй вариант, если уменьшить последнюю ненулевую цифру на единицу и продолжить девятками.
Это не означает, что любое число можно переписать как угодно. Двойная запись появляется у конечных десятичных дробей. Число 1/3 не заканчивается нулями и не получает такого соседнего варианта.
На числовой прямой 0,999… и 1 нельзя отметить двумя точками. Если бы они различались, между ними нашлось бы хотя бы среднее число. Но их разность равна нулю, поэтому середина снова равна единице.
Похожее встречается в часах. Момент 24:00 одного дня совпадает с 00:00 следующего. Две подписи нужны разному контексту, но второй лишней полуночи между ними не возникает.
Последняя девятка существует только в конечном числе
«В конце должна стоять девятка». У бесконечной последовательности нет последнего элемента. Фраза «после последней девятки» незаметно заменяет 0,999… конечной дробью.
«Разница равна 0,000…1». Такая обычная десятичная запись невозможна. Чтобы поставить единицу, нужно выбрать конкретный разряд. Тогда до неё окажется конечное число нулей, а разница будет положительной и известной.
«Калькулятор показывает 0,999999». Электронный калькулятор хранит конечное число цифр и округляет. Научный калькулятор удобен для вычислений, но размер его памяти не определяет свойства бесконечных дробей.
«Равенство работает только приблизительно». Приблизительны 0,9, 0,99 и любой конечный отрезок. Символ 0,999… по определению обозначает предел всей последовательности, а этот предел равен 1 точно.
Не смешивайте процесс записи и его результат. Мы никогда физически не напишем бесконечно много цифр. Математический знак позволяет задать весь бесконечный объект конечным правилом: после запятой всегда идёт девятка.
Главный вывод. 0,999… равно 1, потому что бесконечный хвост не оставляет положительного зазора. Доказательства через 1/3, алгебру и геометрическую сумму говорят об одном: интуиция ломается, когда представляет бесконечную запись как очень длинную, но всё же конечную.
Есть что добавить?
Напишите своё мнение, комментарий или предложение.