Факториал 1000: Точное вычисление 1000!

Калькулятор факториалов

Факториалы

Что такое факториалы и как их решать

Факториал числа n, который в математике обозначают буквой латиницы n, после которой следует
восклицательный знак !. Произносится голосом это выражение как “н факториал”. Факториал – это результат
последовательного умножения между собой последовательности натуральных чисел с 1 и до искомого числа n.
Например, 5! = 1 х 2 х 3 х 4 х 5=720Факториал числа n обозначается латинской буквой n! и произносится
как эн факториал. Представляет собой последовательное перемножение (произведение) всех натуральных чисел
начиная с 1 до числа n.
Например: 6! = 1 х 2 х 3 х 4 х 5=720

Факториал имеет математический смысл, только тогда, когда если это число целое и положительное
(натуральное). Этот смысл следует из самого определения факториала, т.к. все натуральные числа
неотрицательные и целые. Значения факториалов, а именно результат умножения последовательности от
единицы до числа n можно посмотреть в таблице факториалов. Такая таблица возможна, по причине того, что
значение факториала любого целого числа известно заранее и является, так сказать, табличным
значением.

По определению 0! = 1. То есть если имеется ноль факториал, то мы ничего не перемножаем и результат будет
первым натуральным существующим числом, то есть один.

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

Факториал – является быстрорастущей функцией. Она растет по графику быстрее, чем функция многочлена любой
степени и даже экспоненциальная функция. Факториал растет быстрее многочлена любой степени и
экспоненциальной функции (но при этом медленнее двойной экспоненциальной функции). Именно поэтому, чтобы
посчитать факториал вручную могут быть сложности, так как результатом может получиться очень большое
число. Чтобы не считать факториал вручную, можно воспользоваться калькулятором подсчёта факториалов, с
помощью которого вы можете быстро получить ответ. Факториал применяется в функциональном анализе, теории
чисел и комбинаторике, в которой имеет большой математический смысл, связанный с числом всевозможных
неупорядоченных комбинаций объектов (чисел).

Чтобы быстро рассчитать число комбинаций n чисел, нужно всего лишь посчитать n!. После подсчёта значения
факториала калькулятором, искомое значение можно использовать в решении более сложных задач.
Вы можете посмотреть необходимый факториал в таблице: «Таблица
факториалов»

Бесплатный онлайн калькулятор факториалов

Наш бесплатный решатель позволяет расчитать факториалы онлайн любой сложности за считанные секунды. Все,
что вам необходимо
сделать — это просто ввести свои данные в калькуляторе. Так же вы можете посмотреть
видео
инструкцию и узнать, как решить уравнение на нашем сайте. А если у вас остались вопросы, то
вы
можете задать их в нашей группе Вконтакте: pocketteacher.
Вступайте
в нашу группу, мы всегда рады помочь вам.

Калькулятор онлайн для расчета факториала числа

Факториал натурального числа n — произведение первых по счету,n натуральных чисел от 1 до n включительно, обозначается n!

n! = 1 • 2 • 3 • 4 • 5 • … • n

Факториа́л числа – это число, умноженное на «себя минус один», затем на «себя минус два» и так далее, до единицы.

n! = n • (n — 1) • (n — 2) • … • 1

Для приближённого вычисления факториала и гамма-функции используется формула Стирлинга . Названа в честь Джеймса Стирлинга и Абрахама де Муавра, последний считается автором формулы

Вычисление факториала числа (n!) по формуле в Стирлинга. Этот калькулятор может быть использован для вычисления значений n больше 100.

Расчет факториала по формуле Джеймса Стирлинга

Приближенное значение не ограничено по колличеству n

Расчет факториала от 0 до 100

Точное значение, ограниченное по колличеству n

Формула Джеймса Стирлинга для расчета факториала

n! ≈ √(2π) × n^(n+1/2) × e ^-n

Примеры значений для разных n:

1! = 1
2! = 2 × 1 = 2
3! = 3 × 2 × 1 = 6
4! = 4 × 3 × 2 × 1 = 24
5! = 5 × 4 × 3 × 2 × 1 = 120

Не стоит забывать

По общепринятой договоренности 0! = 1 (факториал нуля равен единице). Этот факт важен, к примеру, для вычисления биномиальных коэффициентов.

Полезный факт

Факториал числа, функцию от натурального аргумента можно продолжить на все действительные числа с помощью т.н. Гамма-функции (важно отметить, что для этого требуется определенный математический аппарат). В таком случае, мы сможем посчитать факториал любого действительного числа. Например, факториал (или, Гамма-функция, что математически правильнее) числа Пи. π! приблизительно равен 2.28803779534. Факториал числа Эйлера, другого трансцендентного числа, Γ(e) ~ 1.567468255 (упрощенно, факториал числа e).

В вашем браузере отключен Javascript.
Чтобы произвести расчеты, необходимо разрешить элементы ActiveX!

Факториал — Википедия

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

n!=1⋅2⋅…⋅n=∏k=1nk{\displaystyle n!=1\cdot 2\cdot \ldots \cdot n=\prod _{k=1}^{n}k}.

Например,

5!=1⋅2⋅3⋅4⋅5=120{\displaystyle 5!=1\cdot 2\cdot 3\cdot 4\cdot 5=120}.

Из определения факториала следует соотношение (n−1)!=n!n{\displaystyle (n-1)!={\frac {n!}{n}}}, откуда при n=1{\displaystyle n=1} формально находим

0!=1{\displaystyle 0!=1}.

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

Факториал активно используется в различных разделах математики: комбинаторике, математическом анализе, теории чисел, функциональном анализе и др.

Факториал является чрезвычайно быстро растущей функцией. Он растёт быстрее, чем любая показательная функция или любая степенная функция, а также быстрее, чем любая сумма произведений этих функций. Однако, степенно-показательная функция nn{\displaystyle n^{n}} растёт быстрее факториала, так же как и большинство двойных степенных, например een{\displaystyle e^{e^{n}}}.

Свойства

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

n!={1n=0,n⋅(n−1)!n>0.{\displaystyle n!={\begin{cases}1&n=0,\\n\cdot (n-1)!&n>0.\end{cases}}}

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

В комбинаторике факториал натурального числа 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{\displaystyle 0!=1}. Так, формула для числа размещений из n{\displaystyle n} элементов по m{\displaystyle m}

Anm=n!(n−m)!{\displaystyle A_{n}^{m}={\frac {n!}{(n-m)!}}}

при n=m{\displaystyle n=m} обращается в формулу для числа перестановок из n{\displaystyle n} элементов (порядка n{\displaystyle n}), которое равно n!{\displaystyle n!}.

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

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

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

n!=Γ(n+1){\displaystyle n!=\Gamma (n+1)}.

Это же выражение используют для обобщения понятия факториала на множество вещественных чисел. Используя аналитическое продолжение гамма-функции, область определения факториала также расширяют на всю комплексную плоскость, исключая особые точки при n=−1,−2,−3…{\displaystyle n=-1,-2,-3\ldots }.

Непосредственным обобщением факториала на множества вещественных и комплексных чисел служит пи-функция Π(z)=Γ(z+1){\displaystyle \Pi (z)=\Gamma (z+1)}, которая при Re(z)>−1{\displaystyle \mathrm {Re} (z)>-1} может быть определена как

Π(z)=∫0∞tze−tdt{\displaystyle \Pi (z)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t} (интегральное определение).

Пи-функция натурального числа или нуля совпадает с его факториалом: Π(n)=n!{\displaystyle \Pi (n)=n!}. Как и факториал, пи-функция удовлетворяет рекуррентному соотношению Π(z)=zΠ(z−1){\displaystyle \Pi (z)=z\Pi (z-1)}.

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

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

n!=2πn(ne)n(1+112n+1288n2−13951840n3−5712488320n4+163879209018880n5+524681975246796800n6+O(n−7)),{\displaystyle n!={\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}-{\frac {139}{51840n^{3}}}-{\frac {571}{2488320n^{4}}}+{\frac {163879}{209018880n^{5}}}+{\frac {5246819}{75246796800n^{6}}}+O\left(n^{-7}\right)\right),}

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

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

n!≈2πn(ne)n.{\displaystyle n!\approx {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}.}

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

2πn(ne)ne1/(12n+1)<n!<2πn(ne)ne1/(12n).{\displaystyle {\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)}.}

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

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

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

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

⌊np⌋+⌊np2⌋+⌊np3⌋+….{\displaystyle \left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\ldots .}

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

