Рациональные числа

Рациональное число — это число, которое может быть представлено в виде обыкновенной дроби \( \frac{m}{n} \), где \( m \) и \( n \) — целые числа, причём \( n \neq 0 \). Множество рациональных чисел обозначается символом \( \mathbb{Q} \) (от лат. quotiens — «во сколько раз», «частное»). Рациональные числа являются подмножеством действительных чисел и включают в себя целые числа, конечные десятичные дроби и бесконечные периодические десятичные дроби. Они образуют поле, то есть для них определены операции сложения, вычитания, умножения и деления (кроме деления на ноль), результаты которых также являются рациональными числами.

Определение и формальная запись

Формально, рациональное число — это класс эквивалентности упорядоченных пар целых чисел \( (m, n) \), где \( n \neq 0 \), по отношению эквивалентности: \( (m_1, n_1) \sim (m_2, n_2) \) тогда и только тогда, когда \( m_1 n_2 = m_2 n_1 \). Обычно для записи используется несократимая дробь, в которой числитель и знаменатель взаимно просты (их наибольший общий делитель равен 1), а знаменатель положителен.

Например, числа \( \frac{2}{4} \) и \( \frac{1}{2} \) представляют одно и то же рациональное число, но канонической формой считается \( \frac{1}{2} \). Целые числа также являются рациональными, так как любое целое число \( z \) можно записать как \( \frac{z}{1} \).

История

Понятие рационального числа возникло в глубокой древности. Древние египтяне (около 2000 года до н. э.) оперировали дробями вида \( \frac{1}{n} \) (аликвотные дроби) и использовали их для практических задач, таких как деление урожая или строительство. В Вавилоне (около 1800 года до н. э.) использовалась шестидесятеричная система счисления, в которой дроби записывались как доли от 60.

Значительный вклад в теорию дробей внесли древнегреческие математики. Пифагорейцы (VI–V века до н. э.) считали, что все числа можно выразить отношением целых чисел, однако открытие несоизмеримости отрезков (например, диагонали квадрата и его стороны) показало существование иррациональных чисел, что привело к кризису в античной математике. Евклид в «Началах» (около 300 года до н. э.) систематизировал учение о пропорциях и дробях.

В Средние века индийские математики, такие как Брахмагупта (VII век), разработали правила действий с дробями, включая операции с нулём. Арабские учёные, в частности аль-Хорезми (IX век), распространили эти знания в Европе. Современное обозначение дробей с помощью горизонтальной черты (винкулум) ввёл Леонардо Фибоначчи в «Книге абака» (1202 год). Термин «рациональное число» (лат. numerus rationalis) вошёл в употребление в Новое время, в частности, в работах Рене Декарта и Готфрида Лейбница.

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

Множество \( \mathbb{Q} \) обладает рядом фундаментальных свойств, отличающих его от других числовых множеств.

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

• Поле: \( \mathbb{Q} \) является полем, то есть для любых \( a, b, c \in \mathbb{Q} \) выполняются аксиомы ассоциативности, коммутативности и дистрибутивности сложения и умножения, существуют нейтральные элементы (0 и 1) и обратные элементы (для каждого \( a \neq 0 \) существует \( a^{-1} \)).
• Плотность: Между любыми двумя различными рациональными числами существует бесконечно много других рациональных чисел. Например, среднее арифметическое \( \frac{a+b}{2} \) всегда будет рациональным и лежать между \( a \) и \( b \).
• Счётность: Множество \( \mathbb{Q} \) счётно, то есть его элементы можно пронумеровать натуральными числами. Это впервые доказал Георг Кантор в 1874 году. Несмотря на кажущуюся «густоту», рациональных чисел столько же, сколько натуральных.

Порядковые свойства

• Линейно упорядоченное поле: Рациональные числа можно сравнивать по величине. Для любых двух чисел \( a \) и \( b \) выполняется ровно одно из трёх: \( a < b \), \( a = b \) или \( a > b \).
• Архимедово свойство: Для любого рационального числа \( a \) существует натуральное число \( n \) такое, что \( n > a \). Это свойство является следствием того, что \( \mathbb{Q} \) — архимедово поле.

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

• Неполнота: В отличие от действительных чисел, \( \mathbb{Q} \) не является полным. Это означает, что не всякая фундаментальная последовательность рациональных чисел сходится к рациональному числу. Например, последовательность десятичных приближений числа \( \sqrt{2} \) (1,4; 1,41; 1,414; ...) состоит из рациональных чисел, но её предел (\( \sqrt{2} \)) иррационален. Пополнение \( \mathbb{Q} \) по метрике, заданной модулем разности, даёт множество действительных чисел \( \mathbb{R} \).

Представление рациональных чисел

Рациональные числа могут быть представлены в нескольких эквивалентных формах.

Обыкновенная дробь

