階乗

数学において自然数 $n$ の階乗（かいじょう、英: factorial） $n!$ とは、1 から $n$ までの全ての整数の積のことである^[1]。例えば、

6!=6\times 5\times 4\times 3\times 2\times 1=720

である。空積の規約の下 $0! = 1$ と定義する^[2]。

階乗は数学の様々な場面に出現するが、特に組合せ論、代数学、解析学などが著しい。階乗の最も基本的な出自は $n$ 個の相異なる対象を1列に並べる方法（対象の置換）の総数が $n!$ 通りであるという事実である。

階乗数オンライン整数列大辞典の数列 A000142
0!	1
1!	1
2!	2
3!	6
4!	24
5!	120
6!	720
7!	5040
8!	40320
9!	362880
10!	3628800
11!	39916800
12!	479001600
13!	6227020800
14!	87178291200
15!	1307674368000
16!	20922789888000
17!	355687428096000
18!	6402373705728000
19!	121645100408832000
20!	2432902008176640000
21!	51090942171709440000
22!	1124000727777607680000
23!	25852016738884976640000

階乗の定義は、最も重要な性質を残したまま、非整数を引数とする函数に拡張することができる。そうすれば解析学における著しい手法などの進んだ数学を利用できるようになる。

定義

いくつか同値な条件により定義することが可能である。

$n!=\textstyle \prod \limits _{k=1}^{n}k=n\times \left(n-1\right)\times \cdots \times 3\times 2\times 1$
再帰的な定義
$n!={\begin{cases}1,&(n=0)\\n\times \left(n-1\right)!&(n>0)\end{cases}}$
微分に関する「冪の法則（英語版）」を用いた定義
$n!={\frac {d^{n}}{dx^{n}}}x^{n}\quad (n\geq 0)$
n! = ( n 元集合の置換の総数 )

上記の何れの定義においても、

0!=1

となることが織り込み済みである（最初の定義では「 0 項の積は 1 と定める」という規約によって）^{[注釈 1]}。このように定義する理由は:

零個の対象の置換は（「何もしない」という）ちょうど一通りであること。
$n > 0$ のとき有効な漸化式 $(n + 1)! = n! \times (n + 1)$ , が $n = 0$ の場合にも延長できること。
指数関数などの冪級数としての表示
$e^{x}=\textstyle \sum \limits _{n=0}^{\infty }{\dfrac {x^{n}}{n!}}$
など多くの公式が短く表せるようになること。
組合せ論における多くの等式が任意のサイズに適用して意味を持つこと。例えば零個の元を空集合から選ぶ方法の総数は
${\binom {0}{0}}={\frac {0!}{0!\,0!}}=1$
であり、一般に $n$ 元集合から $n$ 個全ての元を選び出す方法の総数は
${\binom {n}{n}}={\frac {n!}{n!\,0!}}=1$
と書ける。

など様々に挙げることができる。

より進んだ数学においては、引数が非整数の場合にも階乗函数を定義することができる（後述）。そういった一般化された定義のもとでの階乗は関数電卓や、Maple や Mathematica などの数学ソフトウェアで利用できる。

プログラミング言語における階乗

多くのプログラミング言語において、再帰的な定義を利用し、プロシージャの再帰呼び出しを用いた階乗の実装が可能である。

以下はC言語での例である。例示するコードではunsigned long long型を使用しているが、unsigned long long型では小さな階乗（21!）でもオーバーフローしてしまうため、大きな階乗については任意精度演算による実装を検討すべきである^[3]。

→「任意精度演算#例」も参照

unsigned long long factorial(unsigned int n)
{
    if (n > 0)
         return n * factorial(n - 1);
    return 1; // 0! == 1
}

組合せ論

階乗を含む公式は数学の多くの分野に現れるが、階乗のおおもとの出自は組合せ論にある。相異なる $n$ 個の対象の順列（ $k$ -順列）の総数は $n!$ 通りである。

階乗はしばしば「順番を無視する」という事実を反映するものとして分母に現れる。古典的な例としては $n$ 個の元から $k$ 個の元を選ぶ組合せ（ $k$ -組合せ）の総数が挙げられる。このような組合せは順列から得ることができる。実際、 $k$ -順列の総数

n^{\underline {k}}=n(n-1)(n-2)\cdots (n-k+1)

において、順番のみが違う（ $k$ -組合せでは違いが無視される） $k$ -順列が $k!$ 通りずつ存在するから、 $k$ -組合せの総数は

{\frac {n^{\underline {k}}}{k!}}={\frac {n(n-1)(n-2)\cdots (n-k+1)}{k(k-1)(k-2)\cdots 1}}

となる。この数は、二項冪 $(1 + X) n$ における $X k$ の係数となることから、二項係数 ${\tbinom {n}{k}}$ とも呼ばれる。

代数学に現れる階乗にはいくつも理由があるが、既述の如く二項展開の係数として現れたり、ある種の演算の対称化（英語版）において置換による平均化を行うなど、組合せ論的な理由で現れるものもある。

微分積分学においても階乗は例えばテイラー級数の分母として現れるが、これは冪函数 $x n$ の $n$ 階導函数が $n!$ であることを補正する定数である。確率論でも階乗は用いられる。

