Факториа́л числа n (лат. factorialis — действующий, производящий, умножающий; обозначается n!, произносится эн факториа́л) — произведение всех натуральных чисел от 1 до n включительно:

<math>n! = 1\cdot 2\cdot\ldots\cdot n =\prod_{i=1}^n i.</math>

Например:

<math>5 ! = 1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 = 120</math>.

По договорённости: <math>0! = 1</math>. Также это равенство выполняется естественным образом:

Факториал определён только для целых неотрицательных чисел.

Последовательность факториалов неотрицательных целых чисел начинается так^[1]:

1, 1, 2, 6, 24, 120, 720, 5040, 40 320, 362 880, 3 628 800, 39 916 800, 479 001 600, 6 227 020 800, 87 178 291 200, 1 307 674 368 000, 20 922 789 888 000, 355 687 428 096 000, 6 402 373 705 728 000, 121 645 100 408 832 000, 2 432 902 008 176 640 000, …

Факториалы часто используются в комбинаторике, теории чисел и функциональном анализе. Обозначение факториала в формате <math>n!</math> предложил французский математик Кристиан Крамп в 1808 году^[2].

Факториал является чрезвычайно быстро растущей функцией. Он растёт быстрее, чем многочлен любой степени, и быстрее, чем экспоненциальная функция (но медленнее, чем двойная экспоненциальная функция <math>e^{e^n}</math>).

Содержание

1 Свойства
2 Обобщения
- 2.1 Двойной факториал
3 \frac{15!}{2^{{\color{white}1}^{\!\!\! 7}} \cdot 7!}

Свойства

Рекуррентная формула

<math>n!= \begin{cases}

1 & n = 0,\\ n \cdot (n-1)! & n > 0. \end{cases}</math>

Комбинаторная интерпретация

В комбинаторике факториал натурального числа n интерпретируется как количество перестановок (упорядочиваний) множества из n элементов. Например, для множества {A,B,C,D} из 4-х элементов существует 4! = 24 перестановки:

ABCD  BACD  CABD  DABC
ABDC  BADC  CADB  DACB
ACBD  BCAD  CBAD  DBAC
ACDB  BCDA  CBDA  DBCA
ADBC  BDAC  CDAB  DCAB
ADCB  BDCA  CDBA  DCBA

Комбинаторная интерпретация факториала служит обоснованием тождества 0! = 1, так как пустое множество упорядочено единственным способом.

Связь с гамма-функцией

Факториал связан с гамма-функцией от целочисленного аргумента соотношением:

<math>n! = \Gamma(n+1).</math>

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

Путём аналитического продолжения её также расширяют и на всю комплексную плоскость, исключая особые точки при <math>n=-1, -2, -3\ldots</math>.

Более непосредственным обобщением факториала на множество вещественных (и комплексных) чисел является пи-функция, определяемая как

<math>\Pi(z)=\int_0^\infty t^{z} e^{-t}\, \mathrm{d}t</math>.

Поскольку <math>\Pi(z) = \Gamma(z+1) \,,</math> то пи-функция натурального числа совпадает с его факториалом: <math>\Pi(n) = n!.</math> Как факториал, пи-функция удовлетворяет рекурсивному соотношению <math>\Pi(z) = z\Pi(z-1)\,.</math>

Формула Стирлинга

Основная статья: Формула Стирлинга

Формула Стирлинга — асимптотическая формула для вычисления факториала:

<math>n! = \sqrt{2\pi n}\left(\frac{n}{e}\right)^n \left(1 + \frac{1}{12 n} + \frac{1}{288 n^2} - \frac{139}{51840 n^3} - \frac{571}{2488320 n^4} + \frac{163879}{209018880 n^5} + \frac{5246819}{75246796800 n^6} + O\left(n^{-7}\right)\right),</math>

см. O-большое^[3].

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

<math>n! \approx \sqrt{2\pi n}\left(\frac{n}{e}\right)^n.</math>

При этом можно утверждать, что

<math>\sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{1/(12n+1)}< n! < \sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{1/(12n)}.</math>

Формула Стирлинга позволяет получить приближённые значения факториалов больших чисел без непосредственного перемножения последовательности натуральных чисел. Так, с помощью формулы Стирлинга легко подсчитать, что

100! ≈ 9,33×10¹⁵⁷;
1000! ≈ 4,02×10²⁵⁶⁷;
10 000! ≈ 2,85×10^35 659.

Разложение на простые числа

Каждое простое число p входит в разложение n! на простые множители в степени

