Почему 0! равно 1
Нулевой факториал равен 1: так работают рекурсия и пустой выбор.
Запись 0! = 1 не является исключением, придуманным ради удобства. Она продолжает правило факториала, правильно считает единственный пустой вариант и сохраняет общие формулы комбинаторики.
В статье вы узнаете:
- Что именно считает факториал
- Почему рекурсия приводит к единице
- Как пустое произведение может равняться единице
- Где 0! сохраняет смысл формул
- Почему ноль допустим, а отрицательные целые уже нет
Ноль объектов и ноль способов не одно и то же. Пустой набор действительно не содержит предметов, но существует один способ выбрать ничего и один способ расположить его элементы: оставить всё как есть.
Факториал считает последовательность выборов
Для положительного целого числа n факториал n! равен произведению всех целых чисел от 1 до n. Например, 4! = 4 × 3 × 2 × 1 = 24.
Такое произведение возникает при расстановке разных предметов. На первое место можно положить любую из четырёх карточек, на второе одну из трёх оставшихся, на третье одну из двух, а последняя позиция определяется автоматически. Получается 4 × 3 × 2 × 1, то есть 24 порядка.
Если убрать одну карточку, число порядков станет 3! = 6. Поэтому соседние факториалы связаны правилом:
В калькуляторе факториала легко увидеть эту лестницу: каждое новое значение получается умножением предыдущего на следующий номер. А калькулятор размещений показывает более общий случай, когда из n предметов заняты не все позиции.
| Предметов | Запись | Порядков |
|---|---|---|
| 4 | 4 × 3 × 2 × 1 | 24 |
| 3 | 3 × 2 × 1 | 6 |
| 2 | 2 × 1 | 2 |
| 1 | 1 | 1 |
| 0 | нет множителей | 1 |
Рекурсия не оставляет для 0! другого значения
Подставим в общее правило n = 1. Слева получится 1!, а справа 1 × 0!. Мы уже знаем, что 1! = 1, поэтому равенство выглядит так:
Единица, умноженная на 0!, должна остаться единицей. Значит, 0! = 1. Если поставить там ноль, лестница разрушится: получилось бы ложное равенство 1 = 1 × 0.
Тот же вывод можно получить, двигаясь по значениям назад. Из 5! = 120 делением на 5 получаем 4! = 24. Затем делим на 4, 3, 2 и наконец на 1. После 1! = 1 следующий шаг даёт 0! = 1 / 1 = 1.
Важно, что ноль нигде не становится множителем. Запись 0! не означает 0 × что-либо. Факториал положительного числа заканчивается на единице, а для нуля список множителей просто оказывается пустым.
Пустое произведение играет ту же роль, что ноль в сумме
Сумма без слагаемых принимается равной 0. Это позволяет добавлять пустой список чисел, не меняя результат: a + 0 = a. У произведения нейтральным элементом является 1, потому что a × 1 = a. Поэтому произведение без множителей равно 1.
Такое правило не пытается извлечь единицу из пустоты. Оно отвечает на вопрос, с какого значения начинается операция. Сумматор начинает с 0 и прибавляет элементы. Множитель начинает с 1 и последовательно умножает на элементы. Если список пуст, начальное значение остаётся без изменений.
Комбинаторное объяснение ещё нагляднее. Перестановка задаёт порядок всех элементов. У пустого набора нет элементов, которые можно поставить иначе, поэтому существует ровно одна пустая последовательность. Нельзя сделать второй отличающийся порядок, но и первый не исчезает.
Отсюда видно различие между двумя нулями. Если нужно поставить один предмет на ноль доступных мест, способов действительно нет. Если нужно упорядочить ноль предметов на нуле мест, условие уже выполнено единственным способом: ничего не делать.
Учебник OpenStax вводит 0! = 1 вместе с формулой сочетаний, где это значение сразу получает счётный смысл [OpenStax, Introductory Business Statistics].
С единицей крайние случаи остаются обычными случаями
Число сочетаний показывает, сколькими способами можно выбрать k предметов из n, если порядок не важен:
Выбрать из пяти книг ни одной можно ровно одним способом: взять пустой набор. При k = 0 формула даёт 5! / (0! × 5!). Чтобы результат совпал с подсчётом и равнялся 1, нулевой факториал тоже должен равняться 1.
На другом краю находится выбор всех пяти книг. Он также единственный, а знаменатель снова содержит 0!, теперь как (5 − 5)!. Благодаря одному правилу формула правильно работает на обоих концах. Это можно проверить в калькуляторе сочетаний для пар 5 и 0, а затем 5 и 5.
Та же граница появляется в биномиальной формуле. При раскрытии (a + b)n первый и последний коэффициенты равны 1: существует один способ выбрать ноль множителей b и один способ выбрать все. Значение 0! позволяет записать эти края одной формулой, не добавляя отдельные исключения.
Даже последовательность Каталана начинается с пустой конструкции. Для n = 0 существует один пустой корректный набор скобок, один пустой путь и одно пустое бинарное дерево. Калькулятор чисел Каталана поэтому начинает ряд со значения 1, а не 0.
Соглашение не маскирует ошибку, а объединяет одинаковую логику. Рекурсия, перестановки, сочетания и пустые конструкции независимо приходят к одному значению.
Гамма-функция продолжает факториал, но не через отрицательные целые
Обычный факториал определён для неотрицательных целых чисел: 0, 1, 2 и далее. В математическом анализе его продолжает гамма-функция. Для неотрицательного целого n связь записывается так:
Национальная цифровая библиотека математических функций NIST приводит одновременно Γ(1) = 1 и n! = Γ(n + 1). При n = 0 из этих двух равенств снова следует 0! = 1 [NIST DLMF, специальные значения гамма-функции].
Гамма-функция позволяет вычислять аналоги факториала, например для половинных значений. Но это не означает, что обычная запись x! автоматически разрешена для любого числа без оговорок. У гамма-функции есть полюса в нуле и отрицательных целых, поэтому значения (−1)!, (−2)! и дальше в таком продолжении не определены.
Граница хорошо видна из обратной рекурсии. Чтобы получить (−1)! из 0!, пришлось бы разделить на ноль. Это уже запрещённая операция, а не ещё один пустой список. Поэтому 0! является последней корректной целой ступенью, а не началом бесконечной цепочки отрицательных факториалов.
Итак, 0! равно 1 сразу по трём причинам. Рекурсия сохраняет связь соседних значений, комбинаторика находит один пустой порядок, а гамма-функция даёт Γ(1) = 1. Странность исчезает, когда факториал воспринимается не как команда обязательно умножить на ноль, а как число способов и произведение всего списка, даже если список пуст.
Есть что добавить?
Напишите своё мнение, комментарий или предложение.