階乗は数式操作にも有効である。例えば $n$ の $k$ -順列の総数を

n^{\underline {k}}={\frac {n!}{(n-k)!}}

と書けば、（この数値を計算することを考えれば効率が悪くなるが）二項係数の対称性

{\binom {n}{k}}={\frac {n^{\underline {k}}}{k!}}={\frac {n!}{(n-k)!k!}}={\frac {n^{\underline {n-k}}}{(n-k)!}}={\binom {n}{n-k}}

を見るには都合がよい。

数論における階乗

階乗は数論にも多くの応用を持つ。特に $n!$ は $n$ 以下の全ての素数で整除されねばならない。このことの帰結として、 $n \geq 5$ が合成数となる必要十分条件は

(n-1)!\equiv 0{\pmod {n}}

が満たされることである。より強い結果としてウィルソンの定理は

(p-1)!\equiv -1{\pmod {p}}

が $p$ が素数であるための必要十分条件であることを述べる。

ルジャンドルの公式は $n!$ の素因数分解に現れる $p$ の重複度が

\textstyle \sum \limits _{i=1}^{\lfloor \log _{p}n\rfloor }\left\lfloor {\dfrac {n}{p^{i}}}\right\rfloor

であることを示す。これは

{\frac {n-s_{p}(n)}{p-1}}

に等しくなる。ただし、 $s p (n)$ は $n$ の $p$ 進展開の係数の和である。

$n!$ が素数となる $n$ は $2$ のみである。 $n! \pm 1$ の形の素数は階乗素数と呼ばれる。

$1!$ より大きな階乗は全て偶数である（これらは明らかに因数 $2$ を持ち、 $2$ の倍数である）。同様に、 $5!$ より後の階乗は $10$ の倍数（ $2$ と $5$ を因数に持つ）であり、十進展開の末尾には 0 が並ぶ（英語版）。

ブロカールの問題

→詳細は「ブロカールの問題」を参照

ブロカールの問題とは、

n!+1=m^{2}

を満たす $n, m$ は存在するか、という問題である。2015年9月現在、これを満たす $(n, m)$ の組^{[注釈 2]}は

(4, 5), (5, 11), (7, 71)

しか見つかっていない。ABC予想が真であれば、解は有限個しかないことが、Marius Overholt により示されている。

階乗の解析学

階乗の逆数和

階乗の逆数の総和は収束級数

\sum _{n=0}^{\infty }{\frac {1}{n!}}={\frac {1}{1}}+{\frac {1}{1}}+{\frac {1}{2}}+{\frac {1}{6}}+{\frac {1}{24}}+{\frac {1}{120}}+\dotsb =e

を与える（ネイピア数を参照）。この和は無理数となるけれども、階乗に適当な正整数を掛けて和が有理数となるようにすることができる。例えば、

\sum _{n=0}^{\infty }{\frac {1}{\left(n+2\right)n!}}={\frac {1}{2}}+{\frac {1}{3}}+{\frac {1}{8}}+{\frac {1}{30}}+{\frac {1}{144}}+\dotsb =1.

この級数の値が 1 となることを見るには、その部分和が 1 − 1/(n+2)! であることを確認すればよい。したがって、階乗数の全体は無理列（英語版）を成さない^[4]。

階乗の増大度

→「スターリングの近似」も参照

階乗の自然対数

f (n) = log(n!)

のグラフをプロットしたもの。このグラフは一見して適当に選び出した

n

に対する一次函数で近似できそうにも思えるが、そのような直観は誤りである。

$n$ が増えるにつれて、階乗 $n!$ は $n$ を変数とする任意の多項式函数あるいは指数函数よりも早く増加する（ただし、二重指数関数よりは遅い）。

$n!$ の近似式の多くは自然対数

\log n!=\textstyle \sum \limits _{x=1}^{n}\log x

であることを利用する。最も単純に得られる $log(n!)$ の近似値を評価する式は、上記の式と以下の積分:

\int _{1}^{n}\log x\,dx\leq \textstyle \sum \limits _{x=1}^{n}\log x\leq \int _{0}^{n}\log(x+1)\,dx

によって与えられる。積分を評価すれば

n\log \left({\frac {n}{e}}\right)+1\leq \log n!\leq \left(n+1\right)\log \left({\frac {n+1}{e}}\right)+1

を得る。これは、ランダウの記号を用いれば $log(n!)$ のオーダーは $Θ(n log n)$ であることを言っているのであり、この結果はソートアルゴリズムの計算量を測るのに重要な役割を果たす。さて上記の $log(n!)$ の評価から

e\left({\frac {n}{e}}\right)^{n}\leq n!\leq e\left({\frac {n+1}{e}}\right)^{n+1}

が分かる。実用上はより弱い結果だがより評価のしやすいものを用いることもある。上記の式から簡単な評価をしてみると、任意の $n$ に対して $(n /3) n < n!$ であり、また $n \geq 6$ のとき $n! < (n /2) n$ であることなどが分かる。

大きな $n$ に対して $n!$ をよりよく評価するにはスターリングの公式

n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}

