Иррациональные числа

Иррациональное число — это вещественное число, которое не является рациональным, то есть не может быть представлено в виде обыкновенной дроби \( \frac{m}{n} \), где \( m \) — целое число, а \( n \) — натуральное. Иррациональные числа не могут быть выражены конечной или бесконечной периодической десятичной дробью; их десятичная запись представляет собой бесконечную непериодическую дробь. Множество иррациональных чисел обозначается символом \( \mathbb{I} \) и вместе с множеством рациональных чисел \( \mathbb{Q} \) образует множество вещественных чисел \( \mathbb{R} \).

История открытия

Древнегреческая математика

Открытие иррациональных чисел традиционно приписывается пифагорейской школе (VI век до н. э.). Согласно легенде, ученик Пифагора Гиппас из Метапонта (или, по другим версиям, Гиппас из Кротона) доказал, что диагональ единичного квадрата (то есть \( \sqrt{2} \)) несоизмерима с его стороной. Это открытие противоречило пифагорейскому учению о том, что всё в мире выражается целыми числами и их отношениями. По преданию, за разглашение тайны Гиппас был утоплен в море или изгнан из школы.

Первое строгое доказательство иррациональности \( \sqrt{2} \) было дано Евклидом в «Началах» (около 300 г. до н. э.) методом от противного. Евклид также показал, что несоизмеримые отрезки существуют, и ввёл понятие «алогичных» (невыразимых) величин.

Средневековье и Возрождение

В средневековой Европе иррациональные числа долгое время не признавались полноценными числами. Их называли «сурдами» (от лат. surdus — глухой, немой) или «глухими числами». В XII веке индийский математик Бхаскара II в трактате «Сиддханта-широмани» описал операции с квадратными корнями, но не считал их числами в полном смысле.

В XVI веке европейские математики (в частности, Симон Стевин и Франсуа Виет) начали рассматривать иррациональные числа как допустимые величины. Стевин в труде «Десятая» (1585) предложил десятичную запись для любых чисел, включая иррациональные.

XIX век: формализация

В XIX веке, с развитием математического анализа, возникла необходимость в строгом определении вещественных чисел. В 1872 году немецкий математик Рихард Дедекинд ввёл понятие «сечения Дедекинда», которое позволило формально определить иррациональные числа как границы между рациональными числами. Почти одновременно Георг Кантор определил вещественные числа как классы эквивалентности фундаментальных последовательностей Коши рациональных чисел. Эти подходы легли в основу современной теории вещественных чисел.

Свойства иррациональных чисел

Алгебраические свойства

• Множество иррациональных чисел \( \mathbb{I} \) не замкнуто относительно арифметических операций. Например, сумма двух иррациональных чисел может быть рациональной (\( \sqrt{2} + (-\sqrt{2}) = 0 \)).
• Произведение иррационального числа на рациональное (кроме нуля) всегда иррационально.
• Если \( a \) — рациональное число, отличное от нуля, а \( b \) — иррациональное, то \( a + b \), \( a - b \), \( a \cdot b \), \( a / b \) (при \( b \neq 0 \)) иррациональны.
• Степень иррационального числа может быть как рациональной, так и иррациональной. Например, \( (\sqrt{2})^2 = 2 \) — рациональное число, а \( (\sqrt{2})^3 = 2\sqrt{2} \) — иррациональное.

Топологические свойства

• Множество иррациональных чисел всюду плотно на числовой прямой: между любыми двумя различными вещественными числами найдётся иррациональное число.
• Множество иррациональных чисел несчётно (имеет мощность континуума), в то время как множество рациональных чисел счётно. Это означает, что «большинство» вещественных чисел являются иррациональными.
• Иррациональные числа образуют множество второй категории по Бэру (не являются объединением счётного числа нигде не плотных множеств).

Десятичная запись

Иррациональные числа в десятичной системе счисления представляются бесконечными непериодическими дробями. Например:

• \( \pi = 3,141592653589793... \)
• \( e = 2,718281828459045... \)
• \( \sqrt{2} = 1,414213562373095... \)

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

Классификация иррациональных чисел

Алгебраические иррациональные числа

Алгебраические иррациональные числа — это корни многочленов с целыми коэффициентами, которые не являются рациональными. Например:

• \( \sqrt{2} \) — корень уравнения \( x^2 - 2 = 0 \)
• \( \sqrt[3]{5} \) — корень уравнения \( x^3 - 5 = 0 \)
• Золотое сечение \( \varphi = \frac{1+\sqrt{5}}{2} \) — корень уравнения \( x^2 - x - 1 = 0 \)

Степенью алгебраического числа называется минимальная степень многочлена с целыми коэффициентами, корнем которого оно является. Например, \( \sqrt{2} \) — число второй степени, \( \sqrt[3]{5} \) — третьей.

Трансцендентные числа

Трансцендентные числа — это иррациональные числа, не являющиеся алгебраическими. Они не могут быть корнем никакого многочлена с целыми коэффициентами. Первое трансцендентное число (лиувиллево число) было построено Жозефом Лиувиллем в 1844 году. В 1873 году Шарль Эрмит доказал трансцендентность числа \( e \), а в 1882 году Фердинанд фон Линдеман доказал трансцендентность числа \( \pi \), что окончательно решило проблему квадратуры круга (невозможность построить циркулем и линейкой квадрат, равновеликий данному кругу).

Известные трансцендентные числа:

• \( \pi \) (отношение длины окружности к диаметру)
• \( e \) (основание натурального логарифма)
• Постоянная Чамперноуна 0,123456789101112... (десятичная дробь, образованная последовательной записью натуральных чисел)
• Число Гельфонда \( e^\pi \)