Наиболее распространённая форма — \( \frac{m}{n} \), где \( m \) — числитель, \( n \) — знаменатель. Дробь называется правильной, если \( |m| < |n| \), и неправильной, если \( |m| \geq |n| \). Неправильную дробь можно преобразовать в смешанное число (например, \( \frac{7}{3} = 2\frac{1}{3} \)).

Десятичная дробь

Любое рациональное число может быть записано в виде десятичной дроби. При этом возможны два случая:

• Конечная десятичная дробь: возникает, если знаменатель несократимой дроби содержит только простые множители 2 и 5. Например, \( \frac{3}{8} = 0,375 \).
• Бесконечная периодическая десятичная дробь: если знаменатель содержит простые множители, отличные от 2 и 5. Например, \( \frac{1}{3} = 0,(3) \), \( \frac{1}{7} = 0,(142857) \). Периодом называется повторяющаяся группа цифр. Обратно, любая периодическая десятичная дробь представляет собой рациональное число.

Цепная дробь

Рациональное число может быть представлено в виде конечной цепной дроби. Например, \( \frac{17}{12} = 1 + \frac{1}{2 + \frac{1}{1 + \frac{1}{5}}} \). Это представление единственно для каждого рационального числа.

Арифметические операции

Сложение, вычитание, умножение и деление рациональных чисел выполняются по следующим правилам:

• Сложение и вычитание: \( \frac{a}{b} \pm \frac{c}{d} = \frac{ad \pm bc}{bd} \). Для упрощения результата обычно находят наименьший общий знаменатель.
• Умножение: \( \frac{a}{b} \cdot \frac{c}{d} = \frac{ac}{bd} \).
• Деление: \( \frac{a}{b} : \frac{c}{d} = \frac{a}{b} \cdot \frac{d}{c} = \frac{ad}{bc} \), при условии \( c \neq 0 \).

Все эти операции замкнуты на множестве \( \mathbb{Q} \): результат всегда является рациональным числом (за исключением деления на ноль, которое не определено).

Применение

Рациональные числа широко используются в повседневной жизни, науке и технике.

• Измерения: Любые физические величины, измеряемые с конечной точностью (длина, масса, время), обычно выражаются рациональными числами. Например, 1,5 метра или \( \frac{3}{4} \) часа.
• Финансы: Денежные расчёты, проценты, доли акций оперируют рациональными числами. Курсы валют, ставки налогов — всё это дроби.
• Инженерия и строительство: Чертежи, пропорции, передаточные числа механизмов (например, зубчатых колёс) задаются рациональными числами.
• Информатика: В компьютерной арифметике для точного представления дробных чисел часто используется формат с фиксированной точкой, который по сути является рациональным числом со знаменателем, равным степени двойки. В отличие от чисел с плавающей точкой, такие вычисления не дают ошибок округления для определённых операций.
• Теория вероятностей и статистика: Вероятности событий, доли, частоты выражаются рациональными числами.

Связь с другими числовыми множествами

Рациональные числа занимают промежуточное положение между целыми и действительными числами:

• Натуральные числа \( \mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C} \).
• Целые числа \( \mathbb{Z} \) — это подмножество \( \mathbb{Q} \), состоящее из чисел вида \( \frac{z}{1} \).
• Действительные числа \( \mathbb{R} \) включают как рациональные, так и иррациональные числа (например, \( \pi \), \( e \), \( \sqrt{2} \)). Иррациональные числа не могут быть представлены в виде отношения целых чисел.
• Комплексные числа \( \mathbb{C} \) включают \( \mathbb{R} \) и, следовательно, \( \mathbb{Q} \).

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

• Множество рациональных чисел всюду плотно на числовой прямой, но при этом имеет меру Лебега, равную нулю. Это означает, что если случайным образом выбрать точку на отрезке, вероятность того, что она окажется рациональной, равна нулю.
• Существует алгоритм (алгоритм Евклида) для нахождения наибольшего общего делителя числителя и знаменателя, что позволяет приводить дробь к несократимому виду.
• В древности дроби записывали без черты: в Древнем Египте — иероглифами, в Древней Греции — буквами с чертой сверху.
• В некоторых языках (например, в русском) термин «рациональное число» происходит от латинского ratio — «отношение», «разум», что подчёркивает его связь с пропорцией.

Источники

• Виленкин Н. Я. и др. Математика. 6 класс. — М.: Мнемозина, 2013.
• Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
• Кудрявцев Л. Д. Математический анализ. Том 1. — М.: Высшая школа, 2003.
• Энциклопедия элементарной математики. Книга 1. Арифметика / Под ред. П. С. Александрова, А. И. Маркушевича, А. Я. Хинчина. — М.: ГИТТЛ, 1951.
• История математики с древнейших времен до начала XIX столетия / Под ред. А. П. Юшкевича. — М.: Наука, 1970.