<math>\left\lfloor \frac{n}{p}\right\rfloor + \left\lfloor \frac{n}{p^2}\right\rfloor + \left\lfloor \frac{n}{p^3}\right\rfloor + \ldots.</math>

Таким образом,

<math>n! = \prod_{p} p^{\lfloor \frac{n}{p}\rfloor + \lfloor \frac{n}{p^2}\rfloor +\ldots},</math>

где произведение берётся по всем простым числам. Нетрудно видеть, что для всякого простого p большего n соответствующий множитель в произведении равен 1, а потому произведение можно брать лишь по простым p, не превосходящим n.

Связь с производной от степенной функции

Для целого неотрицательного числа n:

<math>\left( x^n \right)^{(n)}=n!</math>

Например:

<math>\left( x^5 \right)^{(5)}

= \left( 5 \cdot x^4 \right)^{(4)} = \left( 5 \cdot 4 \cdot x^3 \right) = \left( 5 \cdot 4 \cdot 3 \cdot x^2 \right) = \left( 5 \cdot 4 \cdot 3 \cdot 2 \cdot x \right)' = {5 \cdot 4 \cdot 3 \cdot 2 \cdot 1} = 5!</math>

Другие свойства

Для натурального числа n:

<math>n!^2 \geqslant n^n \geqslant n! \geqslant n</math>

Обобщения

Двойной факториал

Запрос «‼» перенаправляется сюда; см. также другие значения.

Двойной факториал числа n обозначается n‼ и определяется как произведение всех натуральных чисел в отрезке [1,n], имеющих ту же чётность, что и n.

Для чётного n:

<math>n!! = 2 \cdot 4 \cdot 6 \cdot \ldots \cdot n = \prod_{i=1}^{\frac{n}{2}} 2i = 2^{{\color{white}1}^{\!\!\!\! \frac{n}{2}}} \cdot \left ( \frac{n}{2} \right )!</math>

Для нечётного n:

<math>n!! = {1 \cdot 3 \cdot 5 \cdot \ldots \cdot n} = \prod_{i=0}^{\frac{n-1}{2}} (2i+1) = \frac{n!}{2^{{\color{white}1}^{\!\!\!\! \frac{n-1}{2}}} \cdot \left ( \frac{n-1}{2} \right )!}</math>

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

Для чётного n:

Для нечётного n:

Выведение формул

Формула для чётного n:

<math>n!! = 2^{{\color{white}1}^{\!\!\!\! \frac{n}{2}}} \cdot \left ( \frac{n}{2} \right )!</math>

Выведение формулы: <math>\begin{align} n!! & = {\color{Gray}\underbrace{\color{Black}2 \cdot 4 \cdot 6 \cdot \ldots \cdot n}_{\color{Black}\tfrac{n}{2}}} = {\color{Gray}\underbrace{\color{OliveGreen}2 \cdot 2 \cdot 2 \cdot \ldots \cdot 2}_{\color{Black}\tfrac{n}{2}}} \; \cdot \; \frac{\; 2 \cdot 4 \cdot 6 \cdot \ldots \cdot n \;}{\color{Gray}\underbrace{\color{OliveGreen}2 \cdot 2 \cdot 2 \cdot \ldots \cdot 2}_{\color{Black}\tfrac{n}{2}}} = \\ & = {2^{{\color{white}1}^{\!\!\!\! \frac{n}{2}}} \cdot \left ( 1 \cdot 2 \cdot 3 \cdot \ldots \cdot \frac{n}{2} \right )} = 2^{{\color{white}1}^{\!\!\!\! \frac{n}{2}}} \cdot \left ( \frac{n}{2} \right )! \end{align}</math>

Пример, иллюстрирующий использованное выше выведение формулы:

<math>\begin{align} 14!! & = 2^{\frac{14}{2}} \cdot \left ( \frac{14}{2} \right )! = 2^7 \cdot 7! =

\\ & = (2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2) \cdot (1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7) = \\ & = (2 \cdot 1) (2 \cdot 2) (2 \cdot 3) (2 \cdot 4) (2 \cdot 5) (2 \cdot 6) (2 \cdot 7) = \\ & = 2 \cdot 4 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 14 = 645120 \end{align}</math>

Формула для нечётного n:

<math>n!! = \frac{n!}{2^{{\color{white}1}^{\!\!\!\! \frac{n-1}{2}}} \cdot \left ( \frac{n-1}{2} \right )!}</math>

