Русская Википедия:0,(9)

Файл:999 Perspective.svg

0,(9) или 0,999… (<math> 0.\bar{9}</math>, <math>0.\dot{9}</math>) («ноль и девять в периоде») — периодическая десятичная дробь, представляющая число 1. Другими словами,

<math>1=0{,}(9).</math>

Существует много доказательств этого равенства.

Несмотря на то, что правильность этого равенства является доказанным фактом и не вызывает сомнений в научном сообществе, многие люди пытаются доказать обратное. В таких доказательствах обычно допускаются арифметические и логические ошибки. Такое ярое несогласие вызвано тем, что данное равенство противоречит интуиции. Из-за этого оно приобрело большую популярность.

Пояснение

При использовании математических обозначений стоит понимать, что обозначения — это не есть сам предмет обсуждения, а всего лишь его обозначение. Два обозначения вполне могут обозначать один и тот же предмет. К примеру, запись <math>\frac{1}{10}</math> и <math>0{,}1</math> обозначают одно и то же число. Хоть это и разные записи, задают они один и тот же объект. Другой пример — <math>\frac{1}{2}</math> и <math>\frac{2}{4}</math>. На этом примере видно, что разные обыкновенные дроби вполне могут задавать одно и то же число, и, таким образом, запись в виде обыкновенной дроби неоднозначна.

Тот факт, что запись в виде конечной десятичной дроби однозначна, является особенностью именно конечных дробей. Разные конечные дроби обозначают разные числа. Но работает это свойство только для конечного случая. В общем случае (где допускаются и конечные, и бесконечные десятичные дроби) две различные десятичные дроби могут представлять одно и то же число. Это связано с тем, что бесконечные дроби являются весьма непростым объектом, и многие свойства конечных на них не работают или работают не так. Примером такого неоднозначного представления являются <math>1</math> и <math>0{,}(9)</math>. Несмотря на то, что запись у них разная, они представляют собой одно и то же число, аналогично тому, как <math>\frac{1}{2}</math> и <math>\frac{2}{4}</math> представляют одно число.

Элементарные доказательства

Деление столбиком

Обыкновенная дробь (например, <math>\frac{1}{3}</math>) может быть представлена в десятичном виде как конечная либо периодическая десятичная дробь. Перевод из обыкновенной дроби в десятичную может быть выполнен при помощи деления в с столбик. Выполнив деление столбиком целого числа 1 на целое число 3, получим число 0,333… (в десятичной записи), в котором цифры 3 повторяются бесконечно:

<math>\frac{1}{3} = 0{,}333\ldots</math>

Умножим левую часть на 3.

<math>\frac{1}{3} \cdot 3 = 1</math>

Умножим правую часть на 3. Заметим, что умножение каждой тройки на 3 даёт девятку:

<math>0{,}333\ldots \cdot 3 = 0{,}999\ldots</math>

Таким образом,

<math>1 = 0{,}999\ldots</math>.

Аналогично можно доказать это равенство раскладывая в десятичную дробь не <math>\frac{1}{3}</math>, а, например, <math>\frac{1}{9}</math>:

<math>\frac{1}{9} = 0{,}111\ldots</math>

<math>\frac{1}{9} \cdot 9 = 1</math>

<math>0{,}111\ldots \cdot 9 = 0{,}999\ldots</math>

<math>1 = 0{,}999\ldots</math>

Манипуляции с цифрами

Предыдущее доказательство было получено при помощи деления в столбик, что является алгоритмом перевода обыкновенной дроби в десятичную. Можно пойти в обратную сторону и воспользоваться алгоритмом перевода периодической десятичной дроби в обыкновенную.

Обозначим число <math>0{,}(9)</math> за <math>x</math>. При умножении десятичного числа на число <math>10</math> цифры не меняются, запятая передвигается на одну цифру вправо:

<math>0{,}999\ldots \cdot 10 = 9{,}999\ldots</math>

То есть,

<math>10x = 9{,}999\ldots</math>

Если отнять из <math>9{,}999\ldots</math> число <math>0{,}999\ldots</math>, то все девятки после запятой вычтутся и останутся нули:

<math>9{,}999\ldots - 0{,}999\ldots = 9{,}000\ldots = 9</math>

Вспомним про введённые обозначения через <math>x</math> и заменим на них левую часть равенства:

<math>10x - x= 9</math>

Тогда,

<math>9x = 9</math>

и

<math>x=1</math>.

Ну а так как за <math>x</math> мы обозначали <math>0{,}999\ldots</math>, то

<math>0{,}999\ldots=1</math>.

Строгое обоснование

