Существует доказательство, что 0.999... = 1 точно, а не приблизительно.

Равенство 0.999... = 1 — это не приближение, а точное математическое тождество. Много людей интуитивно сопротивляются этому, считая бесконечную последовательность девяток чем-то вечно близким к единице, но никогда её не достигающим. Однако строгая математика показывает: это одно и то же число, записанное двумя разными способами. Классическое доказательство элегантно просто: если обозначить x = 0.999..., то 10x = 9.999.... Вычитаем первое из второго: 10x − x = 9.999... − 0.999..., откуда 9x = 9 и x = 1. Это рассуждение опирается на фундаментальное свойство действительных чисел — их полноту: система вещественных чисел не имеет «дыр», и каждому числовому выражению соответствует ровно одна точка на числовой оси. Когда мы пишем 0.999..., это означает предел последовательности 0.9, 0.99, 0.999 и так далее — а этот предел равен ровно 1. Важность этого факта выходит далеко за пределы любопытства. В численных методах, компьютерной графике и инженерных расчётах понимание эквивалентности различных десятичных представлений критично для избежания ошибок округления. Математики давно знают, что любое рациональное число имеет два десятичных представления, если в одном из них бесконечно повторяется девятка. Например, 0.5 = 0.4999..., или 0.123 = 0.122999... Этот парадокс — отличная иллюстрация разницы между интуицией и формальной математикой.