n!=∏pp⌊np⌋+⌊np2⌋+…,{\displaystyle n!=\prod _{p}p^{\lfloor {\frac {n}{p}}\rfloor +\lfloor {\frac {n}{p^{2}}}\rfloor +\ldots },}

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

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

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

(xn)(n)=n!{\displaystyle \left(x^{n}\right)^{(n)}=n!}

Например:

(x5)(5)=(5⋅x4)(4)=(5⋅4⋅x3)‴=(5⋅4⋅3⋅x2)″=(5⋅4⋅3⋅2⋅x)′=5⋅4⋅3⋅2⋅1=5!{\displaystyle \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!}

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

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

n!2⩾nn⩾n!⩾n{\displaystyle n!^{2}\geqslant n^{n}\geqslant n!\geqslant n}

Для любого n>1:

n!{\displaystyle n!} не является квадратом целого числа.

История

Факториальные выражения появились ещё в ранних исследованиях по комбинаторике, хотя компактное обозначение n!{\displaystyle n!} предложил французский математик Кристиан Крамп только в 1808 году^[2]. Важным этапом стало открытие формулы Стирлинга, которую Джеймс Стирлинг опубликовал в своём трактате «Дифференциальный метод» (лат. Methodus differentialis, 1730 год). Немного ранее почти такую же формулу опубликовал друг Стирлинга Абрахам де Муавр, но в менее завершённом виде (вместо коэффициента 2π{\displaystyle {\sqrt {2\pi }}} была неопределённая константа)^[3].

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

(12)!=π2{\displaystyle \left({1 \over 2}\right)!={\frac {\sqrt {\pi }}{2}}}

Стирлинг не знал, что годом ранее решение проблемы уже нашёл Леонард Эйлер. В письме к Кристиану Гольдбаху Эйлер описал требуемое обобщение^[4]:

x!=limm→∞mxm!(x+1)(x+2)…(x+m){\displaystyle x!=\lim _{m\to \infty }{\frac {m^{x}m!}{(x+1)(x+2)\dots (x+m)}}}

Развивая эту идею, Эйлер в следующем, 1730 году ввёл понятие гамма-функции в виде классического интеграла. Эти результаты он опубликовал в журнале Санкт-Петербургской Академии наук в 1729—1730 годах.

Обобщения

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

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

n!!=2⋅4⋅6⋅…⋅n=∏i=1n22i=21n2⋅(n2)!{\displaystyle 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)!}

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

n!!=1⋅3⋅5⋅…⋅n=∏i=0n−12(2i+1)=n!21n−12⋅(n−12)!{\displaystyle 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)!}}}

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

n!!=(n+1)!(n+1)!!{\displaystyle n!!={\frac {(n+1)!}{(n+1)!!}}}

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

n!!=n!(n−1)!!{\displaystyle n!!={\frac {n!}{(n-1)!!}}}

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

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

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

(2k)!!=2⋅4⋅6⋅…⋅2k=∏i=1k2i=2k⋅k!{\displaystyle (2k)!!=2\cdot 4\cdot 6\cdot \ldots \cdot 2k=\prod _{i=1}^{k}2i=2^{k}\cdot k!}

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

(2k+1)!!=1⋅3⋅5⋅…⋅(2k+1)=∏i=0k(2i+1)=(2k+1)!2k⋅k!{\displaystyle (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!}}}

По договорённости: 0!!=1{\displaystyle 0!!=1}. Также это равенство выполняется естественным образом:

0!!=20⋅0!=1⋅1=1{\displaystyle 0!!=2^{0}\cdot 0!=1\cdot 1=1}

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

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

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 обозначается n!!…!⏟m{\displaystyle \textstyle n\underbrace {!!\ldots !} _{m}} и определяется следующим образом. Пусть число n представимо в виде n=mk−r,{\displaystyle n=mk-r,} где k∈Z,{\displaystyle k\in \mathbb {Z} ,} r∈{0,1,…,m−1}.{\displaystyle r\in \{0,1,\ldots ,m-1\}.} Тогда^[6]

n!!…!⏟m=∏i=1k(mi−r){\displaystyle n\underbrace {!!\ldots !} _{m}=\prod _{i=1}^{k}(mi-r)}

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

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

n!!…!⏟m=∏i=1k(mi−r)=mk⋅Γ(k−rm+1)Γ(1−rm).{\displaystyle 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)}}.}

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

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

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

(n)k=nk_=n[k]=n⋅(n−1)⋅…⋅(n−k+1)=n!(n−k)!=∏i=n−k+1ni{\displaystyle (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}.

Например:

n = 7; k = 4,

(n − k) + 1 = 4,

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

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

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

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

n(k)=nk¯=n⋅(n+1)⋅…⋅(n+k−1)=(n+k−1)!(n−1)!=∏i=n(n+k)−1i.{\displaystyle 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.}

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

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

p5#=2×3×5×7×11=2310{\displaystyle p_{5}\#=2\times 3\times 5\times 7\times 11=2310}.

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

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

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 факториалов. Согласно этому определению, суперфакториал четырёх равен

sf⁡(4)=1!×2!×3!×4!=288{\displaystyle \operatorname {sf} (4)=1!\times 2!\times 3!\times 4!=288}

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

В общем

sf⁡(n)=∏k=1nk!=∏k=1nkn−k+1=1n⋅2n−1⋅3n−2⋯(n−1)2⋅n1.{\displaystyle \operatorname {sf} (n)=\prod _{k=1}^{n}k!=\prod _{k=1}^{n}k^{n-k+1}=1^{n}\cdot 2^{n-1}\cdot 3^{n-2}\cdots (n-1)^{2}\cdot n^{1}.}

Последовательность суперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[9]:

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 году Генри Боттомли (англ.), что привело к гиперфакториалам (англ. Hyperfactorial), которые являются произведением первых n суперфакториалов. Последовательность гиперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[10]:

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, то есть

mf⁡(n,m)=mf⁡(n−1,m)mf⁡(n,m−1)=∏k=1nk(n−k+m−1n−k),{\displaystyle \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},}

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

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

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

См. также

Примечания

1. ↑ Коэффициенты этого разложения дают A001163 (числители) и A001164 (знаменатели)
2. ↑ Крамп, Кристиан
3. ↑ Pearson, Karl (1924), «Historical note on the origin of the normal curve of errors», Biometrika Т. 16: 402–404 [p. 403], DOI 10.2307/2331714 : «Стирлинг лишь показал, что арифметическая константа в формуле Муавра равна 2π{\displaystyle {\sqrt {2\pi }}}. Я считаю, что это не делает его автором теоремы»
4. ↑ Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. — М.: Мир, 1976. — С. 79—81. — 736 с.
5. ↑ Последовательность A006882 в OEIS
6. ↑ «Энциклопедия для детей» Аванта+. Математика.
7. ↑ wolframalpha.com.
8. ↑ Последовательность A002110 в OEIS
9. ↑ Последовательность A000178 в OEIS
10. ↑ Последовательность A055462 в OEIS

Факториал 10 000 — Максим Солохин — LiveJournal

Оказывается, Python 3 не накладывает ограничений на длину целого числа! То есть, вычислительные возможности (в целых числах) ограничены только размером оперативной памяти компа и продолжительностью жизни пользователя.

Сразу вспомнилось, как в начале 80-х, впревые взяв в руки калькулятор, я тут же начал брать на нем факторалы больших чисел и выяснил, что максимум, что он способен потянуть — это 69!

[Душещипательные подробности.]
Можете себе представить, в туманном детстве я очень любил фантастику и любил считать. Как-то раз я сел и посчитал орбиту, как лететь до Марса. Я сделал это в ту эпоху, когда калькуляторов у нас в провинции ещё не было. Моим инструментом была логарифмическая линейка (чтобы прикинуть) и таблицы Брадиса (для серьезного счета). Явившийся из будущего Калькулятор показался мне почти божественным инструментом. И тот факт, что он обломался уже на 70! внушил мне на всю жизнь неодолимое уважение к этой функции.

Долгие годы для меня 100! было синонимом недостижимой мечты 🙂 Прошу прощения у гуманитариев за такие неаппетитные метафоры. Но такова се ля ви.

Надеюсь, что никто меня не осудит, узнав, что вчера я первым делом посчитал факториал сотни. И что вы думаете? Во-первых, оказалось, что 100! — это круглое число. Действительно, нули должны накапливаться. Я как-то не задумывался над этим. Вот оно, родимое:

100! =
93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000

Аппетит приходит во время еды. Я сразу же посчитал заодно и 1000!:

Кому-то это покажется смешным, а мой мир изменился. В лучшую сторону.
Вот оно:

[Осторожно, много цифр!]
1000! = 402387260077093773543702433923003985719374864210714632543799910429938512398629020592044208486969404800479988610197196058631666872994808558901323829669944590997424504087073759918823627727188732519779505950995276120874975462497043601418278094646496291056393887437886487337119181045825783647849977012476632889835955735432513185323958463075557409114262417474349347553428646576611667797396668820291207379143853719588249808126867838374559731746136085379534524221586593201928090878297308431392844403281231558611036976801357304216168747609675871348312025478589320767169132448426236131412508780208000261683151027341827977704784635868170164365024153691398281264810213092761244896359928705114964975419909342221566832572080821333186116811553615836546984046708975602900950537616475847728421889679646244945160765353408198901385442487984959953319101723355556602139450399736280750137837615307127761926849034352625200015888535147331611702103968175921510907788019393178114194545257223865541461062892187960223838971476088506276862967146674697562911234082439208160153780889893964518263243671616762179168909779911903754031274622289988005195444414282012187361745992642956581746628302955570299024324153181617210465832036786906117260158783520751516284225540265170483304226143974286933061690897968482590125458327168226458066526769958652682272807075781391858178889652208164348344825993266043367660176999612831860788386150279465955131156552036093988180612138558600301435694527224206344631797460594682573103790084024432438465657245014402821885252470935190620929023136493273497565513958720559654228749774011413346962715422845862377387538230483865688976461927383814900140767310446640259899490222221765904339901886018566526485061799702356193897017860040811889729918311021171229845901641921068884387121855646124960798722908519296819372388642614839657382291123125024186649353143970137428531926649875337218940694281434118520158014123344828015051399694290153483077644569099073152433278288269864602789864321139083506217095002597389863554277196742822248757586765752344220207573630569498825087968928162753848863396909959826280956121450994871701244516461260379029309120889086942028510640182154399457156805941872748998094254742173582401063677404595741785160829230135358081840096996372524230560855903700624271243416909004153690105933983835777939410970027753472000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Чтоб два раза не вставать, посчитал уж заодно и 10 000! Делов-то. Пара секунд времени.