Несмотря на простоту и понятность вышеприведённых доказательств, они не обладают достаточной математической строгостью и формальностью. Первое доказательство основано на том факте, что

<math>0{,}333\ldots \cdot 3 = 0{,}999\ldots</math>,

второе на

<math>0{,}999\ldots \cdot 10 = 9{,}999\ldots</math>.

Эти выражения выглядят очевидными, однако очевидность обманчива, что можно видеть на примере самого равенства <math>1=0{,}(9)</math>. При строгом изложении данные факты также требуют доказательства. Действительно, если для бесконечных десятичных дробей могут выполняться такие странные равенства, с чего нам вообще быть уверенными, что правила умножения для них работают также, как и для конечных? Простота и очевидность доказательств выше достигается за счёт нестрогости рассуждений, что для контринтуитивных утверждений является существенным.

Для того, чтобы внести строгость в рассуждение, необходимо сначала разобраться что вообще означает запись <math>0{,}(9)</math>. Рассмотрим какую-нибудь конечную десятичную дробь, например <math>127{,}98765</math>. Что означает эта запись? Данная запись есть сокращение для следующего выражения:

<math>1\cdot 100 + 2 \cdot 10 + 7 \cdot 1 + \frac{9}{10} + \frac{8}{100} + \frac{7}{1000} + \frac{6}{10000} + \frac{5}{100000}</math>

Число, которое обозначает эта запись, есть результат этого выражения. Так в математике определяется само понятие десятичная дробь. Согласно данному определению бесконечная десятичная дробь точно такое же сокращение для такой суммы, отличающееся от конечного случая лишь тем, что количество слагаемых в ней бесконечно. То есть, например, дробь <math>21{,}5(23)</math> есть краткая запись для

<math>2 \cdot 10 + 1 \cdot 1 + \frac{5}{10} + \frac{2}{100} + \frac{3}{1000} + \frac{2}{10000} + \frac{3}{100000} + \ldots</math>.

Рассматриваемая же в этой статье дробь <math>0{,}(9)</math> есть краткая запись для суммы

<math>\frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \frac{9}{10000} + \frac{9}{100000} + \ldots</math>.

Число, которое обозначается записью <math>0{,}(9)</math>, есть по определению сумма бесконечного числа слагаемых, представленных выше. Стоит понимать, что <math>0{,}(9)</math> есть всего лишь формальная запись для результата вышеприведённой суммы, не обязанная удовлетворять каким-то свойствам, кроме равенства той сумме. Чему эта сумма окажется равна, тому и будет равно это число, вне зависимости от интуитивности этого или соответствия нашим ожиданиям.

Результат суммирования бесконечного числа слагаемых в математическом анализе определяется при помощи понятия предела. Свойства бесконечных сумм во многом отличаются от свойств конечных и требуют особой осторожности при их применении.

Последовательность <math>\frac{9}{10},\frac{9}{100},\frac{9}{1000},\frac{9}{10000},\ldots</math> представляет собой геометрическую прогрессию, знаменатель которой равен <math>0{,}1</math>, а первый член — <math>\frac{9}{10}</math>. По известной в математическом анализе формуле сумма геометрической прогрессии есть <math>\frac{b_1}{1-q}</math>, где <math>b_1</math> — первый член, а <math>q</math> — знаменатель. Тогда

<math>0{,}(9)=\frac{9}{10} + \frac{9}{100} + \ldots=\frac{\dfrac{9}{10}}{1-\dfrac{1}{10}}=\frac{\dfrac{1}{9}}{\dfrac{1}{9}}=1</math>

Данное доказательство основано лишь на формальном определении десятичной дроби и не содержит в себе использования каких-либо недоказанных свойств бесконечных десятичных дробей.

Такое доказательство (об эквивалентности чисел 10 и 9,999…) было опубликовано в 1770 году Леонардом Эйлером в издании «[[|en]] (Elements of Algebra)».

Формула суммы сходящейся геометрической прогрессии была известна до Эйлера. В выпущенном в 1811 году учебнике «An Introduction to Algebra» также используется геометрическая прогрессия для числа 0,(9). В XIX веке реакция на такое правило суммирования вылилась в утверждение о том, что сумма ряда должна быть пределом последовательности частичных сумм.

Строгость элементарных доказательств

Используя формальное определение десятичной дроби можно попытаться достигнуть достаточной строгости для первых двух доказательств.

Доказательство через деление в столбик использует нетривиальный факт, что деление в столбик даёт правильное представление в виде периодической дроби, что в свою очередь требует доказательства. Свойство же <math>0{,}(3)\cdot 3 = 0{,}(9)</math> доказывается весьма просто с использованием операции умножения числовых рядов на число:

