場合の数の基本８｜多項定理の考え方と公式

【場合の数の基本７｜二項定理の考え方と公式】の続きです．

前回の記事では[二項定理]について解説しました．

[二項定理]は $(a+b)^n$ の展開公式で，場合の数を用いて導出するのでした．

また，[二項定理]の拡張として $(a_1+a_2+\dots+a_k)^n$ の展開公式である[多項定理]があります．そして，[多項定理]も[二項定理]と同じく，場合の数を用いて導出することができます．

考え方も[二項定理]とほとんど同じですが，これまでに見てきた場合の数を理解できていなければ難しいでしょう．その意味で，[多項定理]を理解できていることは，一定の理解がある証拠でもあります．

この記事では，[多項定理]について解説します．

【SPONSORED LINK】

1 二項定理

二項定理

最初に[多項定理]がどのような定理かを説明し，後から考え方を説明します．

多項定理の内容

[多項定理]は次のような展開公式です．

[多項定理]　 $k$ 個の実数(複素数) $a_1$ ， $a_2$ ，……， $a_k$ と正の整数 $n$ に対して， $(a_1+a_2+\dots+a_k)^{n}$ の $a_{1}^{n_1}a_{2}^{n_2}\dots a_{k}^{n_k}$ ( $n=n_1+n_2+\dots+n_k$ )の係数は

$\f{n!}{n_{1}!n_{2}!\dots n_{k}!}$

である．

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

最初に書いたように，[多項定理]は[二項定理]の拡張で，[多項定理]で $k=2$ とすると[二項定理]となります．

実際に， $k=2$ の場合の[多項定理]によると，「 $(a_1+a_2)^n$ の $a_{1}^{n_1}a_{2}^{n_2}$ ( $n=n_1+n_2$ )の係数が $\f{n!}{n_{1}!n_{2}!}$ である」ということになります．

これを， $n=n_1+n_2$ に注意して言い換えれば，「 $(a_1+a_2)^n$ の $a_{1}^{n-n_1}a_{n_1}$ ( $n=n_1+n_2$ )の係数が $\f{n!}{n_{1}!(n-n_1)!}$ である」ということになります． $\f{n!}{n_{1}!(n-n_1)!}={}_{n}\mrm{C}_{n_1}$ ですから，確かに[二項定理]が出てきました．

なお，前回の記事では「 $(a+b)^n$ を展開したときの $a^{n-k}b^{k}$ の係数は ${}_{n}\mrm{C}_{k}$ 」と書きました．文字は違いますが， $a$ と $a_1$ ， $b$ と $a_2$ ， $n_1$ と $k$ が対応していると考えると，同じことを言っているのが分かりますね．

また，[二項定理]では

$(a+b)^{n}={}_{n}\mrm{C}_{0}a^{n}+{}_{n}\mrm{C}_{1}a^{n-1}b+{}_{n}\mrm{C}_{2}a^{n-2}b^2+\dots+{}_{n}\mrm{C}_{n-1}ab^{n-1}+{}_{n}\mrm{C}_{n}b^{n}$

と並べて書きましたが，[多項定理]では書き並べると非常に煩雑になるので，上のような書き方をしていますが，イメージは[二項定理]のときと同様です．

[二項定理]の場合と同様に，[多項定理]が威力を発揮するのは $n$ が大きくなったときです．例えば， $(a+b+c)^{6}$ を実際に展開しようとすると，かなり面倒な計算をすることになります．

しかし，[多項定理]から， $(a+b+c)^{6}$ のたとえば $a^2b^3c$ の係数は

$\f{6!}{2!3!1!}=60$

と分かります．他にも $a^2c^4$ の係数は $a^2b^0c^4$ と考えて

$\f{6!}{2!0!4!}=15$

と分かります．なお， $0!=1$ であることに注意してください．

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

多項定理の考え方

[多項定理]の考え方は[二項定理]の考え方と同じです．

たとえば， $k=3$ ， $n=4$ の場合を考えてみます．このとき，

$(a+b+c)^4=(a+b+c)(a+b+c)(a+b+c)(a+b+c)$

