Дробь — одно из фундаментальных понятий математики, возникшее из практической потребности выражать части целого. История дробей насчитывает более четырёх тысячелетий: уже в папирусе Ринда (около 1650 г. до н. э.) египтяне оперировали аликвотными долями единицы. В Древней Греции Евдокс Книдский заложил теорию отношений, ставшую предтечей понятия рациональных чисел. Сегодня теория дробей образует важнейший раздел арифметики и алгебры, пронизывая все области науки и техники — от квантовой механики до финансовой математики.
В настоящей статье даётся систематическое изложение классификации дробей, их свойств, операций над ними и взаимосвязей между различными видами. Последовательно рассматриваются обыкновенные, смешанные, десятичные (конечные, периодические и непериодические), алгебраические и цепные (непрерывные) дроби, а также история происхождения самого термина.
1. Классификация дробей
Общая схема видов дробей и подвидов внутри каждого из них:
2. Обыкновенные дроби
2.1 Определение и запись
Обыкновенной дробью называют выражение вида
$$\dfrac{a}{b},$$
где $a \in \mathbb{Z}$ — числитель, $b \in \mathbb{Z} \setminus \{0\}$ — знаменатель. Дробная черта обозначает операцию деления. Числитель показывает, сколько равных частей взято, знаменатель — на сколько равных частей разделено целое.
2.2 Правильные и неправильные дроби
Правильная дробь — абсолютная величина дроби меньше единицы, числитель по модулю строго меньше знаменателя: $|a| < |b|$. Примеры: $\dfrac{3}{7}$, $\dfrac{1}{2}$, $\dfrac{11}{13}$.
Неправильная дробь — абсолютная величина дроби больше единицы или равна ей: $|a| \geq |b|$. Например, $\tfrac{7}{4} = 1\tfrac{3}{4}$ — целое плюс ещё три четверти. Другие примеры: $\dfrac{9}{4}$, $\dfrac{5}{5}$.
2.3 Основное свойство дроби
Основное свойство дроби утверждает, что числитель и знаменатель можно одновременно умножить или разделить на одно и то же ненулевое число, не изменив значения дроби:
$$\dfrac{a}{b} = \dfrac{a \cdot k}{b \cdot k}, \quad k \in \mathbb{Z},\; k \neq 0.$$
Это свойство лежит в основе двух ключевых операций:
- Сокращение дроби — деление числителя и знаменателя на их наибольший общий делитель (НОД). Дробь, числитель и знаменатель которой взаимно просты ($\gcd(a,b)=1$), называют несократимой.
- Приведение к общему знаменателю — умножение числителя и знаменателя на такой множитель, чтобы знаменатель стал равен наименьшему общему кратному (НОК) нескольких знаменателей.
2.4 Числовая прямая и знак дроби
Дробь называют положительной, если $a$ и $b$ имеют одинаковые знаки, и отрицательной — если разные. Принято знак дроби выносить перед дробной чертой:
$$-\dfrac{a}{b} = \dfrac{-a}{b} = \dfrac{a}{-b}.$$
2.5 Арифметические операции над обыкновенными дробями
| Операция | Формула |
|---|---|
| Сложение | $$\dfrac{a}{b} + \dfrac{c}{d} = \dfrac{ad + bc}{bd}$$ |
| Вычитание | $$\dfrac{a}{b} - \dfrac{c}{d} = \dfrac{ad - bc}{bd}$$ |
| Умножение | $$\dfrac{a}{b} \cdot \dfrac{c}{d} = \dfrac{ac}{bd}$$ |
| Деление | $$\dfrac{a}{b} \div \dfrac{c}{d} = \dfrac{a}{b} \cdot \dfrac{d}{c} = \dfrac{ad}{bc}$$ |
| Возведение в степень | $$\left(\dfrac{a}{b}\right)^{n} = \dfrac{a^{n}}{b^{n}}$$ |
| Извлечение корня | $$\sqrt[n]{\dfrac{a}{b}} = \dfrac{\sqrt[n]{a}}{\sqrt[n]{b}}, \quad \dfrac{a}{b} \geq 0$$ |
При сложении и вычитании дробей предварительно приводят к общему знаменателю; при умножении и делении этого не требуется. При возведении в степень возводятся отдельно числитель и знаменатель — например, $\left(\tfrac{2}{3}\right)^3 = \tfrac{8}{27}$, а $\sqrt{\tfrac{4}{9}} = \tfrac{2}{3}$.
2.6 Сравнение дробей
Для дробей с одинаковыми знаменателями сравнивают числители. В общем случае:
$$\dfrac{a}{b} < \dfrac{c}{d} \iff ad < bc \quad (b,d > 0).$$
2.7 Составные (многоэтажные) дроби
Составной (или многоэтажной) называют дробь, в числителе, знаменателе или сразу в обеих частях которой стоит другая дробь:
$$\dfrac{\;\dfrac{a}{b}\;}{\;\dfrac{c}{d}\;}$$
Составная дробь упрощается сведением к обычному делению: деление на дробь заменяется умножением на обратную ей дробь.
$$\dfrac{\dfrac{a}{b}}{\dfrac{c}{d}} = \dfrac{a}{b} \div \dfrac{c}{d} = \dfrac{a}{b} \cdot \dfrac{d}{c} = \dfrac{ad}{bc}.$$
- $$\dfrac{\dfrac{3}{5}}{\dfrac{2}{7}} = \dfrac{3}{5}\cdot\dfrac{7}{2} = \dfrac{21}{10}$$
- $$\dfrac{4}{\dfrac{1}{2}} = 4 \cdot 2 = 8$$
Составные дроби часто встречаются в физических формулах (например, при вычислении сопротивления параллельно соединённых резисторов).
3. Смешанные числа (смешанные дроби)
Смешанным числом называют запись, объединяющую целую часть и правильную обыкновенную дробь:
$$n\dfrac{a}{b} \;\equiv\; n + \dfrac{a}{b}, \qquad n \in \mathbb{N},\quad 0 \leq a < b.$$
Любую неправильную дробь представляют в виде смешанного числа через деление с остатком:
$$\dfrac{A}{b} = q + \dfrac{r}{b}, \quad \text{где } A = q \cdot b + r,\quad 0 \leq r < b.$$
Например: $2\tfrac{3}{4}$ — это 2 целых плюс 3/4 части, то есть $\tfrac{11}{4}$.
Перевод смешанного числа в неправильную дробь:
$$n\dfrac{a}{b} = \dfrac{n \cdot b + a}{b}.$$
Смешанные числа широко используются в прикладных расчётах и повседневной жизни, однако в алгебраических преобразованиях их, как правило, предварительно переводят в неправильные дроби — это позволяет избежать ошибок при умножении и делении.
4. Десятичные дроби
4.1 Определение и позиционная запись
Десятичной дробью называют обыкновенную дробь, знаменатель которой есть степень числа 10. Она записывается с использованием десятичного разделителя (запятой в российской традиции). Каждый разряд после запятой соответствует отрицательной степени десяти:
$$x = d_0{,}d_{-1}d_{-2}d_{-3}\ldots = d_0 + \dfrac{d_{-1}}{10} + \dfrac{d_{-2}}{10^2} + \dfrac{d_{-3}}{10^3} + \cdots$$
| Цифра | Разряд | Степень 10 |
|---|---|---|
| 3 | Единицы | 10⁰ |
| 1 | Десятые | 10⁻¹ |
| 4 | Сотые | 10⁻² |
| 1 | Тысячные | 10⁻³ |
| 5 | Десятитысячные | 10⁻⁴ |
| 9 | Стотысячные | 10⁻⁵ |
4.2 Конечные десятичные дроби
Десятичная дробь называется конечной, если она содержит конечное число цифр после запятой. Критерий конечности: несократимая обыкновенная дробь $\tfrac{p}{q}$ представима конечной десятичной дробью тогда и только тогда, когда знаменатель $q$ имеет вид $2^m \cdot 5^n$, $m,n \geq 0$.
$$\dfrac{p}{2^m \cdot 5^n} = \dfrac{p \cdot 2^{n} \cdot 5^{m}}{10^{m+n}} \quad \Longrightarrow \quad \text{конечная десятичная дробь}.$$
- $\dfrac{1}{4} = \dfrac{25}{100} = 0{,}25$
- $\dfrac{3}{8} = \dfrac{375}{1000} = 0{,}375$
- $\dfrac{7}{20} = \dfrac{35}{100} = 0{,}35$
4.3 Бесконечные периодические десятичные дроби
Десятичная дробь называется периодической, если с некоторого места начинается бесконечно повторяющаяся группа цифр — период. Период обозначают скобками:
$$0{,}333\ldots = 0{,}(3), \qquad 0{,}142857142857\ldots = 0{,}(142857).$$
Любая рациональная дробь $\tfrac{p}{q}$, чей знаменатель $q$ содержит простые множители, отличные от 2 и 5, порождает периодическую десятичную дробь. Длина периода не превышает $q - 1$ (следствие теоремы Эйлера: длина периода делит $\varphi(q)$; для простых $q$ это частный случай теоремы Ферма о малом).
Перевод периодической дроби в обыкновенную. Пусть $x = a{,}(b_1 b_2 \ldots b_k)$. Умножим $x$ на $10^k$:
$$10^k \cdot x - x = A \in \mathbb{Z} \quad \Longrightarrow \quad x = \dfrac{A}{10^k - 1}.$$
Для дроби с предпериодом длины $m$ и периодом длины $k$ формула принимает вид:
$$x = \dfrac{(\text{предпериод}+\text{период}) - \text{предпериод}}{\underbrace{99\ldots9}_{k}\underbrace{00\ldots0}_{m}}.$$
Например: $\dfrac{1}{7} = 0{,}(142857)$ — период из шести цифр.
4.4 Бесконечные непериодические десятичные дроби
Бесконечная десятичная дробь, не имеющая периода, соответствует иррациональному числу. Такие числа не могут быть выражены в виде дроби $\tfrac{p}{q}$ с целыми $p,q$, $q \neq 0$. Классические примеры:
| Число | Значение | Смысл |
|---|---|---|
| π | 3,14159265358979… | отношение длины окружности к диаметру |
| √2 | 1,41421356237310… | диагональ единичного квадрата |
| e | 2,71828182845904… | основание натурального логарифма |
| φ | 1,61803398874989… | золотое сечение |
5. Алгебраические дроби
5.1 Определение
Алгебраической дробью называют выражение вида $\tfrac{P(x)}{Q(x)}$, где $P(x)$ и $Q(x)$ — многочлены над некоторым полем (обычно $\mathbb{R}$ или $\mathbb{C}$), причём $Q(x) \not\equiv 0$. Область определения дроби — множество значений переменной, при которых $Q(x) \neq 0$.
$$\dfrac{P(x)}{Q(x)} = \dfrac{a_n x^n + a_{n-1}x^{n-1} + \cdots + a_0}{b_m x^m + b_{m-1}x^{m-1} + \cdots + b_0}.$$
5.2 Правильные и неправильные алгебраические дроби
По аналогии с обыкновенными дробями алгебраическую дробь называют правильной, если степень числителя строго меньше степени знаменателя ($\deg P < \deg Q$), и неправильной — в противном случае. Неправильную дробь можно представить в виде суммы многочлена и правильной дроби путём деления «уголком»:
$$\dfrac{P(x)}{Q(x)} = S(x) + \dfrac{R(x)}{Q(x)}, \quad \deg R < \deg Q.$$
5.3 Разложение на простейшие дроби
Любую правильную алгебраическую дробь над $\mathbb{R}$ можно единственным образом разложить в сумму простейших дробей (метод частичных дробей). Вид слагаемых определяется разложением знаменателя на неприводимые множители:
$$\dfrac{A}{(x - a)^k}, \qquad \dfrac{Bx + C}{(x^2 + px + q)^k}, \quad p^2 - 4q < 0.$$
Разложение на простейшие дроби широко применяется при вычислении интегралов от рациональных функций, при решении дифференциальных уравнений методом преобразования Лапласа, а также в теории сигналов.
$$\dfrac{x^2 + 1}{(x-1)(x+2)^2} = \dfrac{A}{x-1} + \dfrac{B}{x+2} + \dfrac{C}{(x+2)^2}$$
5.4 Тождественные преобразования алгебраических дробей
Над алгебраическими дробями определены те же операции, что и над обыкновенными. Сокращение производится делением на НОД многочленов, вычисляемый алгоритмом Евклида для многочленов:
$$\dfrac{x^2 - 1}{x^2 - x} = \dfrac{(x-1)(x+1)}{x(x-1)} = \dfrac{x+1}{x}, \quad x \neq 0,\; x \neq 1.$$
6. Цепные (непрерывные) дроби
6.1 Определение
Цепной (непрерывной) дробью называют выражение вида:
$$a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cdots}}}$$
где $a_0 \in \mathbb{Z}$, а $a_1, a_2, a_3, \ldots$ — натуральные числа, называемые неполными частными цепной дроби. Используется компактная запись: $[a_0;\, a_1, a_2, a_3, \ldots]$.
6.2 Конечные и бесконечные цепные дроби
Конечная цепная дробь — число неполных частных конечно. Представляет любое рациональное число. Алгоритм разложения совпадает с алгоритмом Евклида. Пример: $$\dfrac{7}{5} = 1 + \cfrac{1}{2 + \cfrac{1}{2}} = [1;\,2,2]$$
Бесконечная цепная дробь — периодические цепные дроби соответствуют квадратичным иррациональностям. Непериодические — всем остальным иррациональным числам. Пример: $$\sqrt{2} = [1;\,\overline{2}] = 1 + \cfrac{1}{2 + \cfrac{1}{2 + \cdots}}$$
6.3 Подходящие дроби (конвергенты)
Конечные обрывки цепной дроби $\tfrac{p_n}{q_n} = [a_0; a_1, \ldots, a_n]$ называют подходящими дробями. Они вычисляются по рекуррентным формулам:
$$p_n = a_n p_{n-1} + p_{n-2}, \qquad q_n = a_n q_{n-1} + q_{n-2},$$ $$p_{-1} = 1,\; p_{-2} = 0; \qquad q_{-1} = 0,\; q_{-2} = 1.$$
Подходящие дроби чередуются по обе стороны от предела:
$$\dfrac{p_0}{q_0} < \dfrac{p_2}{q_2} < \cdots < \alpha < \cdots < \dfrac{p_3}{q_3} < \dfrac{p_1}{q_1}.$$
По теореме Лагранжа–Лежандра: если $\bigl|\alpha - \tfrac{p}{q}\bigr| < \tfrac{1}{2q^2}$, то $\tfrac{p}{q}$ является подходящей дробью для $\alpha$. Это делает цепные дроби оптимальным инструментом рациональной аппроксимации.
| k | Дробь | Значение |
|---|---|---|
| 0 | 1/1 | 1,000000 |
| 1 | 3/2 | 1,500000 |
| 2 | 5/3 | 1,666667 |
| 3 | 8/5 | 1,600000 |
| 4 | 13/8 | 1,625000 |
| 5 | 21/13 | 1,615385 |
| 6 | 34/21 | 1,619048 |
Подходящие дроби чередуются по обе стороны от φ и монотонно сходятся к нему. Числители и знаменатели — соседние числа Фибоначчи.
6.4 Применения цепных дробей
- Теория чисел: доказательство теоремы Ферма о представлении простых чисел суммой двух квадратов, решение уравнения Пелля $x^2 - Dy^2 = 1$.
- Криптография: атака Винера на RSA использует цепные дроби для нахождения секретного показателя из открытого ключа.
- Численный анализ: цепные дроби дают рациональные аппроксимации функций (Паде-приближения).
- Небесная механика: анализ резонансов орбитальных периодов планет (соотношение периодов Юпитера и Сатурна близко к $\tfrac{2}{5}$).
7. Египетские (единичные) дроби
Единичной (египетской) дробью называют дробь с числителем 1: $\tfrac{1}{n}$, $n \in \mathbb{N}$. Древние египтяне записывали любую дробь как сумму различных единичных дробей — так называемое разложение в египетскую дробь. Гипотеза Эрдёша–Штрауса (1948) утверждает, что для любого натурального $n \geq 2$ дробь $\tfrac{4}{n}$ представима суммой трёх единичных дробей. Гипотеза не доказана в общем случае, однако верифицирована для всех $n \leq 10^{14}$:
$$\dfrac{p}{q} = \dfrac{1}{n_1} + \dfrac{1}{n_2} + \cdots + \dfrac{1}{n_k}, \quad n_1 < n_2 < \cdots < n_k.$$
Алгоритм Фибоначчи–Силвестра (жадный алгоритм): на каждом шаге выбирают наименьшую единичную дробь, не превышающую остаток, и вычитают её:
$$\dfrac{p}{q} - \dfrac{1}{\lceil q/p \rceil} = \dfrac{p\lceil q/p\rceil - q}{q\lceil q/p\rceil}.$$
- $\dfrac{3}{7} = \dfrac{1}{3} + \dfrac{1}{11} + \dfrac{1}{231}$
- $\dfrac{5}{6} = \dfrac{1}{2} + \dfrac{1}{3}$
- $\dfrac{4}{13} = \dfrac{1}{4} + \dfrac{1}{18} + \dfrac{1}{468}$
8. Дроби в расширенных числовых системах
8.1 Рациональные числа как классы эквивалентности
Множество рациональных чисел $\mathbb{Q}$ формально строится как множество классов эквивалентности пар $(a, b)$, $a \in \mathbb{Z}$, $b \in \mathbb{Z} \setminus \{0\}$, с отношением эквивалентности $(a,b) \sim (c,d) \iff ad = bc$. Это превращает понятие дроби в строгий алгебраический объект — элемент поля частных кольца $\mathbb{Z}$.
8.2 Поле частных произвольной целостной области
Конструкция поля частных обобщается на произвольную целостную область (коммутативное кольцо без делителей нуля). Для любой такой области $D$ строится поле частных $\mathrm{Frac}(D)$:
$$\mathrm{Frac}(\mathbb{Z}) = \mathbb{Q}, \qquad \mathrm{Frac}(\mathbb{R}[x]) = \mathbb{R}(x).$$
Поле рациональных функций $\mathbb{R}(x) = \mathrm{Frac}(\mathbb{R}[x])$ — это в точности алгебраические дроби, описанные в разделе 5.
8.3 Передаточные функции — дроби в теории управления
В теории управления и квантовой механике рассматриваются выражения, числитель или знаменатель которых является оператором или матрицей. Передаточная функция линейной системы:
$$H(s) = \dfrac{Y(s)}{U(s)} = \dfrac{b_m s^m + \cdots + b_0}{a_n s^n + \cdots + a_0}$$
— алгебраическая дробь от комплексного аргумента $s$ (переменная Лапласа), используемая в анализе устойчивости, синтезе регуляторов и частотном анализе систем.
9. История и этимология термина
Русское слово «дробь» происходит от глагола «дробить» — делить на части, разбивать целое. В старорусских математических текстах дроби нередко называли «ломаными числами». Международный термин fraction восходит к латинскому fractio — «разлом», «перелом», от глагола frangere — «ломать»; тот же корень виден в словах «фрагмент» и «фрактура».
- ~1650 г. до н.э. Папирус Ринда фиксирует египетскую традицию записи дробей как суммы различных единичных долей $\tfrac{1}{n}$ (см. раздел 7).
- ~2000–1600 гг. до н.э. В Вавилоне складывается шестидесятеричная (позиционная по основанию 60) система записи дробных величин — предок современных делений часа на минуты и секунды.
- IV в. до н.э. Евдокс Книдский разрабатывает теорию отношений величин, которая легла в основу строгого определения дроби как отношения двух чисел.
- Средние века. Арабские математики систематизируют работу с дробями; горизонтальная дробная черта в её современном виде постепенно закрепляется как стандартная запись в арабоязычных трактатах.
- 1202 г. Леонардо Пизанский (Фибоначчи) в трактате «Liber Abaci» знакомит европейских читателей с позиционной арабской нотацией и дробной чертой.
- XVI в. Симон Стевин публикует систематическое изложение десятичных дробей («De Thiende», 1585), заложив основу их повсеместного использования в вычислениях.
Детали хронологии закрепления отдельных обозначений историки математики трактуют не всегда однозначно — приведённые даты отражают наиболее устоявшуюся версию.
10. Преобразование между разными форматами записи
Одно и то же рациональное число можно записать несколькими способами. Ниже сведены основные переходы между форматами, рассмотренными в статье.
| Из | В | Способ |
|---|---|---|
| Обыкновенная дробь | Десятичная дробь | a ÷ b (делением столбиком) |
| Конечная десятичная | Обыкновенная дробь | 0,d₁…dₖ = d₁…dₖ / 10ᵏ, затем сократить |
| Периодическая десятичная | Обыкновенная дробь | x = A / (10ᵏ − 1), см. §4.3 |
| Неправильная дробь | Смешанное число | деление с остатком: A/b = q + r/b |
| Смешанное число | Неправильная дробь | n(a/b) = (n·b + a) / b |
| Обыкновенная дробь | Цепная дробь | алгоритм Евклида, см. §6.1 |
| Составная дробь | Обыкновенная дробь | деление заменяется умножением на обратную, см. §2.7 |
11. Сводная характеристика видов дробей
| Вид | Форма записи | Числовое множество | Свойство |
|---|---|---|---|
| Правильная обыкновенная | a/b, |a| < |b| | ℚ ∩ (−1, 1) | Значение строго между −1 и 1 |
| Неправильная обыкновенная | a/b, |a| ≥ |b| | ℚ | |Значение| ≥ 1 |
| Смешанное число | n(a/b) | ℚ | Сумма целой и правильной дроби |
| Конечная десятичная | 0,d₁…dₖ | ℚ | Знаменатель вида 2ᵐ·5ⁿ |
| Периодическая десятичная | a,b(c₁…cₖ) | ℚ | Повторяющийся период; рациональна |
| Непериодическая десятичная | 0,d₁d₂d₃… | ℝ ∖ ℚ | Иррациональна; периода нет |
| Алгебраическая дробь | P(x) / Q(x) | ℝ(x) | Числитель и знаменатель — многочлены |
| Цепная конечная | [a₀; a₁,…, aₙ] | ℚ | Оптимальная рациональная аппроксимация |
| Цепная бесконечная | [a₀; a₁, a₂,…] | ℝ | Периодическая ↔ квадратичная иррациональность |
| Египетская (единичная) | 1/n, n ∈ ℕ | ℚ⁺ | Числитель равен 1; основа записи в Др. Египте |
| Составная (многоэтажная) | (a/b) / (c/d) | ℚ | Числитель и/или знаменатель — сами дроби |
Заключение
Дроби представляют собой один из наиболее богатых по структуре разделов математики. Обыкновенные дроби, будучи простейшим и интуитивно понятным объектом, образуют поле рациональных чисел — фундаментальную алгебраическую структуру. Десятичные дроби обеспечивают связь с позиционными системами счисления и задают метрическую топологию на вещественной прямой. Алгебраические дроби открывают путь к анализу рациональных функций и интегральным преобразованиям. Цепные дроби являются мощным инструментом теории чисел, раскрывая глубинную арифметическую природу вещественных чисел через разложение по алгоритму Евклида.
Единство, связывающее все эти виды, — идея отношения: отношения части к целому, числителя к знаменателю, приближения к точному значению. Именно это делает дроби не просто вычислительным инструментом, но и воплощением одной из центральных математических идей — идеи соизмеримости и предела.