<math>0{,}(3)\cdot 3 = \left(\frac{3}{10} + \frac{3}{100} + \ldots\right) \cdot 3 = \frac{3}{10} \cdot 3 + \frac{3}{100} \cdot 3 + \ldots = \frac{9}{10} + \frac{9}{100} + \ldots = 0{,}(9)</math>.

Доказательство через манипуляции с цифрами использует два несложных свойства. Первое: <math>0{,}(9)\cdot 10=9{,}(9)</math>

<math>0{,}(9)\cdot 10 = \left(\frac{9}{10} + \frac{9}{100} + \ldots\right) \cdot 10 = \frac{9}{10} \cdot 10 + \frac{9}{100} \cdot 10 + \ldots = 9 \cdot 1 + \frac{9}{10} + \ldots = 9{,}(9)</math>

Второе: <math>9{,}(9)-0{,}(9)=9</math>.

<math>9{,}(9)-0{,}(9) = \left(9 \cdot 1 + \frac{9}{10} + \frac{9}{100} \ldots\right) - \left(\frac{9}{10} + \frac{9}{100} + \ldots\right) = \left(9 \cdot 1 + \frac{9}{10} + \frac{9}{100}\ldots\right) - \left(0 \cdot 1 + \frac{9}{10} + \frac{9}{100} + \ldots\right)=(9\cdot 1 - 0) +\left(\frac{9}{10}-\frac{9}{10}\right) + \left(\frac{9}{100}-\frac{9}{100}\right) + \ldots = 9 + 0 + 0 + 0 + \ldots = 9</math>

В любом случае, погоня за строгостью приведёт либо к необходимости манипуляций с числовыми рядами, либо к другому более искусственному определению периодических дробей. Реализацией второго подхода может стать, например, определение значения периодических дробей с помощью алгоритма перевода их в обыкновенные. Все свойства по-прежнему будут требовать доказательства, однако уже без необходимости прибегать к теории числовых рядов. Попытка реализации второго подхода определением периодических дробей через деление в столбик к нужному результату не приведёт, так как делением в столбик нельзя получить дробь с периодом <math>9</math>.

Другие конечные десятичные дроби

Аналогичное равенство можно получить для любой конечной десятичной дроби. Пусть <math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}</math> — некоторая конечная десятичная дробь, <math>a_{-m} \neq 0</math>. Тогда:

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](9)</math>

Квадратные скобки здесь означают, что мы записываем вместо них цифру, равную <math>a_{-m}-1</math>. К примеру, <math>3=2{,}(9)</math>, <math>20=19{,}(9)</math>, <math>0{,}5=0{,}4(9)</math>, <math>0{,}01=0{,}00(9)</math>. Таким образом, для любой конечной десятичной дроби можно получить вторую десятичную запись с девятью в периоде. Это работает и наоборот: для каждой дроби с девятью в периоде можно получить конечную запись.

Интересным является тот факт, что все неоднозначности десятичной записи исчерпываются этим случаем. Дадим строгую формулировку этого факта. Прежде всего нужно строго определить какие записи мы считаем одинаковыми, а какие разными (чтобы не посчитать разными например записи <math>2{,}3</math> и <math>2{,}30</math>, или <math>0{,}(3)</math> и <math>0{,}(33)</math>). Две десятичных записи будем считать одинаковыми, если у них совпадают цифры во всех разрядах (если какого-то разряда в записи нет, то будем считать его значение нулём). Тогда:

• если число ненулевое и допускает представление в виде конечной десятичной дроби, то оно допускает представление и с 9 в периоде;
• если число ненулевое и допускает представление с 9 в периоде, то оно допускает представление и в виде конечной десятичной дроби

причём эти представления связаны соотношением

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](9)</math>,

других десятичных представлений у таких чисел нет;

• все остальные вещественные числа допускают только одно представление в виде десятичной дроби.

Сравнение десятичных дробей

Для конечных десятичных дробей существует простой алгоритм их сравнения. Идём слева направо до первого несовпадающего разряда. То число, у которого этот разряд больше, и оказывается большим. Если же все разряды равны, то и числа равны.

С бесконечными дробями этот алгоритм уже не работает. По этому алгоритму число <math>1</math> должно было бы быть больше, чем <math>0{,}(9)</math>, но эти числа равны. Однако алгоритм всё ещё работает для нестрогого сравнения: если в нём заменить все строгие неравенства на нестрогие, он будет работать и для бесконечных дробей. Таким образом, для <math>1</math> и <math>0{,}(9)</math> он выдаст <math>1 \geq 0{,}(9)</math>, что верно.