[Острожно, очень много цифер!!!]10000! = 284625968091705451890641321211986889014805140170279923079417999427441134000376444377299078675778477581588406214231752883004233994015351873905242116138271617481982419982759241828925978789812425312059465996259867065601615720360323979263287367170557419759620994797203461536981198970926112775004841988454104755446424421365733030767036288258035489674611170973695786036701910715127305872810411586405612811653853259684258259955846881464304255898366493170592517172042765974074461334000541940524623034368691540594040662278282483715120383221786446271838229238996389928272218797024593876938030946273322925705554596900278752822425443480211275590191694254290289169072190970836905398737474524833728995218023632827412170402680867692104515558405671725553720158521328290342799898184493136106403814893044996215999993596708929801903369984844046654192362584249471631789611920412331082686510713545168455409360330096072103469443779823494307806260694223026818852275920570292308431261884976065607425862794488271559568315334405344254466484168945804257094616736131876052349822863264529215294234798706033442907371586884991789325806914831688542519560061723726363239744207869246429560123062887201226529529640915083013366309827338063539729015065818225742954758943997651138655412081257886837042392087644847615690012648892715907063064096616280387840444851916437908071861123706221334154150659918438759610239267132765469861636577066264386380298480519527695361952592409309086144719073907685857559347869817207343720931048254756285677776940815640749622752549933841128092896375169902198704924056175317863469397980246197370790418683299310165541507423083931768783669236948490259996077296842939774275362631198254166815318917632348391908210001471789321842278051351817349219011462468757698353734414560131226152213911787596883673640872079370029920382791980387023720780391403123689976081528403060511167094847222248703891999934420713958369830639622320791156240442508089199143198371204455983440475567594892121014981524545435942854143908435644199842248554785321636240300984428553318292531542065512370797058163934602962476970103887422064415366267337154287007891227493406843364428898471008406416000936239352612480379752933439287643983163903127764507224792678517008266695983895261507590073492151975926591927088732025940663821188019888547482660483422564577057439731222597006719360617635135795298217942907977053272832675014880244435286816450261656628375465190061718734422604389192985060715153900311066847273601358167064378617567574391843764796581361005996386895523346487817461432435732248643267984819814584327030358955084205347884933645824825920332880890257823882332657702052489709370472102142484133424652682068067323142144838540741821396218468701083595829469652356327648704757183516168792350683662717437119157233611430701211207676086978515597218464859859186436417168508996255168209107935702311185181747750108046225855213147648974906607528770828976675149510096823296897320006223928880566580361403112854659290840780339749006649532058731649480938838161986588508273824680348978647571166798904235680183035041338757319726308979094357106877973016339180878684749436335338933735869064058484178280651962758264344292580584222129476494029486226707618329882290040723904037331682074174132516566884430793394470192089056207883875853425128209573593070181977083401638176382785625395168254266446149410447115795332623728154687940804237185874230262002642218226941886262121072977766574010183761822801368575864421858630115398437122991070100940619294132232027731939594670067136953770978977781182882424429208648161341795620174718316096876610431404979581982364458073682094040222111815300514333870766070631496161077711174480595527643483333857440402127570318515272983774359218785585527955910286644579173620072218581433099772947789237207179428577562713009239823979219575811972647426428782666823539156878572716201461922442662667084007656656258071094743987401107728116699188062687266265655833456650078903090506560746330780271585308176912237728135105845273265916262196476205714348802156308152590053437211410003030392428664572073284734817120341681863289688650482873679333984439712367350845273401963094276976526841701749907569479827578258352299943156333221074391315501244590053247026803129123922979790304175878233986223735350546426469135025039510092392865851086820880706627347332003549957203970864880660409298546070063394098858363498654661367278807487647007024587901180465182961112770906090161520221114615431583176699570609746180853593904000678928785488278509386373537039040494126846189912728715626550012708330399502578799317054318827526592258149489507466399760073169273108317358830566126147829976631880700630446324291122606919312788815662215915232704576958675128219909389426866019639044897189185974729253103224802105438410443258284728305842978041624051081103269140019005687843963415026965210489202721402321602348985888273714286953396817551062874709074737181880142234872484985581984390946517083643689943061896502432883532796671901845276205510857076262042445096233232047447078311904344993514426255017017710173795511247461594717318627015655712662958551250777117383382084197058933673237244532804565371785149603088025802840678478094146418386592266528068679788432506605379430462502871051049293472674712674998926346273581671469350604951103407554046581703934810467584856259677679597682994093340263872693783653209122877180774511526226425487718354611088863608432728062277766430972838790567286180360486334648933714394152502594596525015209595361579771355957949657297756509026944280884797612766648470036196489060437619346942704440702153179435838310514049154626087284866787505416741467316489993563813128669314276168635373056345866269578945682750658102359508148887789550739393653419373657008483185044756822154440675992031380770735399780363392673345495492966687599225308938980864306065329617931640296124926730806380318739125961511318903593512664808185683667702865377423907465823909109555171797705807977892897524902307378017531426803639142447202577288917849500781178893366297504368042146681978242729806975793917422294566831858156768162887978706245312466517276227582954934214836588689192995874020956960002435603052898298663868920769928340305497102665143223061252319151318438769038237062053992069339437168804664297114767435644863750268476981488531053540633288450620121733026306764813229315610435519417610507124490248732772731120919458651374931909651624976916575538121985664322079786663003989386602386073578581143947158728008933741650337929658326184360731333275260236051155242272284472514638632693697637625101967143801256912277844284269994408291522159046944372824986580852051865762929927755088331286726384187132777808744466438753526447335624411394476287809746506839529821081749679588364522733446948737934717907100649782364660166805720342979292074468223228486658395222114468595728584038633772780302275915304978658739195136502462741958990883743873315942873720297706202071202130385721759332111624133304227737424163535535879770653096476858860773014327782903288947958184043788585677729320944767786693575374600481423767411941826716368704810569111562156143575162905273512243500806046536689174581965494826086122607502930627614788132689552807361490225258196828150510333181321296596649581590304212387756459909732967280666838491662579497479229053618455637410347914307715611686504842924902811029925296787352987678292690407887784802624792227507359484058174390862518779468900459420601686051427722444862724699111462001498806627235388378093806285443847630532350701320280294883920081321354464500561349870178342711061581772898192906564986880810455622337030672542512772773302834984335957725759562247037077933871465930330886296994403183326657975146765027173462988837773978482187007180267412659971587280354404784324786749071279216728985235884869435466922551013376063779151645972542571169684773399511589983490818882812639844005055462100669887926145582145653196969098272539345157604086134762587781658672944107753588241623157790825380547469335405824697176743245234514984830271703965438877376373581917365824542733474904242629460112998819165637138471118491569150547681404117498014542657123942044254410280758060013881986506137592885390389226443229479902864828400995986759635809991126953676015271730868527565721475835071222982965295649178350717508357413622825450556202709694174767992592297748886274113145876761475314568953280931170526964864101874076732969866492364373825654750228164719268155598831966298483077766668406223143158843849105190582818167407644630333001197102930364558665946518690744752508378419876229904159117936827997606541860887216266548864923443910309232569106337759697390517811227646684867917360494043937033393519006093872683972992464784837272747709774666935997848571201567890002419472692209749841273231474015499809203814598214164811763571478015542315996678385348544864069364105569135313352311840535813489409381918218986948253839609899428220275993396352062177053435720733962505742167694651016084956014393032443042715760995273086846092044222261031542299844448021100981613338248273752189987382053151649271344981059501599748005715919122021544877487501034732461906339413030308923994119850062259021841644099881732143244221085542486208962502606043981801890263177811466174549997714406652328638463638470016556181538610981881111817341913055050248603458567555856375117297742993290749442365796683327009183673389773479017592488856603799527715405690830173117238941403261596122929122251910959487438056733812785386164918427869384175568980471008598683720336151751580970225662752001609561922299254017598785220385459137717839763898111984858032910487516669211951045148966777615982494687274206634375932078526189226872855276713248832677941529128391654079683441902390948036766887078380113670427539713962014247849351967353014444040378235266744375567408830252257452738062099804512331881027290120429979890054231262179681352377580411625114591759932791341765072928267622368972919605282896752235214252342172478418693173974604118776346046256371353098015906177367587153368039585590548273618761121513846734328843250900456453581866819051087317913462157303395405809871720138443770992795327976755310993813658404035567957318941419765114363255262706397431465263481200327200967556677019262425850577706178937982310969867884485466595273270616703089182772064325519193936735913460377570831931808459295651588752445976017294557205055950859291755065101156650755216351423181535481768841960320850508714962704940176841839805825940381825939864612602759542474333762262562871539160690250989850707986606217322001635939386114753945614066356757185266170314714535167530074992138652077685238248846006237358966080549516524064805472958699186943588111978336801414880783212134571523601240659222085089129569078353705767346716678637809088112834503957848122121011172507183833590838861875746612013172982171310729447376562651723106948844254983695141473838924777423209402078312008072353262880539062660181860504249387886778724955032554242842265962710506926460717674675023378056718934501107373770341193461133740338653646751367336613947315502114571046711614452533248501979010834316419899984140450449011301637595206757155675094852435802691040776372109986716242547953853128528899309565707292186735232166660978749896353626105298214725694827999962208257758409884584842503911894476087296851849839763679182422665711671665801579145008116571922002337597653174959223978849828147055061906892756252104621856613058002556079746097267150333270323100252746404287555565468837658388025432274035074316842786206376970547917264843781744463615205709332285872843156907562555693055588188226035900067393399525043798874709350792761811162763097712579839759965266121203174958820594357548838622825084014088857205839924009712192125480740977529742787759125660264434827136472318491251808662787086261166999896348124058036847945873648201246536632288890116365722708877577361520034501022688901891016735720586614100117236647626578353963642978190116470561702796319223322942287393092333307482589376261989975965300841353832411258996396294451290828020232254989366275064995308389256322467946959606690469066862926450062197401217828998729797048590217750600928933289572723920195899944719451473608507704007257174393181484619094062695452850305263410005650222261523093648828871220464542677005771489943351471625042523651737102660686472534581201866832739536825474565365535975466857887000569883602866864507402569930874834410940860863037079082952405767316849418558104824753047589233928015713028241062349999459323905214098565595656613460033961505151647588527422147325179995489779928495227460298556667008118712008561550164574004841702103030389963392533374665568178244107374093369192941046323077319947598263073834996007703724104462854146487041162738956498345551621656851145513838220470054839966717062464675661012913820489091211172293862442531589130669874620455872448060528293781483026221645422804217577607623654598282230708155034694049383177550533050946989994761194192312807218072169643784333136067606769651871383943387724854936890618457005720436966664650807344958144959663062466986798328725863000642152202101718139173252751736722626214549454685060063346927138383117158497530926432524869602200590998026637653862254632651684149633063695480865511012567577178906166947583440434862184853695916021720304561834975241620399264413316518847686068306420048585579244733402901425888764037125186422290163336915850632737271995963629127833447862188878710095337535510546889802363782637149269132895643394408994701214521345721177156575914517348951950168006213539271754198438761635434798069208866662270995123717062419249142825764531257699397353416730468645851819796682320156937926849269999839924135719414968822737040228208051718080034004806152617920139789451862952905584407037383005335524211539033851858293667791906101163062336731444192028938572018555695963308336154502904248223092970871247880020173830720604826801566753975937899317935157999589295621563073384162945999002767308328277165950642179665231904392505432267537318117553154767807394703389311851072977243183789726749574557781833454959423173535582910469673153912759756872818616911610831563372326399688814905439432611971822749967911766285534018601983158096299817911072088049922920160620590672712735994618716349457749958053379471871054564525793960242102591364155283983952017730127125148920510617082280083399856657866469207371142696823017704163248294794095586946990893791651910063051853521023451897981276191430618643627030819771249927510567329094812020577471006877033797089342292071839037441675034938188363422292849467906602856742932516425690443634730876567970565956772852910812427331544065801998027115791262541727974528625748659219332938059152395247355188871198603913196542875762901905039640835602462775343144091556421817294599415960619796226332427158634259779473486820748020215387347297079997533329877855310538201621697918803807530063343507661477371359393626519052222425281410847470452956886477579135021609220403484491499507787431071896557254926512826934895157950754861723413946103651766167503299486422440396595118822649813159250801851263866353086222234910946290593178294081956404847024565383054320565069244226718632553076407618720867803917113563635012695250912910204960428232326289965027589510528443681774157309418748944280654275614309758281276981249369933130289466705604140843089422311409127222381484703643410196304136307367710600381595908297464101144213583210425743583502207371732197450890355731873504458272387707282714061629979196293572241044771550516525358675441093950792183690152611384403826800541509243465117114364778994445539936536677275895657139875055429908245856095100369346631006737147080299276569334355009271898540501099174749799915543920319089619676154446860481754006956894714639282453838070104441810455061713051605843558175210323384658292010710300611242834074586070060601948305513648670210203647084708074227043718937069656887956179287130452245168420274020219664156052803350612935587390793935244040925842483806071774446099640352218910229619090325690423813744924949068923143308842243996313963915458540652863264688075811487483714082841764552263863135202648940162624948023885682315991029526203371264492799019382111345184463875445163912393779741905766499117642376377222828023184657380501212778096803156914772649102575035087587922481102235445244108724485657007551871321465920935485045528291707495967754044507794948363717560623269257574128131102419103733380804343253108846948315557294022653949729138175813386194570577995618087559514136449076131096171559283765858400364893740768222575239359887310816896676882874038371928276904315141069976783038190856907130919313408460195111474827663507246765349220400586266776329355166319396224989799127080044659822648991252268131243005281049950585956765271235914944426125544376186450292028813585828717895772241163808151618316031297287969874801398286216456291961530963583373136197247733323530254665711969026112373806290302429042757945490300226608474465131617416919168517464649454596960053308852527920834724952354731106741090992235410555062996876421539512493559863113466617251168907856333289355691504494851891134883018763651006385025659164330219285655962639143828950683248387271656165601115315170552229557659449724547888155323164174532671679788611411653555975883319796380709629988807673036169403177364481404278677842512324499746934213482171795951906982046029971720011748573038897192055974147424530111358697662566077709702256332617011084637847955552585045780588794407560649741279745309184184052075585264622088214836467546522376092107875391904546848523497599860449433228280731206799224024775075141058907746273343190912554513522253292759138420473846030561631542365529353122783897594465157873373434631722800010313804254814040220905804050560038609374034350688630814346838489007089385650500275690596780694046984351845351341410316151336830437147866429253897171659786290107284007589397003883177426481637251132773699268277094653425835961118819550924620621539781211972447626237715344520480698190825249439639622511138311774289785358255908324904804975160471042575697534425515157798156003708472306034847539775136883904043160174862488713393118185230294254256762024856883939708367487884537891725741451559179190353985350772009005949793529394596312134455033682606900598287177235333752219419155473037420623432628929683970150588921911120492498647920534108723491154309871821600557622090757323046261065977449476583463130255986363150299596723524769439754625302067881933043722848002093053541556406648385693781446031386975634592002334626069959555134847541478911808303298164215874529229526789379256477520290526753493566737442931826733745716424654077482679010467787590854081305314471764558698941696689404364899524652474439883495838712062964854133575538134195004987438133690627039738745866042968715958207157665998266073170056244655417630245013491595672889426197461444969086716558597827292287027237748350973629010191304178127357730377818040815891360052073158069410343050031843493423602692447330600138611197817744726696089283210525431164960334201020326038636725328896483334058622048436165753620014684054766496664735669795729533948091382637033242209308393669549806882404916220631479114946420425000224504134255585619374429052572524363200544874415243073052150704910204340765724768650957511741254137295316445217655772353486018215668333525205328300001083440087622668438170232356056451582569541773591978136499755596019125677449427179863600458474052092900893973152760243049516538644313881478769775414787574326101598797097588556258067661979730984724607694848211279484279765366070550516391044150225544203297212920330093533566872945959123279658863764868941884336405484940095749657916576872139273301535550978651147679473996906231848783775154626138236516659563372093457082083018404827970057280714329257275774362295870473616416097318172415942042703660664040897402455215307252273886372418596464552236732604111645984640200102169208233151553888210715271912678765317950719082045251004478212913185440548144941518671142071036938911291250127508534663377177493760165434546963900427111298292550968304206657253642794722000208353138837087816499571897176293387948542712768826520037663259245616148687448974715193662192756658524621144574070106753804275641844408348052038382650526016985840600847884224218878569278977518104428054744272294551674203356864606099779731249504333214252050536757904995207835976504153790011325795360406551726548790221735954441511394292316489506631778130390574620824491719213118641296337046614064569001789423567387755231309527859127745332418554424844844936642107313488191806401892223173021566458134731864499979057816620914698707180393888857812807402263636022941143548698714021435720559477308928086536789202019351026053615679244832767494761178583160718657103108422005602595451151913913091195444478443610327418761023388433916875892334237908598419682665256106287512375723184914749519459857288979349817917618226524804082371281097907726388642860679170822885758527034708397145616199262478447946927949968459456323827022973641735034307831941156982478200132908512028784748058601889600459017459740556307327144876790852888679788099706952406810066256114400149834135808897372468440649488570741676879164132242053736540673301863924979109154747859591638655975070905811759248995022147992509456355825143158144640601342834904227983579396592589852007638456466816407326819283460077672858762849000688745646392749644159040340336723378144915970329417872941550610541295154001593938516639293256774295575494800466582735796539909402335436446493768272725418736275475329768081903253361410864330842377717389952215367630953020459024386946327028952939944830135775890812148845584938198745059209140672095224690962630769417533409836988593637003149737289779963600186265001749292900879311899978229637123066422979961635825726001122889836476514180459757700421208339493646596473364642890444993253962270919073737057720513228159578632275919127860542978629531886155598047281607108641328035854001600555756868557917859778991979026565926212830072253514015259735693007290153922111168685047404021721744420517380002513610004945341193243316683442431259630988123969622023588583955878316851948331266535773532443799356