Выведение формулы: <math>\begin{align}n!! & = {\color{Gray}\underbrace{{\color{Black}1 \cdot 3 \cdot 5 \cdot \ldots \cdot n}}_{\color{Black}\frac{n+1}{2}}} = \frac{{\color{Gray}\overbrace{\color{OliveGreen}2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1)}^{\color{Black}\frac{n-1}{2}}} \cdot {\color{Gray}\overbrace{\color{Black}1 \cdot 3 \cdot 5 \cdot 7 \cdot \ldots \cdot (n-2) \cdot n}^{\color{Black}\frac{n+1}{2}}}} {\color{Gray}\underbrace{{\color{OliveGreen}2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1)}}_{\color{Black}\frac{n-1}{2}}} = \\ & = \frac{\color{Gray}\overbrace{\color{Black}1 \cdot {\color{OliveGreen}2} \cdot 3 \cdot {\color{OliveGreen}4} \cdot 5 \cdot {\color{OliveGreen}6} \cdot 7 \cdot \ldots \cdot (n-2) \cdot {\color{OliveGreen}(n-1)} \cdot n}^{\color{Black}n}} {\color{Gray}\underbrace{{\color{OliveGreen}2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1)}}_{\color{Black}\frac{n-1}{2}}} = \frac{n!}{\color{Gray}\underbrace{{\color{Black}2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1)}}_{\color{Black}\frac{n-1}{2}}} = \frac{n!}{(n-1)!!} \end{align}</math> Таким образом можно показать связь между двойными факториалами двух соседних неотрицательных целых чисел через обычный факториал одного из них. Далее продолжим выведение формулы для двойного факториала нечётного n. Вернёмся на шаг назад (до возникновения в явном виде (n-1)!!) и осуществим некоторые тождественные алгебраические преобразования над знаменателем: <math>\begin{align}& {\color{Gray}\underbrace{{\color{Black}2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1)}}_{\color{Black}\frac{n-1}{2}}} = {\color{Gray}\underbrace{\color{OliveGreen}2 \cdot 2 \cdot 2 \cdot \ldots \cdot 2}_{\color{Black}\tfrac{n-1}{2}}} \; \cdot \; \frac{\; 2 \cdot 4 \cdot 6 \cdot \ldots \cdot (n-1) \;}{\color{Gray}\underbrace{\color{OliveGreen}2 \cdot 2 \cdot 2 \cdot \ldots \cdot 2}_{\color{Black}\tfrac{n-1}{2}}} = \\ & = {2^{{\color{white}1}^{\!\!\!\! \frac{n-1}{2}}} \cdot \left ( 1 \cdot 2 \cdot 3 \cdot \ldots \cdot \frac{n-1}{2} \right )} = 2^{{\color{white}1}^{\!\!\!\! \frac{n-1}{2}}} \cdot \left ( \frac{n-1}{2} \right )! \end{align}</math> Подставим полученное выражение для знаменателя обратно в формулу для <math>n!!</math>: <math>n!! = \frac{n!}{2^{{\color{white}1}^{\!\!\!\! \frac{n-1}{2}}} \cdot \left ( \frac{n-1}{2} \right )!}</math>

Пример, иллюстрирующий использованное выше выведение формулы:

<math>\begin{align} 15!! & = \frac{15!}{2^{{\color{white}1}^{\!\!\!\! \frac{15-1}{2}}} \cdot \left ( \frac{15-1}{2} \right )!}

\frac{15!}{2^{{\color{white}1}^{\!\!\! 7}} \cdot 7!}

\\ & = {\color{white}\overbrace{\color{Black}\frac{1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7 \cdot 8 \cdot 9 \cdot 10 \cdot 11 \cdot 12 \cdot 13 \cdot 14 \cdot 15}{(2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2 \cdot 2) \cdot (1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7)}}} = \\ & = {\color{white}\overbrace{\color{Black}\frac{1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 \cdot 6 \cdot 7 \cdot 8 \cdot 9 \cdot 10 \cdot 11 \cdot 12 \cdot 13 \cdot 14 \cdot 15}{(2 \cdot 1) (2 \cdot 2) (2 \cdot 3) (2 \cdot 4) (2 \cdot 5) (2 \cdot 6) (2 \cdot 7)}}} = \\ & = {\color{white}\overbrace{\color{Black}\frac{1 \cdot {\color{OliveGreen}2} \cdot 3 \cdot {\color{OliveGreen}4} \cdot 5 \cdot {\color{OliveGreen}6} \cdot 7 \cdot {\color{OliveGreen}8} \cdot 9 \cdot {\color{OliveGreen}10} \cdot 11 \cdot {\color{OliveGreen}12} \cdot 13 \cdot {\color{OliveGreen}14} \cdot 15}{\color{OliveGreen}2 \cdot 4 \cdot 6 \cdot 8 \cdot 10 \cdot 12 \cdot 14}}} = \\ & = {\color{white}\overbrace{\color{Black}1 \cdot 3 \cdot 5 \cdot 7 \cdot 9 \cdot 11 \cdot 13 \cdot 15}} = 2027025 \end{align}</math>