При необходимости сравнить бесконечные десятичные дроби нужно учесть, что случаем девяти в периоде исчерпываются все неоднозначные представления чисел. Таким образом, можно просто заранее привести все числа с девяткой в периоде к конечной записи и применить обычный алгоритм сравнения.

Другие системы счисления

Файл:Base4 333.svg

Единичные интервалы, (0.3, 0.33, 0.333, …) сходящиеся к 1 (в четверичной системе счисления)

Аналогичное равенство можно получить для любой позиционной системы счисления. Для системы счисления с основанием <math>k</math> и старшей цифрой <math>c=k-1</math> конечная дробь <math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}</math>, <math>a_{-m} \neq 0</math> может быть представлена как

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](c)</math>.

К примеру: <math>0{,}(1)_2=1</math>, <math>0{,}(3)_4=1</math>, <math>0{,}(F)_{16}=1</math>, <math>0{,}0(1)_2=0{,}1_2=0{,}5</math>.

Все свойства сохраняются и для других систем счисления. Точно так же каждая конечная дробь допускает представление в виде дроби с периодом <math>c</math> и наоборот, причём двумя этими представлениями исчерпываются все представления числа. Остальные дроби имеют только одно представление. Те же самые замечания верны для поразрядного сравнения дробей.

Особенность других систем счисления заключается в том, что дроби, представимые в десятичной системе счисления конечной дробью, могут представляться периодической в другой системе счисления, и наоборот. Так, дробь <math>0{,}(3)</math>, непредставимая в десятичной системе счисления как конечная дробь, в троичной представляется как <math>0{,}1_3</math>. Дробь <math>0{,}5</math> в троичной системе представляется как <math>0{,}(1)_3</math>. Таким образом, количество представлений определённого числа в виде n-ричной дроби, зависит от системы счисления. Число <math>\frac{1}{2}</math> в виде десятичной дроби имеет два представления: <math>0{,}5</math> и <math>0{,}4(9)</math>, а в виде троичной только одно: <math>0{,}(1)_3</math>. Число <math>\frac{1}{3}</math> в виде десятичной дроби имеет одно представление: <math>0{,}(3)</math>, а в виде троичной два: <math>0{,}1_3</math> и <math>0{,}0(2)_3</math>.

Зависимость количеств n-ричных представлений от системы счисления проявляется только для нецелых рациональных чисел. Все целые числа кроме нуля имеют в любой системе счисления по два представления, все иррациональные и <math>0</math> — одно.

Применение

Равенство находит применение, например, в элементарной теории чисел. В 1802 году H. Goodwin опубликовал наблюдение, обнаруженное им при делении чисел на простые числа. Например:

• <math>\frac{1}{7}</math> = 0,Шаблон:Background colorШаблон:Background colorШаблон:Background colorШаблон:Background color… и

Шаблон:Background color + Шаблон:Background color = 999;

• <math>\frac{1}{73}</math> = 0,Шаблон:Background colorШаблон:Background colorШаблон:Background colorШаблон:Background color… и

Шаблон:Background color + Шаблон:Background color = 9999.

Миди (M. E. Midy) в 1836 году обобщил данные наблюдения до теоремы Миди.

В популярной культуре

Автор новостной колонки «The Straight Dope» доказывает равенство Шаблон:Math с помощью дроби Шаблон:Frac и пределов, говоря о непонимании:

Шаблон:Начало цитаты Низший примат в нас упирается, говоря: ,999~ на самом деле представляет не число, а процесс. Чтобы найти число мы должны остановить этот процесс. И в этот момент равенство ,999~ = 1 просто разваливается.

Вопрос о равенстве Шаблон:Math стал такой популярной темой в первые семь лет форумов «Battle.net», что компания «Blizzard Entertainment» выпустила «пресс-релиз» на День дураков 2004 года: Шаблон:Начало цитаты Мы очень рады закрыть книгу на этой теме раз и навсегда. Мы были свидетелями страдания и беспокойства насчёт того, ,999~ равняется 1 или же нет, и мы с гордостью представляем следующее доказательство, решающее эту проблему для наших покупателей. Шаблон:Конец цитаты Далее следуют доказательства, основанные на пределах и умножении на число 10.

См. также

• Ахиллес и черепаха
• Бесконечно малая и бесконечно большая
• Неоднозначность представления чисел в виде десятичных дробей
• -0 и +0
• 0.(9) = 9/10¹ + 9/10² … + 9/10^n - это сходящийся ряд (математика).

Примечания

