證明題第1題.
試利用數學歸納法證明
\forall n\in N,
P^{2n}_{n} 恆為
2^n 的倍數,其中
\displaystyle P^n_m=\frac{n!}{m!},\,n,m\in N.
證明:
一、當
n=1 時,
P^2_1=2 為
2^1 的倍數.
二、假設當
n=k,\,k\in N 時,
P^{2k}_{k}=2^k\cdot m,其中
m 為整數.
則,當
n=k+1 時,
P^{2\left(k+1\right)}_{k+1}=\left(2k+2\right)\cdot\left(2k+1\right)\cdot 2k \cdots \left(k+2\right)
=2\cdot\left(2k+1\right)\cdot 2k \cdots \left(k+2\right)\left(k+1\right)
=2\cdot\left(2k+1\right)\cdot P^{2k}_{k}=2^{k+1}\cdot m\cdot\left(2k+1\right)
亦為
2^{k+1} 的倍數.
由一、二,及數學歸納法原理,可得
\forall n\in N,
P^{2n}_{n} 恆為
2^n 的倍數.