Дроби, у которых совсем нет периода

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

Рассмотрим дробь $0{,}1011011101111\ldots$ — после запятой в ней записаны группы единиц: одна единица, потом две, потом три, потом четыре и так далее, а между группами стоит по одному нулю.

💡 Из жизни: представь очередь, где сначала проходит 1 человек, потом пауза, потом 2 человека, пауза, потом 3, пауза, потом 4… Очередь никогда не повторяет уже пройденный участок — каждый следующий «заход» длиннее всех предыдущих.

Почему у неё нет периода

Докажем это рассуждением от противного — предположим обратное и увидим, что оно приводит к противоречию.

1
Допустим, что у дроби всё-таки есть период — то есть с какого-то места одна и та же группа цифр повторяется бесконечно.
2
Раз в дроби вообще встречаются нули (между группами единиц), период обязан содержать хотя бы один нуль — иначе он состоял бы из одних единиц, а нули в дроби так и не появлялись бы.
3
Но какой бы длины ни был этот период, дальше в дроби найдётся группа единиц ещё большей длины — а внутри неё вообще нет ни одного нуля.
4
Значит, предполагаемый период обязан был бы «попасть» внутрь такой сплошной группы единиц — но тогда в нём не может быть нуля. Противоречие с шагом 2. Период невозможен: дробь непериодическая.
Определение. Бесконечную непериодическую десятичную дробь называют иррациональным (нерациональным) числом. Раз дробь не может быть разложением никакого рационального числа, она задаёт число нового вида.

Ещё примеры и знак у иррационального числа

Иррациональных чисел много, и строить их можно по-разному — лишь бы дробь никогда не входила в повтор. Например: $0{,}01001000100001\ldots$ — тут после каждой единицы число нулей растёт (1, потом 2, потом 3, потом 4 нуля…), и $17{,}123456789101112\ldots$ — здесь после запятой просто подряд выписаны числа натурального ряда $1, 2, 3, 4, \ldots$

Как и с рациональными числами, перед иррациональным можно поставить знак. Если поставить «+» — число не изменится:

$$0{,}01001000100001\ldots = +0{,}01001000100001\ldots$$

А если перед положительной иррациональной дробью поставить «−», получится противоположное ей отрицательное иррациональное число, например $-0{,}01001000100001\ldots$ или $-17{,}123456789101112\ldots$.

⚠️ Частая ошибка: считать, что любая бесконечная дробь — иррациональная. Это не так: дробь $0{,}(3) = 0{,}3333\ldots$ тоже бесконечная, но она периодическая — а значит, всё равно рациональная (это разложение числа $\tfrac13$). Иррациональным число делает не «бесконечность», а именно отсутствие периода.

Запомни

🧠 Бесконечная непериодическая десятичная дробь — это иррациональное число. У иррационального числа, как и у рационального, есть знак «+» или «−». Главный признак: сколько бы цифр ни прошло, никакая группа цифр не начинает повторяться бесконечно.