場合の数７｜二項定理を理解しよう！場合の数を使って導出！

前回の記事では，重複する場合の数を求める際には「重複度で割る」という重複組合せの考え方がとても便利であることを説明しました．

この重複組合せの考え方を使うと，$(a+b)^n$の展開公式である[二項定理]を導くことができます．

「組み合わせ」と「展開公式」が結びつくのは少し以外に思えるかもしれませんが，一度分かってしまえば展開公式が「重複組合せ」にしか見えなくなります．

なお，この記事で説明する[二項定理]は２項$a+b$に関する$(a+b)^n$の展開公式ですが，のちの記事で説明するように項が増えた場合の展開公式として[多項定理]というものがあります．

その[多項定理]の記事でも同じく「重複組合せ」の考え方を使うので，この記事で「重複組合せ」の考え方を習得してください．

二項定理

最初に[二項定理]の内容を説明し，そのあとに考え方を説明します．

二項定理の内容

展開公式

   

は当たり前にしておきたい公式ですね．

さて，これら$(a+b)^2$や$(a+b)^3$の指数部分を$n$とした以下のような$(a+b)^n$の展開公式を[二項定理]と言います．

$a$, $b$は実数でも複素数でも構いません．

また，$\Co{n}{0}=\Co{n}{n}=1$なので，以下のように$a^n$の係数と$b^n$の係数は1ですね．

   

また，この[二項定理]を用いて展開することを「二項展開」ということもあります．

具体例

さて，具体的に$n=1,2,3$の場合に[二項定理]が正しいことを確認してみましょう．

• $n=1$のとき

     

• $n=2$のとき

     

• $n=3$のとき

     

ですから，いずれの場合も[二項定理]は正しいですね．

$n=3$程度なら[二項定理]を使わなくても頑張って展開すれば求めることができますが，[二項定理]が威力を発揮するのは指数$n$が大きくなったときです．

例えば，$(a+b)^{7}$を実際に頑張って展開しようとするとかなり面倒な計算をすることになりますが，[二項定理]を使えば以下のように比較的簡単に展開することができます．

   

と比較的ずいぶん楽に展開することができます．

なお，次の記事で説明する[パスカルの三角形]を使えば，さらに簡単に足し算だけでこの展開公式が求まることも分かります．

二項定理の考え方

[重複組み合わせ]の考え方を用いて，[二項定理]を考えることができます．

n=2の場合

分配法則から，普通に展開するなら

   

ですね．こうみると，

1. 第１項$a^2$は$(\boldsymbol{a}+b)(\boldsymbol{a}+b)$の太字部分をかけてできたもの
2. 第２項$ab$は$(\boldsymbol{a}+b)(a+\boldsymbol{b})$を太字部分をかけてできたもの
3. 第３項$ba$は$(a+\boldsymbol{b})(\boldsymbol{a}+b)$を太字部分をかけてできたもの
4. 第４項$b^2$は$(a+\boldsymbol{b})(a+\boldsymbol{b})$を太字部分をかけてできたもの

であることが分かります．

つまり，２つの$a+b$から$a$か$b$を選ぶことによって，全ての項が表せるわけですね．

そして，このとき$ab=ba$ですから，$(a+b)^{2}=a^2+2ab+b^2$となります．

イメージとしては，$a$と$b$と書かれたボールが入った箱が２つ並んでおり，

1. 左の箱から$a$を取り，右の箱から$a$をとると$a^{2}$
2. 左の箱から$a$を取り，右の箱から$b$をとると$ab$
3. 左の箱から$b$を取り，右の箱から$a$をとると$ba$
4. 左の箱から$b$を取り，右の箱から$b$をとると$b^{2}$

と考えることができます．

n=4の場合

もう少し$n$を大きくして$n=4$の場合を考えてみます．

   

です．ここで，$n=2$の場合と同じように，