Шаблон:Перевести {{#set:

Текст статьи=

Файл:999 Perspective.svg

0,(9) или 0,999… (<math> 0.\bar{9}</math>, <math>0.\dot{9}</math>) («ноль и девять в периоде») — периодическая десятичная дробь, представляющая число 1. Другими словами,

<math>1=0{,}(9).</math>

Существует много доказательств этого равенства.

Несмотря на то, что правильность этого равенства является доказанным фактом и не вызывает сомнений в научном сообществе, многие люди пытаются доказать обратное. В таких доказательствах обычно допускаются арифметические и логические ошибки. Такое ярое несогласие вызвано тем, что данное равенство противоречит интуиции. Из-за этого оно приобрело большую популярность.

Пояснение

При использовании математических обозначений стоит понимать, что обозначения — это не есть сам предмет обсуждения, а всего лишь его обозначение. Два обозначения вполне могут обозначать один и тот же предмет. К примеру, запись <math>\frac{1}{10}</math> и <math>0{,}1</math> обозначают одно и то же число. Хоть это и разные записи, задают они один и тот же объект. Другой пример — <math>\frac{1}{2}</math> и <math>\frac{2}{4}</math>. На этом примере видно, что разные обыкновенные дроби вполне могут задавать одно и то же число, и, таким образом, запись в виде обыкновенной дроби неоднозначна.

Тот факт, что запись в виде конечной десятичной дроби однозначна, является особенностью именно конечных дробей. Разные конечные дроби обозначают разные числа. Но работает это свойство только для конечного случая. В общем случае (где допускаются и конечные, и бесконечные десятичные дроби) две различные десятичные дроби могут представлять одно и то же число. Это связано с тем, что бесконечные дроби являются весьма непростым объектом, и многие свойства конечных на них не работают или работают не так. Примером такого неоднозначного представления являются <math>1</math> и <math>0{,}(9)</math>. Несмотря на то, что запись у них разная, они представляют собой одно и то же число, аналогично тому, как <math>\frac{1}{2}</math> и <math>\frac{2}{4}</math> представляют одно число.

Элементарные доказательства

Деление столбиком

Обыкновенная дробь (например, <math>\frac{1}{3}</math>) может быть представлена в десятичном виде как конечная либо периодическая десятичная дробь. Перевод из обыкновенной дроби в десятичную может быть выполнен при помощи деления в с столбик. Выполнив деление столбиком целого числа 1 на целое число 3, получим число 0,333… (в десятичной записи), в котором цифры 3 повторяются бесконечно:

<math>\frac{1}{3} = 0{,}333\ldots</math>

Умножим левую часть на 3.

<math>\frac{1}{3} \cdot 3 = 1</math>

Умножим правую часть на 3. Заметим, что умножение каждой тройки на 3 даёт девятку:

<math>0{,}333\ldots \cdot 3 = 0{,}999\ldots</math>

Таким образом,

<math>1 = 0{,}999\ldots</math>.

Аналогично можно доказать это равенство раскладывая в десятичную дробь не <math>\frac{1}{3}</math>, а, например, <math>\frac{1}{9}</math>:

<math>\frac{1}{9} = 0{,}111\ldots</math>

<math>\frac{1}{9} \cdot 9 = 1</math>

<math>0{,}111\ldots \cdot 9 = 0{,}999\ldots</math>

<math>1 = 0{,}999\ldots</math>

Манипуляции с цифрами

Предыдущее доказательство было получено при помощи деления в столбик, что является алгоритмом перевода обыкновенной дроби в десятичную. Можно пойти в обратную сторону и воспользоваться алгоритмом перевода периодической десятичной дроби в обыкновенную.

Обозначим число <math>0{,}(9)</math> за <math>x</math>. При умножении десятичного числа на число <math>10</math> цифры не меняются, запятая передвигается на одну цифру вправо:

<math>0{,}999\ldots \cdot 10 = 9{,}999\ldots</math>

То есть,

<math>10x = 9{,}999\ldots</math>

Если отнять из <math>9{,}999\ldots</math> число <math>0{,}999\ldots</math>, то все девятки после запятой вычтутся и останутся нули:

<math>9{,}999\ldots - 0{,}999\ldots = 9{,}000\ldots = 9</math>

Вспомним про введённые обозначения через <math>x</math> и заменим на них левую часть равенства:

<math>10x - x= 9</math>

Тогда,

<math>9x = 9</math>

и

<math>x=1</math>.

Ну а так как за <math>x</math> мы обозначали <math>0{,}999\ldots</math>, то

<math>0{,}999\ldots=1</math>.

Строгое обоснование

Несмотря на простоту и понятность вышеприведённых доказательств, они не обладают достаточной математической строгостью и формальностью. Первое доказательство основано на том факте, что

<math>0{,}333\ldots \cdot 3 = 0{,}999\ldots</math>,

второе на

<math>0{,}999\ldots \cdot 10 = 9{,}999\ldots</math>.

Эти выражения выглядят очевидными, однако очевидность обманчива, что можно видеть на примере самого равенства <math>1=0{,}(9)</math>. При строгом изложении данные факты также требуют доказательства. Действительно, если для бесконечных десятичных дробей могут выполняться такие странные равенства, с чего нам вообще быть уверенными, что правила умножения для них работают также, как и для конечных? Простота и очевидность доказательств выше достигается за счёт нестрогости рассуждений, что для контринтуитивных утверждений является существенным.

Для того, чтобы внести строгость в рассуждение, необходимо сначала разобраться что вообще означает запись <math>0{,}(9)</math>. Рассмотрим какую-нибудь конечную десятичную дробь, например <math>127{,}98765</math>. Что означает эта запись? Данная запись есть сокращение для следующего выражения:

<math>1\cdot 100 + 2 \cdot 10 + 7 \cdot 1 + \frac{9}{10} + \frac{8}{100} + \frac{7}{1000} + \frac{6}{10000} + \frac{5}{100000}</math>

Число, которое обозначает эта запись, есть результат этого выражения. Так в математике определяется само понятие десятичная дробь. Согласно данному определению бесконечная десятичная дробь точно такое же сокращение для такой суммы, отличающееся от конечного случая лишь тем, что количество слагаемых в ней бесконечно. То есть, например, дробь <math>21{,}5(23)</math> есть краткая запись для

<math>2 \cdot 10 + 1 \cdot 1 + \frac{5}{10} + \frac{2}{100} + \frac{3}{1000} + \frac{2}{10000} + \frac{3}{100000} + \ldots</math>.

Рассматриваемая же в этой статье дробь <math>0{,}(9)</math> есть краткая запись для суммы

<math>\frac{9}{10} + \frac{9}{100} + \frac{9}{1000} + \frac{9}{10000} + \frac{9}{100000} + \ldots</math>.

Число, которое обозначается записью <math>0{,}(9)</math>, есть по определению сумма бесконечного числа слагаемых, представленных выше. Стоит понимать, что <math>0{,}(9)</math> есть всего лишь формальная запись для результата вышеприведённой суммы, не обязанная удовлетворять каким-то свойствам, кроме равенства той сумме. Чему эта сумма окажется равна, тому и будет равно это число, вне зависимости от интуитивности этого или соответствия нашим ожиданиям.

Результат суммирования бесконечного числа слагаемых в математическом анализе определяется при помощи понятия предела. Свойства бесконечных сумм во многом отличаются от свойств конечных и требуют особой осторожности при их применении.

Последовательность <math>\frac{9}{10},\frac{9}{100},\frac{9}{1000},\frac{9}{10000},\ldots</math> представляет собой геометрическую прогрессию, знаменатель которой равен <math>0{,}1</math>, а первый член — <math>\frac{9}{10}</math>. По известной в математическом анализе формуле сумма геометрической прогрессии есть <math>\frac{b_1}{1-q}</math>, где <math>b_1</math> — первый член, а <math>q</math> — знаменатель. Тогда

<math>0{,}(9)=\frac{9}{10} + \frac{9}{100} + \ldots=\frac{\dfrac{9}{10}}{1-\dfrac{1}{10}}=\frac{\dfrac{1}{9}}{\dfrac{1}{9}}=1</math>

Данное доказательство основано лишь на формальном определении десятичной дроби и не содержит в себе использования каких-либо недоказанных свойств бесконечных десятичных дробей.

Такое доказательство (об эквивалентности чисел 10 и 9,999…) было опубликовано в 1770 году Леонардом Эйлером в издании «[[|en]] (Elements of Algebra)».

Формула суммы сходящейся геометрической прогрессии была известна до Эйлера. В выпущенном в 1811 году учебнике «An Introduction to Algebra» также используется геометрическая прогрессия для числа 0,(9). В XIX веке реакция на такое правило суммирования вылилась в утверждение о том, что сумма ряда должна быть пределом последовательности частичных сумм.

Строгость элементарных доказательств

Используя формальное определение десятичной дроби можно попытаться достигнуть достаточной строгости для первых двух доказательств.

Доказательство через деление в столбик использует нетривиальный факт, что деление в столбик даёт правильное представление в виде периодической дроби, что в свою очередь требует доказательства. Свойство же <math>0{,}(3)\cdot 3 = 0{,}(9)</math> доказывается весьма просто с использованием операции умножения числовых рядов на число:

<math>0{,}(3)\cdot 3 = \left(\frac{3}{10} + \frac{3}{100} + \ldots\right) \cdot 3 = \frac{3}{10} \cdot 3 + \frac{3}{100} \cdot 3 + \ldots = \frac{9}{10} + \frac{9}{100} + \ldots = 0{,}(9)</math>.

Доказательство через манипуляции с цифрами использует два несложных свойства. Первое: <math>0{,}(9)\cdot 10=9{,}(9)</math>

<math>0{,}(9)\cdot 10 = \left(\frac{9}{10} + \frac{9}{100} + \ldots\right) \cdot 10 = \frac{9}{10} \cdot 10 + \frac{9}{100} \cdot 10 + \ldots = 9 \cdot 1 + \frac{9}{10} + \ldots = 9{,}(9)</math>

Второе: <math>9{,}(9)-0{,}(9)=9</math>.

<math>9{,}(9)-0{,}(9) = \left(9 \cdot 1 + \frac{9}{10} + \frac{9}{100} \ldots\right) - \left(\frac{9}{10} + \frac{9}{100} + \ldots\right) = \left(9 \cdot 1 + \frac{9}{10} + \frac{9}{100}\ldots\right) - \left(0 \cdot 1 + \frac{9}{10} + \frac{9}{100} + \ldots\right)=(9\cdot 1 - 0) +\left(\frac{9}{10}-\frac{9}{10}\right) + \left(\frac{9}{100}-\frac{9}{100}\right) + \ldots = 9 + 0 + 0 + 0 + \ldots = 9</math>

В любом случае, погоня за строгостью приведёт либо к необходимости манипуляций с числовыми рядами, либо к другому более искусственному определению периодических дробей. Реализацией второго подхода может стать, например, определение значения периодических дробей с помощью алгоритма перевода их в обыкновенные. Все свойства по-прежнему будут требовать доказательства, однако уже без необходимости прибегать к теории числовых рядов. Попытка реализации второго подхода определением периодических дробей через деление в столбик к нужному результату не приведёт, так как делением в столбик нельзя получить дробь с периодом <math>9</math>.

Другие конечные десятичные дроби

Аналогичное равенство можно получить для любой конечной десятичной дроби. Пусть <math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}</math> — некоторая конечная десятичная дробь, <math>a_{-m} \neq 0</math>. Тогда:

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](9)</math>