を利用する。（ここで $\sim$ は両辺の比が $1$ に収束することを表す。）実は任意の $n$ に対して

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

であることが証明できる^[5]。

$log(n!)$ の別な近似はシュリニヴァーサ・ラマヌジャンにより

\log n!\approx n\log n-n+{\frac {\log \left[n\left\{1+4n\left(1+2n\right)\right\}\right]}{6}}+{\frac {\log \pi }{2}}

したがって

n!\sim {\sqrt {2\pi n}}\left({\frac {n}{e}}\right)^{n}\left(1+{\frac {1}{2n}}+{\frac {1}{8n^{2}}}\right)^{1/6}

と与えられている^[6]。この近似の誤差は、スターリングの公式よりも小さい。

連続変数への補間

ガンマ関数とパイ関数

→詳細は「Γ関数」を参照

階乗函数は負の整数を除く任意の実数に対するものに一般化することができる。例えば *

0! = 1! = 1

, *

(-1/2)! = \sqrt π

, *

(1/2)! = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}√π/2

.

負の整数を除けば、階乗関数は非整数の値に対しても定義することができるが、そのためには解析学の道具立てが必要である。そのように階乗の値を「補間」して得られるものの一つがガンマ函数 $Γ(z)$ である（ただし引数が 1 だけずれる）。これは負の整数を除く任意の複素数 $z$ に対して定義される。 $z$ の実部が正である場合には

\Gamma (z)=\int _{0}^{\infty }t^{z-1}e^{-t}\,dt

で与えられる。ガンマ函数と階乗との関係は、任意の自然数 $n$ に対して

n!=\Gamma (n+1)

が成り立つことである。オイラーのもともとの定義式は

\Gamma (z)=\lim _{n\to \infty }{\frac {n^{z}n!}{\prod \limits _{k=0}^{n}(z+k)}}

である。ガウスの導入した別表記として、負でない実数 $z$ に対するパイ函数 $Π(z)$ は

\Pi (z)=\int _{0}^{\infty }t^{z}e^{-t}\,dt

を満たす。ガンマ函数との関係は

\Pi (z)=\Gamma (z+1)

である。非負整数 $n$ に対し

\Pi (n)=n!

が成り立つことを思えば、こちらのほうが階乗を補完した函数としては適していると言えるかもしれない。さてパイ函数は階乗が満たすのと同じ漸化式

\Pi (z)=z\Pi (z-1)

を、しかし定義される限り任意の複素数 $z$ に対して満たす。事実としてはこれはもう漸化式ではなくて函数等式と見るべきものであるが。この函数等式をガンマ函数に関するものに書き換えれば

\Gamma (n+1)=n\Gamma (n)

となる。階乗を延長したものがパイ函数なのだから、定義可能な任意の複素数 $z$ に対して

z!:=\Pi (z)

と定めることは可能である。これらの補間函数を用いて半整数における階乗の値を定めるならば、例えば

\Gamma \left({\frac {1}{2}}\right)=\left(-{\frac {1}{2}}\right)!=\Pi \left(-{\frac {1}{2}}\right)={\sqrt {\pi }}

が成り立ち、さらに自然数 $n \in N$ に対して

\Gamma \left({\frac {1}{2}}+n\right)=\left(-{\frac {1}{2}}+n\right)!=\Pi \left(-{\frac {1}{2}}+n\right)={\sqrt {\pi }}\prod _{k=1}^{n}{\frac {2k-1}{2}}={\frac {(2n)!}{4^{n}n!}}{\sqrt {\pi }}={\frac {(2n-1)!}{2^{2n-1}(n-1)!}}{\sqrt {\pi }}

が得られる。例えば

\Gamma \left(4.5\right)=3.5!=\Pi \left(3.5\right)={\frac {1}{2}}\cdot {\frac {3}{2}}\cdot {\frac {5}{2}}\cdot {\frac {7}{2}}{\sqrt {\pi }}={\frac {8!}{4^{4}4!}}{\sqrt {\pi }}={\frac {7!}{2^{7}3!}}{\sqrt {\pi }}={\frac {105}{16}}{\sqrt {\pi }}\approx 11.63.

同様に $n \in N$ に対して

\Gamma \left({\frac {1}{2}}-n\right)=\left(-{\frac {1}{2}}-n\right)!=\Pi \left(-{\frac {1}{2}}-n\right)={\sqrt {\pi }}\prod _{k=1}^{n}{\frac {2}{1-2k}}={\frac {(-4)^{n}n!}{(2n)!}}{\sqrt {\pi }}

が成り立ち、例えば

\Gamma \left(-2.5\right)=(-3.5)!=\Pi \left(-3.5\right)={\frac {2}{-1}}\cdot {\frac {2}{-3}}\cdot {\frac {2}{-5}}{\sqrt {\pi }}={\frac {(-4)^{3}3!}{6!}}{\sqrt {\pi }}=-{\frac {8}{15}}{\sqrt {\pi }}\approx -0.9453.