1. $(\boldsymbol{a}+b)(\boldsymbol{a}+b)(\boldsymbol{a}+b)(\boldsymbol{a}+b)$の太字部分をかけると$a^4$
2. $(\boldsymbol{a}+b)(\boldsymbol{a}+b)(\boldsymbol{a}+b)(a+\boldsymbol{b})$を太字部分をかけると$a^3b$
3. $(\boldsymbol{a}+b)(\boldsymbol{a}+b)(a+\boldsymbol{b})(\boldsymbol{a}+b)$を太字部分をかけると$a^2ba$
4. $(\boldsymbol{a}+b)(\boldsymbol{a}+b)(a+\boldsymbol{b})(a+\boldsymbol{b})$を太字部分をかけると$a^2b^2$
5. ……

と全部で$2^4$項，つまり$16$項できることが分かります．

また，このとき掛け合わされている$a$と$b$と$c$の個数はいずれも４ですね．(たとえば，$a^4$は$a$が４個，$a^3b$は$a$が３個と$b$が１個の合わせて４個)

つまり，４つの$a+b$から$a$か$b$を選ぶことによって，全ての項が表せるわけですね．

例えば，$(a+b)^4$の４つの$(a+b)$のうちから

• ３つで$a$を取り出し，
• １つので$b$を取り出して

できる項は$a^3b$なので，「４つの$(a+b)$のうちから３つで$a$を取り出し，１つで$b$を取り出す場合の数」だけ$a^3b$が出てくることになります．

４つの$a+b$のうちから１つ$b$を取り出すものを選べば，３つ$a$を取り出すものは決まるから，この場合の数は$\Co{4}{1}$となります．

以上より，$(a+b)^4$を展開すれば，$a^3b$は$\Co{4}{1}$個出てくるので，$a^3b$の係数は$\Co{4}{1}$となります．

他の項，たとえば$a^2b^2$でも同様に，４つの$a+b$のうちから２つ$b$を取り出すものを選べば，２つ$a$を取り出すものは決まるから，この場合の数は$\Co{4}{2}$となりますから，$(a+b)^4$を展開すれば$\Co{4}{1}a^3b$が出てくることになります．

これを$a^4$, $a^3b$, $a^2b^2$, $ab^3$, $b^4$の全てで同様に考えることで，

   

が成り立ちます．

二項定理の証明

さて，いま見た考え方と同様に[二項定理]を証明できます．

補足

いくつか補足しましょう．

二項係数

もともと$\Co{n}{k}$は「組み合わせ」から出てきたものですが，[二項定理]では係数として出てきます．

この意味で，$\Co{n}{k}$を二項係数ということも多いです．

[二項定理]から，二項係数に関する次の等式が成り立つことは有名なので知っておいて良いでしょう．

   

[二項定理]で$a=b=1$とすれば一つ目の等式が，$a=1$, $b=-1$とすれば二つ目の等式が成り立つことが分かります．

二項係数の順番

二項係数については，$\Co{7}{2}=\Co{7}{5}$のように，一般に$\Co{n}{r}=\Co{n}{n-r}$が成り立つのでした．

そのため，[二項定理]

   

は二項係数の順番を真逆にした以下の式でも正しいです．

   

実際に必要になったときには使いやすい方を選びましょう．

「同じものを含む順列」を使った考え方

この記事では，「重複組合せ」を使って[二項定理]を考えましたが，「同じものを含む順列」を使っても導出することができます．

$a$を$k$個と$b$を$\ell$個の合わせて$n$文字を並べることを考えます．

このとき，$abaabba\dots$という並びは

   

の右辺で，

• １つ目の$(a+b)$から$a$を
• ２つ目の$(a+b)$から$b$を
• ３つ目の$(a+b)$から$a$を
• ４つ目の$(a+b)$から$a$を
• ５つ目の$(a+b)$から$a$を
• ……

と各$(a+b)$から$a$と$b$をどう取り出したかに対応しています．

つまり，$a$を$k$個と$b$を$\ell$個の合わせて$n$文字の並べ方と$a^{k}b^{n-k}$の個数が一致することになります．

$a$を$k$個と$b$を$\ell$個の合わせて$n$文字を並べる場合の数は

   

となって，確かに[重複組合せ]の説明と同じく$a^kb^{n-k}$の係数が$\Co{n}{k}$であることが分かりましたね．