Примеры иррациональных чисел

Квадратные корни

• \( \sqrt{2} \approx 1,414213562 \)
• \( \sqrt{3} \approx 1,732050808 \)
• \( \sqrt{5} \approx 2,236067977 \)
• \( \sqrt{6} \approx 2,449489743 \)

Квадратный корень из любого натурального числа, не являющегося полным квадратом, иррационален. Аналогично, корень любой степени \( n \) из натурального числа, не являющегося точной \( n \)-й степенью, иррационален.

Логарифмы

• \( \log_2 3 \) — иррациональное число (доказательство: если бы \( \log_2 3 = p/q \), то \( 2^{p/q} = 3 \), откуда \( 2^p = 3^q \), что невозможно для целых \( p, q \))
• \( \ln 2 \) — трансцендентное число (следствие теоремы Линдемана — Вейерштрасса)

Тригонометрические функции

• \( \sin 1^\circ \) — алгебраическое число (но не рациональное)
• \( \cos 20^\circ \) — корень кубического уравнения \( 8x^3 - 6x - 1 = 0 \), следовательно, иррационально

Доказательство иррациональности

Классическое доказательство иррациональности \( \sqrt{2} \)

Метод от противного:

1. Предположим, что \( \sqrt{2} \) — рациональное число, то есть \( \sqrt{2} = \frac{m}{n} \), где \( m \) и \( n \) — взаимно простые натуральные числа.
2. Возведём обе части в квадрат: \( 2 = \frac{m^2}{n^2} \), откуда \( m^2 = 2n^2 \).
3. Следовательно, \( m^2 \) — чётное число, значит, \( m \) — чётное. Пусть \( m = 2k \).
4. Подставим: \( (2k)^2 = 2n^2 \), то есть \( 4k^2 = 2n^2 \), или \( n^2 = 2k^2 \).
5. Значит, \( n^2 \) — чётное, и \( n \) — чётное.
6. Получаем, что \( m \) и \( n \) оба чётные, что противоречит их взаимной простоте.
7. Следовательно, исходное предположение неверно, и \( \sqrt{2} \) иррационально.

Другие методы

• Метод бесконечного спуска: используется для доказательства иррациональности \( \sqrt{2} \) и других чисел.
• Теорема о рациональных корнях: если многочлен с целыми коэффициентами имеет рациональный корень \( p/q \) в несократимой форме, то \( p \) делит свободный член, а \( q \) делит старший коэффициент. Применение этой теоремы позволяет доказать иррациональность многих алгебраических чисел.
• Теорема Линдемана — Вейерштрасса: если \( \alpha \) — ненулевое алгебраическое число, то \( e^\alpha \) — трансцендентное число. Отсюда следует трансцендентность \( e \) и \( \pi \).

Применение иррациональных чисел

В математике

• Иррациональные числа являются неотъемлемой частью математического анализа (пределы, производные, интегралы).
• Теория чисел изучает свойства иррациональных чисел, в том числе вопросы их приближения рациональными дробями (теория диофантовых приближений).
• В геометрии иррациональные числа возникают при вычислении длин диагоналей, площадей кругов, объёмов шаров.

В физике и инженерии

• Число \( \pi \) используется в расчётах, связанных с окружностями, цилиндрами, сферами (например, длина окружности \( C = 2\pi r \), площадь круга \( S = \pi r^2 \)).
• Число \( e \) — основание экспоненциальной функции, описывающей процессы роста, распада, колебаний (например, закон радиоактивного распада \( N = N_0 e^{-\lambda t} \)).
• Квадратные корни встречаются в формулах кинематики, электродинамики, теории относительности.

В компьютерных науках

• Иррациональные числа используются в алгоритмах машинного обучения, криптографии (например, генерация псевдослучайных чисел на основе иррациональных констант).
• Численные методы позволяют вычислять иррациональные числа с заданной точностью (например, алгоритмы вычисления \( \pi \) до миллиардов знаков).

Интересные факты

• Множество иррациональных чисел несчётно, в то время как множество рациональных чисел счётно. Это означает, что если выбрать случайное число на отрезке [0,1], вероятность того, что оно окажется рациональным, равна нулю.
• Существуют иррациональные числа, которые являются одновременно алгебраическими и трансцендентными? Нет, эти классы не пересекаются: каждое иррациональное число либо алгебраическое, либо трансцендентное.
• Проблема квадратуры круга (построение квадрата, равновеликого данному кругу, с помощью циркуля и линейки) была решена отрицательно в 1882 году после доказательства трансцендентности \( \pi \).
• Число \( \pi \) известно более 4000 лет: древние вавилоняне использовали приближение 3,125, а египтяне — 3,1605.
• Самое длинное известное доказательство иррациональности относится к числу \( \pi \): его трансцендентность была доказана Линдеманом в 1882 году, но полное доказательство занимает десятки страниц.

Источники

• Г. Вейль. «Математическое мышление». — М.: Наука, 1989.
• М. Клайн. «Математика. Утрата определённости». — М.: Мир, 1984.
• И. Стюарт. «Великие математические задачи». — М.: Манн, Иванов и Фербер, 2015.
• В. И. Арнольд. «Что такое математика?». — М.: МЦНМО, 2002.
• Энциклопедия «Кругосвет». Статья «Иррациональные числа».
• А. Н. Колмогоров, С. В. Фомин. «Элементы теории функций и функционального анализа». — М.: Наука, 1976.