Что на самом деле скрывается за знаком бесконечной дроби

Когда мы пишем число в позиционной системе счисления, каждая цифра после запятой обозначает коэффициент при соответствующей отрицательной степени десятки. Обычная конечная дробь 0,75 разворачивается в сумму 7/10 + 5/100. Бесконечная десятичная запись устроена аналогично, но задаёт бесконечный ряд.

По строгому математическому определению запись 0,999... обозначает предел последовательности частичных сумм. Первая частичная сумма равна 0,9. Вторая равна 0,99. Третья составляет 0,999, а n-й член последовательности вычисляется по формуле 1 - 10^(-n). Запись бесконечной дроби фиксирует именно предел этой последовательности при n, стремящемся к бесконечности. Предел равен единице, а значит, само число тождественно равно единице.

Три строгих доказательства равенства

Алгебраический метод через умножение на основание системы

Самое наглядное школьное доказательство строится на сдвиге разрядов при умножении на десять. Обозначим исходное число через переменную x = 0,999... Умножим обе части равенства на 10. При умножении десятичной дроби на десять запятая сдвигается вправо ровно на один знак, в результате чего получаем 10x = 9,999...

Поскольку период бесконечен, после сдвига запятой в дробной части остаётся в точности такой же бесконечный хвост из девяток. Теперь вычтем из второго уравнения первое. В левой части получаем 10x - x = 9x. В правой части бесконечные дробные хвосты взаимно уничтожаются, оставляя разность 9,999... - 0,999... = 9. Решая линейное уравнение 9x = 9, получаем x = 1.

Тот же результат получается через обыкновенные дроби. Разделив единицу на три столбиком, получаем периодическую дробь 1/3 = 0,333... Умножим обе части равенства на 3. Слева получается произведение 3 * (1/3) = 1. Справа каждый разряд тройки умножается на три, превращаясь в девятку, что даёт 0,999... Обе части равенства остаются тождественными.

Сумма бесконечно убывающей геометрической прогрессии

Студенческое строгое доказательство опирается на теорию числовых рядов. Разложим периодическую дробь 0,(9) в бесконечный ряд слагаемых: 9/10 + 9/100 + 9/1000 + ... + 9/10^n.

Перед нами сумма геометрической прогрессии, у которой первый член b₁ равен 9/10 (или 0,9), а знаменатель q равен 1/10 (или 0,1). Так как модуль знаменателя строго меньше единицы (|0,1| < 1), прогрессия бесконечно убывает, и её сумма вычисляется по формуле S = b₁ / (1 - q).

Подставим конкретные числовые значения в формулу суммы. Получаем S = 0,9 / (1 - 0,1) = 0,9 / 0,9 = 1. Теорема о сумме сходящегося ряда прямо доказывает, что значение этой бесконечной суммы строго равно целому числу 1 без каких-либо допущений.

Аксиоматика действительных чисел и принцип Архимеда

Наиболее фундаментальное обоснование даёт вещественный анализ через свойства числовой прямой R. Предположим обратное. Пусть число 0,(9) строго меньше 1. Множество действительных чисел линейно упорядочено и плотно. Между любыми двумя различными действительными числами a и b обязательно лежит бесконечно много других действительных чисел, включая их среднее арифметическое (a + b)/2.

Если 0,(9) < 1, мы обязаны предъявить хотя бы одно число x, строго разделяющее их: 0,(9) < x < 1. Однако составить такое число в десятичной записи невозможно. Любая цифра, отличная от девятки на любой позиции, сразу делает число строго меньше 0,(9).

Доказательство завершает аксиома Архимеда. Разность между единицей и конечной суммой n девяток составляет 1 - 0,99...9 = 10^(-n). Для любого сколь угодно малого положительного эпсилон всегда найдётся такое натуральное n, при котором 10^(-n) окажется меньше этого эпсилон. Единственное действительное число, модуль которого меньше любого положительного числа, равно нулю. Следовательно, |1 - 0,(9)| = 0, откуда вытекает строгое равенство 0,(9) = 1.

Почему запись чисел бывает неоднозначной

Ситуация с 0,(9) = 1 не уникальна, она вскрывает базовое свойство позиционных систем счисления. Любое рациональное число, представимое в виде конечной десятичной дроби, обладает ровно двумя эквивалентными формами записи: через нули в периоде и через девятки в периоде.

  • Число 2,5 тождественно равно 2,4999... с бесконечным хвостом девяток.
  • Число 0,1 полностью совпадает со значением периодической дроби 0,0999...
  • Целое число 40 можно строго записать как 39,999...
  • В двоичной системе счисления дробь 0,1₂ тождественно равна 0,0111...₂.

Неоднозначность возникает из-за наличия делителей у основания системы. В десятичной системе основание 10 делится на 2 и 5, поэтому любые дроби со знаменателями вида 2^a * 5^b порождают двойственную форму записи.

Когда математики допускают неравенство

Строгое равенство 0,(9) = 1 соблюдается в стандартном поле действительных чисел R, с которым работают в школах и на базовых курсах высшей математики. Если мы хотим сделать эти числа различными, нам придётся перейти в другую математическую систему.

В нестандартном анализе, разработанном Абрахамом Робинсоном в 1960-х годах, строится расширенное гипервещественное поле *R. В это поле вводятся актуальные бесконечно малые и бесконечно большие величины. В гипервещественных числах можно определить число, состоящее из бесконечного гипернатурального числа девяток H. Разность между 1 и такой гиперконечной суммой будет равна бесконечно малому числу 10^(-H), не равному нулю. Однако в стандартном анализе Коши и Вейерштрасса таких сущностей нет.

Частые вопросы

Существует ли хоть одно число между 0,(9) и 1?

Такого числа не существует. Плотность множества вещественных чисел гарантирует наличие промежуточных значений между любыми неравными элементами. Отсутствие элементов между ними подтверждает, что 0,(9) и 1 являются одним числом.

Почему калькуляторы иногда выводят 0,999999999 вместо 1?

Вычислительные процессоры работают с конечной разрядной сеткой чисел с плавающей запятой по стандарту IEEE 754. Ошибки округления и невозможность хранить бесконечный хвост разрядов в регистрах памяти создают видимость неполного значения.

Можно ли считать, что 0,(9) лишь стремится к 1, но никогда её не достигает?

Стремиться к пределу может переменная величина или функция. Запись 0,(9) сама по себе является константой и равна пределу, а предел числовой последовательности — это фиксированное число, а не процесс движения.

Меняется ли ситуация в других системах счисления?

Правило сохраняется во всех позиционных системах. В троичной системе счисления 0,(2)₃ = 1, в восьмеричной системе 0,(7)₈ = 1, а в шестнадцатеричной 0,(F)₁₆ = 1. Старшая цифра основания в периоде всегда даёт единицу следующего старшего разряда.