Деление (математика)

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Делимое»)
Перейти к навигации Перейти к поиску

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

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

Рассмотрим, например деление 14 на 3 (14/3):

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

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

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

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

Формы записи и терминология[править | править код]

Символы деления в математике

Деление записывается с использованием одного из «знаков деления» — «» между аргументами, такая форма записи называется инфиксной нотацией. В данном контексте знак деления является бинарным оператором. Знак деления не имеет специального названия, как например знак сложения, который называется «плюс».

  • Самый старый из используемых символов видимо — косая черта (/). Впервые его использовал английский математик Уильям Отред в своём труде «Clavis Mathematicae» 1631 г.
  • Немецкий математик Лейбниц предпочитал знак в виде двоеточия (:) Этот символ он использовал в своём труде Acta eruditorum 1684 г. До Лейбница этот знак был использован англичанином Джонсоном в 1633 году в своей книге, но как знак дроби, а не деления в узком смысле.
  • Йоханн Ран ввёл знак обелюс (÷) в качестве знака деления, она появилась в его книге «Teutsche Algebra» 1659 г. Знак Рана часто называют «английским знаком деления».

В русскоязычных учебниках математики в основном используется знак в виде двоеточия (:). Косая черта (/) используется в компьютерной нотации. Результат записывается с использованием знака равенства «», например:

 ;
(«шесть разделить на три равно два») ;
(«шестьдесят пять разделить на пять равно тринадцать») .

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

Свойства[править | править код]

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

  • Деление антикоммутативно — от перемены мест аргументов частное изменяется:
Антикоммутативность:
  • Деление антиассоциативно — при последовательном выполнении деления трёх или более чисел последовательность выполнения операций имеет значение, результат изменится:
Антиассоциативность:
  • Деление дистрибутивно справа, это — свойство согласованности двух бинарных операций, определённых на одном и том же множестве, так-же известно, как распределительный закон[1] :
Дистрибутивность:
  • Относительно деления в множестве существует единственный нейтральный элемент справа (число ), деление на единицу (или нейтральный элемент) даёт число равное исходному:
Нейтральный элемент справа:
  • Относительно деления в множестве существует единственный обратный элемент, получаемый делением единицы на число, что даёт число обратное исходному:
Обратный элемент:
  • Относительно деления в множестве существует единственный нулевой элемент слева, число делённое на любое число даёт нуль:
Нулевой элемент слева:
  • По правилам обычной арифметики деление на ноль (нулевой элемент) не определено;
Деление на ноль:
.

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

Операция деления определённая на множествах (в полях) рациональных , вещественных и комплексных чисел даёт число (частное) принадлежащее этому-же множеству, следовательно множества замкнуты относительно операции деления (в точке 0 имеется разрыв второго рода — следовательно кольца рациональных, вещественных и комплексных чисел разомкнуты относительно операции деления).

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

Деление чисел[править | править код]

Деление натуральных чисел[править | править код]


Деление столбиком
числа 1 260 257 на 37

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

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

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

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

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

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

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

, ,

где  — делимое,  — делитель,  — частное и  — остаток.

Деление целых чисел[править | править код]

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

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

.

Для устранения неоднозначности принято соглашение: остаток от деления всегда неотрицателен.

Деление рациональных чисел[править | править код]

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

Правило деления обыкновенных дробей:

Деление вещественных чисел[править | править код]

Множество вещественных чисел — непрерывное упорядоченное поле, обозначается . Множество вещественных чисел не является счётным, его мощность называется мощностью континуума. Арифметические операции над вещественными числами представимых бесконечными десятичными дробями определяются как непрерывное продолжение[2] соответствующих операций над рациональными числами.

Если даны два вещественных числа, представимые бесконечными десятичными дробями:

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

,

вещественное число , удовлетворяет следующему условию:

Таким образом частное двух вещественных чисел и является такое вещественное число которое содержится между всеми частными вида с одной стороны и всеми частными вида с другой стороны[3]. Дедекиндово сечение позволяет однозначно определить результат деления.

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

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

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

Пример деления , с точностью до 3-го знака после запятой:

  • Округляем данные числа до 4-го знака после запятой (для повышения точности вычислений);
  • Получаем: ;
  • Делим столбиком: ;
  • Округляем до 3-го знака после запятой: .

График[править | править код]

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

График функции c=a : b

Так как , то и для этих множеств область значений функции деления будет принадлежать этой поверхности.

Деление комплексных чисел[править | править код]

Комплексное число z на комплексной плоскости.

Множество комплексных чисел с арифметическими операциями является полем и обычно обозначается символом .

Алгебраической форма[править | править код]

Частным двух комплексных чисел в алгебраической форме записи, называется комплексное число, равное:

где:  — комплексные числа, ,  — мнимая единица; .

На практике частное комплексных чисел находят умножением делимого и делителя на число, комплексно-сопряженное делителю:

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

Тригонометрическая форма[править | править код]

Для того, чтобы разделить два комплексных числа в тригонометрической форме записи, нужно разделить модуль делимого на модуль делителя, а из аргумента делимого вычесть аргумент делителя:

Деление комплексных чисел на комплексной плоскости.

где: модуль и аргумент комплексного числа; .

