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

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

¶Определение и свойства

С формальной точки зрения, иррациональное число — это элемент множества \( \mathbb{R} \setminus \mathbb{Q} \). Это означает, что любое действительное число либо является рациональным (представимым в виде конечной или бесконечной периодической десятичной дроби), либо иррациональным (представимым в виде бесконечной непериодической десятичной дроби).

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

• Сумма рационального и иррационального числа всегда иррациональна.
• Произведение ненулевого рационального числа на иррациональное всегда иррационально.
• Сумма и произведение двух иррациональных чисел могут быть как иррациональными, так и рациональными (например, \( \sqrt{2} + (-\sqrt{2}) = 0 \)).
• Множество иррациональных чисел несчётно (по мощности оно эквивалентно множеству всех действительных чисел), в то время как множество рациональных чисел счётно. Это означает, что иррациональных чисел «значительно больше», чем рациональных, и они плотно распределены на числовой прямой: между любыми двумя различными действительными числами находится бесконечно много как рациональных, так и иррациональных чисел.

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

Впервые существование иррациональных чисел обнаружили древнегреческие математики-пифагорейцы в V веке до н. э. Рассматривая диагональ квадрата со стороной 1, они установили, что её длина (равная \( \sqrt{2} \)) несоизмерима со стороной, то есть не выражается отношением двух целых чисел. Это открытие противоречило философской доктрине пифагорейцев, утверждавшей, что «всё есть число» (подразумевая натуральные и рациональные числа). Согласно легенде, открытие держалось в тайне, а его автор, Гиппас из Метапонта, был изгнан из союза или погиб в кораблекрушении за разглашение.

Строгое теоретическое обоснование иррациональных чисел было дано лишь в XIX веке в работах Карла Вейерштрасса, Рихарда Дедекинда (теория сечений в множестве рациональных чисел) и Георга Кантора (теория фундаментальных последовательностей). Эти построения позволили формально определить множество действительных чисел и доказать его полноту.

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

К наиболее известным иррациональным числам относятся:

• Квадратные корни из неквадратных целых чисел: \( \sqrt{2} \approx 1,41421 \), \( \sqrt{3} \approx 1,73205 \), \( \sqrt{5} \approx 2,23607 \). В общем случае \( \sqrt[k]{n} \) иррационально, если \( n \) не является \( k \)-й степенью целого числа.
• Число \( \pi \) (пи) — отношение длины окружности к её диаметру, \( \pi \approx 3,14159 \). Иррациональность \( \pi \) была доказана Иоганном Ламбертом в 1768 году.
• Число \( e \) (основание натурального логарифма), \( e \approx 2,71828 \). Иррациональность \( e \) доказал Леонард Эйлер в 1737 году.
• Золотое сечение \( \varphi = \frac{1+\sqrt{5}}{2} \approx 1,61803 \).
• Десятичные логарифмы целых чисел, не являющихся целыми степенями десятки (например, \( \lg 2 \approx 0,30103 \)).

¶Трансцендентные и алгебраические числа

Иррациональные числа делятся на два класса по происхождению:

• Алгебраические числа — корни многочленов с целыми коэффициентами. К ним относятся все иррациональности вида \( \sqrt[n]{m} \), а также более сложные комбинации корней (например, \( \sqrt{2} + \sqrt{3} \)). Множество алгебраических чисел счётно.
• Трансцендентные числа — числа, не являющиеся корнями никакого многочлена с целыми коэффициентами. К ним относятся \( \pi \), \( e \), а также значения многих специальных функций. Существование трансцендентных чисел доказал Жозеф Лиувилль в 1844 году, а первый явный пример (число Лиувилля) был им же построен. В 1882 году Фердинанд Линдеман доказал трансцендентность числа \( \pi \), что окончательно решило проблему квадратуры круга (невозможность построения циркулем и линейкой квадрата, равновеликого данному кругу).

¶Применение

Иррациональные числа широко используются в математике и естественных науках:

• Геометрия: длины диагоналей, высот, тригонометрические функции (например, \( \sin 45^\circ = \frac{\sqrt{2}}{2} \)).
• Математический анализ: число \( e \) является основанием натурального логарифма и играет фундаментальную роль в дифференциальном и интегральном исчислении.
• Физика и инженерия: число \( \pi \) используется в формулах, связанных с окружностями, колебаниями, волнами и вращательным движением; \( \sqrt{2} \) встречается в электротехнике (связь амплитудного и действующего значений переменного тока).
• Теория вероятностей и статистика: нормальное распределение описывается функцией, содержащей \( \pi \) и \( e \).
• Криптография: свойства простых чисел и иррациональностей лежат в основе некоторых алгоритмов шифрования и генерации псевдослучайных последовательностей.

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

Классическое доказательство иррациональности \( \sqrt{2} \) проводится методом от противного. Предположим, что \( \sqrt{2} = \frac{p}{q} \), где \( p \) и \( q \) — взаимно простые целые числа. Возведя равенство в квадрат, получаем \( p^2 = 2q^2 \). Отсюда следует, что \( p^2 \) чётно, значит, \( p \) чётно, то есть \( p = 2k \). Подставляя, имеем \( 4k^2 = 2q^2 \), или \( q^2 = 2k^2 \). Следовательно, \( q \) также чётно. Это противоречит условию взаимной простоты \( p \) и \( q \). Значит, исходное предположение неверно, и \( \sqrt{2} \) не является рациональным числом.

¶Источники

• Виноградов И. М. Основы теории чисел. — М.: Наука, 1981.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — М.: Физматлит, 2001.
• Кудрявцев Л. Д. Курс математического анализа. — М.: Дрофа, 2003.
• Математическая энциклопедия / под ред. И. М. Виноградова. — М.: Советская энциклопедия, 1977–1985.