組み合わせCの計算［1999 東京理科大・理・応用数］

　 ${}_n \text{C}_r$ を二項係数とするとき、次の和を求めよ。
　
(1)　 ${}_n \text{C}_0 + {}_n \text{C}_1 + {}_n \text{C}_2 + \cdots + {}_n \text{C}_n$
　
(2)　 ${}_n \text{C}_0 + 2{}_n \text{C}_1 + 3{}_n \text{C}_2 + \cdots + (n+1){}_n \text{C}_n$
　
(3)　 $\displaystyle {}_n \text{C}_0 + \frac{1}{2}{}_n \text{C}_1 + \frac{1}{3}{}_n \text{C}_2 + \cdots + \frac{1}{n+1} {}_n \text{C}_n$
　
(4)　 $\displaystyle \frac{1}{2}{}_n \text{C}_0 + \frac{1}{3}{}_n \text{C}_1 + \frac{1}{4}{}_n \text{C}_2 + \cdots + \frac{1}{n+2} {}_n \text{C}_n$
　
(5)　 $( {}_n \text{C}_0 )^2 + ( {}_n \text{C}_1 )^2 + ( {}_n \text{C}_2 )^2 + \cdots + ( {}_n \text{C}_n )^2$

［1999 東京理科大・理・応用数］

イズミの解答への道

　組み合わせの関係する計算問題は頻出であるが、本問はその中でも最難といえる問題だと考えられる。組み合わせの計算は、二項定理を用いた等式

$(1+x)^n = \sum_{k=0}^n {}_n \text{C}_k x^k$

を用いて解くのが基本であり、(1)はこれによって解くことができる頻出問題。それ以降については、さてどうするか。

解答

　二項定理より、
　　 $\displaystyle \sum_{k=0}^n {}_n \text{C}_k x^k = (1+x)^n$ 　…①
が成り立つ。
　
(1)　①に x = 1 を代入すると、

${}_n \text{C}_0 + {}_n \text{C}_1 + {}_n \text{C}_2 + \cdots + {}_n \text{C}_n = ( 1+ 1)^n = \bm{2^n}$

となる。
　
(2)　①の両辺に x を掛けて、

$\sum_{k=0}^n {}_n \text{C}_k x^{k+1} =x(1+x)^n = x(1+x)^n$

として、これを x で微分すると、

$\sum_{k=0}^n (k+1) {}_n \text{C}_k x^k = (1+x)^n + nx(1+x)^{n-1}$

となり、ここに x = 1 を代入して、

${}_n \text{C}_0 + 2{}_n \text{C}_1 + 3{}_n \text{C}_2 + \cdots + (n+1){}_n \text{C}_n = \bm{2^n + n \cdot 2^{n-1}}$

　
(3)　わかりやすいように①を書き下すと、

${}_n \text{C}_0 + {}_n \text{C}_1 x + {}_n \text{C}_2 x^2 + \cdots + {}_n \text{C}_n x^n = (1+x)^n$

となる。これの両辺を x = 0 から x = 1 の範囲で積分すると、

$\begin{align*} &\left[ {}_n \text{C}_0 x + \frac{1}{2} {}_n \text{C}_1 x^2 + \frac{1}{3} {}_n \text{C}_2 x^3 + \cdots + \frac{1}{n+1} {}_n \text{C}_n x^{n+1} \right]_0^1 = \left[ \frac{1}{n+1} (1+x)^{n+1} \right]_0^1 \\ &{}_n \text{C}_0 + \frac{1}{2}{}_n \text{C}_1 + \frac{1}{3}{}_n \text{C}_2 + \cdots + \frac{1}{n+1} {}_n \text{C}_n = \bm{\frac{1}{n+1}(2^{n+1}-1)} \end{align*}$

となる。

解説

二項定理

　組み合わせの計算問題は頻出である。頻出であるが、気づかないと手が出ないものが多く、まさに経験がモノを言うタイプである。
　ポイントは2つ、「二項定理を使うということに気づくこと」と「微分や積分でうまく係数を作り出すこと」である。
　慣れも重要なので、過去に出題されたものを集めておく。一度経験することで、解き方のコツを頭に入れておくとよい。

類題

　自然数 n に対して、次の等式が成り立つことを示せ。
(1)　 ${}_n \text{C}_0 + {}_n \text{C}_1 + {}_n \text{C}_2 + \cdots + {}_n \text{C}_n = 2^n$
　
(2)　 ${}_n \text{C}_1 + 2{}_n \text{C}_2 + \cdots + n{}_n \text{C}_n = 2^{n-1}n$
　
(3)　 ${}_{2n+1} \text{C}_0 + {}_{2n+1} \text{C}_1 + \cdots + {}_{2n+1} \text{C}_n = 2^{2n}$

［2007 大阪府立大・理］

【解答】
(1)　上記の(1)と同じである。二項定理に x = 1 を代入して求められる。
(2)　実はこれが最も頻出の問題の一つ。二項定理の式を両辺 x で微分すると、

$\sum_{k=0}^n k \cdot {}_n \text{C}_k x^{k-1} = n (1+x)^{n-1}$

となり、これに x = 1 を代入すると、

${}_n \text{C}_1 + 2{}_n \text{C}_2 + \cdots + n{}_n \text{C}_n = 2^{n-1}n$

となり示される。
(3)　二項定理の性質より、_nC_k = _nC_n-k が成り立つので、

${}_{2n+1} \text{C}_0 + {}_{2n+1} \text{C}_1 + \cdots + {}_{2n+1} \text{C}_n = {}_{2n+1} \text{C}_{n+1} + {}_{2n+1} \text{C}_{n+2} + \cdots + {}_{2n+1} \text{C}_{2n+1}$

である。ところで、