Квадратные скобки здесь означают, что мы записываем вместо них цифру, равную <math>a_{-m}-1</math>. К примеру, <math>3=2{,}(9)</math>, <math>20=19{,}(9)</math>, <math>0{,}5=0{,}4(9)</math>, <math>0{,}01=0{,}00(9)</math>. Таким образом, для любой конечной десятичной дроби можно получить вторую десятичную запись с девятью в периоде. Это работает и наоборот: для каждой дроби с девятью в периоде можно получить конечную запись.

Интересным является тот факт, что все неоднозначности десятичной записи исчерпываются этим случаем. Дадим строгую формулировку этого факта. Прежде всего нужно строго определить какие записи мы считаем одинаковыми, а какие разными (чтобы не посчитать разными например записи <math>2{,}3</math> и <math>2{,}30</math>, или <math>0{,}(3)</math> и <math>0{,}(33)</math>). Две десятичных записи будем считать одинаковыми, если у них совпадают цифры во всех разрядах (если какого-то разряда в записи нет, то будем считать его значение нулём). Тогда:

• если число ненулевое и допускает представление в виде конечной десятичной дроби, то оно допускает представление и с 9 в периоде;
• если число ненулевое и допускает представление с 9 в периоде, то оно допускает представление и в виде конечной десятичной дроби

