Научная библиотека

§ 2. Конечные и бесконечные десятичные дроби

Имеется иное представление рационального числа 1/2, отличное от представлений вида 2/4, 3/6, 4/8 и т. д. Мы подразумеваем представление в виде десятичной дроби 0,5. Одни дроби имеют конечные десятичные представления, например,

в то время как десятичные представления других дробей бесконечны:

Эти бесконечные десятичные дроби можно получить из соответствующих рациональных дробей, деля числитель на знаменатель. Например, в случае дроби 5/11, деля 5,000... на 11, получаем 0,454545...

Какие рациональные дроби имеют конечные десятичные представления? Прежде чем ответить на этот вопрос в общем случае, рассмотрим конкретный пример. Возьмем, скажем, конечную десятичную дробь 0,8625. Мы знаем, что

и что любая конечная десятичная дробь может быть записана в виде рациональной десятичной дроби со знаменателем, равным 10, 100, 1000 или какой-либо другой степени 10.

Приводя дробь справа к несократимой дроби, получаем

Знаменатель 80 получен делением 10 000 на 125 — наибольший общий делитель 10 000 и 8625. Поэтому в разложение на простые множители числа 80, как и числа 10 000, входят только два простых множителя: 2 и 5. Если бы мы начинали не с 0,8625, а с любой другой конечной десятичной дроби, то получившаяся несократимая рациональная дробь тоже обладала бы этим свойством. Иначе говоря, в разложение знаменателя b на простые множители могли бы входить лишь простые числа 2 и 5, поскольку b есть делитель некоторой степени 10, а . Это обстоятельство оказывается определяющим, а именно имеет место следующее общее утверждение:

Несократимая рациональная дробь имеет конечное десятичное представление тогда и только тогда, когда число b не имеет простых делителей, личных от 2 и 5.

Отметим, что при этом b не обязано иметь среди своих простых делителей оба числа 2 и 5: оно может делиться лишь на одно из них или не делиться на них вовсе. Например,

здесь b соответственно равно 25, 16 и 1. Существенным является отсутствие у b других делителей, отличных от 2 и 5.

Сформулированное выше предложение содержит выражение тогда и только тогда. До сих пор мы доказали лишь ту часть, которая относится к обороту только тогда. Именно мы показали, что разложение рационального числа в десятичную дробь будет конечным лишь в том случае, когда b не имеет простых делителей, отличных от 2 и 5.

(Иными словами, если b делится на простое число, отличное от 2 и 5, то несократимая дробь не имеет конечного десятичного выражения.)

Та часть предложения, которая относится к слову тогда, утверждает, что если целое число b не имеет f других простых делителей, кроме 2 и 5, то несократимая рациональная дробь может быть представлена конечной десятичной дробью. Чтобы это доказать, мы должны взять произвольную несократимую рациональную дробь , у которой b не имеет других простых делителей, кроме 2 и 5, и убедиться в том, что соответствующая ей десятичная дробь конечна. Рассмотрим сначала пример. Пусть

Для получения десятичного разложения преобразуем эту дробь в дробь, знаменатель которой представляет собой целую степень десяти. Этого можно достигнуть, умножив числитель и знаменатель на :

Приведенное рассуждение можно распространить на общий случай следующим образом. Предположим, что b имеет вид , где тип — неотрицательные целые числа (т. е. положительные числа или нуль). Возможны два случая: либо меньше или равно (это условие записывается ), либо больше (что записывается ). При умножим числитель и знаменатель дроби на

Поскольку целое число не отрицательно (т. е. положительно или равно нулю), то , а следовательно, и а — целое положительное число. Положим . Тогда

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

Во втором случае, когда умножим числитель и знаменатель дроби на :

Отсюда, обозначив целое число через d, получаем

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

Упражнение

Следующие рациональные дроби представить в виде конечных десятичных дробей: