二項定理とは?証明や応用問題の解き方をわかりやすく解説!

この記事では、「二項定理」についてわかりやすく解説します。

定理の証明や問題の解き方、分数を含むときの係数や定数項の求め方なども説明しますので、この記事を通してぜひマスターしてくださいね!

 

二項定理とは?【公式】

二項定理とは、\((a + b)^n\) を展開した際の各項の係数を与える定理です。

二項定理

\begin{align}&(a + b)^n \\&= {}_n\mathrm{C}_0 a^n + {}_n\mathrm{C}_1a^{n − 1}b + {}_n\mathrm{C}_2a^{n − 2}b^2 + \\& \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \cdots + {}_n\mathrm{C}_r a^{n − r}b^r + \cdots + {}_n\mathrm{C}_n b^n\end{align}

 

一般項(第 \(r + 1\) 項):\(\color{red}{{}_n\mathrm{C}_r a^{n − r}b^r}\)

複雑な定理に見えますが、慣れてしまえばとても簡単で便利な定理です。

Tips

和を意味するシグマ \(\sum\) の記号を使うと、よりスッキリと表せます。

\begin{align}\color{red}{(a + b)^n = \sum_{k = 0}^n {}_n\mathrm{C}_k a^{n − k} b^k}\end{align}

シグマ Σ とは?記号の意味や和の公式、証明や計算問題

 

二項定理の考え方

二項定理において注目するのは、\(\color{red}{{}_n\mathrm{C}_r}\) の部分です。

因数分解の公式「\((a + b)^2 = a^2 + 2ab + b^2\)」を例に考えてみましょう(係数に注目するため、文字をあえて図形にします)。

\((◯ + △)^2 = ◯^2 + 2◯△ + △^2\)

 

左辺は、分配法則を使って右辺の形に展開したのでしたね。

ここで考え方を少し変えると、展開後の項は「すべてのカッコ()の中から◯か△のどちらかを選び取ってかけ合わせたもの」と考えることもできます。

片方の文字に着目すると、「異なる \(2\) 個のカッコ()の中から△を \(0\) or \(1\) or \(2\) 個(または◯ を \(2\) or \(1\) or \(0\) 個)選んでかけ合わせる」ことになります。

だから、展開後の項の係数の部分は組み合わせの計算で求められるのです。

\((◯ + △)^2\)

\(= \color{red}{{}_2\mathrm{C}_0} ◯^2 + \ \color{red}{{}_2\mathrm{C}_1} ◯△ + \color{red}{{}_2\mathrm{C}_2} △^2\)

\(= ◯^2 + 2◯△ + △^2\)

これは、\(3\) 乗、\(4\) 乗…とべき乗の数を増やしても成り立ちます。

つまり、\((◯ + △)^n\) の展開は「異なる \(n\) 個のカッコ()の中から \(△\) を \(0\) ~ \(n\) 個選び、かけ合わせる」こと、これが二項定理なのです。

組み合わせ \(\bf{{}_n\mathrm{C}_r}\)

異なる \(n\) 個のものから異なる \(r\) 個を取り出す(選び出す)場合の数。

\begin{align} {}_n \mathrm{C}_r &= \frac{{}_n \mathrm{P}_r}{r!} \\&= \frac{n!}{r!(n − r)!} \\ &= \frac{n(n − 1)(n − 2) \cdots (n − r + 1)}{r(r − 1)(r − 2) \cdots 1}\end{align}

組み合わせ C とは?公式や計算方法(◯◯は何通り?)

 

二項定理の証明

ここでは、二項定理が成り立つことを数学的帰納法を使って証明します。

補足

証明の過程は少し難しいので、理解できなくても大丈夫です!

なお、「数学的帰納法」については以下の記事で説明しています。

数学的帰納法とは?証明問題の解き方をわかりやすく解説!
証明

 

\(\displaystyle (a + b)^n = \sum_{k=0}^n {}_n\mathrm{C}_k a^{n−k} b^k\) …①

を数学的帰納法で示す。

 

(i) \(n = 1\) のとき

(左辺) \(= (a + b)^1 = a + b\)

(右辺) \(= {}_1\mathrm{C}_0 \cdot a^1 \cdot b^0 + {}_1\mathrm{C}_1 \cdot a^0 \cdot b^1 = a + b\)

より、①は成り立つ。

 

(ii) \(n = m\) のとき、①が成り立つと仮定すると、

\(\displaystyle (a + b)^m = \sum_{k=0}^m {}_m\mathrm{C}_k a^{m−k} b^k\) …②

 

\(n = m + 1\) のときを考えると、②より

\((a + b)^{m + 1}\)

\(= (a + b)^m \cdot (a + b)\)

\(\displaystyle = \sum_{k=0}^m {}_m\mathrm{C}_k a^{m − k} b^k \cdot (a + b)\)

\(\displaystyle = \sum_{k=0}^m {}_m\mathrm{C}_k (a^{m + 1 − k} b^k + a^{m − k} b^{k + 1})\)

 

\(a^{m + 1 − k}b^k\) の項だけ取り出すと、

(\(\sum\) 内第 \(2\) 項も \(k \to k − 1\) で \(a^{m + 1 − k}b^k\) の項が出ることに注意)

\(({}_m\mathrm{C}_k + {}_m\mathrm{C}_{k − 1}) a^{m + 1 − k}b^k\)

 

ここで

\({}_m\mathrm{C}_k + {}_m\mathrm{C}_{k − 1}\)

\(\displaystyle = \frac{m!}{(m − k)!k!} + \frac{m!}{(m − k + 1)!(k − 1)!}\)

\(\displaystyle = \frac{m!}{(m − k)!(k − 1)!} \cdot \left( \frac{1}{k} + \frac{1}{m − k + 1} \right)\)

\(\displaystyle = \frac{m!}{(m − k)!(k − 1)!} \cdot \frac{m + 1}{k(m − k + 1)}\)

\(\displaystyle = \frac{(m + 1)!}{(m +1 − k)!k!}\)

\(= {}_{m + 1}\mathrm{C}_k\)

より、

\(\displaystyle (a + b)^{m + 1} = \sum_{k=0}^{m+1} {}_{m + 1}\mathrm{C}_k a^{m + 1 − k}b^k\)

となり、\(n = m + 1\) のときも成り立つ。

 

(i)(ii)より、すべての自然数について二項定理①は成り立つ。

 

(証明終わり)

 

【発展】多項定理

また、項が \(2\) つ以上あっても成り立つ多項定理も紹介しておきます。

多項定理

\((a_1 + a_2 + \cdots + a_m)^n\) の展開後の項 \(a_1^{k_1} a_2^{k_2} \cdots a_m^{k_m}\) の係数は、

\begin{align}\color{red}{\frac{n!}{k_1!k_2! \cdots k_m!}}\end{align}

 

ただし、

\(k_1 + k_2 + \cdots + k_m = n\)

任意の自然数 \(i\) \((i \leq m)\) について \(k_i \geq 0\)

 

高校では、三項 \((m = 3)\) の場合の式を扱うことがあります。

多項定理 (m = 3 のとき)

\((a + b + c)^n\) の一般項は

\begin{align}\color{red}{\displaystyle \frac{n!}{p!q!r!} a^p b^q c^r}\end{align}

 

ただし、

\(p + q + r = n\)

\(p \geq 0\), \(q \geq 0\), \(r \geq 0\)

 

例として、\(n = 2\) なら

\((a + b + c)^2\)

\(\displaystyle = \frac{2!}{2!0!0!} a^2 + \frac{2!}{0!2!0!} b^2 + \frac{2!}{0!0!2!} c^2 \) \(\displaystyle + \ \frac{2!}{1!1!0!} ab + \frac{2!}{0!1!1!} bc + \frac{2!}{1!0!1!} ca\)

