Виды дробей

Дробь — одно из фундаментальных понятий математики, возникшее из практической потребности выражать части целого. История дробей насчитывает более четырёх тысячелетий: уже в папирусе Ринда (около 1650 г. до н. э.) египтяне оперировали аликвотными долями единицы. В Древней Греции Евдокс Книдский заложил теорию отношений, ставшую предтечей понятия рациональных чисел. Сегодня теория дробей образует важнейший раздел арифметики и алгебры, пронизывая все области науки и техники — от квантовой механики до финансовой математики.

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

Дроби
Обыкновенные
Десятичные
Алгебраические
Цепные
Правильные|a| < |b|
Неправильные|a| ≥ |b|
Смешанныеn·(a/b)
Единичные1/n
Конечные2ᵐ·5ⁿ
Периодические0,(d₁…dₖ)
Непериодич.∈ ℝ∖ℚ
Правильныеdeg P < deg Q
Неправильныеdeg P ≥ deg Q
Конечные∈ ℚ
Бесконечные∈ ℝ

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|$

Абсолютная величина дроби больше единицы или равна ей. Числитель по модулю не меньше знаменателя.

$\dfrac{7}{3}$ $\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}$$

При сложении и вычитании дробей предварительно приводят к общему знаменателю; при умножении и делении этого не требуется.

2.6 Сравнение дробей

Для дробей с одинаковыми знаменателями сравнивают числители. В общем случае:

$$\dfrac{a}{b} < \dfrac{c}{d} \iff ad < bc \quad (b,d > 0).$$

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.$$

Перевод смешанного числа в неправильную дробь:

$$n\dfrac{a}{b} = \dfrac{n \cdot b + a}{b}.$$

Смешанные числа широко используются в прикладных расчётах и повседневной жизни, однако в алгебраических преобразованиях их, как правило, предварительно переводят в неправильные дроби — это позволяет избежать ошибок при умножении и делении.

4. Десятичные дроби

4.1 Определение и позиционная запись

Десятичной дробью называют обыкновенную дробь, знаменатель которой есть степень числа 10. Она записывается с использованием десятичного разделителя (запятой в российской традиции):

$$\dfrac{a}{10^n} \;\longleftrightarrow\; 0{,}\underbrace{00\ldots0}_{n-k\text{ нулей}}d_1 d_2 \ldots d_k.$$

Каждый разряд после запятой соответствует отрицательной степени десяти:

$$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$$

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}}.$$

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$. Это делает цепные дроби оптимальным инструментом рациональной аппроксимации.

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. Сводная характеристика видов дробей

½
Правильная обыкновенная
Форма записи a/b, |a| < |b|
Числовое мн-во ℚ ∩ (−1, 1)
Свойство Значение строго между −1 и 1
⁵⁄₃
Неправильная обыкновенная
Форма записи a/b, |a| ≥ |b|
Числовое мн-во
Свойство |Значение| ≥ 1
Смешанное число
Форма записи n(a/b)
Числовое мн-во
Свойство Сумма целой и правильной дроби
0.5
Конечная десятичная
Форма записи 0,d₁…dₖ
Числовое мн-во
Свойство Знаменатель вида 2ᵐ·5ⁿ
0.(3)
Периодическая десятичная
Форма записи a,b(c₁…cₖ)
Числовое мн-во
Свойство Повторяющийся период; рациональна
π
Непериодическая десятичная
Форма записи 0,d₁d₂d₃…
Числовое мн-во ℝ ∖ ℚ
Свойство Иррациональна; периода нет
P/Q
Алгебраическая дробь
Форма записи P(x) / Q(x)
Числовое мн-во ℝ(x)
Свойство Числитель и знаменатель — многочлены
[a;b]
Цепная конечная
Форма записи [a₀; a₁,…, aₙ]
Числовое мн-во
Свойство Оптимальная рациональная аппроксимация
[a;…]
Цепная бесконечная
Форма записи [a₀; a₁, a₂,…]
Числовое мн-во
Свойство Периодическая ↔ квадратичная иррациональность
1/n
Египетская (единичная)
Форма записи 1/n, n ∈ ℕ
Числовое мн-во ℚ⁺
Свойство Числитель равен 1; основа записи в Др. Египте

Заключение

Дроби представляют собой один из наиболее богатых по структуре разделов математики. Обыкновенные дроби, будучи простейшим и интуитивно понятным объектом, образуют поле рациональных чисел — фундаментальную алгебраическую структуру. Десятичные дроби обеспечивают связь с позиционными системами счисления и задают метрическую топологию на вещественной прямой. Алгебраические дроби открывают путь к анализу рациональных функций и интегральным преобразованиям. Цепные дроби являются мощным инструментом теории чисел, раскрывая глубинную арифметическую природу вещественных чисел через разложение по алгоритму Евклида.

Единство, связывающее все эти виды, — идея отношения: отношения части к целому, числителя к знаменателю, приближения к точному значению. Именно это делает дроби не просто вычислительным инструментом, но и воплощением одной из центральных математических идей — идеи соизмеримости и предела.