Факториал — Википедия. Что такое Факториал

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

n!=1⋅2⋅…⋅n=∏k=1nk{\displaystyle n!=1\cdot 2\cdot \ldots \cdot n=\prod _{k=1}^{n}k}.

Например,

5!=1⋅2⋅3⋅4⋅5=120{\displaystyle 5!=1\cdot 2\cdot 3\cdot 4\cdot 5=120}.

Из определения факториала следует соотношение (n−1)!=n!n{\displaystyle (n-1)!={\frac {n!}{n}}}, откуда при n=1{\displaystyle n=1} формально находим

0!=1{\displaystyle 0!=1}.

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

Факториал активно используется в различных разделах математики: комбинаторике, математическом анализе, теории чисел, функциональном анализе и др.

Факториал является чрезвычайно быстро растущей функцией. Он растёт быстрее, чем любая показательная функция или любая степенная функция, а также быстрее, чем любая сумма произведений этих функций. Однако, степенно-показательная функция nn{\displaystyle n^{n}} растёт быстрее факториала, так же как и большинство двойных степенных, например een{\displaystyle e^{e^{n}}}.

Свойства

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

n!={1n=0,n⋅(n−1)!n>0.{\displaystyle n!={\begin{cases}1&n=0,\\n\cdot (n-1)!&n>0.\end{cases}}}

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

В комбинаторике факториал натурального числа 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{\displaystyle 0!=1}. Так, формула для числа размещений из n{\displaystyle n} элементов по m{\displaystyle m}

Anm=n!(n−m)!{\displaystyle A_{n}^{m}={\frac {n!}{(n-m)!}}}

при n=m{\displaystyle n=m} обращается в формулу для числа перестановок из n{\displaystyle n} элементов (порядка n{\displaystyle n}), которое равно n!{\displaystyle n!}.

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

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

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

n!=Γ(n+1){\displaystyle n!=\Gamma (n+1)}.

Это же выражение используют для обобщения понятия факториала на множество вещественных чисел. Используя аналитическое продолжение гамма-функции, область определения факториала также расширяют на всю комплексную плоскость, исключая особые точки при n=−1,−2,−3…{\displaystyle n=-1,-2,-3\ldots }.

Непосредственным обобщением факториала на множества вещественных и комплексных чисел служит пи-функция Π(z)=Γ(z+1){\displaystyle \Pi (z)=\Gamma (z+1)}, которая при Re(z)>−1{\displaystyle \mathrm {Re} (z)>-1} может быть определена как

Π(z)=∫0∞tze−tdt{\displaystyle \Pi (z)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t} (интегральное определение).

Пи-функция натурального числа или нуля совпадает с его факториалом: Π(n)=n!{\displaystyle \Pi (n)=n!}. Как и факториал, пи-функция удовлетворяет рекуррентному соотношению Π(z)=zΠ(z−1){\displaystyle \Pi (z)=z\Pi (z-1)}.

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

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

n!=2πn(ne)n(1+112n+1288n2−13951840n3−5712488320n4+163879209018880n5+524681975246796800n6+O(n−7)),{\displaystyle n!={\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}-{\frac {139}{51840n^{3}}}-{\frac {571}{2488320n^{4}}}+{\frac {163879}{209018880n^{5}}}+{\frac {5246819}{75246796800n^{6}}}+O\left(n^{-7}\right)\right),}

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

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

n!≈2πn(ne)n.{\displaystyle n!\approx {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}.}

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

2πn(ne)ne1/(12n+1)<n!<2πn(ne)ne1/(12n).{\displaystyle {\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)}.}

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

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

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

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

⌊np⌋+⌊np2⌋+⌊np3⌋+….{\displaystyle \left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\ldots .}

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

n!=∏pp⌊np⌋+⌊np2⌋+…,{\displaystyle n!=\prod _{p}p^{\lfloor {\frac {n}{p}}\rfloor +\lfloor {\frac {n}{p^{2}}}\rfloor +\ldots },}

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

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

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

(xn)(n)=n!{\displaystyle \left(x^{n}\right)^{(n)}=n!}

Например:

(x5)(5)=(5⋅x4)(4)=(5⋅4⋅x3)‴=(5⋅4⋅3⋅x2)″=(5⋅4⋅3⋅2⋅x)′=5⋅4⋅3⋅2⋅1=5!{\displaystyle \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!}

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

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

n!2⩾nn⩾n!⩾n{\displaystyle n!^{2}\geqslant n^{n}\geqslant n!\geqslant n}

Для любого n>1:

n!{\displaystyle n!} не является квадратом целого числа.

Факториал дробного числа

Для дробного числа, факториал может определяться по формуле:

n!=[n]!⋅([n]+1){n}{\displaystyle n!=[n]!\cdot ([n]+1)^{\left\{n\right\}}}

где, [n]{\displaystyle [n]}- целая часть от изначального числа ([4,5] = 4), a {n}{\displaystyle \{n\}}- дробная часть ({4,5} = 0,5).