です．ここで，

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

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

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

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

ただし， $a^2ba$ などは $a^3b$ に等しくなります．このように，4個の $a+b+c$ のうちから3個で $a$ を取り出し，1個で $b$ を取り出し(，0個で $c$ を取り出し)た項は全て $a^3b$ に等しくなります．

よって，4個の $a+b+c$ のうちから3個で $a$ を取り出し，1個で $b$ を取り出す場合の数だけ $a^3b$ が出てくることになります．

この場合の数は3個の $a$ と1個の $b$ (と0個の $c$ )を並べる場合の数に等しく， $\f{4!}{3!1!0!}$ となります．

他の項，たとえば $ab^2c$ でも同様で，1個の $a$ と2個の $b$ と1個の $c$ を並べる場合の数に等しく， $\f{4!}{1!2!1!}$ となります．

これを全ての項で同様に考えることで， $(a+b+c)^4$ の $a^{\ell}+b^{m}+c^{n}$ ( $\ell+m+n=4$ )の係数が

$\f{n!}{\ell!m!n!}$

となることが分かります．

多項定理の証明

「多項定理の考え方」と同様に考えて，[多項定理]を証明します．

[多項定理の証明]

$(a_1+a_2+\dots+a_k)^n$ を展開すると， $a_1^{n_1}a_2^{n_2}\dots a_k^{n_k}$ ( $n_1+n_2+\dots+n_k=n$ )の項によって表される．

$(a_1+a_2+\dots+a_k)^n=\underbrace{(a_1+a_2+\dots+a_k)(a_1+a_2+\dots+a_k)\dots(a_1+a_2+\dots+a_k)}_{n}$

である．

$a_1^{n_1}a_2^{n_2}\dots a_k^{n_k}$ ( $n_1+n_2+\dots+n_k=n$ )の係数を考える．

$(a_1+a_2+\dots+a_k)^n$ の $n$ 個の $a_1+a_2+\dots+a_k$ のうちから， $a_1$ を取り出す $n_1$ 個を選び， $a_2$ を取り出す $n_2$ 個を選び，……， $a_{k}$ を取り出す $n_{k}$ 個を選ぶ場合の数だけ $a_1^{n_1}a_2^{n_2}\dots a_k^{n_k}$ が出てくることになる．

この場合の数は， $n_1$ 個の $a_1$ ， $n_2$ 個の $a_2$ ，……， $n_{k}$ 個の $a_{k}$ を並べる場合の数に等しい．これは「同じものを含む順列」である．

よって， $(a_1+a_2+\dots+a_k)^n$ を展開すれば $a_1^{n_1}a_2^{n_2}\dots a_k^{n_k}$ の係数は $\f{n!}{n_1!n_2!\dots n_k!}$ である．

【参考記事：場合の数の基本５｜同じものを含む順列の考え方と公式】

[証明終]

係数 $\f{n!}{n_1!n_2!\dots n_k!}$ は $n$ 個の $a_1+a_2+\dots+a_k$ のうち，どの $n_1$ 個から $a_1$ を取り出し，どの $n_2$ 個から $a_2$ を取り出し，……，どの $n_k$ 個から $a_k$ を取り出すかという場合の数を表している．

【場合の数の基本９｜二項係数の性質とパスカルの三角形】に続きます．

場合の数の基本８｜多項定理の考え方と公式

二項定理

多項定理の内容

多項定理の考え方

多項定理の証明

コメント

コメントを残すコメントをキャンセル

【人気の投稿】

【SPONSORED LINK】

【勉強法の記事】

【科目別の記事】

【SPONSORED LINK】

【閲覧数集計中！】

二項定理

多項定理の内容

多項定理の考え方

多項定理の証明

SNSでもご購読できます。

コメント

コメントを残す コメントをキャンセル

【人気の投稿】

【SPONSORED LINK】

【勉強法の記事】

【科目別の記事】

【SPONSORED LINK】

【閲覧数 集計中！】

コメントを残すコメントをキャンセル

【閲覧数集計中！】