パイ函数が殆ど全ての複素数値に対して定義される階乗の延長として唯一のものでないことはもちろんである。それは定義域において解析的としても同じことである。しかし、普通はこれが階乗の複素函数への最も自然な延長であるものと考える。例えば、ボーア・モレルップの定理はガンマ函数が $Γ(1) = 1$ かつ函数等式 $Γ(n + 1) = n Γ(n)$ を満たす、ガウス平面の全域で有理型かつ実軸の正の部分で対数凸（英語版）となるような唯一の函数であることを述べる。同様の主張はパイ函数に関しても、函数等式 $Π(n) = n Π(n - 1)$ に関して述べられる。

そうは言うものの、解析的函数論の意味で恐らくより簡明な、階乗の値を補間する複素函数は存在する。例えばアダマールの「ガンマ」函数^[7]はガンマ函数とは異なり整函数になる^[8]。

オイラーはまた非整数の階乗に対する近似無限乗積

{\begin{aligned}n!=\Pi (n)&=\prod _{k=1}^{\infty }\left({\frac {k+1}{k}}\right)^{n}\!\!{\frac {k}{n+k}}\\&=\left[\left({\frac {2}{1}}\right)^{n}{\frac {1}{n+1}}\right]\left[\left({\frac {3}{2}}\right)^{n}{\frac {2}{n+2}}\right]\left[\left({\frac {4}{3}}\right)^{n}{\frac {3}{n+3}}\right]\cdots \end{aligned}}

についても考察している。これは上記のガンマ函数に関する公式と同じものと見做すことができる。しかしこの公式は収束が遅く、実用的な意味でパイ函数やガンマ函数の値を計算することに利用することはできない。

ガウス平面上での挙動

複素変数に対する階乗の絶対値と偏角を、単位長さ間隔で

-3 \leq x \leq 3

,

-2 \leq y \leq 2

の範囲で描いた等高線。太くなぞった等高線は

φ = \pmπ

である。

複素変数の階乗の値をガンマ函数による表現を通して評価することができる。絶対値 $ρ$ と偏角 $φ$ を用いて

f=\rho \exp(i\varphi )=(x+iy)!=\Gamma (x+iy+1)

と書けば、絶対値一定曲線 $ρ = (定数)$ と偏角一定曲線 $φ = (定数)$ を等値線として格子を描くことができる。一定間隔で引いた等値線の間にさらに細かく等値線を引けば、それが補間で得られる値である。極である負の整数においては絶対値と偏角が定義できず、またその周辺で等値線は密になる。

展開の係数の最初の方
$n$	$g n$	近似値
$0$	$1$	$1$
$1$	$-γ$	$-0.5772156649$
$2$	${\frac {\pi ^{2}}{12}}+{\frac {\gamma ^{2}}{2}}$	$0.9890559955$
$3$	$-{\frac {\zeta (3)}{3}}-{\frac {\pi ^{2}\gamma }{12}}-{\frac {\gamma ^{3}}{6}}$	$-0.9074790760$
$γ$ はオイラー・マスケローニ定数、 $ζ$ はリーマンゼータ函数である。

$| z | < 1$ に対してはテイラー展開

z!=\sum _{n=0}^{\infty }g_{n}z^{n}

が利用できる。この展開のより多くの項は、Sageのような計算機代数システムで計算できる。

階乗の近似

展開の係数 $a n$ ^[9]
$n$	$a n$
$0$	$1 / 12$
$1$	$1 / 30$
$2$	$53 / 210$
$3$	$195 / 371$
$4$	$22999 / 22737$
$5$	$29944523 / 19733142$
$6$	$109535241009 / 48264275462$

大きな値に対する階乗の値の近似をディガンマ函数の積分を通じて連分数表示を用いて記述できる。この方法はスティルチェスによる^[7]もので、 $z! = exp(P (z))$ と書けば $P (z)$ は

P(z)=p(z)+\log(2\pi )/2-z+\left(z+{\frac {1}{2}}\right)\log(z)

で、スティルチェスはこの第一項 $p (z)$ の連分数展開

p(z)={\cfrac {a_{0}}{z+{\cfrac {a_{1}}{z+{\cfrac {a_{2}}{z+{\cfrac {a_{3}}{z+\ddots }}}}}}}}

を与えた。

さて、任意の複素数 $z \neq 0$ に対して $log(z!) = P (z)$ あるいは $log(Γ(z + 1)) = P (z)$ とするのは誤りであり^[要出典]、実際には実軸の近くの特定の範囲の $z$ でしか成り立たない（一方 $|ℑ(Γ(z + 1))| < π$ である。引数の実部は大きいほど、虚部はより小さくなければならない。しかし逆の関係式 $z! = exp(P (z))$ は原点を除くガウス平面の全域で有効である。ただし実軸の負の部分では収束性は弱くなる^[要出典]（特異点の周辺ではどのような近似もよい収束性を得ることが難しい）。一方、 $|ℑ(z)| > 2$ または $ℜ(z) > 2$ の範囲では上記の六つの係数は double 精度の複素数に対してその階乗の近似値を得るのに十分である。より高い精度でより多くの係数を計算するには rational QD-scheme (H. Rutishauser's QD algorithm)^[10]を用いる。

負の整数に対する拡張不能性

関係式 $n! = n \times (n - 1)!$ を使えばある整数に対する階乗をそれより「小さい」整数の階乗から計算できる。この関係式を逆に使えば、「大きい」整数に対して与えられた階乗から

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

と計算することも可能である。しかし注意すべきは、これでは負の整数に関する階乗を計算することはできないということである（この式に従って $(-1)!$ を計算するには零除算が必要となりこれ以下の負の整数における階乗の値の計算は不可能となる）。このことはガンマ函数においても同じことで、ガンマ函数は負の整数を除くガウス平面の全域において定義できるにも拘らず、負の整数における値だけは定義することができない。

一般化

多重指数記法

多重指数 $\alpha =(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n})$ に対し階乗は、