История

Факториальные выражения появились ещё в ранних исследованиях по комбинаторике, хотя компактное обозначение n!{\displaystyle n!} предложил французский математик Кристиан Крамп только в 1808 году^[2]. Важным этапом стало открытие формулы Стирлинга, которую Джеймс Стирлинг опубликовал в своём трактате «Дифференциальный метод» (лат. Methodus differentialis, 1730 год). Немного ранее почти такую же формулу опубликовал друг Стирлинга Абрахам де Муавр, но в менее завершённом виде (вместо коэффициента 2π{\displaystyle {\sqrt {2\pi }}} была неопределённая константа)^[3].

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

(12)!=π2{\displaystyle \left({1 \over 2}\right)!={\frac {\sqrt {\pi }}{2}}}

Стирлинг не знал, что годом ранее решение проблемы уже нашёл Леонард Эйлер. В письме к Кристиану Гольдбаху Эйлер описал требуемое обобщение^[4]:

x!=limm→∞mxm!(x+1)(x+2)…(x+m){\displaystyle x!=\lim _{m\to \infty }{\frac {m^{x}m!}{(x+1)(x+2)\dots (x+m)}}}

Развивая эту идею, Эйлер в следующем, 1730 году ввёл понятие гамма-функции в виде классического интеграла. Эти результаты он опубликовал в журнале Санкт-Петербургской Академии наук в 1729—1730 годах.

Обобщения

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

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

n!!=2⋅4⋅6⋅…⋅n=∏i=1n22i=21n2⋅(n2)!{\displaystyle 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)!}

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

n!!=1⋅3⋅5⋅…⋅n=∏i=0n−12(2i+1)=n!21n−12⋅(n−12)!{\displaystyle 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)!}}}

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

n!!=(n+1)!(n+1)!!{\displaystyle n!!={\frac {(n+1)!}{(n+1)!!}}}

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

n!!=n!(n−1)!!{\displaystyle n!!={\frac {n!}{(n-1)!!}}}

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

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

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

(2k)!!=2⋅4⋅6⋅…⋅2k=∏i=1k2i=2k⋅k!{\displaystyle (2k)!!=2\cdot 4\cdot 6\cdot \ldots \cdot 2k=\prod _{i=1}^{k}2i=2^{k}\cdot k!}

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

(2k+1)!!=1⋅3⋅5⋅…⋅(2k+1)=∏i=0k(2i+1)=(2k+1)!2k⋅k!{\displaystyle (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!}}}

По договорённости: 0!!=1{\displaystyle 0!!=1}. Также это равенство выполняется естественным образом:

0!!=20⋅0!=1⋅1=1{\displaystyle 0!!=2^{0}\cdot 0!=1\cdot 1=1}

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

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

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 обозначается n!!…!⏟m{\displaystyle \textstyle n\underbrace {!!\ldots !} _{m}} и определяется следующим образом. Пусть число n представимо в виде n=mk−r,{\displaystyle n=mk-r,} где k∈Z,{\displaystyle k\in \mathbb {Z} ,} r∈{0,1,…,m−1}.{\displaystyle r\in \{0,1,\ldots ,m-1\}.} Тогда^[6]

n!!…!⏟m=∏i=1k(mi−r){\displaystyle n\underbrace {!!\ldots !} _{m}=\prod _{i=1}^{k}(mi-r)}

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

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

n!!…!⏟m=∏i=1k(mi−r)=mk⋅Γ(k−rm+1)Γ(1−rm).{\displaystyle 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)}}.}

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

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

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

(n)k=nk_=n[k]=n⋅(n−1)⋅…⋅(n−k+1)=n!(n−k)!=∏i=n−k+1ni{\displaystyle (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}.

Например:

n = 7; k = 4,

(n − k) + 1 = 4,

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

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

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

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

n(k)=nk¯=n⋅(n+1)⋅…⋅(n+k−1)=(n+k−1)!(n−1)!=∏i=n(n+k)−1i.{\displaystyle 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.}

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

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

p5#=2×3×5×7×11=2310{\displaystyle p_{5}\#=2\times 3\times 5\times 7\times 11=2310}.

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

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

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 факториалов. Согласно этому определению, суперфакториал четырёх равен

sf⁡(4)=1!×2!×3!×4!=288{\displaystyle \operatorname {sf} (4)=1!\times 2!\times 3!\times 4!=288}

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

В общем

sf⁡(n)=∏k=1nk!=∏k=1nkn−k+1=1n⋅2n−1⋅3n−2⋯(n−1)2⋅n1.{\displaystyle \operatorname {sf} (n)=\prod _{k=1}^{n}k!=\prod _{k=1}^{n}k^{n-k+1}=1^{n}\cdot 2^{n-1}\cdot 3^{n-2}\cdots (n-1)^{2}\cdot n^{1}.}

Последовательность суперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[9]:

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 году Генри Боттомли (англ.), что привело к гиперфакториалам (англ. Hyperfactorial), которые являются произведением первых n суперфакториалов. Последовательность гиперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[10]:

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, то есть

mf⁡(n,m)=mf⁡(n−1,m)mf⁡(n,m−1)=∏k=1nk(n−k+m−1n−k),{\displaystyle \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},}

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

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

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

См. также

Примечания

Факториал — Википедия. Что такое Факториал

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

n!=1⋅2⋅…⋅n=∏k=1nk{\displaystyle n!=1\cdot 2\cdot \ldots \cdot n=\prod _{k=1}^{n}k}.

Например,

5!=1⋅2⋅3⋅4⋅5=120{\displaystyle 5!=1\cdot 2\cdot 3\cdot 4\cdot 5=120}.

Из определения факториала следует соотношение (n−1)!=n!n{\displaystyle (n-1)!={\frac {n!}{n}}}, откуда при n=1{\displaystyle n=1} формально находим

0!=1{\displaystyle 0!=1}.

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

Факториал активно используется в различных разделах математики: комбинаторике, математическом анализе, теории чисел, функциональном анализе и др.

Факториал является чрезвычайно быстро растущей функцией. Он растёт быстрее, чем любая показательная функция или любая степенная функция, а также быстрее, чем любая сумма произведений этих функций. Однако, степенно-показательная функция nn{\displaystyle n^{n}} растёт быстрее факториала, так же как и большинство двойных степенных, например een{\displaystyle e^{e^{n}}}.

Свойства

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

n!={1n=0,n⋅(n−1)!n>0.{\displaystyle n!={\begin{cases}1&n=0,\\n\cdot (n-1)!&n>0.\end{cases}}}

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

В комбинаторике факториал натурального числа 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{\displaystyle 0!=1}. Так, формула для числа размещений из n{\displaystyle n} элементов по m{\displaystyle m}

Anm=n!(n−m)!{\displaystyle A_{n}^{m}={\frac {n!}{(n-m)!}}}

при n=m{\displaystyle n=m} обращается в формулу для числа перестановок из n{\displaystyle n} элементов (порядка n{\displaystyle n}), которое равно n!{\displaystyle n!}.

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

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

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

n!=Γ(n+1){\displaystyle n!=\Gamma (n+1)}.

Это же выражение используют для обобщения понятия факториала на множество вещественных чисел. Используя аналитическое продолжение гамма-функции, область определения факториала также расширяют на всю комплексную плоскость, исключая особые точки при n=−1,−2,−3…{\displaystyle n=-1,-2,-3\ldots }.

Непосредственным обобщением факториала на множества вещественных и комплексных чисел служит пи-функция Π(z)=Γ(z+1){\displaystyle \Pi (z)=\Gamma (z+1)}, которая при Re(z)>−1{\displaystyle \mathrm {Re} (z)>-1} может быть определена как

Π(z)=∫0∞tze−tdt{\displaystyle \Pi (z)=\int _{0}^{\infty }t^{z}e^{-t}\,\mathrm {d} t} (интегральное определение).

Пи-функция натурального числа или нуля совпадает с его факториалом: Π(n)=n!{\displaystyle \Pi (n)=n!}. Как и факториал, пи-функция удовлетворяет рекуррентному соотношению Π(z)=zΠ(z−1){\displaystyle \Pi (z)=z\Pi (z-1)}.

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

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

n!=2πn(ne)n(1+112n+1288n2−13951840n3−5712488320n4+163879209018880n5+524681975246796800n6+O(n−7)),{\displaystyle n!={\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{12n}}+{\frac {1}{288n^{2}}}-{\frac {139}{51840n^{3}}}-{\frac {571}{2488320n^{4}}}+{\frac {163879}{209018880n^{5}}}+{\frac {5246819}{75246796800n^{6}}}+O\left(n^{-7}\right)\right),}

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

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

