Факториал

Факториал — это фундаментальная операция в комбинаторике и математическом анализе, обозначаемая знаком «!» и применяемая к неотрицательным целым числам. Для целого n ≥ 1 факториал определяется как произведение всех положительных целых чис, не превышающих n, что компактно записывается через произведение как \(n! = \prod_{k=1}^n k\). При этом для удобства и согласованности формул вводят особый случай \(0! = 1\), то есть 0! принимается равным единице. Еще одно полезное свойство факториала — рекурсивное соотношение, позволяющее выразить n-факториал через предыдущий: \(n! = n\cdot (n-1)!\). Это рекурсивное определение часто используется при доказательствах по индукции и в программировании при вычислении факториалов рекурсивными алгоритмами.

Факториал широко применяется при подсчете перестановок, комбинаций и в формулах биномиальных коэффициентов: число перестановок n различных объектов равно n!, а в выражениях для сочетаний и размещений факториалы появляются в числителях и знаменателях дробей. Кроме того, факториал встречается в ряде аналитических формул — например, в коэффициентах разложения степенных рядов для функций, в формулах для объема и площади фигур в высоких размерностях, а также в статистике и теории вероятностей. Для обобщения понятия на вещественные и комплексные аргументы используют гамма-функцию: \(n! = \Gamma(n+1)\), что расширяет применение факториала за пределы целых чисел. При оценке роста факториала для больших n удобна асимптотика Стирлинга, дающая приближенное значение: \(n! \sim \sqrt{2\pi n}\left(\frac{n}{e}\right)^n\). Эти оценки помогают понять, насколько быстро растет факториал и почему он часто приводит к очень большим числам даже при умеренных n.