因数階乗0が0!=1と定義される理由
定義
$0 \notin \mathbb{N}$に対する階乗の$0!$を次のように定義する。 $$ 0! := 1 $$
説明
なぜ$0!$が$0$ではなく、$1$なのか？元々$0! := 1$は定義だから証明する必要はなく、なぜそういう定義が妥当なのかを知るプロセスは「このような定義をしたので納得してほしい」という要求に近い。レベルに合ったステップで理解しよう。
中学生レベル
自然数$n$に対して、$n!$は次のように定義できる。 $$ n! := n \times (n-1) \times \cdots \times 2 \times 1 $$ 簡単に言うと、階乗は$n$から$1$ずつ引きながらかけた数で、それほど難しくもなく、なぜこれが必要なのかもすぐに分かる。中学校から順列と組み合わせで階乗に触れられるし、順列$_{n} P _{r}$と二項係数$_{n} C_{r}$にすぐに現れる。 $$ \begin{align*} _{n}P_{r} &:=& n ( n - 1 ) \cdots ( r + 1 ) r &=& {{ n! } \over { (n-r)! }} \\ _{n}C_{r} &:=& {{ _{n}P_{r} } \over { r! }} &=& {{ n! } \over { r! (n-r)! }} \end{align*} $$ ここで$r = n$とするのは、$n$個のアイテムの中から全ての$n$個を選び出して順列と組み合わせを計算するということで、$_{n} P _{n} = n! / 0!$は$n$個のアイテムを順番に並べる場合の数$n!$と同じであり、$_{n} C _{n} = n! / n! 0!$も$n$個のアイテムを全て選び出す場合の数$1$と同じでなければならない。この時$x = 0!$は形式的には次の方程式を満たす数でなければならない。 $$ \begin{cases} \displaystyle{{ n! } \over { x }} &= n! \\ \displaystyle {{ n! } \over { n! x }} &= 1 \end{cases} $$ 連立方程式である理由は特にないが、いずれにせよ、２つの方程式を同時に満たす解は$x = 1$である。これは$_{n}P_{r}$と$_{n}C_{r}$が階乗として定義される形が妥当と受け入れられた状態で、$0!$を$1$として定義した場合、数式的にきれいで便利であることを示している。広く深い数学の世界で階乗が何を意味するのか分からなくても、現時点で実用的な定義であることは明らかだ。
高校生レベル1
高校生くらいになると、指数関数を学びながら$a$のべき乗がどのように負の数に拡張されるのかを知る。まず、自然数に対する$2$のべき乗は次のように常識的に展開される。 $$ \begin{align*} 2^{2} =& 4 \\ 2^{3} =& 8 \\ 2^{4} =& 16 \\ 2^{5} =& 32 \\ \vdots & \end{align*} $$ 見ての通り、$2^{x}$は一行一行下がるごとに、$x$が$1$ずつ増加しながら$2$倍に増加している。これは、数学が苦手でもすぐに理解できるべき乗の概念だ。一方、これを整数全体に一般化する過程は、本を見てそのパターンを見ないと理解しにくい。 $$ \begin{align*} 2^{2} =& 4 \\ 2^{1} =& 2 \\ 2^{0} =& 1 \\ 2^{-1} =& 0.5 \\ \vdots & \end{align*} $$ やはり、$2^{x}$は一行一行下がるごとに、$x$が$1$ずつ減少しながら$2$で割られている。これは、$2^{0}, 2^{-1}$という表現が正しいか、そんなことが可能かどうかを超えて、形式的に意味があるパターンを示している。$2^{x}$の例から学べることは、$2^{x}$という表現が、$x$が増加するときは2倍になり、減少するときは半分になるということを見事に示していることだ。
では、階乗に戻ろう。$n!$は$(n-1)!$に$n$をかける方法で次のように展開される。 $$ \begin{align*} 1! =& 1 \\ 2! =& 1! \times 2 \\ 3! =& 2! \times 3 \\ 4! =& 3! \times 4 \\ \vdots & \end{align*} $$ 指数関数の例でしたように、これを「意味がある方法で」反転させよう。$n!$は$n$を掛けながら増えたのだから、今は$n$が減少するにつれて割ることになる。 $$ \begin{align*} \vdots & \\ 4! =& 5! \div 5 \\ 3! =& 4! \div 4 \\ 2! =& 3! \div 3 \\ 1! =& 2! \div 2 \\ 0! =& 1! \div 1 \end{align*} $$ $1! = \prod_{k=1}^{1} 1$だからこれを$1$で割った$1! \div 1 = 0!$は「常識的に」$1$になる。注目すべき点は、このような説得が$0! = 1$がどのように役立つのかについて全く教えてくれないということだ。ただ単に数学的直観でこれが意味があるからと、その美しさだけでこの定義を推し進めている。
大学生レベル
大学生になると、微分積分学で範囲が無限の有界されない異常積分を学び、様々な専門書でガンマ関数というものを学ぶ。
階乗の一般化としてのガンマ関数：自然数$n \in \mathbb{N}$に対して、$\Gamma (n) = (n-1)!$が成立する。
階乗がガンマ関数の特別なケースになるためには、$0! = 1$でなければならない。ガンマ関数は以下のように定義される $$ \Gamma (x) = \int_{0}^{\infty} t^{x-1} e^{-t} dt $$ で、$x=1$を代入すると $$ \begin{align*} \Gamma (1) =& \int_{0}^{\infty} t^{1-1} e^{-t} dt \\ =& \int_{0}^{\infty} e^{-t} dt \\ =& \left[ - e^{-t} \right]_{0}^{\infty} \\ =& - 0 - (-1) = 1 \end{align*} $$ であり、$0! = \Gamma (1)$なので、$n!$を$0$に拡張するには、$0! = 1$として定義することが妥当だ。
冗談
もともとプログラミングでは0!=1が真(True)でなければならないので、$0!=1$が正しい。