n!≈2πn(ne)n.{\displaystyle n!\approx {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}.}

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

2πn(ne)ne1/(12n+1)<n!<2πn(ne)ne1/(12n).{\displaystyle {\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)}.}

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

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

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

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

⌊np⌋+⌊np2⌋+⌊np3⌋+….{\displaystyle \left\lfloor {\frac {n}{p}}\right\rfloor +\left\lfloor {\frac {n}{p^{2}}}\right\rfloor +\left\lfloor {\frac {n}{p^{3}}}\right\rfloor +\ldots .}

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

n!=∏pp⌊np⌋+⌊np2⌋+…,{\displaystyle n!=\prod _{p}p^{\lfloor {\frac {n}{p}}\rfloor +\lfloor {\frac {n}{p^{2}}}\rfloor +\ldots },}

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

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

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

(xn)(n)=n!{\displaystyle \left(x^{n}\right)^{(n)}=n!}

Например:

(x5)(5)=(5⋅x4)(4)=(5⋅4⋅x3)‴=(5⋅4⋅3⋅x2)″=(5⋅4⋅3⋅2⋅x)′=5⋅4⋅3⋅2⋅1=5!{\displaystyle \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!}

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

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

n!2⩾nn⩾n!⩾n{\displaystyle n!^{2}\geqslant n^{n}\geqslant n!\geqslant n}

Для любого n>1:

n!{\displaystyle n!} не является квадратом целого числа.

История

Факториальные выражения появились ещё в ранних исследованиях по комбинаторике, хотя компактное обозначение n!{\displaystyle n!} предложил французский математик Кристиан Крамп только в 1808 году^[2]. Важным этапом стало открытие формулы Стирлинга, которую Джеймс Стирлинг опубликовал в своём трактате «Дифференциальный метод» (лат. Methodus differentialis, 1730 год). Немного ранее почти такую же формулу опубликовал друг Стирлинга Абрахам де Муавр, но в менее завершённом виде (вместо коэффициента 2π{\displaystyle {\sqrt {2\pi }}} была неопределённая константа)^[3].

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

(12)!=π2{\displaystyle \left({1 \over 2}\right)!={\frac {\sqrt {\pi }}{2}}}

Стирлинг не знал, что годом ранее решение проблемы уже нашёл Леонард Эйлер. В письме к Кристиану Гольдбаху Эйлер описал требуемое обобщение^[4]:

x!=limm→∞mxm!(x+1)(x+2)…(x+m){\displaystyle x!=\lim _{m\to \infty }{\frac {m^{x}m!}{(x+1)(x+2)\dots (x+m)}}}

Развивая эту идею, Эйлер в следующем, 1730 году ввёл понятие гамма-функции в виде классического интеграла. Эти результаты он опубликовал в журнале Санкт-Петербургской Академии наук в 1729—1730 годах.

Обобщения

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

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

n!!=2⋅4⋅6⋅…⋅n=∏i=1n22i=21n2⋅(n2)!{\displaystyle 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)!}

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

n!!=1⋅3⋅5⋅…⋅n=∏i=0n−12(2i+1)=n!21n−12⋅(n−12)!{\displaystyle 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)!}}}

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

n!!=(n+1)!(n+1)!!{\displaystyle n!!={\frac {(n+1)!}{(n+1)!!}}}

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

n!!=n!(n−1)!!{\displaystyle n!!={\frac {n!}{(n-1)!!}}}

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

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

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

(2k)!!=2⋅4⋅6⋅…⋅2k=∏i=1k2i=2k⋅k!{\displaystyle (2k)!!=2\cdot 4\cdot 6\cdot \ldots \cdot 2k=\prod _{i=1}^{k}2i=2^{k}\cdot k!}

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

(2k+1)!!=1⋅3⋅5⋅…⋅(2k+1)=∏i=0k(2i+1)=(2k+1)!2k⋅k!{\displaystyle (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!}}}

По договорённости: 0!!=1{\displaystyle 0!!=1}. Также это равенство выполняется естественным образом:

0!!=20⋅0!=1⋅1=1{\displaystyle 0!!=2^{0}\cdot 0!=1\cdot 1=1}

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

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

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 обозначается n!!…!⏟m{\displaystyle \textstyle n\underbrace {!!\ldots !} _{m}} и определяется следующим образом. Пусть число n представимо в виде n=mk−r,{\displaystyle n=mk-r,} где k∈Z,{\displaystyle k\in \mathbb {Z} ,} r∈{0,1,…,m−1}.{\displaystyle r\in \{0,1,\ldots ,m-1\}.} Тогда^[6]

n!!…!⏟m=∏i=1k(mi−r){\displaystyle n\underbrace {!!\ldots !} _{m}=\prod _{i=1}^{k}(mi-r)}

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

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

n!!…!⏟m=∏i=1k(mi−r)=mk⋅Γ(k−rm+1)Γ(1−rm).{\displaystyle 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)}}.}

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

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

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

(n)k=nk_=n[k]=n⋅(n−1)⋅…⋅(n−k+1)=n!(n−k)!=∏i=n−k+1ni{\displaystyle (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}.

Например:

n = 7; k = 4,

(n − k) + 1 = 4,

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

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

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

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

n(k)=nk¯=n⋅(n+1)⋅…⋅(n+k−1)=(n+k−1)!(n−1)!=∏i=n(n+k)−1i.{\displaystyle 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.}

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

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

p5#=2×3×5×7×11=2310{\displaystyle p_{5}\#=2\times 3\times 5\times 7\times 11=2310}.

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

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

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 факториалов. Согласно этому определению, суперфакториал четырёх равен

sf⁡(4)=1!×2!×3!×4!=288{\displaystyle \operatorname {sf} (4)=1!\times 2!\times 3!\times 4!=288}

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

В общем

sf⁡(n)=∏k=1nk!=∏k=1nkn−k+1=1n⋅2n−1⋅3n−2⋯(n−1)2⋅n1.{\displaystyle \operatorname {sf} (n)=\prod _{k=1}^{n}k!=\prod _{k=1}^{n}k^{n-k+1}=1^{n}\cdot 2^{n-1}\cdot 3^{n-2}\cdots (n-1)^{2}\cdot n^{1}.}

Последовательность суперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[9]:

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 году Генри Боттомли (англ.), что привело к гиперфакториалам (англ. Hyperfactorial), которые являются произведением первых n суперфакториалов. Последовательность гиперфакториалов чисел n⩾0{\displaystyle n\geqslant 0} начинается так^[10]:

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, то есть

mf⁡(n,m)=mf⁡(n−1,m)mf⁡(n,m−1)=∏k=1nk(n−k+m−1n−k),{\displaystyle \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},}

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

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

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

См. также

Примечания

1. ↑ Коэффициенты этого разложения дают A001163 (числители) и A001164 (знаменатели)
2. ↑ Крамп, Кристиан
3. ↑ Pearson, Karl (1924), «Historical note on the origin of the normal curve of errors», Biometrika Т. 16: 402–404 [p. 403], DOI 10.2307/2331714 : «Стирлинг лишь показал, что арифметическая константа в формуле Муавра равна 2π{\displaystyle {\sqrt {2\pi }}}. Я считаю, что это не делает его автором теоремы»
4. ↑ Дональд Кнут. Искусство программирования, том I. Основные алгоритмы. — М.: Мир, 1976. — С. 79—81. — 736 с.
5. ↑ Последовательность A006882 в OEIS
6. ↑ «Энциклопедия для детей» Аванта+. Математика.
7. ↑ wolframalpha.com.
8. ↑ Последовательность A002110 в OEIS
9. ↑ Последовательность A000178 в

Факториал 1000

