[二項定理]は超重要な展開公式！場合の数から理解しよう！

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

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

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

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

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

一連の記事はこちら

【場合の数１｜[和の法則]と[積の法則]は超アタリマエ！】
【場合の数２｜[順列]のnPrの考え方と公式は超カンタン！】
【場合の数３｜実はカンタンな円順列と数珠順列の考え方】
【場合の数４｜[組み合わせ]のnCrの求め方から性質まで攻略】
【場合の数５｜同じものを含むと順列の場合の数はどう変わる？】
【場合の数６｜[重複組み合わせ]は２パターンでOK！】
【場合の数７｜二項定理を理解しよう！場合の数を使って導出！】←今の記事
【場合の数８｜展開が楽にできる「パスカルの三角形」の考え方】
【場合の数９｜多項定理とは？実は二項定理と同じ考え方！】

1 二項定理
- 1.1 二項定理の内容
- 1.2 具体例
2 二項定理の考え方
3 補足

二項定理

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

二項定理の内容

展開公式

$\begin{align*} &(a+b)^2=a^2+2ab+b^2, \\&(a+b)^3=a^3+3a^2b+3ab^2+b^3 \end{align*}$

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

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

[二項定理]　実数(複素数)$a$, $b$と正の整数$n$に対して，次の展開公式が成り立つ．

$\begin{align*} (a+b)^{n}=\Co{n}{0}a^{n}+\Co{n}{1}a^{n-1}b+\Co{n}{2}a^{n-2}b^2+\dots+\Co{n}{n-1}ab^{n-1}+\Co{n}{n}b^{n} \end{align*}$

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

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

$\begin{align*} (a+b)^{n}=a^{n}+\Co{n}{1}a^{n-1}b+\Co{n}{2}a^{n-2}b^2+\dots+\Co{n}{n-1}ab^{n-1}+b^{n} \end{align*}$

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

具体例

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

$n=1$のとき
$\begin{align*} (a+b)^1 =&a+b, \\=&\Co{1}{0}a+\Co{1}{1}b \end{align*}$
$n=2$のとき
$\begin{align*} (a+b)^{2} =&a^{2}+2ab+b^{2}, \\=&\Co{2}{0}a^{2}+\Co{2}{1}ab+\Co{2}{2}b^{2} \end{align*}$
$n=3$のとき
$\begin{align*} (a+b)^{3} =&a^{3}+3a^{2}b+3ab^{2}+b^{3}, \\=&\Co{3}{0}a^{3}+\Co{3}{1}a^{2}b+\Co{3}{2}ab^{2}+\Co{3}{3}b^{3} \end{align*}$

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

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

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

$\begin{align*} (a+b)^{7} =&\Co{7}{0}a^{7}+\Co{7}{1}a^{6}b+\Co{7}{2}a^{5}b^{2}+\dots+\Co{7}{7}b^{7} \\=&a^{7}+7a^{6}b+21a^{5}b^{2}+35a^{4}b^{3}+35a^{3}b^{4}+21a^{2}b^{5}+7ab^{6}+b^{7} \end{align*}$

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

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

【場合の数８｜展開が楽にできる「パスカルの三角形」の考え方】

[二項定理]は$(a+b)^n$の展開公式ですが，具体的な$n$に対しては[パスカルの三角形]を使う考え方も便利です．[パスカルの三角形]を使えば，具体的な$n$に対して$(a+b)^n$の展開が簡単な足し算だけで求まります．

二項定理は$n$が大きいほど，通常の展開に比べて便利になる．

二項定理の考え方

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

【前回の記事：場合の数６｜[重複組み合わせ]は２パターンでOK！】

「A,B,Cの３種類の文字で7文字の並び(たとえばAABCBACなど)を作るような場合の数」を求めるときには，重複組合せの考え方を用います．ただし，この問題には「選ばない文字があってよい場合」と「選ばれない文字があってはならない場合」の２つの問題パターンがあります．この記事では，この問題の違いも含めて重複組合せを解説しています．

n=2の場合

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

$\begin{align*} (a+b)^2 =&(a+b)(a+b) \\=&a(a+b)+b(a+b) \\=&a^2+ab+ba+b^2 \end{align*}$

ですね．こうみると，

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

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

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

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

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

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

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

n=4の場合

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

$\begin{align*} (a+b)^4=(a+b)(a+b)(a+b)(a+b) \end{align*}$

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

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

と全部で$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$の全てで同様に考えることで，

$\begin{align*} (a+b)^n=\Co{4}{0}a^{4}+\Co{4}{1}a^{3}b+\Co{4}{2}a^{2}b^{2}+\Co{4}{3}ab^{3}+\Co{4}{4}b^{4} \end{align*}$

が成り立ちます．

二項定理の証明

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

$(a+b)^n$を展開すると，$a^n$, $a^{n-1}b$, $a^{n-2}b^2$, ……, $b^n$の項によって表される．

$\begin{align*} (a+b)^n=\underbrace{(a+b)(a+b)\dots(a+b)}_{n} \end{align*}$

である．

$a^{n-k}b^r$ ($r=0,1,\dots,n$)の係数を考える．

$(a+b)^n$の$n$個の$a+b$のうちから，$b$を取り出す$r$個を選べば，$a$を取り出す$n-r$個が決まり，この場合の数は$\Co{n}{r}$となる．

よって，$(a+b)^n$を展開すれば$a^{n-r}b^r$の係数は$\Co{n}{r}$である．

したがって，$(a+b)^n$は

$\begin{align*} (a+b)^n=\Co{n}{0}a^{n}+\Co{n}{1}a^{n-1}b+\Co{n}{2}a^{n-2}b^2+\dots+\Co{n}{n-1}ab^{n-1}+\Co{n}{n}b^{n} \end{align*}$

と展開できる．

係数$\Co{n}{k}$は$n$個の$a+b$のうち，どの$n-k$個から$a$を取り出し，どの$k$個から$b$を取り出すかということを表している．

補足

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

二項係数

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

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

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

$\begin{align*} &2^n=\Co{n}{0}+\Co{n}{1}+\Co{n}{2}+\dots+\Co{n}{n-1}+\Co{n}{n}, \\&0=\Co{n}{0}-\Co{n}{1}+\Co{n}{2}-\dots+(-1)^{n-1}\Co{n}{n-1}+(-1)^{n}\Co{n}{n} \end{align*}$