二項係数と二項定理 ― パスカルの三角形から多項定理まで

パスカルの恒等式，二項定理，ヴァンデルモンドの畳み込み，多項定理，負の二項係数，Lucasの定理を証明付きで解説する．

2026年2月27日

1 パスカルの恒等式

定理 1 (パスカルの恒等式).

1 \leq r \leq n - 1

のとき，

(r n) = (r - 1 n - 1) + (r n - 1)

が成り立つ．

証明.

n

個の元の集合

S

から

r

個を選ぶ部分集合を考える．特定の元

x \in S

に着目すると，

r

元部分集合は

x

を含むものと含まないものに分割される．

x

を含む場合は残り

n - 1

個から

r - 1

個を選ぶので

(r - 1 n - 1)

通り，含まない場合は

n - 1

個から

r

個を選ぶので

(r n - 1)

通り．加法原理より等式が従う． □

注意 2.

パスカルの恒等式を繰り返し適用して得られる三角形配列をパスカルの三角形（Pascal's triangle）という．第

n

行（

n = 0, 1, 2, \dots

）に

(0 n), (1 n), \dots, (n n)

が並ぶ．

2 二項定理

定理 3 (二項定理).

任意の

x, y

と非負整数

n

に対して

(x + y)^{n} = r = 0 \sum n (r n) x^{r} y^{n - r}

が成り立つ．

証明.

n

に関する帰納法で証明する．

n = 0

のとき両辺は

1

で成立．

n \geq 1

とし，

n - 1

で成立を仮定する．

(x + y)^{n} = (x + y) (x + y)^{n - 1} = (x + y) r = 0 \sum n - 1 (r n - 1) x^{r} y^{n - 1 - r}

= r = 0 \sum n - 1 (r n - 1) x^{r + 1} y^{n - 1 - r} + r = 0 \sum n - 1 (r n - 1) x^{r} y^{n - r}

r + 1 = s

と置換して整理すると，

x^{s} y^{n - s}

の係数は

(s - 1 n - 1) + (s n - 1)

となり，パスカルの恒等式より

(s n)

に等しい．端の項も確認すれば結論が得られる． □

3 ヴァンデルモンドの畳み込み

定理 4 (Vandermonde の畳み込み).

(r m + n) = k = 0 \sum r (k m) (r - k n)

証明.

m

個の元の集合

A

と

n

個の元の集合

B

（

A \cap B = \emptyset

）から

r

個を選ぶ方法を考える．

A

から

k

個，

B

から

r - k

個選ぶ方法は

(k m) (r - k n)

通り．

k

について和をとると

(r m + n)

となる． □

4 多項定理

定理 5 (多項定理).

(x_{1} + x_{2} + \dots + x_{k})^{n} = n_{1} + n_{2} + \dots + n_{k} = n n_{i} \geq 0 \sum (n _{1} , n _{2} , \dots , n _{k} n) x_{1}^{n_{1}} x_{2}^{n_{2}} \dots x_{k}^{n_{k}}

ここで多項係数は

(n _{1} , n _{2} , \dots , n _{k} n) = \frac{n !}{n _{1} ! n _{2} ! \dots n _{k} !}

で定義される．

証明.

(x_{1} + \dots + x_{k})^{n}

を展開するとき，

n

個の因子からそれぞれ

x_{i}

を1つ選ぶ．

x_{1}

を

n_{1}

個，…，

x_{k}

を

n_{k}

個選ぶ方法の数は，

n

個の位置を

k

群に分割する多項係数

\frac{n !}{n _{1} ! \dots n _{k} !}

に等しい． □

5 負の二項係数

定義 6 (一般化二項係数).

α \in R

，

r \in Z_{\geq 0}

に対し，

(r α) = \frac{α ( α - 1 ) ( α - 2 ) \dots ( α - r + 1 )}{r !}

と定める．

α

が負の整数のとき，

(r - n) = (- 1)^{r} (r n + r - 1)

が成り立つ．

定理 7.

(r - n) = (- 1)^{r} (r n + r - 1)

証明.

(r - n) = \frac{( - n ) ( - n - 1 ) \dots ( - n - r + 1 )}{r !} = \frac{( - 1 ) ^{r} \cdot n ( n + 1 ) \dots ( n + r - 1 )}{r !} = (- 1)^{r} (r n + r - 1)

□

6 Lucas の定理

定理 8 (Lucas の定理).

p

を素数とし，

n

と

r

の

p

進展開をそれぞれ

n = \sum_{i} n_{i} p^{i}

，

r = \sum_{i} r_{i} p^{i}

（

0 \leq n_{i}, r_{i} < p

）とする．このとき

(r n) \equiv i \prod (r _{i} n _{i}) (mod p)

が成り立つ．

証明.

F_{p} [x]

において

(1 + x)^{p} = 1 + x^{p}

が成り立つ（二項定理と

p ∣ (k p)

（

1 \leq k \leq p - 1

）による）．帰納的に

(1 + x)^{p^{i}} = 1 + x^{p^{i}}

が得られる．

(1 + x)^{n} = i \prod (1 + x)^{n_{i} p^{i}} = i \prod (1 + x^{p^{i}})^{n_{i}} = i \prod r_{i} = 0 \sum n_{i} (r _{i} n _{i}) x^{r_{i} p^{i}}

x^{r}

の係数を比較すれば結論が得られる． □

例 9.

(3 10) (mod 3)

：

10 = 1 \cdot 3 + 0 \cdot 3^{0} + 1 \cdot 3^{2}

（

10 = (101)_{3}

），

3 = (10)_{3}

より

(3 10) \equiv (1 1) (0 0) (0 1) = 1 (mod 3)

．実際

(3 10) = 120 = 40 \times 3

より

120 \equiv 0 (mod 3)

．ここで

10 = (101)_{3}

，

3 = (010)_{3}

なので

(1 0) = 0

となり

(3 10) \equiv 0 (mod 3)

が正しい．

二項係数と二項定理 ― パスカルの三角形から多項定理まで

1 パスカルの恒等式

2 二項定理

3 ヴァンデルモンドの畳み込み

4 多項定理

5 負の二項係数

6 Lucas の定理

関連する「教科書の行間」記事

Share your expertise with the world

More from Folio公式

Folio LaTeXの基本 ― 標準LaTeXとの違いと始め方

カタラン数はなぜどこにでも現れるのか ― 括弧列・二分木・格子経路の不思議な一致

漸化式と母関数 ― 数列を「関数」にすると何が見えるか

包除原理はなぜ「足して引いて」を繰り返すのか ― ベン図からメビウス関数へ