Осуществив замену <math>n=2k</math> для чётного n и <math>n=2k+1</math> для нечётного n соответственно, где <math>k</math> — целое неотрицательное число, получим:

для чётного числа:

<math>(2k)!! = 2 \cdot 4 \cdot 6 \cdot \ldots \cdot 2k =\prod_{i=1}^{k} 2i = 2^k\cdot k!</math>

для нечётного числа:

<math>(2k+1)!! = 1 \cdot 3 \cdot 5 \cdot \ldots \cdot (2k+1) = \prod_{i=0}^{k} (2i+1) = \frac{(2k+1)!}{2^k\cdot k!}</math>

По договорённости: <math>0!! = 1</math>. Также это равенство выполняется естественным образом:

</div></div>

Двойной факториал, также как и обычный факториал, определён только для целых неотрицательных чисел.

Последовательность значений n!! начинается так^[4]:

1, 1, 2, 3, 8, 15, 48, 105, 384, 945, 3840, 10 395, 46 080, 135 135, 645 120, 2 027 025, 10 321 920, 34 459 425, 185 794 560, 654 729 075, 3 715 891 200, 13 749 310 575, 81 749 606 400, 316 234 143 225, 1 961 990 553 600, 7 905 853 580 625, 51 011 754 393 600, …

Кратный факториал

m-кратный факториал числа n обозначается <math>\textstyle n\underbrace{!!\ldots !}_m</math> и определяется следующим образом. Пусть число n представимо в виде <math>n=mk-r,</math> где <math>k \in \mathbb{Z},</math> <math>r \in \{0,1,\ldots ,m-1\}.</math> Тогда^[5]

<math>n\underbrace{!!\ldots !}_m = \prod_{i=1}^k (mi-r)</math>

Обычный и двойной факториалы являются частными случаями m-кратного факториала для m = 1 и m = 2 соответственно.

Кратный факториал связан с гамма-функцией следующим соотношением^[6]:

<math>n\underbrace{!!\ldots !}_m = \prod_{i=1}^{k} (mi-r)=m^k \cdot \frac {\Gamma \left (k-\frac {r} {m} +1 \right )} {\Gamma \left ( 1- \frac {r} {m} \right)}.</math>

Неполный факториал

Убывающий факториал

Убывающим факториалом называется выражение

<math>(n)_k = n^{\underline{k}} = n^{[k]}= n\cdot (n-1)\cdot \ldots\cdot (n-k+1) = \frac{n!}{(n-k)!} = \prod_{i=n-k+1}^n i</math>.

Например:

n = 7; k = 4,

(n − k) + 1 = 4,

n^k = 7 • 6 • 5 • 4 = 840.

Убывающий факториал даёт число размещений из n по k.

Возрастающий факториал

Возрастающим факториалом называется выражение

<math>n^{(k)} = n^{\overline{k}} = n\cdot (n+1)\cdot \ldots\cdot (n+k-1) = \frac{(n+k-1)!}{(n-1)!}=\prod_{i=n}^{(n+k)-1} i.</math>

Праймориал или примориал

Основная статья: Праймориал

Праймориал или примориал (англ. primorial) числа n обозначается p_n# и определяется как произведение n первых простых чисел. Например,

<math>p_5\# = 2 \times 3 \times 5 \times 7 \times 11 = 2310</math>.

Иногда праймориалом называют число <math>n\#</math>, определяемое как произведение всех простых чисел, не превышающих заданное n.

