组合的視点からの二項定理

二項定理は、 $(x + y)^n$ の形の二項式を展開する方法を記述する。以下では、組合せ数学の視点から、抽象的な代数展開を具体的な計数問題に変換し、定理を詳しく証明する。

任意の非負整数 $n$ に対して、次が成り立つ：

(x + y)^n = \sum_{k=0}^n \binom{n}{k} x^{n-k} y^k

ここで $\binom{n}{k}$ は組合せ数（ $n$ 個から $k$ 個を選ぶ方法の数）であり、次のように定義される：

\binom{n}{k} = \frac{n!}{k! (n-k)!}

核となるアイデア： $(x + y)^n$ の展開過程を、 $n$ 個の因子 $(x + y)$ から $x$ または $y$ を選択する積の組合せと見なし、その選択方法の数を数えることで係数を説明する。

積の構造：
$(x + y)^n$ を $n$ 個の因子 $(x + y)$ の積と考える：
$(x + y)^n = (x + y)(x + y)\cdots(x + y) \quad (\text{合計 }n\text{ 個の因子})$
項の生成方法：
展開後の各項は $x^{n-k} y^k$ の形をとり、その生成方法は $n$ 個の因子から** $k$ 個の因子で $y$ を選び**、残りの $n-k$ 個の因子で $x$ を選ぶことである。例えば：
- $n=3$ の場合、項 $x^2 y$ を生成するには、3 個の因子から 1 個を選んで $y$ とし、残りを $x$ とすればよい。その選択方法は $\binom{3}{1}=3$ 通りある。
係数と組合せ数の対応：
各項 $x^{n-k} y^k$ の係数は、 $k$ 個の $y$ を選ぶ方法の数、すなわち $\binom{n}{k}$ に等しい。例えば：
- $(x + y)^3$ における $xy^2$ の係数は $\binom{3}{2}=3$ であり、これは 2 個の因子で $y$ を選ぶ 3 通りの方法 $(y,y,x)$ 、 $(y,x,y)$ 、 $(x,y,y)$ に対応する。

項の生成分析：
展開式におけるすべての可能な項は、次の選択過程によって生成される：
- 各因子 $(x + y)$ から $x$ または $y$ を選ぶ。
- 選択結果を掛け合わせると、 $x^{n-k} y^k$ の形の項が得られる。
組合せ数の役割：
$k$ 個の因子で $y$ を選ぶ方法の数は $\binom{n}{k}$ であるため、 $x^{n-k} y^k$ の係数は $\binom{n}{k}$ となる。すべての可能な $k$ （ $0 \leq k \leq n$ ）に対応する項を合計すれば、完全な展開式が得られる。

$n=4$ の場合：

(x + y)^4 = \binom{4}{0}x^4 + \binom{4}{1}x^3 y + \binom{4}{2}x^2 y^2 + \binom{4}{3}x y^3 + \binom{4}{4}y^4

展開すると：

x^4 + 4x^3 y + 6x^2 y^2 + 4x y^3 + y^4

係数 $\{1,4,6,4,1\}$ は組合せ数 $\binom{4}{k}$ に正確に対応しており、定理が正しいことを実証している。