\(\displaystyle = a^2 + b^2 + c^2 + 2ab + 2bc + 2ca\)

となります。

三項のべき乗は意外とよく登場するので、三項バージョンは覚えておいて損はないですよ!

補足

ちなみに、多項定理は二項定理を前提とすると証明できます。

(\((a_1 + a_2 + \cdots + a_m)^n \) \( = \{(a_1 + a_2 + \cdots + a_{m − 1}) + a_m\}^n\)

などとし、二項の展開と見る)

 

二項定理による係数・定数項の求め方

二項定理を使うと、展開後の項の係数や、定数項を求められます。

例題を見ていきましょう。

例題①「係数を求める」

例題①

\((a + b)^5\) を展開したときの \(a^3 b^2\) の係数を求めよ。

 

\(5\) 乗を頑張って展開するのはあまりにも大変ですが、二項定理なら楽勝です。

解答

 

二項定理より、\((a + b)^5\) の展開式の一般項は

\({}_5\mathrm{C}_r a^{5 − r} b^r\)

 

\(a^3 b^2\) の項は、\(r = 2\) のときであるから

\(a^3 b^2\) の係数は

\(\displaystyle {}_5\mathrm{C}_2 = \frac{5 \cdot 4}{2 \cdot 1} = 10\)

 

答え: \(\color{red}{10}\)

 

例題②「定数項を求める(分数を含む式)」

例題②

\(\displaystyle \left( x + \frac{2}{x} \right)^4\) を展開したときの定数項を求めよ。

 

分数を含む二項の展開です。

展開後に定数項となるのは、\(\displaystyle x^2 \left( \frac{2}{x} \right)^2\) の項ですね。

解答

 

二項定理より、\(\displaystyle \left( x + \frac{2}{x} \right)^4\) の展開式の一般項は

\(\displaystyle {}_4\mathrm{C}_r x^{4 − r} \left( \frac{2}{x} \right)^r\)

 

定数項は、\(r = 2\) のときであるから

\(\begin{align} {}_4\mathrm{C}_2 x^2 \left( \frac{2}{x} \right)^2 &= \frac{4 \cdot 3}{2 \cdot 1} x^2 \cdot \frac{4}{x^2} \\ &= 24 \end{align}\)

 

答え: \(\color{red}{24}\)

 

例題③「定数項を求める(分数を含む式)」

例題③

\(\displaystyle \left( x^3 + \frac{1}{2x^2} \right)^5\) を展開したときの定数項を求めよ。

 

先ほどの例題より少しだけ複雑ですが、考え方は同じです。

定数項になるのは、\(x^3\) と \(\displaystyle \frac{1}{2x^2}\) を何個ずつ選び取った場合かを考えましょう。

解答

 

二項定理より、\(\displaystyle \left( x^3 + \frac{1}{2x^2} \right)^5\) の展開式の一般項は

\(\displaystyle {}_5\mathrm{C}_r (x^3)^{5 − r} \cdot \left( \frac{1}{2x^2} \right)^r\)

\(\displaystyle = \frac{{}_5\mathrm{C}_r}{2^r} \cdot \frac{x^{15 − 3r}}{x^{2r}}\)

 

これが定数になるのは \(15 − 3r = 2r\) のとき、

すなわち \(r = 3\) のときであるから、

定数項は

\(\displaystyle \frac{{}_5\mathrm{C}_3}{2^3} = \frac{5 \cdot 4}{2 \cdot 1 \cdot 2^3} = \frac{5}{4}\)

 

答え: \(\color{red}{\displaystyle \frac{5}{4}}\)

 

【参考】パスカルの三角形

\((a + b)^n\) の展開で現れる係数 \({}_n\mathrm{C}_r\) の値を並べたものを「パスカルの三角形」といいます。

上から \(n\) 段目、左から \(r\) 番目の数字が \((a + b)^n\) を展開したときの \(a^r b^{n − r}\) の係数です。

それぞれの値は、斜め上の \(2\) 数を足したものになるという特徴があります。

