Деление должно давать единственный результат, который можно проверить умножением. При делении ненулевого числа на ноль ответа нет, а для 0 ÷ 0 подходит любое число. Поэтому обычная арифметика не определяет ни один из этих случаев.
Правило работает во всех привычных числовых системах, но его легко понять без сложной теории. Достаточно вернуть деление к операции, из которой оно выросло, и спросить: какое умножение должно подтвердить ответ?
В статье вы узнаете:
Выражение 12 ÷ 3 = 4 сообщает не только готовый ответ. Оно одновременно утверждает, что 3 × 4 = 12. Если двенадцать предметов разложили поровну в три группы, в каждой оказалось четыре. Умножение собирает группы обратно и возвращает двенадцать.
Число c называют частным. Для обычного деления оно должно существовать и быть единственным. Иначе запись не сообщает определённого числа: проверка либо невозможна, либо подтверждает сразу несколько несовместимых ответов.
Ноль в числителе сам по себе не мешает. Например, 0 ÷ 7 = 0, потому что 7 × 0 = 0. Проблема появляется, когда ноль становится делителем.
Предположим, что 5 ÷ 0 равно некоторому числу c. Тогда обратная проверка потребует равенства 0 × c = 5. Но ноль, умноженный на любое конечное вещественное число, остаётся нулём. Получить пятёрку невозможно.
Подходящего числа нет. То же рассуждение работает для любого ненулевого делимого: −8, π и миллион не могут появиться после умножения нуля на обычное число.
Теперь попробуем решить 0 ÷ 0 = c. Проверка требует 0 × c = 0. Это равенство верно для 0, 1, −17, π и любого другого числа. Условие не выбирает один ответ среди бесконечного множества кандидатов.
Главное различие. В выражении a ÷ 0 при a ≠ 0 нет ни одного подходящего частного. В выражении 0 ÷ 0 подходит любое число, поэтому частное нельзя определить однозначно. Оба выражения оставляют обычное деление без единственного результата, но по противоположным причинам.
Это не произвольный запрет, который математики добавили в учебник. Если назвать один из кандидатов ответом, придётся отказаться от проверки умножением или от единственности результата. Тогда привычные правила дробей и уравнений перестанут работать согласованно.
Кажется естественным рассуждать так: 1 ÷ 0,1 = 10, 1 ÷ 0,01 = 100, 1 ÷ 0,001 = 1000. Чем меньше положительный делитель, тем больше частное. Значит, в нуле должна получиться бесконечность. В этом рассуждении незаметно меняется вопрос.
Последовательность делителей приближается к нулю, но ни один из них не равен нулю. Она описывает предел функции, а не значение функции в запрещённой точке. Кроме того, приближение с другой стороны даёт противоположное направление: 1 ÷ (−0,1) = −10, 1 ÷ (−0,01) = −100.
Односторонние пределы различаются, поэтому общего вещественного предела при x → 0 нет. Запись +∞ означает не число, которое можно подставить вместо результата, а неограниченный рост значений. Именно так бесконечные пределы определяются в курсе OpenStax Calculus.
Стремиться к бесконечности не значит стать бесконечностью. Фраза «1/x растёт без границы при x → 0 справа» верна. Равенство 1/0 = ∞ не является следствием этой фразы.
В математическом анализе часто говорят, что при подстановке получилась неопределённость 0/0. Это сокращённая формулировка. Она не определяет само частное нуля на ноль, а сообщает: числитель и знаменатель одновременно стремятся к нулю, поэтому одной подстановки недостаточно.
У выражений с одинаковой внешней формой могут быть совершенно разные пределы:
А у функции |x|/x общего предела при x → 0 нет: справа она равна 1, слева −1. Во всех четырёх примерах прямая подстановка показывает 0/0, но итог анализа различается. Поэтому такую форму называют неопределённой: она ещё не определила результат.
При вычислении предела разрешено исследовать значения рядом с точкой, сокращать общие множители при x ≠ 0 и применять специальные теоремы. Это не делает исходную дробь определённой в самой точке x = 0.
Ложные математические фокусы часто прячут запрещённую операцию внутри безобидного сокращения. Пусть a = b и оба числа не равны нулю. Умножим равенство на a, вычтем b² и разложим обе части на множители:
После сокращения одинакового множителя a − b будто бы получается a + b = b. Если взять a = b = 1, выйдет 2 = 1. Но условие a = b означает, что a − b = 0. Сократить этот множитель значит разделить обе части на ноль. Ошибка спряталась ровно в одном переходе.
Обычное сокращение законно потому, что ненулевой множитель имеет обратное число. У нуля обратного числа нет: не существует такого c, что 0 × c = 1. Поэтому из 7 × 3 = 7 × 5 можно сократить 7 и обнаружить противоречие 3 = 5, а из 0 × 3 = 0 × 5 нельзя заключить ничего о тройке и пятёрке.
При работе с дробью сначала выписывают значения, при которых знаменатель равен нулю. Они не входят в область определения исходного выражения, даже если затем нулевой множитель удалось сократить.
Равенство верно для всех x, кроме 1. Слева при x = 1 получается 0/0, а справа обычная формула x + 1 выдаёт 2. Сокращение упростило поведение рядом с точкой, но не вернуло удалённое значение в исходную функцию. На графике в месте x = 1 останется дырка.
По той же причине знаменатель рационального числа по определению должен быть ненулевым. Это условие встречается и в системе числовых множеств, и в практических действиях, которые выполняет калькулятор дробей. При решении уравнений ограничение лучше записать до преобразований, а после получения корней проверить их в исходном выражении.
Компьютеру недостаточно знать, что операция математически не определена. Он должен решить, остановить вычисление, показать ошибку или сохранить специальное машинное значение, чтобы программа могла продолжить работу.
В арифметике JavaScript типа Number ненулевое конечное число, делённое на ноль, даёт специальное значение Infinity со знаком, а 0/0 даёт NaN, то есть «не число». Такое поведение прямо задано в стандарте ECMAScript 2024. Другой язык, тип данных или калькулятор может вместо этого остановиться с ошибкой.
Infinity и NaN здесь служат сигналами внутри вычислительной системы. Они помогают программе распространять сведения о переполнении или недопустимой операции, но не превращают 1/0 и 0/0 в обычные числовые равенства. Реакцию интерфейсов можно сравнить на обычном и научном калькуляторе.
Делить на ноль нельзя, потому что частное должно быть единственным числом и выдерживать обратную проверку умножением. Для ненулевого делимого такого числа не существует. Для 0/0 проверку проходит любое число, и выбрать одно без разрушения правил невозможно.
Бесконечность описывает рост значений рядом с нулём, а форма 0/0 в пределах предупреждает о необходимости дальнейшего анализа. В обычных дробях, уравнениях и сокращениях действует более практичное правило: найдите нули знаменателя заранее и не возвращайте их после преобразований. Именно эта короткая проверка отделяет настоящее решение от математического фокуса.
Напишите своё мнение, комментарий или предложение.