階乗に関連する公式들
連続する奇数の積
整数 $n \ge 0$に対して、次が成り立つ。
$$ (2n-1) \cdot (2n-3) \cdots 5 \cdot 3 \cdot 1 = \dfrac{(2n)!}{2^{n} (n!)} = (2n-1)!! $$
ここで、$n!!$はダブルファクトリアルを意味する。
証明
詳細な説明は省略する。
$$ \begin{align*} 3 \cdot 1 =&\ \dfrac{4 \cdot 3 \cdot 2 \cdot 1}{4 \cdot 2} = \dfrac{4!}{2^{2}(2 \cdot 1)} = \dfrac{(2 \cdot 2)!}{2^{2}(2!)} \\ 5 \cdot 3 \cdot 1 =&\ \dfrac{6 \cdot 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1}{6 \cdot 4 \cdot 2} = \dfrac{6!}{2^{3}(3 \cdot 2 \cdot 1)} = \dfrac{(2 \cdot 3)!}{2^{3}(3!)} \\ 7 \cdot 5 \cdot 3 \cdot 1 =&\ \dfrac{8 \cdot 7 \cdot 6 \cdot 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1}{8 \cdot 6 \cdot 4 \cdot 2} = \dfrac{8!}{2^{4}(4 \cdot 3 \cdot 2 \cdot 1)} = \dfrac{(2 \cdot 4)!}{2^{4}(4!)} \\ \vdots& \\ (2n-1) \cdot (2n-3) \cdots 5 \cdot 3 \cdot 1 =&\ \dfrac{(2n)!}{2^{n}(n!)} \end{align*} $$
■
連続する偶数の積
整数 $n \ge 0$に対して、次が成り立つ。
$$ (2n) \cdot (2n-2) \cdots 6 \cdot 4 \cdot 2 = 2^{n}(n!) $$
証明
詳細な説明は省略する。
$$ \begin{align*} 4 \cdot 2 =&\ 2^{2}(2 \cdot 1) = 2^{2}(2!) \\ 6 \cdot 4 \cdot 2 =&\ 2^{3}(3 \cdot 2 \cdot 1) = 2^{3}(3!) \\ 8 \cdot 6 \cdot 4 \cdot 2 =&\ 2^{4}(4 \cdot 3 \cdot 2 \cdot 1) = 2^{4}(4!) \\ \vdots& \\ (2n) \cdot (2n-2) \cdots 6 \cdot 4 \cdot 2 =&\ 2^{n}(n!) \end{align*} $$
■