Иррациональные числа — это действительные числа, которые нельзя точно записать дробью m/n, где m и n — целые, а n ≠ 0. Их десятичная запись бесконечна и не становится периодической; знакомые примеры — √2, π, e и золотое сечение φ.
Название может показаться странным: «иррациональный» здесь не означает нелогичный. Оно говорит только о невозможности выразить число отношением двух целых. Проще всего почувствовать эту границу не по длинному хвосту цифр, а на обычном квадрате.
Диагональ, которая не помещается ни в одну дробь
Нарисуйте квадрат со стороной 1. По теореме Пифагора квадрат его диагонали равен 1² + 1² = 2, значит, длина диагонали равна √2. На линейке получится примерно 1,414, а более точный калькулятор покажет 1,41421356… Но сколько бы цифр мы ни добавляли, это будут приближения: дроби с знаменателем 10, 1000 или другой степенью десяти.
Важно не сделать из этого неверный вывод. Причина иррациональности не в том, что линейка недостаточно точна: любой результат реального измерения записывают с конечной точностью. Утверждение о √2 доказывается внутри математической модели — ни одна дробь целых чисел не равна этой длине точно.
Как распознать рациональное и иррациональное число
Рациональное число можно представить дробью m/n. Поэтому рациональны все целые числа, конечные десятичные дроби и бесконечные периодические дроби. Например, 0,125 = 1/8, а 0,333… = 1/3. Период может начаться не сразу: число 0,1666… тоже рационально, потому что после первой цифры повторяется шестёрка.
У иррационального числа десятичная запись бесконечна и не имеет повторяющегося с некоторого места конечного блока. Одних трёх точек в записи недостаточно для вывода. Запись 1,414… может обозначать начало √2, но может скрывать и рациональное число 1,414141… с периодом 14. Чтобы классифицировать число, нужно знать правило записи или доказать его свойства.
| Запись | Тип | Почему |
|---|---|---|
| −7 | рациональное | −7 = −7/1 |
| 0,125 | рациональное | 0,125 = 1/8 |
| 0,121212… | рациональное | повторяется блок 12; число равно 4/33 |
| √49 | рациональное | √49 = 7 |
| √5 | иррациональное | 5 не является полным квадратом |
| π | иррациональное | его нельзя представить отношением целых |
Для квадратного корня из натурального числа действует удобное школьное правило: если подкоренное число — полный квадрат, корень целый и потому рациональный; если не полный квадрат, корень иррационален. Так, √81 = 9, а √3, √5 и √11 иррациональны. Но по внешнему виду произвольного выражения угадывать нельзя: π − π = 0, хотя в записи присутствует π.
Четыре известных примера — без популярных мифов
√2 ≈ 1,41421356… возникает как диагональ единичного квадрата. Это самый наглядный пример несоизмеримых длин: сторону и диагональ нельзя обе выразить целым числом долей одной и той же единицы.
π ≈ 3,14159265… — отношение длины окружности к её диаметру в евклидовой геометрии. Оно появляется в формулах площади круга, движения по окружности, волн и вращений. Число π не только иррационально, но и трансцендентно — это более сильное свойство.
e ≈ 2,71828182… — основание натурального логарифма. Оно естественно возникает в модели непрерывного роста A = A₀ekt, а также в задачах о распаде и охлаждении. Реальный процесс может отклоняться от модели, но число внутри формулы задано точно.
φ = (1 + √5)/2 ≈ 1,61803398… — золотое сечение. Его точное и проверяемое место — геометрия правильного пятиугольника: отношение диагонали к стороне равно φ. Кроме того, отношения соседних чисел Фибоначчи 2/1, 3/2, 5/3, 8/5, 13/8… приближаются к φ. А вот утверждения, будто по золотому сечению обязательно построены Парфенон, картины великих художников, человеческое лицо и раковина наутилуса, часто основаны на выбранных после измерения линиях и не подтверждены историческими или эмпирическими данными. Математическое свойство φ интересно и без мифа об универсальной формуле красоты.
Почему √2 действительно нельзя записать дробью
Приближения создают ощущение, что подходящую дробь просто ещё не нашли. Доказательство от противного закрывает эту лазейку. Предположим, что √2 = p/q, причём дробь сокращена и числа p и q не имеют общего делителя больше 1.
- Возведём равенство в квадрат: p²/q² = 2, значит, p² = 2q².
- Число p² чётное. Квадрат нечётного числа нечётен, поэтому p тоже чётное. Запишем p = 2k.
- Подставим: (2k)² = 2q², откуда 4k² = 2q² и q² = 2k².
- Теперь чётно q², значит, чётно и q.
Получилось, что и p, и q делятся на 2. Но в начале мы выбрали несократимую дробь. Противоречие означает, что исходного отношения p/q не существует, следовательно, √2 иррационально.
Ту же идею можно увидеть через разложение на простые множители. В квадрате каждого натурального числа любой простой множитель встречается чётное число раз. В равенстве p² = 2q² показатель двойки слева чётный, а справа к чётному показателю из q² добавляется ещё одна двойка — показатель становится нечётным. Два равных натуральных числа не могут иметь разные разложения на простые множители. Это второе противоречие.
Оба доказательства опираются не на десятичные цифры √2, а на структуру целых чисел. Поэтому они охватывают бесконечно много возможных дробей одним рассуждением.
Где точные иррациональные числа входят в реальные модели
В повседневной работе никто не выписывает бесконечный хвост цифр. Мы храним символ √2, π или e как точное значение, пока это возможно, и округляем только перед численным результатом. Так меньше накапливается ошибка.
Форматы бумаги серии A. В идеальной геометрической модели отношение длинной стороны листа к короткой равно √2. Благодаря этому половина листа сохраняет ту же форму. Номинальные размеры A4 — 210 × 297 мм — целые и потому дают лишь приближение: 297/210 не равно √2 точно.
Координаты и навигация. Расстояние между точками вычисляют по формуле с квадратным корнем. При разностях координат 1 и 1 получается √2; при разностях 3 и 4 — рациональное число 5. Поэтому наличие корня в формуле ещё не гарантирует иррациональный ответ.
Музыкальный строй. В двенадцатитоновой равномерной темперации отношение частот соседних ступеней равно 21/12. После двенадцати одинаковых множителей частота удваивается, то есть получается октава. Отношение 21/12 иррационально, а инструмент настраивают по конечным приближениям к нему.
Рост и изменение. В идеальной модели непрерывного роста появляется e. Инженер или программист отличает точную формулу от её машинного представления: компьютер хранит конечное число битов и обычно работает не с самим иррациональным числом, а с близким рациональным значением.
Что известно об открытии: доказательство надёжнее легенды
Открытие несоизмеримых величин связывают с древнегреческой пифагорейской традицией, но точная последовательность событий неизвестна. Историки выдвигали разные реконструкции: в одной из них Гиппас из Метапонта исследовал отношение диагонали и стороны правильного пятиугольника, то есть золотое сечение; в других раннее доказательство связывают с диагональю квадрата.
Поздние рассказы добавили драматическую сцену: Гиппас будто бы разгласил тайну и погиб в море. Надёжного свидетельства, что его убили именно за математическое открытие, нет. Поэтому корректный заголовок этой истории не «за что убили Гиппаса», а «почему с Гиппасом связывают открытие». Легенда показывает, насколько неожиданной казалась несоизмеримость, но не служит биографическим документом.
В «Началах» Евклида работа с отношениями величин была построена геометрически и не требовала считать √2 обычным числом в современном смысле. Строгие конструкции системы действительных чисел появились гораздо позже, в XIX веке. Тогда же Георг Кантор дал математический способ сравнивать размеры бесконечных множеств — и выяснилось, что у рациональных и иррациональных чисел разная мощность.
Как иррациональных может быть «больше», если дроби повсюду
Рациональные числа плотны на прямой: между любыми двумя разными действительными числами можно найти рациональное. Иррациональные тоже плотны: в том же промежутке найдётся иррациональное. Поэтому представлять рациональные редкими точками с пустыми промежутками неправильно.
Но плотность не равна количеству в смысле мощности множества. Все рациональные можно занумеровать. Для этого дроби раскладывают в бесконечную таблицу по числителям и знаменателям, обходят её по диагоналям, пропускают повторения и постепенно выдают каждой дроби натуральный номер. Такой набор называется счётным.
С действительными числами так не получается. Предположим, что все бесконечные десятичные записи от 0 до 1 уже выстроены в список. Построим новое число: если первая цифра первого числа равна 5, возьмём 6, иначе 5; так же выберем вторую цифру по второй строке, третью по третьей и далее. Полученная запись отличается от каждой строки хотя бы в одной позиции. Цифры 5 и 6 заодно исключают неоднозначность с хвостами из девяток, поэтому нового числа действительно не было в списке. Значит, действительные числа несчётны.
Поскольку действительные состоят из рациональных и иррациональных, а рациональные счётны, иррациональные должны быть несчётны. Именно в этом точном смысле их «больше». При этом оба множества остаются плотными: размер множества и расположение его элементов отвечают на разные вопросы.
Вероятность 1 — только после выбора модели
Фраза «случайно выбранное число почти наверняка иррационально» верна не сама по себе. Сначала нужно сказать, как выбирают число. Если случайная точка равномерно выбирается на отрезке [0, 1], вероятность каждого отдельного значения равна нулю. Рациональных значений счётно много, поэтому вероятность попасть хотя бы в одно из них также равна нулю. Вероятность получить иррациональное число равна 1.
«Вероятность ноль» не означает, что рациональных точек нет: 1/2 лежит на отрезке. Это означает, что множество рациональных имеет нулевую длину в данной непрерывной модели. Если же опыт устроен иначе — например, числитель и ненулевой знаменатель выбирают из заданных конечных списков, а затем делят одно число на другое, — результат всегда рационален. Равномерного распределения на всей бесконечной числовой прямой не существует, поэтому формулировка «равномерно выберем любое действительное число» некорректна.
Проверьте границу между дробями и иррациональностью
Сначала сформулируйте признак или идею доказательства, а потом раскрывайте ответ. Если ошиблись, в разборе указано, к какому шагу вернуться.
1. Число 0,121212… рационально или иррационально? Найдите дробь.
Рационально: повторяется блок 12. Пусть x = 0,121212… Тогда 100x = 12,121212… Вычитаем первое равенство: 99x = 12, поэтому x = 12/99 = 4/33. Если вы назвали число иррациональным только из-за бесконечной записи, вернитесь к признаку периодичности.
2. Докажите, что √3 иррационально.
Предположим √3 = p/q для взаимно простых p и q. Тогда p² = 3q², поэтому p делится на 3; запишем p = 3k. После подстановки q² = 3k², значит, q тоже делится на 3. Это противоречит несократимости дроби. Если переход от p² к p вызывает сомнение, используйте разложение на простые: показатель тройки в квадрате всегда чётный.
3. Может ли сумма двух иррациональных чисел быть рациональной?
Да: √2 + (−√2) = 0. Оба слагаемых иррациональны, а ноль рационален. Самопроверка: свойство «быть иррациональным» не сохраняется автоматически ни при сложении, ни при умножении; например, √2 · √2 = 2.
4. Что точнее: √2 или 1,41421356?
√2 — точная запись числа. 1,41421356 — конечная десятичная дробь и рациональное приближение. Оно удобно для расчёта, но его квадрат не равен 2 точно. Если вопрос кажется странным, разделите «больше цифр» и «точное символическое значение».
5. Почему из счётности рациональных не следует, что между ними есть пустые промежутки?
Счётность говорит, можно ли занумеровать элементы, а плотность — есть ли элемент множества между любыми двумя точками. Рациональные счётны и одновременно плотны: между a и b можно взять, например, достаточно точное десятичное число внутри промежутка. Здесь сравниваются разные свойства.
Короткие ответы на частые вопросы
Чем иррациональное число отличается от бесконечной десятичной дроби?
Бесконечная дробь бывает рациональной, если с некоторого места повторяется конечный блок цифр. Иррациональная запись бесконечна и непериодична. Поэтому 0,333… рационально, а √2 — нет.
Является ли ноль иррациональным?
Нет. Ноль можно записать как 0/1, поэтому он рационален. По той же причине рациональны все целые числа.
Можно ли вычислить √2 точно на калькуляторе?
Численный калькулятор показывает конечное приближение. Точно число записывается символом √2, а не полностью выписанной десятичной дробью. В системах компьютерной алгебры такой символ можно сохранять и преобразовывать без раннего округления.
Все ли корни из натуральных чисел иррациональны?
Нет. √4 = 2, √9 = 3 и √100 = 10 рациональны. Квадратный корень из натурального числа иррационален тогда, когда подкоренное число не является полным квадратом.
Как быстро отличить иррациональное число от рационального?
Для конечной или явно периодической десятичной записи ответ рациональный. Для корня из натурального числа проверьте, является ли оно полным квадратом. В общем выражении универсального способа «по виду» нет: требуется известный результат или доказательство, а многоточие без правила ничего не доказывает.
Увидеть, как дроби занимают числовую прямую
На интерактивном уроке вы будете собирать дроби, сравнивать их и сразу проверять положение на числовой прямой. Это полезный следующий шаг: сначала уверенно понять рациональные числа, а затем увидеть, где дробей уже недостаточно.
Куда двигаться дальше
Чтобы укрепить фундамент доказательства, разберите разложение на простые множители и теорему Пифагора. Затем переходите к координатной прямой, где рациональные и иррациональные числа становятся точками одной системы, и к истории Евклида, чтобы увидеть, как геометрическое доказательство переживает смену языка чисел.