причём эти представления связаны соотношением

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](9)</math>,

других десятичных представлений у таких чисел нет;

• все остальные вещественные числа допускают только одно представление в виде десятичной дроби.

Сравнение десятичных дробей

Для конечных десятичных дробей существует простой алгоритм их сравнения. Идём слева направо до первого несовпадающего разряда. То число, у которого этот разряд больше, и оказывается большим. Если же все разряды равны, то и числа равны.

С бесконечными дробями этот алгоритм уже не работает. По этому алгоритму число <math>1</math> должно было бы быть больше, чем <math>0{,}(9)</math>, но эти числа равны. Однако алгоритм всё ещё работает для нестрогого сравнения: если в нём заменить все строгие неравенства на нестрогие, он будет работать и для бесконечных дробей. Таким образом, для <math>1</math> и <math>0{,}(9)</math> он выдаст <math>1 \geq 0{,}(9)</math>, что верно.

При необходимости сравнить бесконечные десятичные дроби нужно учесть, что случаем девяти в периоде исчерпываются все неоднозначные представления чисел. Таким образом, можно просто заранее привести все числа с девяткой в периоде к конечной записи и применить обычный алгоритм сравнения.

Другие системы счисления

Файл:Base4 333.svg

Единичные интервалы, (0.3, 0.33, 0.333, …) сходящиеся к 1 (в четверичной системе счисления)