\alpha !=\alpha _{1}!\cdot \alpha _{2}!\cdots \alpha _{n}!

と定義できる。これは例えば、多変数関数の展開に使われる。

デデキント環への拡張

マンジュル・バルガヴァは階乗を一般のデデキント環上で定義し、いくつかの古典的な問題を解決するために用いた^[11]。それらの階乗は整数ではなく、イデアルとなる。

階乗に類似する概念

→詳細は「階乗類似函数（フランス語版）」を参照

二重階乗

二重階乗の例
$(-9)!!$	$= 1 / 105$
$(-7)!!$	$= - 1 / 15$
$(-5)!!$	$= 1 / 3$
$(-3)!!$	$= -1$
$(-1)!!$	$= 1$
$0!!$	$= 1$
$1!!$	$= 1$
$2!!$	$= 2$
$3!!$	$= 3$
$4!!$	$= 8$
$5!!$	$= 15$
$6!!$	$= 48$
$7!!$	$= 105$
$8!!$	$= 384$
$9!!$	$= 945$
$10!!$	$= 3840$
$11!!$	$= 10395$
$12!!$	$= 46080$
$13!!$	$= 135135$
$14!!$	$= 645120$
$15!!$	$= 2027025$
$16!!$	$= 10321920$
$17!!$	$= 34459425$
$18!!$	$= 185794560$
$19!!$	$= 654729075$
$20!!$	$= 3715891200$

→詳細は「二重階乗」を参照

階乗の類似として、二重階乗 $n!!$ は自然数 $n$ に対し一つ飛ばしに積を取る。二重階乗 $n!!$ は階乗 $n!$ の二回反復合成 $(n!)!$ とは異なる。

(2n)!!=(2n)(2n-2)\cdots (2)=2^{n}n!

(2n+1)!!=(2n+1)(2n-1)\cdots (1)={\frac {(2n+1)!}{(2n)!!}}

奇数 $n = 1, 3, 5, 7, \dots$ に対する二重階乗の最初の方の値は

1, 3, 15, 105, 945, 10395, 135135, \dots,

（A001147）

偶数 $n = 0, 2, 4, 6, 8, \dots$ に対する二重階乗の値の最初の方は

1, 2, 8, 48, 384, 3840, 46080, 645120, \dots

（A000165）

で与えられる。

負の奇数にも拡張される（ $\left(-(2n+1)\right)!!={(-1)^{n}}/{(2n-1)!!}$ ）。また、複素数値への拡張として、以下が知られている^[12]。

z!!=2^{\left[1+2z-\cos(\pi z)\right]/4}\pi ^{\left[\cos(\pi z)-1\right]/4}\Gamma \left(1+{\frac {1}{2}}z\right)

多重階乗

より一般に多重階乗 (multifactorial) は、連続した整数の積である通常の階乗 $n!$ 、一つ飛ばしの積である二重階乗 $n!!$ 、二つ飛ばしの積である三重階乗 $n!!!$ または $n! 3$ 、三つ飛ばしの四重階乗 $n!!!!$ または $n! 4$ などを総称して言う。

三重階乗の例: $1, 4, 28, 280, 3640, 58240, 1106560, \dots$ （A007559）; $2, 10, 80, 880, 12320, 209440, 4188800, \dots$ （A008544）; $3, 18, 162, 1944, 29160, 524880, \dots$ （A032031）

四重階乗の例: $1, 5, 45, 585, 9945, 208845, 5221125, \dots$ （A007696）; $2, 12, 120, 1680, 30240, 665280, 17297280, \dots$ （A001813）; $3, 21, 231, 3465, 65835, 1514205, \dots$ （A008545）; $4, 32, 384, 6144, 122880, 2949120, \dots$ （A047053）

定義

一般の $k$ -重階乗

n! k

は正整数

n

に関して帰納的に

n!_{k}={\begin{cases}1&{\text{if }}n=0,\\n&{\text{if }}0<n<k,\\n\,\left((n-k)!_{k}\right)&{\text{if }}n\geq k.\end{cases}}

と定義できる。これと異なる定義として

定義

z!^{(k)}=z(z-k)\cdots (k+1)=k^{(z-1)/k}\left({\frac {z}{k}}\right)\left({\frac {z-k}{k}}\right)\cdots \left({\frac {k+1}{k}}\right)=k^{(z-1)/k}{\frac {\Gamma \left({\frac {z}{k}}+1\right)}{\Gamma \left({\frac {1}{k}}+1\right)}}.

とするものもある。

階乗冪

→詳細は「階乗冪」を参照