Последовательность праймориалов (включая <math>{\textstyle{1\# \equiv 1}}</math>) начинается так^[7]:

1, 2, 6, 30, 210, 2310, 30 030, 510 510, 9 699 690, 223 092 870, 6 469 693 230, 200 560 490 130, 7 420 738 134 810, 304 250 263 527 210, 13 082 761 331 670 030, 614 889 782 588 491 410, 32 589 158 477 190 044 730, 1 922 760 350 154 212 639 070, …

Суперфакториалы

Нейл Слоан и Симон Плуффэ (англ.) в 1995 году определили суперфакториал как произведение первых n факториалов. Согласно этому определению, суперфакториал четырёх равен

<math> \operatorname{sf}(4)=1! \times 2! \times 3! \times 4!=288</math>

(поскольку устоявшегося обозначения нет, используется функциональное).

В общем

<math>

 \operatorname{sf}(n)
 =\prod_{k=1}^n k! =\prod_{k=1}^n k^{n-k+1}
 =1^n\cdot2^{n-1}\cdot3^{n-2}\cdots(n-1)^2\cdot n^1.
</math>

Последовательность суперфакториалов чисел <math>n \geqslant 0</math> начинается так^[8]:

1, 1, 2, 12, 288, 34 560, 24 883 200, 125 411 328 000, 5 056 584 744 960 000, 1 834 933 472 251 084 800 000, 6 658 606 584 104 736 522 240 000 000, 265 790 267 296 391 946 810 949 632 000 000 000, 127 313 963 299 399 416 749 559 771 247 411 200 000 000 000, …

Идея была обобщена в 2000 году Генри Боттомли (англ.), что привело к гиперфакториалам (англ. Superduperfactorial), которые являются произведением первых n суперфакториалов. Последовательность гиперфакториалов чисел <math>n \geqslant 0</math> начинается так^[9]:

1, 1, 2, 24, 6912, 238 878 720, 5 944 066 965 504 000, 745 453 331 864 786 829 312 000 000, 3 769 447 945 987 085 350 501 386 572 267 520 000 000 000, 6 916 686 207 999 802 072 984 424 331 678 589 933 649 915 805 696 000 000 000 000 000, …

Продолжая рекуррентно, можно определить факториал кратного уровня, или m-уровневый факториал числа n, как произведение (m − 1)-уровневых факториалов чисел от 1 до n, то есть

<math>\operatorname{mf}(n,m) = \operatorname{mf}(n-1,m)\operatorname{mf}(n,m-1)=\prod_{k=1}^n k^{n-k+m-1 \choose n-k}, </math>

где <math>\operatorname{mf}(n,0)=n</math> для <math>n>0</math> и <math>\operatorname{mf}(0,m)=1.</math>

Субфакториал

Основная статья: Субфакториал

Субфакториал !n определяется как количество беспорядков порядка n, то есть перестановок n-элементного множества без неподвижных точек.

См. также

Факторион

Примечания

↑ Последовательность A000142 в OEIS
↑ [www-history.mcs.st-andrews.ac.uk/Biographies/Kramp.html Крамп, Кристиан]
↑ Коэффициенты этого разложения дают A001163 (числители) и A001164 (знаменатели)
↑ Последовательность A006882 в OEIS
↑ «Энциклопедия для детей» Аванта+. Математика.
↑ [www.wolframalpha.com/input/?i=product+%28m*i-r%29%2C+i%3D1..k wolframalpha.com].
↑ Последовательность A002110 в OEIS
↑ Последовательность A000178 в OEIS
↑ Последовательность A055462 в OEIS

[1] Последовательность A000142 в OEIS

[2] [www-history.mcs.st-andrews.ac.uk/Biographies/Kramp.html Крамп, Кристиан]

[3] Коэффициенты этого разложения дают A001163 (числители) и A001164 (знаменатели)

[4] Последовательность A006882 в OEIS

[avantaplus-5] «Энциклопедия для детей» Аванта+. Математика.

[prooflink-6] [www.wolframalpha.com/input/?i=product+%28m*i-r%29%2C+i%3D1..k wolframalpha.com].

[7] Последовательность A002110 в OEIS

[8] Последовательность A000178 в OEIS

[9] Последовательность A055462 в OEIS

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Факториал

Содержание

Свойства

Рекуррентная формула

Комбинаторная интерпретация

Связь с гамма-функцией

Формула Стирлинга

Разложение на простые числа

Связь с производной от степенной функции

Другие свойства

Обобщения

Двойной факториал

\frac{15!}{2^{{\color{white}1}^{\!\!\! 7}} \cdot 7!}

Кратный факториал

Неполный факториал

Убывающий факториал

Возрастающий факториал

Праймориал или примориал

Суперфакториалы

Субфакториал

См. также

Примечания

Навигация

Персональные инструменты

Поиск

Навигация

Инструменты

На других языках