Делимое

Деле́ние (операция деления) — это одно из четырёх простейших арифметических действий, обратное умножению.

Подобно тому, как умножение заменяет неоднократно повторенное сложение, деление заменяет неоднократно повторенное вычитание.

Рассмотрим, например, такой вопрос:

сколько раз 3 содержится в 14?

Повторяя операцию вычитания 3 из 14, мы находим, что 3 «входит» в 14 четыре раза, и еще «остаётся» число 2

В этом случае число 14 называется делимым, число 3 — делителем, число 4 — (неполным) частным и число 2 — остатком (от деления).

Результат деления также называют отношением.

Деление столбиком

Деление натуральных чисел

Деление не замкнуто в кольце целых чисел. Простым языком это означает то, что деление одного целого числа на другое может не быть целым. В случае, если всё-таки результат является целым числом, говорят о делении без остатка.

Деление чисел издавна считалось самой трудной из арифметических операций. Было время, когда «секрет» деления знало не очень много посвящённых людей, и буквально передавало из поколения в поколение. Происходило это потому, что существовавшие алгоритмы деления были очень громоздки, сложны для исполнения и запоминания (например, деление в виде корабля). Появление деления столбиком радикально изменило эту ситуацию — теперь деление входит в раннюю школьную программу по математике наряду с остальными арифметическими действиями. Однако так же, как и в случае с умножением, в последнее время открыты более эффективные алгоритмы (см. en:Division (digital), применяющиеся в вычислительной технике.

Существуют правила, позволяющие быстро определить, делится ли число на заданный делитель без остатка (признаки делимости). Наиболее известные признаки делимости на 2, 3, 4, 5, 8, 9, 11, 25 и их производные, также существует признаки делимости на 7, 13, 1001 и другие числа.

Целое число, на которое одновременно делятся без остатка несколько чисел, называется их общим делителем.

Определение количества делителей натурального числа приводит к двум важным понятиям: составное и простое число. У простого числа есть только два делителя — 1 и само число.

В случае, если одно натуральное число не делится на другое без остатка, можно говорить о делении с остатком. Рассмотрение остатков, их сравнение и формализация в виде вычетов привели к целой науке — теории чисел.

Обычно на остаток накладываются следующие ограничения (чтобы он был корректно, т.е. однозначно, определён):

$a = p\cdot q + r$. $0\leqslant r<q$.

Где a - делимое, p - делитель, q - частное и r - остаток.

Деление целых чисел

Деление произвольных целых чисел не существенно отличается от деления натуральных чисел — достаточно поделить их модули и учесть правило знаков.

Однако деление целых чисел с остатком определяется по-разному. В одном случае, (так же как и без остатка) рассматривают сначала модули и в результате остаток приобретает тот же знак, что делитель или делимое (например, − 7 / ( − 3) = 2 с остатком (-1)); в другом случае понятие остатка напрямую обобщается и ограничения заимствуются из натуральных чисел:

$-7 \equiv 2 \pmod 3$.

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

Замыкание множества целых чисел по операции деления приводит к расширению его до множества рациональных чисел. Это приводит к тому, что результатом деления одного целого числа на другое всегда является рациональное число. Более того, полученные числа (рациональные) уже полностью поддерживают операцию деления (замкнуты относительно неё).

Правило деления обыкновенных дробей: $\frac{a}{b}:\frac{c}{d} = \frac{a\cdot d}{b\cdot c} = \frac{ad}{bc}$

Деление вещественных чисел

Деление также замкнуто в поле ненулевых вещественных чисел. Сечение Дедекинда позволяет однозначно определить результат деления.

Деление комплексных чисел

Комплексные числа опять замкнуты относительно операции деления.

• В алгебраическое форме результат можно получить путём домножения на сопряжённое число:

$\frac{a+bi}{c+di}=\frac{(a+bi)(c-di)}{(c+di)(c-di)}=\frac{(ac+bd)+(bc-ad)i}{c^2+d^2}=\frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}i$. Результат определён для всех $c+di\neq 0=0+0i$

• В экспоненциальной форме легче всего получить результат:

$\frac{r_1 e^{i\phi_1}}{r_2 e^{i\phi_2}} = \frac{r_1}{r_2} e^{i (\phi_1-\phi_2)}$. Видно, что при этом модули делятся, а аргументы вычитаются.

• Аналогично в тригонометрической форме:

$\frac{r_1 (\cos\phi_1 +i \sin\phi_1)}{r_2 (\cos\phi_2 +i \sin\phi_2)} = \frac{r_1}{r_2} (\cos(\phi_1-\phi_2) +i \sin(\phi_1-\phi_2))$.

Деление в алгебре

В отличие от простейших арифметических случаев на произвольных множествах и структурах деление может быть не только не определено, но и обладать множественностью результата.

Обычно в алгебре деление вводится через понятие единичного и обратного элементов. Если единичный элемент вводится однозначным образом (обычно аксиоматически или по определению), то обратный элемент часто может быть как левым (x ^{− 1} * x = e), так и правым (x * x ^{− 1} = e). Эти два обратных элемента могут по отдельности существовать или не существовать, равняться или не равняться друг другу.

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

$B^{-1}\cdot A \neq A\cdot B^{-1}$.

Отношение тензоров в общем случае не определено.

Деление многочленов

В общих чертах оно повторяет идеи деления натуральных чисел, ибо натуральное число есть ничто иное как значения многочлена, у которого коэффициенты - цифры, а вместо переменной стоит основание системы счисления:

$5334_8 = 5\cdot 8^3 + 3\cdot 8^2 + 3\cdot 8^1 + 4\cdot 8^0 = \left.(5x^3+3x^2+3x+4)\right|_{x=8}$.

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

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

Деление на ноль

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

Смотри также

• Признаки делимости
• Наибольший общий делитель
• Наименьшее общее кратное
• Деление многочленов столбиком (англ.)
• Деление столбиком
• Остаток от деления
• Деление с остатком