Аналогичное равенство можно получить для любой позиционной системы счисления. Для системы счисления с основанием <math>k</math> и старшей цифрой <math>c=k-1</math> конечная дробь <math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}</math>, <math>a_{-m} \neq 0</math> может быть представлена как

<math>a_n\ldots a_0{,}a_{-1}\ldots a_{-m}=a_n\ldots a_0{,}a_{-1}\ldots [a_{-m}-1](c)</math>.

К примеру: <math>0{,}(1)_2=1</math>, <math>0{,}(3)_4=1</math>, <math>0{,}(F)_{16}=1</math>, <math>0{,}0(1)_2=0{,}1_2=0{,}5</math>.

Все свойства сохраняются и для других систем счисления. Точно так же каждая конечная дробь допускает представление в виде дроби с периодом <math>c</math> и наоборот, причём двумя этими представлениями исчерпываются все представления числа. Остальные дроби имеют только одно представление. Те же самые замечания верны для поразрядного сравнения дробей.

Особенность других систем счисления заключается в том, что дроби, представимые в десятичной системе счисления конечной дробью, могут представляться периодической в другой системе счисления, и наоборот. Так, дробь <math>0{,}(3)</math>, непредставимая в десятичной системе счисления как конечная дробь, в троичной представляется как <math>0{,}1_3</math>. Дробь <math>0{,}5</math> в троичной системе представляется как <math>0{,}(1)_3</math>. Таким образом, количество представлений определённого числа в виде n-ричной дроби, зависит от системы счисления. Число <math>\frac{1}{2}</math> в виде десятичной дроби имеет два представления: <math>0{,}5</math> и <math>0{,}4(9)</math>, а в виде троичной только одно: <math>0{,}(1)_3</math>. Число <math>\frac{1}{3}</math> в виде десятичной дроби имеет одно представление: <math>0{,}(3)</math>, а в виде троичной два: <math>0{,}1_3</math> и <math>0{,}0(2)_3</math>.

Зависимость количеств n-ричных представлений от системы счисления проявляется только для нецелых рациональных чисел. Все целые числа кроме нуля имеют в любой системе счисления по два представления, все иррациональные и <math>0</math> — одно.

Применение

Равенство находит применение, например, в элементарной теории чисел. В 1802 году H. Goodwin опубликовал наблюдение, обнаруженное им при делении чисел на простые числа. Например:

• <math>\frac{1}{7}</math> = 0,Шаблон:Background colorШаблон:Background colorШаблон:Background colorШаблон:Background color… и

Шаблон:Background color + Шаблон:Background color = 999;

• <math>\frac{1}{73}</math> = 0,Шаблон:Background colorШаблон:Background colorШаблон:Background colorШаблон:Background color… и

Шаблон:Background color + Шаблон:Background color = 9999.

Миди (M. E. Midy) в 1836 году обобщил данные наблюдения до теоремы Миди.

В популярной культуре

Автор новостной колонки «The Straight Dope» доказывает равенство Шаблон:Math с помощью дроби Шаблон:Frac и пределов, говоря о непонимании:

Шаблон:Начало цитаты Низший примат в нас упирается, говоря: ,999~ на самом деле представляет не число, а процесс. Чтобы найти число мы должны остановить этот процесс. И в этот момент равенство ,999~ = 1 просто разваливается.

Вопрос о равенстве Шаблон:Math стал такой популярной темой в первые семь лет форумов «Battle.net», что компания «Blizzard Entertainment» выпустила «пресс-релиз» на День дураков 2004 года: Шаблон:Начало цитаты Мы очень рады закрыть книгу на этой теме раз и навсегда. Мы были свидетелями страдания и беспокойства насчёт того, ,999~ равняется 1 или же нет, и мы с гордостью представляем следующее доказательство, решающее эту проблему для наших покупателей. Шаблон:Конец цитаты Далее следуют доказательства, основанные на пределах и умножении на число 10.

См. также

• Ахиллес и черепаха
• Бесконечно малая и бесконечно большая
• Неоднозначность представления чисел в виде десятичных дробей
• -0 и +0
• 0.(9) = 9/10¹ + 9/10² … + 9/10^n - это сходящийся ряд (математика).

Примечания

Шаблон:Перевести }}