場合の数8
(a+b)ⁿが楽に展開できるパスカルの三角形

場合の数と確率
場合の数と確率

前回の記事では$(a+b)^n$が

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

と展開されるという二項定理を説明しました.

さて,実はこの二項係数$\Co{n}{k}$はパスカルの三角形と呼ばれるものとピッタリ対応することが分かります.

この記事では

  • 二項係数$\Co{n}{k}$の性質
  • パスカルの三角形
  • 二項定理とパスカルの三角形の関係

を順に説明します.

二項係数の性質

まずは二項係数$\Co{n}{k}$に関する重要性質を3つ紹介します.

二項係数$\Co{n}{k}$について,次の性質が成り立つ.

  1. $(n-k)\Co{n}{k}=(k+1)\Co{n}{k+1}$
  2. $(n+1)\Co{n}{k}=(n-k+1)\Co{n+1}{k}$
  3. $\Co{n}{k}+\Co{n}{k+1}=\Co{n+1}{k+1}$

ざっくり言えば,

  • (1)は$\Co{n}{k}$と$\Co{n}{k+1}$の関係式($\Co{n}{k}$の$k$を1つずらしたときにどうなるか)
  • (2)は$\Co{n}{k}$と$\Co{n+1}{k}$の関係式($\Co{n}{k}$の$n$を1つずらしたときにどうなるか)

を表していますね.

また,(3)は(1)と(2)を用いて示すことができますが,この(3)がこの記事のメインテーマのパスカルの三角形と密接に関係しています.

これら(1)〜(3)の証明には以前の記事で証明した$\Co{n}{k}=\dfrac{n!}{(n-k)!k!}$を用いるので,ここで思い出しておきましょう.

場合の数4
組み合わせのₙCₖを考え方から基本性質まで攻略
「6個の文字A, B, C, D, E, Fから3つ選ぶ場合の数」のように,いくつかのものからいくつかを選ぶことを「組み合わせ」と言います.この記事では,場合の数で頻出の組み合わせの場合の数の考え方と求め方を説明します.

(1) $\Co{n}{k}=\dfrac{n!}{(n-k)!k!}$, $\Co{n}{k+1}=\dfrac{n!}{(n-k-1)!(k+1)!}$より

    \begin{align*}&(n-k)\Co{n}{k}=\frac{n!}{(n-k-1)!k!}, \\&(k+1)\Co{n}{k+1}=\frac{n!}{(n-k-1)!k!}\end{align*}

だから,$(n-k)\Co{n}{k}=(k+1)\Co{n}{k+1}$が従う.

(2) $\Co{n}{k}=\dfrac{n!}{(n-k)!k!}$, $\Co{n+1}{k}=\dfrac{(n+1)!}{(n-k+1)!k!}$より

    \begin{align*}&(n+1)\Co{n}{k}=\frac{(n+1)!}{(n-k)!k!}, \\&(n-k+1)\Co{n+1}{k}=\frac{(n+1)!}{(n-k)!k!}\end{align*}

だから,$(n+1)\Co{n}{k}=(n-k+1)\Co{n+1}{k}$が従う.

(3) 性質(1)から$\Co{n}{k}=\dfrac{k+1}{n-k}\Co{n}{k+1}$が成り立ち,性質(2)から$\Co{n}{k+1}=\dfrac{n-k}{n+1}\Co{n+1}{k+1}$が成り立つから,

    \begin{align*}\Co{n}{k}+\Co{n}{k+1} =&\bra{\frac{k+1}{n-k}+1}\Co{n}{k+1} \\=&\bra{\frac{k+1}{n-k}+1}\cdot\frac{n-k}{n+1}\Co{n+1}{k+1} \\=&\frac{(k+1)+(n-k)}{n+1}\Co{n+1}{k+1} \\=&\frac{n+1}{n+1}\times\Co{n+1}{r+1} =\Co{n+1}{r+1}\end{align*}

が従う.

パスカルの三角形

次にパスカルの三角形がどういうものか説明します.

このパスカルは「人間は考える葦である」や気圧の単位で有名なBlaise Pascal氏です.

次の条件で順次定まっていく整数の並びをパスカルの三角形という.

  • 上から$n$段目には$(n+1)$個の整数が並ぶ
  • どの段も両端は$1$である
  • $(n+1)$段目の左から$(r+1)$番目の整数は,$n$段目の左から$r$番目,$(r+1)$番目の整数の和である

Rendered by QuickLaTeX.com

$1$段目の$1$, $1$から出発して,$2$段目,$3$段目,……と順に整数を並べていくわけですね.

ここで,$(a+b)^n$を展開したときの係数を$n$ごとに観察すると,

  • $(a+b)^1=a+b$の係数は$1$, $1$
  • $(a+b)^2=a^2+2ab+b^2$の係数は$1$, $2$, $1$
  • $(a+b)^3=a^3+3a^2b+3ab^2+b^3$の係数は$1$, $3, $3$, $1$

となっており,これはパスカルの三角形の上からの整数の並びとぴったり一致していることがみてとれますね!

二項定理とパスカルの三角形の関係

ということで,次の定理が成り立つことが見てとれますね.

パスカルの三角形の$n$段目は,$(a+b)^n$の二項展開の$a^n$, $a^{n-1}b$,……,$b^n$の係数の並びに一致する.

証明

この証明のために,上で示した二項係数$\Co{n}{k}$の性質(3)が本質的に重要です.

$n=1,2,\dots$に対して,$(a+b)^n$の二項展開の$a^n$, $a^{n-1}b$,……,$b^n$の係数を$n$段目に並べると

Rendered by QuickLaTeX.com

となっている.このとき,上から$n$段目には$(n+1)$個の整数が並んでおり,どの段も両端は$1$である.

さらに,上で示した二項係数$\Co{n}{k}$の性質(3)より

    \begin{align*}\Co{n}{k}+\Co{n}{k+1}=\Co{n+1}{k+1}\end{align*}

が成り立つから,$(n+1)$段目の左から$(r+1)$番目の整数$\Co{n+1}{r+1}$は,$n$段目の左から$r$番目,$(r+1)$番目の整数$\Co{n}{r}$, $\Co{n}{r+1}$の和である.

Rendered by QuickLaTeX.com

よって,上の数の並びはパスカルの三角形である.

つまり,等式$\Co{n}{r}+\Co{n}{r+1}=\Co{n+1}{r+1}$でどんどん繋がって,パスカルの三角形になっているわけですね.

Rendered by QuickLaTeX.com

具体例

具体的に以下の展開を求めましょう.

$(a+b)^7$を展開せよ.

パスカルの三角形の$7$段目を見れば,$(a+b)^7$を展開したときの$a^7,a^6b,\dots,b^7$の係数が分かる.

Rendered by QuickLaTeX.com

よって,

    \begin{align*}(a+b)^7=a^7+7a^6b+21a^5b^2+35a^4b^3+35a^3b^4+21a^2b^5+7ab^6+b^7\end{align*}

である.

これは前回の記事で二項定理を用いて展開した$(a+b)^7$の結果と一致していますね.

場合の数7
(a+b)ⁿの展開は二項定理!組み合わせを使って導出
(a+b)²の展開や,(a+b)³の展開は当たり前にしておきたい公式ですね.より一般に(a+b)ⁿの展開公式が知られており,これを二項定理といいます.この記事では「組み合わせ」を使って二項定理の考え方を説明します.

このように具体的な(それほど大きくない)正の整数$n$に対する$(a+b)^n$の展開はパスカルの三角形を使うと簡単に計算することができますね.

コメント