問題は、二項係数に関する次の等式を証明することです。 $\sum_{k=0}^{n} 2^k {}_nC_k = {}_nC_0 + 2 {}_nC_1 + 2^2 {}_nC_2 + 2^3 {}_nC_3 + \cdots + 2^n {}_nC_n = 3^n$

代数学二項係数二項定理組み合わせ
2025/4/21

1. 問題の内容

問題は、二項係数に関する次の等式を証明することです。
k=0n2knCk=nC0+2nC1+22nC2+23nC3++2nnCn=3n\sum_{k=0}^{n} 2^k {}_nC_k = {}_nC_0 + 2 {}_nC_1 + 2^2 {}_nC_2 + 2^3 {}_nC_3 + \cdots + 2^n {}_nC_n = 3^n

2. 解き方の手順

二項定理を利用します。二項定理は次の式で表されます。
(x+y)n=k=0nnCkxnkyk(x + y)^n = \sum_{k=0}^{n} {}_nC_k x^{n-k} y^k
この式において、x=1x = 1y=2y = 2 とすると、
(1+2)n=k=0nnCk(1)nk(2)k(1 + 2)^n = \sum_{k=0}^{n} {}_nC_k (1)^{n-k} (2)^k
(1+2)n=k=0nnCk2k(1 + 2)^n = \sum_{k=0}^{n} {}_nC_k 2^k
3n=k=0nnCk2k3^n = \sum_{k=0}^{n} {}_nC_k 2^k
これは、与えられた等式の左辺と一致します。

3. 最終的な答え

k=0n2knCk=3n\sum_{k=0}^{n} 2^k {}_nC_k = 3^n