$${}_{2n+1} \text{C}_0 + {}_{2n+1} \text{C}_1 + \cdots + {}_{2n+1} \text{C}_{2n+1}$

の値は、(1)で n を 2n + 1 として 2²ⁿ⁺¹であることから、求める値はこの半分の

${}_{2n+1} \text{C}_0 + {}_{2n+1} \text{C}_1 + \cdots + {}_{2n+1} \text{C}_n = 2^{2n}$

となる。

2項定理 $\displaystyle (1+x)^m = \sum_{k=0}^m {}_m \text{C}_k x^k$ （ m は自然数）を用いて、以下を求めよ。
(1)　 $\displaystyle \sum_k^n \frac{{}_n \text{C}_k}{k+1}$
(2)　 $\displaystyle \sum_k^n \frac{(-1)^k {}_n \text{C}_k}{k+1}$
(3)　 $\displaystyle \sum_k^n \frac{ {}_{2n} \text{C}_{2k}}{2k+1}$

［2005 横浜市立大・医*］

　この問題は、東京理科大の(3)のパターンで、積分が肝になっていると気付けば早い。(1)、(2)はいずれも変数に適切な数字を入れれば良いだけなので、まずは不定積分したものを計算して、あとで調整すると良い。(3)は(2)を利用します。

【解答】
　二項定理の式を x で不定積分すると、

$\frac{1}{m+1} (1+x)^{m+1} = \sum_{k=0}^m \frac{1}{k+1} {}_m \text{C}_k x^{k+1} + C$

となる。ここで、 x = 0 とすると、 $C = \dfrac{1}{m+1}$ を得るので、

(*) $\frac{1}{m+1} (1+x)^{m+1} = \sum_{k=0}^m \frac{1}{k+1} {}_m \text{C}_k x^{k+1} + \frac{1}{m+1}$

が成り立つ。

(1)　(*)式に m = n , x = 1 を代入すれば、

$\frac{1}{n+1} 2^{n+1} = \sum_{k=0}^n \frac{1}{k+1} {}_n \text{C}_k + \frac{1}{n+1}$

より、

$\sum_{k=0}^n \frac{ {}_n \text{C}_k}{k+1} = \bm{\frac{2^{n+1}-1}{n+1}}$

となる。

(2)　(*)式に m = n , x = -1 を代入すれば、

$0 = \sum_{k=0}^n \frac{1}{k+1} {}_n \text{C}_k (-1)^{k+1} + \frac{1}{n+1}$

となり、両辺を -1 で割って、

$\sum_{k=0}^n \frac{ {}_n \text{C}_k (-1)^k}{k+1} = \bm{\frac{1}{n+1}}$

となる。

(3)　(*)式に、 m = 2n , x = 1 とすると、

(**) $\frac{1}{2n+1} \cdot 2^{2n+1} = \sum_{k=0}^{2n} \frac{1}{k+1} {}_{2n} \text{C}_k + \frac{1}{2n+1}$

となる。つぎに、 m = 2n , x = -1 とすると、

(***) $0 = \sum_{k=0}^{2n} \frac{1}{k+1} {}_{2n} \text{C}_k (-1)^{k+1} + \frac{1}{2n+1}$

となる。(**)式-(***)式をして、

$\frac{2^{2n+1}}{2n+1} = 2 \sum_{k=0}^n \frac{{}_{2n} \text{C}_{2k}}{2k+1}$

より、

$\sum_{k=0}^n \frac{{}_{2n} \text{C}_{2k}}{2k+1} = \bm{\frac{4^n}{2n+1}}$

となる。

ぱーより:

2016年2月3日 9:42 AM

2005年横市医学部の回答を教えてほしいです。
あと2007大阪府立に関しては、問題文も回答もなぜか表示されません。スマホで見てるからでしょうか

返信

イズミより:

2016年2月3日 10:54 PM

メッセージありがとうございました。
解答を公開しました。確認してみてください。
なお、2007大阪府大の問題の解答は公開しているのですが、数式がみられないということでしょうか？
もしかすると機種やソフトウェアによっては表示できないものがあるのかもしれません。
（すみません！すぐに対応できません。）

返信
- ぱーより:
  
  2016年2月4日 9:04 PM
  
  ありがとうございます。
  横市は無事見れました！
  前回見た時、大阪府立は横市の前に１つきちんとしたのがあり、後ろにももう一つこれは不完全な状態であったのですが、今見たところ後ろの方の大阪府立がなくなっていたので、おそらく前回見た時はなんらかのトラブルで横市の後に、大阪府立の問題が再び表示されてしまったのかも知れません。
  お騒がせしました。
  
  返信

ぱーより:

2016年2月3日 9:42 AM

2005年横市医学部の回答を教えてほしいです。
あと2007大阪府立に関しては、問題文も回答もなぜか表示されません。スマホで見てるからでしょうか

返信
- イズミより:
  
  2016年2月3日 10:54 PM
  
  メッセージありがとうございました。
  解答を公開しました。確認してみてください。
  なお、2007大阪府大の問題の解答は公開しているのですが、数式がみられないということでしょうか？
  もしかすると機種やソフトウェアによっては表示できないものがあるのかもしれません。
  （すみません！すぐに対応できません。）
  
  返信
  - ぱーより:
    
    2016年2月4日 9:04 PM
    
    ありがとうございます。
    横市は無事見れました！
    前回見た時、大阪府立は横市の前に１つきちんとしたのがあり、後ろにももう一つこれは不完全な状態であったのですが、今見たところ後ろの方の大阪府立がなくなっていたので、おそらく前回見た時はなんらかのトラブルで横市の後に、大阪府立の問題が再び表示されてしまったのかも知れません。
    お騒がせしました。
    
    返信