自然数 $n, k$ に対して、 $n$ の $k$ -順列の総数 $n k$ は $n$ から始めて上から $k$ 個の連続する整数の積を取る（ある意味で不完全な階乗とも呼べる）階乗の類似物であった。これを下降階乗冪と呼ぶ。その反対に $n$ から始めて下から $k$ 個の連続する整数の積をとったもの $n k$ を上昇階乗冪といい、これら二つを総称して階乗冪と呼ぶ。ただし一般に自然数に限らず（実数や複素数などに値をとる） $x$ を変数として

{\begin{aligned}x^{\underline {k}}&=\prod _{i=0}^{k-1}(x-i),\\x^{\overline {k}}&=\prod _{i=0}^{k-1}(x+i)\end{aligned}}

を考えることが多い。明らかに自然数 $n$ に対して

n^{\underline {k}}={\frac {n!}{(n-k)!}},\quad n^{\overline {k}}={\frac {(n+k-1)!}{(n-1)!}},

n!=n^{\underline {n}}=1^{\overline {n}}.

また一般に実数 $x \neq 0$ に対して

x^{\underline {0}}=x^{\overline {0}}=1

と定義する（空積も参照）が $x = 0$ のときもそうであるかは規約による（例えば上記の関係式 $n! = n n$ は $n = 0$ のとき $1 = 0! = 0 0$ で矛盾しない。0^0も参照）。

素数階乗

→詳細は「素数階乗」を参照

素数階乗 (Primorial) $n ＃$ は最初の $n$ -個の素数の総乗

n\#=\prod _{i=1}^{n}p_{i}

である^[13]。（オンライン整数列大辞典の数列 A002110）

これは、素数が無限に存在するという命題の証明に用いられることがある。

超階乗

→詳細は「超階乗」を参照

Pickover (1995)^[14] の超階乗（superfactorial）は、階乗を入れ子に拡張したものである。ドル記号$を用いて書かれる。またLawrence Hollom氏が開発した超階乗配列表記は階乗をベースとした配列表記で従来の階乗や超階乗より遥かに大きな増加速度を持つ。

定義^{[注釈 3]}: $n\$={}^{n!}n!=\underbrace {n!^{n!^{\scriptstyle n!^{{\textstyle \,\cdot }^{{\textstyle \,\cdot }^{{\textstyle \,\cdot \,}^{\scriptstyle n!}}}}}}} _{n!}$

nが3以上になると、非常に大きい値になる。

これとは異なる種類の超階乗の定義がある。Neil J. A. Sloane and Simon Plouffe (1995) The Encyclopedia of Integer Sequences^[15] は、超階乗（superfactorial）を定義した。例として、4の超階乗は次のようになる。

\operatorname {sf} (4)=1!\times 2!\times 3!\times 4!=288.

一般的にこの定義における超階乗は下の式で定義される。

定義^{[注釈 3]}: $\mathrm {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}\cdot 4^{n-3}\cdots (n-1)^{2}\cdot n^{1}.$

これは以下と同値:

\mathrm {sf} (n)=\prod _{0\leq i<j\leq n}(j-i).

最初のいくつかの値は、次のようになる：

1, 1, 2, 12, 288, 34560, 24883200, 125411328000, \dots

A000178

超階乗は、複素数値にも拡張できる。その結果はバーンズのG関数と呼ばれる。定義は次のようになる。

G(z+1)=(2\pi )^{z/2}\exp \left(-{\frac {z+z^{2}(1+\gamma )}{2}}\right)\,\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)^{k}\exp \left({\frac {z^{2}}{2k}}-z\right)\right\}

自然数に対しては、以下が成り立っている。

G(n+2)=\mathrm {sf} (n)={\begin{cases}0&{\text{if }}n=-1,-2,\dots \\\prod _{i=0}^{n}i!&{\text{if }}n=0,1,2,\dots \end{cases}}

hyperfactorial

→「K函数」も参照

ハイパー階乗 (hyperfactorial) は、以下で定義される。

H(n)=\prod _{k=1}^{n}k^{k}=1^{1}\cdot 2^{2}\cdot 3^{3}\cdots (n-1)^{n-1}\cdot n^{n}

これはとても大きくなっていく。最初のいくつかの値はつぎの通りである^[16]。

1, 4, 108, 27648, 86400000, ……

ハイパー階乗は定義域を複素数にまで拡張できる。それはK函数と呼ばれ、以下で定義される。

K(z)=(2\pi )^{(-z+1)/2}\exp \left[{\begin{pmatrix}z\\2\end{pmatrix}}+\int _{0}^{z-1}\ln(t!)\,dt\right].

自然数 $n$ に対し、次が成り立つ。

K(n+1)=1^{1}\,2^{2}\,3^{3}\,4^{4}\,\cdots n^{n}.

階冪

→詳細は「指数階乗」を参照

以下、↑をクヌースの矢印表記とする。

階乗が連続する整数を順に「乗」じるのに対し、連続する整数を順に冪にする演算として階「冪」 (exponential factorial) ^{[注釈 4]} $n!$ （感嘆符は右肩に添字として書く）^[要出典]は