То есть модуль частного двух комплексных чисел равен частному модулей, а аргумент — разности аргументов делимого и делителя.

Показательная (экспоненциальная) форма[править | править код]

Деление комплексного числа в показательной форме, на комплексное число сводится к повороту вектора, соответствующего числу , на угол и изменению его длины на раз. Для частного комплексных чисел в показательной форме верно равенство:

где:  — число e; .

Экспоненциальная запись[править | править код]

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

Например:

Деление физических величин[править | править код]

Единица измерения физической величины имеет определённое наименование (размерность): для длины (L) — метр (м), для времени (T) — секунда (с), для массы (M) — грамм (г) и так далее. Поэтому, результат измерения той или иной величины представляет собой не просто число, а число с наименованием[4]. Наименование представляет собой самостоятельный объект, который равноправно участвует в операции деления. При производстве операции деления над физическими величинами, делятся как сами числовые составляющие, так и их наименования.

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

Деление разнородных физических величин надо рассматривать как нахождение новой физической величины, принципиально отличающейся от величин, которые мы делим. Если физически возможно создание такого частного, например, при нахождении работы, скорости или других величин, то эта величина образует множество, отличное от начальных. В этом случае композиции этих величин присваивается новое обозначение (новый термин), например: плотность, ускорение, мощность и прочее[5].

Например, если разделить длину на время соответствующие одному физическому процессу, то получится именованное число (физическая величина) соответствующее этому же физическому процессу, которая называется «скорость» и измеряется в «метрах в секунду»:

При описании математическими средствами физических процессов немаловажную роль играет понятие однородности, которое означает например, что «1 кг муки» и «1 кг меди» принадлежат разным множествам {мука} и {медь} соответственно и не могут быть непосредственно разделены. Также понятие однородности предполагает, что делимые величины принадлежат одному физическому процессу. Недопустимо делить, например скорость лошади на время собаки.

Деление в алгебре[править | править код]

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

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

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

.

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

Деление многочленов[править | править код]

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

.

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

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

Деление на ноль[править | править код]

По определению числовых множеств деление на число 0 не определено. Частное от деления какого-либо числа, отличного от нуля, на нуль не существует, так как в этом случае никакое число не может удовлетворять определению частного[6]. Для определения данной ситуации полагают, что результат этой операции считается «бесконечно большим» или «равным бесконечности» (положительной или отрицательной, в зависимости от знака операндов). С геометрической точки зрения выполняется аффинное расширение числовой прямой. То есть привычная последовательность вещественных чисел «сжимается» так, чтобы можно было оперировать границами этой последовательности. В качестве границ (условных) введены две абстрактные бесконечно большие величины . С точки зрения общей топологии выполняется двухточечная компактификация числовой прямой путем добавления двух идеализированных точек (бесконечностей с противоположным знаком). Пишут:

Топологическая картинка проективного расширения числовой прямой и точки 0/0
, где

Если произвести проективное расширение множества вещественных чисел введением идеализированной точки ,которая соединяет оба конца вещественной прямой, тогда с точки зрения общей топологии будет выполнена одноточечная компактификация числовой прямой путем добавления бесконечности без знака. Дополним полученное множество чисел новым элементом , в результате получится , на данной основе строится алгебраическая структура называемая «Колесом[en]» (Wheel)[7]. Термин был взят из-за схожести с топологической картинкой проективного расширения числовой прямой и точки 0/0. Внесенные изменения превращают эту алгебраическую систему в моноид как по операции сложения (с нулем в качестве нейтрального элемента), так и по операции умножения (с единицей в качестве нейтрального элемента). Это тип алгебры, где деление всегда определено. В частности, деление на ноль имеет смысл.

Существуют и другие алгебраические системы с делением на ноль. Например, «общие луга» (common meadows)[8]. Они чуть проще, так как не расширяют пространство, вводя новые элементы. Цель достигается как в колесах, трансформацией операций сложения и умножения, а также отказом от бинарного деления.

См. также[править | править код]

Логотип Викисловаря
В Викисловаре есть статья «деление»

Примечания[править | править код]

  1. Так эти свойства называются в учебниках для младших классов
  2. Поскольку на множестве вещественных чисел уже введено отношение линейного порядка, то мы можем определить топологию числовой прямой: в качестве открытых множеств возьмём всевозможные объединения интервалов вида
  3. Ильин, 1985, с. 46.
  4. Волинская Н. И. Интегрированный урок по физике и математике, Измерение физических величин и их единицы, СШ 7 г. Бреста. brestschool7.iatp.by. Проверено 18 апреля 2016.
  5. Макаров Владимир Петрович. О «размерности» физических величин. lithology.ru, Литология.РФ. Проверено 18 апреля 2016.
  6. М. Я. Выгодский Справочник по элементарной математике.
  7. Jesper Carlstrom. Wheels — On Division by Zero. — Stockholm: Department of Mathematics Stockholm University, 2001. — 48 с.
  8. Jan A. Bergstra and Alban Ponse. Division by Zero in Common Meadows. — The Netherlands: Section Theory of Computer Science Informatics Institute, Faculty of Science University of Amsterdam, 2014. — 16 с.

Литература[править | править код]