(1) $\sum_{k=0}^{n} (-1)^k {}_n C_k$ の値を求める。 (2) $\sum_{k=0}^{n} {}_{2n}C_{2k}$ の値を求める。

代数学二項定理組み合わせシグマ
2025/6/3

1. 問題の内容

(1) k=0n(1)knCk\sum_{k=0}^{n} (-1)^k {}_n C_k の値を求める。
(2) k=0n2nC2k\sum_{k=0}^{n} {}_{2n}C_{2k} の値を求める。

2. 解き方の手順

(1) 二項定理 (x+y)n=k=0nnCkxnkyk(x+y)^n = \sum_{k=0}^{n} {}_n C_k x^{n-k} y^k を利用する。
x=1x=1, y=1y=-1 を代入すると、
(11)n=k=0nnCk1nk(1)k=k=0n(1)knCk(1-1)^n = \sum_{k=0}^{n} {}_n C_k 1^{n-k} (-1)^k = \sum_{k=0}^{n} (-1)^k {}_n C_k
よって、k=0n(1)knCk=0n=0\sum_{k=0}^{n} (-1)^k {}_n C_k = 0^n = 0 (ただし、n0n \neq 0)。n=0n=0 のときは、0C0=1{}_0 C_0 = 1
(2) 二項定理 (1+1)2n=k=02n2nCk(1+1)^{2n} = \sum_{k=0}^{2n} {}_{2n}C_k(11)2n=k=02n2nCk(1)k(1-1)^{2n} = \sum_{k=0}^{2n} {}_{2n}C_k (-1)^k を利用する。
(1+1)2n=2nC0+2nC1+2nC2+2nC3++2nC2n=22n(1+1)^{2n} = {}_{2n}C_0 + {}_{2n}C_1 + {}_{2n}C_2 + {}_{2n}C_3 + \dots + {}_{2n}C_{2n} = 2^{2n}
(11)2n=2nC02nC1+2nC22nC3++2nC2n=0(1-1)^{2n} = {}_{2n}C_0 - {}_{2n}C_1 + {}_{2n}C_2 - {}_{2n}C_3 + \dots + {}_{2n}C_{2n} = 0
2つの式を足し合わせると、
2(2nC0+2nC2+2nC4++2nC2n)=22n2({}_{2n}C_0 + {}_{2n}C_2 + {}_{2n}C_4 + \dots + {}_{2n}C_{2n}) = 2^{2n}
よって、2nC0+2nC2+2nC4++2nC2n=22n1{}_{2n}C_0 + {}_{2n}C_2 + {}_{2n}C_4 + \dots + {}_{2n}C_{2n} = 2^{2n-1}

3. 最終的な答え

(1) 0 (ただし、n0n \neq 0)。n=0n=0 のときは1。
(2) 22n12^{2n-1}