n^{!}={\begin{cases}1&(n=0)\\n^{{(n-1)}^{!}}=n\uparrow {(n-1)}^{!}&(n>0)\end{cases}}

で与えられる。つまり、自然数 $n$ に対して

n^{!}=n^{(n-1)^{(n-2)^{\cdot ^{\cdot ^{\cdot ^{3^{2^{1}}}}}}}}=n\uparrow \left(n-1\right)\uparrow \left(n-2\right)\uparrow \cdots \cdots \uparrow 3\uparrow 2\uparrow 1

であり、最初の5つの値は次のようになる。

0! = 1, 1! = 1, 2! = 2, 3! = 9, 4! = 262144, \dots\dots

（オンライン整数列大辞典の数列 A049384）

$5!$ の値は十進展開で183231桁にも及ぶきわめて大きな自然数である。

5^{!}=5^{4^{!}}=5^{262144}\approx 6.2\times 10^{183230}.

これ以降は、グーゴルプレックス $10^{10^{100}}$ より遥かに大きくなる（ $6!$ を計算すると、およそ 6^{6.2×10¹⁸³²³⁰} ≒ 10^{4.8×10¹⁸³²³⁰} となる）。

全ての自然数の exponential factorial の逆数の総和は、

\sum _{n=1}^{\infty }{\frac {1}{n^{!}}}=1.611114925808376736\underbrace {111\cdots 111} _{\text{183213 digits}}272243\cdots

となる。この数は、超越数であり、リウヴィル数である^[18]。

また、高次 exponential factorial が定義される。例として、二次 exponential factorial は、

{\begin{aligned}n^{!!}=n^{{!}^{2}}=\left(n^{!}\right)^{(n-1)^{!^{2}}}&=\left(n^{!}\right)^{\left((n-1)^{!}\right)^{\left((n-2)^{!}\right){.^{.^{.^{\left(3^{!}\right)^{\left(2^{!}\right)^{1^{!}}}}}}}}}\\&=n^{!}\uparrow (n-1)^{!}\uparrow (n-2)^{!}\uparrow \cdots \cdots \uparrow 3^{!}\uparrow 2^{!}\uparrow 1^{!}\end{aligned}}

となる。一般の $m$ -次 exponential factorial は

{\begin{aligned}n^{{!}^{m}}=\left(n^{{!}^{(m-1)}}\right)^{{(n-1)}^{!^{m}}}&={n^{{!^{(m-1)}}{(n-1)^{{!^{(m-1)}}{{.}^{{.}^{{.}^{2^{{!^{(m-1)}}{1^{!^{(m-1)}}}}}}}}}}}}\\&=n^{!^{(m-1)}}\uparrow (n-1)^{!^{(m-1)}}\uparrow \cdots \cdots \uparrow 2^{!^{(m-1)}}\uparrow 1^{!^{(m-1)}}\end{aligned}}

で与えられる。ただし、 $n, m$ は自然数である。

歴史

$n$ 個の相異なる対象を1列に並べる方法の総数が $n!$ 通りであるということは、少なくとも12世紀にはインドの学者によって知られていた^[19]。ファビアン・ステッドマン（英語版）は1677年にチェンジリンギング（英語版）への応用として階乗を記述した^{[注釈 5]}。再帰的な手法による記述の後、Stedman は（独自の言葉を用いて）階乗に関しての記述を与えている：

Now the nature of these methods is such, that the changes on one number comprehends [includes] the changes on all lesser numbers, ... insomuch that a compleat Peal of changes on one number seemeth to be formed by uniting of the compleat Peals on all lesser numbers into one entire body;^[21]

感嘆符(!)を用いた、この " $n!$ " という表記は1808年にクリスチャン・クランプによって発明された^[22]。

注

注釈

^ 空集合から空集合への全単射は空写像ただ1つ存在する。
^ このような $(n, m)$ を、ブラウン数 (英: Brown numbers) と呼ぶ。
^ ^a ^b 両者は全く同値でない
^ 指数階乗^[17]、中国語: 阶幂
^ The publisher is given as "W.S." who may have been William Smith, possibly acting as agent for the Society of College Youths, to which society the "Dedicatory" is addressed.^[20]

出典

^ 「階乗」『精選版日本国語大辞典』。コトバンクより2022年2月7日閲覧。
^ Graham, Knuth & Patashnik, p. 111
^ この記事の過去の版で「大きな階乗についてはdouble型のような浮動小数点数型を用いるなどの工夫が必要となる」との記述があったが、2021年時点の典型的な64ビットマイクロプロセッサでは、整数型のビット長＞浮動種数点型の仮数部のビット長なのでこれは当たらない。
^ Guy 2004, p. 346
^ 杉浦 1980, p. 339, 定理 15.7.
^ Ramanujan 1988, p. 339
^ ^a ^b Hadamard 1894
^ Peter Luschny, Hadamard versus Euler - Who found the better Gamma function?.
^ Digital Library of Mathematical Functions, http://dlmf.nist.gov/5.10
^ Peter Luschny, On Stieltjes' Continued Fraction for the Gamma Function..
^ The Factorial Function and Generalizations
^ Weisstein, Eric W. "Double Factorial". mathworld.wolfram.com (英語).
^ Weisstein, Eric W. "Primorial". mathworld.wolfram.com (英語).
^ Pickover, Clifford A. (1995). Keys to Infinity. New York: John Wiley & Sons. doi:10.2307/2687608. JSTOR 2687608
^ Sloane, Neil J. A.; Plouffe, Simon (1995). The Encyclopedia of Integer Sequences. San Di\ego: Academic Press. ISBN 0-12-558630-2
^ オンライン整数列大辞典の数列 A002109
^ 巨大数研究 Wiki 指数階乗
^ Sondow, Jonathan. "Exponential Factorial". mathworld.wolfram.com (英語).
^ Biggs, pp. 109–136
^ Stedman 1677, pp. 6–9
^ Stedman 1677, p. 8.
^ Higgins, p. 12