402,387,260,077,093,773,543,702,433,923,003,985,719,374,864,
210,714,632,543,799,910,429,938,512,398,629,020,592,044,208,
486,969,404,800,479,988,610,197,196,058,631,666,872,994,808,
558,901,323,829,669,944,590,997,424,504,087,073,759,918,823,
627,727,188,732,519,779,505,950,995,276,120,874,975,462,497,
043,601,418,278,094,646,496,291,056,393,887,437,886,487,337,
119,181,045,825,783,647,849,977,012,476,632,889,835,955,735,
432,513,185,323,958,463,075,557,409,114,262,417,474,349,347,
553,428,646,576,611,667,797,396,668,820,291,207,379,143,853,
719,588,249,808,126,867,838,374,559,731,746,136,085,379,534,
524,221,586,593,201,928,090,878,297,308,431,392,844,403,281,
231,558,611,036,976,801,357,304,216,168,747,609,675,871,348,
312,025,478,589,320,767,169,132,448,426,236,131,412,508,780,
208,000,261,683,151,027,341,827,977,704,784,635,868,170,164,
365 024 153 691 398 281 264 810 213 092 761 244 896 359 928,
705,114,964,975,419,909,342,221,566,832,572,080,821,333,186,
116,811,553,615,836,546,984,046,708,975,602,900,950,537,616,
475,847,728,421,889,679,646,244,945,160,765,353,408,198,901,
385,442,487,984,959,953,319,101,723,355,556,602,139,450,399,
736,280,750,137,837,615,307,127,761,926,849,034,352,625,200,
015,888,535,147,331,611,702,103,968,175,921,510,907,788,019,
393,178,114,194,545,257,223,865,541,461,062,892,187,960,223,
838 971 476 088 506 276 862 967 146 674 697 562 911 234 082,
439,208,160,153,780,889,893,964,518,263,243,671,616,762,179,
168,909,779,911,903,754,031,274,622,289,988,005,195,444,414,
282,012,187,361,745,992,642,956,581,746,628,302,955,570,299,
024,324,153,181,617,210,465,832,036,786,906,117,260,158,783,
520,751,516,284,225,540,265,170,483,304,226,143,974,286,933,
061,690,897,968,482,590,125,458,327,168,226,458,066,526,769,
958,652,682,272,807,075,781,391,858,178,889,652,208,164,348,
344,825,993,266,043,367,660,176,999,612,831,860,788,386,150,
279,465,955,131,156,552,036,093,988,180,612,138,558,600,301,
435,694,527,224,206,344,631,797,460,594,682,573,103,790,084,
024,432,438,465,657,245,014,402,821,885,252,470,935,190,620,
929,023,136,493,273,497,565,513,958,720,559,654,228,749,774,
011,413,346,962,715,422,845,862,377,387,538,230,483,865,688,
976,461,927,383,814,900,140,767,310,446,640,259,899,490,222,
221,765,904,339,901,886,018,566,526,485,061,799,702,356,193,
897,017,860,040,811,889,729,918,311,021,171,229,845,901,641,
921,068,884,387,121,855,646,124,960,798,722,908,519,296,819,
372,388,642,614,839,657,382,291,123,125,024,186,649,353,143,
970,137,428,531,926,649,875,337,218,940,694,281,434,118,520,
158,014,123,344,828,015,051,399,694,290,153,483,077,644,569,
099,073,152,433,278,288,269,864,602,789,864,321,139,083,506,
217,095,002,597,389,863,554,277,196,742,822,248,757,586,765,
752,344,220,207,573,630,569,498,825,087,968,928,162,753,848,
863,396,909,959,826,280,956,121,450,994,871,701,244,516,461,
260,379,029,309,120,889,086,942,028,510,640,182,154,399,457,
156,805,941,872,748,998,094,254,742,173,582,401,063,677,404,
595,741,785,160,829,230,135,358,081,840,096,996,372,524,230,
560,855,903,700,624,271,243,416,909,004,153,690,105,933,983,
835,777,939,410,970,027,753,472,000,000,000,000,000,000,000,
000000000000000000000000000000000000000000000000000,
00000000000000000000000000000000000000000000000,
000000000000000000000000000000000000000000000000000,
000000000000000000000000000000000000000000000000000,
00000000000000000000000000000000000000000000000,
000

[Пейдж Джастина]

[10,000-летний календарь]

.

1000 Факториал — CodeProject

Введение

Факториал или произведение положительных целых чисел — одна из наиболее часто используемых математических функций (или процессов). Многие математические вычисления должны иметь точный результат факториала большого числа, например 1000! найти окончательный ответ с высокой точностью. Но проблема в том, что ни в одном языке программирования нет переменной или механизма для хранения такой большой цифры. Все языки программирования и калькуляторы оценивают результат и затем сохраняют его как научное число.Например, калькулятор Windows XP отображает 1000! как это:

 4.02387260077093773543702433923 e + 2567 

Итак, я решил придумать алгоритм решения этой проблемы.

Алгоритм

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

 1000! = 1 * 2 * 3 * …… * 998 * 999 * 1000 

Ни в одном языке программирования нет переменной, которая могла бы точно хранить результат этого умножения; кроме сохранения в экспоненциальном представлении.Из-за огромного результата последовательного умножения необходимо найти новую стратегию или механизм.

В моем рекомендуемом алгоритме число не рассматривается как число, вместо этого оно рассматривается как последовательные цифры, каждая из которых имеет собственное числовое значение. Фактически доступен массив цифр. Каждый раз второе число умножается на каждую цифру первого числа (индекс массива), а затем добавляется с числом переноса вверх от предыдущего умножения.
Этот процесс показан, например, 12 !:

 12! = 11! * 12 11! = 39916800 12! = 47
00 

• Если результат меньше 10, результат будет помещен в ячейку массива.
• Если оно равно или больше 10, оно будет разделено на 10, а затем остаток будет помещен в ячейку массива, а частное будет помещено в переменную, которая будет добавлена ​​при следующем ответе умножения.
  Примечание: Обратите внимание, что все числа сохраняются с конца массива, так же, как при обычном вычислении (реальное вычисление).

Код программирования

Декларации

 int numArr [3000];
int total, rem = 0, count;
зарегистрировать int i; 

В первой строке определяется массив, размер которого зависит от факториального размера.« rem » определяется для хранения остатка от деления.

В конце определяется целочисленная переменная с именем « i », которая играет роль счетчика циклов и индекса массива и из-за большого доступа определяется как регистр.

Модификатор типа регистра указывает компилятору сохранить объявленную переменную в регистре ЦП (если возможно) для оптимизации доступа.

Примечание : В современных компиляторах есть хороший оптимизатор, который решает, какие переменные следует хранить в регистрах.Они сами выбирают регистры, когда включена глобальная оптимизация распределения регистров.

Основная часть кода

 i = 2999;
numArr [2999] = 1;

for (count = 2; count <= 1000; count ++)
{
  а (я> 0)
   {
      total = numArr [i] * count + rem;
      rem = 0;
если (всего> 9)
{
numArr [i] = всего% 10;
rem = всего / 10;
}
еще
numArr [i] = всего;
      я--;
   }
rem = 0;
всего = 0;
i = 2999;
} 

В соответствии с алгоритмом, который был объяснен ранее, существует цикл подсчета от 2 до 1000, и каждый раз значение « count » умножается на ячейку массива и добавляется с « rem », которое содержит перенос из предыдущего умножения.

Наконец, результат сохраняется в ‘ total ‘ и затем помещается в ячейку массива.

Другой алгоритм

Сначала я нашел другой алгоритм решения этой проблемы. Он основан на моделировании умножения путем последовательного сложения. Например, 20 = 4 * 5, а также 20 = (5 + 5 + 5 + 5).
Итак, поместите числа в массив, а затем сложите его с самим собой «X» раз.
Х за 1000! это:

X = ∑ n
n = 1,2,3,…, 999,1000

Примечание : Этот алгоритм не так оптимален, как первый, который я объяснил.Также это слишком скучно и требует нескольких больших массивов. Второй файл ZIP принадлежит этому алгоритму.

Достопримечательности

Хочу отметить, что алгоритм имеет высокую скорость вычислений, поэтому переводит программу в вполне оптимальное состояние.

Одна из наиболее важных особенностей этого алгоритма — использование только одного массива, тогда как другим алгоритмам требуется больше памяти (использование нескольких массивов для имитации умножения на последовательные суммы).

Кроме того, меньшее количество кода помогает легче понять программу, и вы можете переписать ее на любом языке программирования.

Одна из причин высокой скорости выполнения — использование регистровой переменной в качестве счетчика цикла. Счетчик цикла — это переменная, имеющая к ней наибольший доступ.

Использование

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

Таким образом, эта программа может быть частью любой программы, которая требует факторного метода, например, статистического программного обеспечения.

Оценка

Я хотел бы поблагодарить господина Фермиска Насерзаде за то, что он познакомил меня с этой проблемой, и господина Ираджа Сафа за помощь в редактировании этой статьи.

.