(証明に登場した \({}_n\mathrm{C}_k + {}_n\mathrm{C}_{k − 1} = {}_{n + 1}\mathrm{C}_k\) と対応)

\(4\) 乗、\(5\) 乗の展開で手早く係数を求めたい!というときなどに利用してもよいですね。

 

二項定理の応用問題

最後に、二項定理を使う応用問題に挑戦してみましょう。

応用問題①「3 項の展開、係数を求める」

応用問題①

\((a + 2b + c)^6\) を展開したときの \(a^3 bc^2\) の係数を求めよ。

 

三項の場合の多項定理を使えば簡単です。

「多項定理は習っていない」「本番で思い出せない」という場合も、二項定理をうまく使うと解くことができますよ。

解答① 多項定理を利用

 

多項定理より、\(a^3 bc^2\) の項は

\(\begin{align} \frac{6!}{3!1!2!} \cdot a^3 (2b) c^2 &= 60 \cdot 2a^3 bc^2 \\ &= 120a^3 bc^2 \end{align}\)

よって、\(a^3 bc^2\) の係数は \(\color{red}{120}\)

 

 

解答② 二項定理を利用

 

二項定理より、

\(\{(a + 2b) + c\}^6\) の展開式において \(c^2\) を含む項は

\({}_6\mathrm{C}_2 (a + 2b)^4 c^2 = 15(a + 2b)^4 c^2\)

 

また、\((a + 2b)^4\) の展開式において \(a^3 b\) を含む項は

\({}_4\mathrm{C}_1 a^3 (2b)^1 = 8a^3 b\)

 

よって、\(a^3 bc^2\) の項は

\(15 \cdot 8a^3 bc^2 = 120a^3 bc^2\)

よって、\(a^3 bc^2\) の係数は \(\color{red}{120}\)

 

答え: \(\color{red}{120}\)

 

応用問題②「等式の証明問題」

応用問題②

\({}_n\mathrm{C}_0 + {}_n\mathrm{C}_1 + {}_n\mathrm{C}_2 + \cdots + {}_n\mathrm{C}_n = 2^n\) を示せ。

 

\({}_n\mathrm{C}_r\)(コンビネーション)がたくさん並んだ式の証明は、二項定理を使うと上手くいくことが多いです。

右辺を二項のべき乗にできないか、よく式を見てみましょう。

証明

(見切れる場合は横へスクロール)

 

二項定理より、

\((x + 1)^n\)

\(= {}_n\mathrm{C}_0 \cdot x^n \cdot 1^0 + {}_n\mathrm{C}_1 \cdot x^{n−1} \cdot 1^1 \) \(+ \ {}_n\mathrm{C}_2 \cdot x^{n−2} \cdot 1^2 + \cdots + {}_n\mathrm{C}_n \cdot x^0 \cdot 1^n\)

\(= {}_n\mathrm{C}_0 x^n + {}_n\mathrm{C}_1 x^{n−1} + {}_n\mathrm{C}_2 x^{n−2} + \cdots + {}_n\mathrm{C}_n\) …①

 

①に \(x = 1\) を代入すると、

\(2^n = {}_n\mathrm{C}_0 + {}_n\mathrm{C}_1 + {}_n\mathrm{C}_2 + \cdots + {}_n\mathrm{C}_n\)

 

よって、

\({}_n\mathrm{C}_0 + {}_n\mathrm{C}_1 + {}_n\mathrm{C}_2 + \cdots + {}_n\mathrm{C}_n = 2^n\) が成り立つ。

 

(証明終わり)

以上で問題も終わりです。

 

一見複雑に見える二項定理ですが、多項式の展開においてとても役に立つ知識です。

しっかりと理解して、使いこなせるようになりましょう!

2 COMMENTS

管理人

返信が遅くなってしまい申し訳ありません。
当サイトに記載のない問題についての質問には、原則回答を控えております。
学校や問題集等、信頼できるところから回答をお求めください。

返信する

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です