Деление на ноль
Деление на ноль в математике — деление, при котором делитель равен нулю. Такое деление может быть формально записано как , где — делимое.
В арифметике
[править | править код]В арифметике с вещественными числами данное выражение не имеет смысла, так как:
- при а ≠ 0 не существует числа, которое при умножении на 0 даёт а, поэтому ни одно число не может быть принято за частное а⁄0;
- при а = 0 деление на ноль также не определено, поскольку любое число при умножении на 0 даёт 0 и может быть принято за частное 0⁄0.
Исторически одна из первых ссылок на математическую невозможность присвоения значения а⁄0 содержится в критике Джорджа Беркли исчисления бесконечно малых.
В алгебре
[править | править код]Деление на ноль недопустимо во многих алгебраических структурах (например, в полях, кольцах). Однако понятие кольца можно расширить так, чтобы деление на ноль было возможным. Получившаяся структура называется колесо.
Делимость
[править | править код]В то же время, согласно определению делимости целых чисел, если для некоторого целого числа и целого числа существует такое целое число , что , то говорят, что число делится нацело на (обозначается ) или что делит (обозначается ).
В соответствии с этим определением выполняются следующие свойства:
- Любое целое число является делителем нуля:
- ,
- и частное (при ) равно нулю.
- На ноль делится только ноль:
- ,
- причём частное в этом случае не определено.
Логические ошибки
[править | править код]Поскольку при умножении любого числа на ноль в результате мы всегда получаем ноль, при делении обеих частей выражения x × 0 = y × 0, верного вне зависимости от значения x и y, на 0 получаем неверное в случае произвольно заданных переменных выражение x = y. Поскольку ноль может быть задан не явно, но в виде достаточно сложного математического выражения, к примеру в форме разности двух значений, сводимых друг к другу путём алгебраических преобразований, такое деление может быть достаточно неочевидной ошибкой. Незаметное внесение такого деления в процесс доказательства с целью показать идентичность заведомо разных величин, тем самым доказывая любое абсурдное утверждение, является одной из разновидностей математического софизма[1].
В информатике
[править | править код]В программировании, в зависимости от языка программирования, типа данных и значения делимого, попытка деления на ноль может приводить к различным последствиям. Принципиально различны последствия деления на ноль в целой и вещественной арифметике:
- Попытка целочисленного деления на ноль всегда является критической ошибкой, делающей невозможным дальнейшее исполнение программы. Она приводит либо к генерации исключения (которое программа может обработать сама, избежав тем самым аварийной остановки), либо к немедленной остановке программы с выдачей сообщения о неисправимой ошибке и, возможно, содержимого стека вызовов. В некоторых языках программирования, например, в Go, целочисленное деление на нулевую константу считается синтаксической ошибкой и приводит к аварийному прекращению компиляции программы.
- В вещественной арифметике последствия могут быть различным в разных языках:
- генерация исключения или остановка программы, как и при целочисленном делении;
- получение в результате операции специального нечислового значения. Вычисления при этом не прерываются, а их результат впоследствии может быть интерпретирован самой программой или пользователем как осмысленное значение или как свидетельство некорректности вычислений. Широко используется принцип, согласно которому при делении вида a⁄0, где a ≠ 0 — число с плавающей запятой, результат оказывается равен положительной или отрицательной (в зависимости от знака делимого) бесконечности —
+INF
или−INF
, а при a = 0 в результате получается специальное значение NaN (сокр. от англ. not a number — «не число»). Такой подход принят в стандарте IEEE 754, который поддерживается многими современными языками программирования.
Случайное деление на ноль в компьютерной программе порой становится причиной дорогих или опасных сбоев в работе управляемого программой оборудования. К примеру, 21 сентября 1997 года в результате деления на ноль в компьютеризированной управляющей системе крейсера USS Yorktown (CG-48) Военно-морского флота США произошло отключение всего электронного оборудования в системе, в результате чего силовая установка корабля прекратила свою работу[2][3].
См. также
[править | править код]Примечания
[править | править код]- ↑ Чарльз Сейфе. Устрашающие свойства пустоты // Ноль. Биография опасной идеи = Zero: The Biography of a Dangerous Idea. — Neoclassic, АСТ, 2014. — 2000 экз. — ISBN 978-5-17-083294-1, 978-985-18-3018-9.
- ↑ [1]Архивная копия от 12 июля 2015 на Wayback Machine Sunk by Windows NT // Wired News. 1998-07-24.
- ↑ William Kahan. Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering (PDF) 54/90 (24 апреля 2012). Дата обращения: 28 сентября 2016. Архивировано 24 сентября 2016 года.