팩토리얼에 관한 공식들
연속된 홀수의 곱
정수 $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*} $$
■