参考文献

ドナルド・E・クヌース、ロナルド・L・グレアム・オーレン・パタシュニク『コンピュータの数学』有澤誠・ほか訳、共立出版、1993年8月。ISBN 4-320-02668-3 : 原著 Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1988), Concrete Mathematics, Addison-Wesley, Reading MA, ISBN 0-201-14236-8
Keith B. Oldham他『関数事典（CD-ROM付）』河村哲也監訳、朝倉書店、2013年12月、ISBN 978-4-254-11136-1。
Biggs, N. L. (1979), The roots of combinatorics, Historia Math. 6
Stedman, Fabian (1677), Campanalogia, London
Higgins, Peter (2008), Number Story: From Counting to Cryptography, New York: Copernicus, ISBN 978-1-84800-000-1
Guy, Richard K. (2004), “E24 Irrationality sequences”, Unsolved problems in number theory (3rd ed.), Springer-Verlag, ISBN 0-387-20860-7, Zbl 1058.11001
Ramanujan, Srinivasa (1988), The lost notebook and other unpublished papers, Springer Berlin, ISBN 3-540-18726-X
Hadamard, M. J. (1894) (French), Sur L’Expression Du Produit 1·2·3· · · · ·(n−1) Par Une Fonction Entière, OEuvres de Jacques Hadamard, Centre National de la Recherche Scientifiques, Paris, 1968

外部リンク

プロジェクト数学

ポータル数学

Hazewinkel, Michiel, ed. (2001), “Factorial”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Weisstein, Eric W. "Factorial". mathworld.wolfram.com (英語).
factorial - PlanetMath.（英語）
http://factorielle.free.fr
階乗の計算

[3] 空集合から空集合への全単射は空写像ただ1つ存在する。

[5] このような $(n, m)$ を、ブラウン数 (英: Brown numbers) と呼ぶ。

[sf-17] 両者は全く同値でない

[21] 指数階乗^[17]、中国語: 阶幂

[25] The publisher is given as "W.S." who may have been William Smith, possibly acting as agent for the Society of College Youths, to which society the "Dedicatory" is addressed.^[20]

[1] 「階乗」『精選版日本国語大辞典』。コトバンクより2022年2月7日閲覧。

[2] Graham, Knuth & Patashnik, p. 111

[4] この記事の過去の版で「大きな階乗についてはdouble型のような浮動小数点数型を用いるなどの工夫が必要となる」との記述があったが、2021年時点の典型的な64ビットマイクロプロセッサでは、整数型のビット長＞浮動種数点型の仮数部のビット長なのでこれは当たらない。

[6] Guy 2004, p. 346

[FOOTNOTE杉浦1980339定理_15.7-7] 杉浦 1980, p. 339, 定理 15.7.

[8] Ramanujan 1988, p. 339

[名前なし-1-9] Hadamard 1894

[10] Peter Luschny, Hadamard versus Euler - Who found the better Gamma function?.

[dlmf5.10-11] Digital Library of Mathematical Functions, http://dlmf.nist.gov/5.10

[12] Peter Luschny, On Stieltjes' Continued Fraction for the Gamma Function..

[13] The Factorial Function and Generalizations

[14] Weisstein, Eric W. "Double Factorial". mathworld.wolfram.com (英語).

[mathworld-15] Weisstein, Eric W. "Primorial". mathworld.wolfram.com (英語).

[16] Pickover, Clifford A. (1995). Keys to Infinity. New York: John Wiley & Sons. doi:10.2307/2687608. JSTOR 2687608

[18] Sloane, Neil J. A.; Plouffe, Simon (1995). The Encyclopedia of Integer Sequences. San Di\ego: Academic Press. ISBN 0-12-558630-2

[19] オンライン整数列大辞典の数列 A002109

[20] 巨大数研究 Wiki 指数階乗

[22] Sondow, Jonathan. "Exponential Factorial". mathworld.wolfram.com (英語).

[23] Biggs, pp. 109–136

[24] Stedman 1677, pp. 6–9

[FOOTNOTEStedman16778-26] Stedman 1677, p. 8.

[27] Higgins, p. 12

[1]

[2]

[注釈 1]

[3]

[注釈 2]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[注釈 3]

[15]

[16]

[注釈 4]

[18]

[19]

[注釈 5]

[21]

[22]

[17]

[20]

階乗

目次

定義