ガンマ関数が Γ(n)=(n−1)! と定義される理由とは？階乗とのズレの本質をわかりやすく解説

ガンマ関数が「Γ(n)=n!ではなくΓ(n)=(n−1)!と定義されている理由」は、数学の拡張の仕方と連続性の都合を理解すると自然に説明できます。本記事ではこの“1つずれ”の本質をわかりやすく整理します。

まずガンマ関数の目的とは何か

ガンマ関数は階乗を実数や複素数に拡張するために作られた関数です。

つまり「1!、2!、3!」のような整数だけでなく、0.5やπといった値にも階乗的な概念を与えます。

この拡張性がガンマ関数の本質です。

ガンマ関数は次の積分で定義されます：Γ(n)=∫₀^∞ x^{n−1} e^{−x} dx。

この定義から自然に「n−1」という形が現れます。

ここに階乗とのずれの根本原因があります。

この積分を部分積分で繰り返すと、Γ(n) = (n−1)Γ(n−1)という関係が得られます。

これを再帰的に展開すると、最終的にΓ(n) = (n−1)! となります。

つまり自然な構造として1つずれが生じています。

もしΓ(n)=n!と定義すると、積分定義との整合性が崩れてしまいます。

また再帰関係Γ(n+1)=nΓ(n)を綺麗に表せなくなります。

そのため数学的に自然な形がΓ(n)=(n−1)!なのです。

階乗では0!=1と定義されますが、ガンマ関数ではΓ(1)=1となります。

これによりΓ(n)=(n−1)!とすることで整合性が完全に保たれます。

もしズレがなければこの対応関係は成立しません。

ガンマ関数は「スタート地点が1つ後ろにずれている階乗」と考えると理解しやすくなります。

階乗の構造をそのまま滑らかに延長した結果として、このシフトが生まれています。

数学的には“自然な拡張の副産物”と言えます。

ガンマ関数がΓ(n)=(n−1)!となるのは、積分定義と再帰構造の整合性によるものです。

単なる慣習ではなく、数学的に最も自然な形としてこの「1つずれ」が現れています。

階乗の連続的拡張として理解すると、この理由は非常に明確になります。