目次 / 数列 / 数学B

第3章 いろいろな数列の和(Σ)

—— 長い和を短く書く記号 Σ と、2 乗の和・3 乗の和・打ち消し合う和 ——

第1章・第2章では、等差数列と等比数列の和を求めました。けれども $1^2 + 2^2 + 3^2 + \cdots + n^2$ のように、差も比も一定でない数列の和は、どちらの方法でも求まりません。この章では、まず長い和を短く書く記号 **Σ**(シグマ)を導入し、その性質を使って「一般項を $k$ の式で表し、分けて足す」という計算の型を身につけます。自然数の 2 乗の和・3 乗の和の公式、分数を差に分けて打ち消し合わせる和、そして第2章で 1 問だけ扱った(等差)×(等比)の和を、Σ を使って順に整理します。

問題マップ記録を読み込み中…
未回答 25× 0○ 01か月定着 0

和を短く書く記号 Σ

第2章の最後に、こんな問いを残しました。

12\displaystyle 1^2+22\displaystyle {}+ 2^2+32\displaystyle {}+ 3^2+⋯\displaystyle {}+ \cdots+n2 はいくつか\displaystyle {}+ n^2 \text{ はいくつか}

1,1, 4,\ 4, 9,\ 9, 16,\ 16, …\ \ldots は、となりどうしの差が 3,3, 5,\ 5, 7,\ 7, …\ \ldots、比が 4,4, 94,\ \dfrac{9}{4}, …\ \ldots で、等差数列でも等比数列でもありません。答えを出す前に、まず道具を 1 つ用意します。こうした長い和を、毎回「+⋯+ \cdots+{}+」で書くのは手間がかかるうえ、どこから始まってどこで終わるのかが読み取りにくいからです。

そこで、和を短く書く記号 Σ\Sigma(シグマ)を使います。ギリシャ文字の大文字で、アルファベットの S にあたる文字です。英語の Sum(和)の頭文字だと覚えてください。

公式1:Σ 記号

数列 {an}\{a_n\} の初項から第 nn 項までの和を

∑k=1nak\displaystyle \sum_{k=1}^{n} a_k=a1\displaystyle {}= a_1+a2\displaystyle {}+ a_2+a3\displaystyle {}+ a_3+⋯\displaystyle {}+ \cdots+an\displaystyle {}+ a_n

と書き、「シグマ kk イコール 11 から nn まで aka_k」と読む。kk に 1,1, 2,\ 2, …,\ \ldots, n\ n を順に代入した aka_k を、すべて足すという意味である。

Σ n k = 1 ak 最後の番号(ここまで) 足すものの式(第 k 項) 最初の番号(ここから) = a1 + a2 + ⋯ + an

たとえば

∑k=14k2\displaystyle \sum_{k=1}^{4} k^2=12\displaystyle {}= 1^2+22\displaystyle {}+ 2^2+32\displaystyle {}+ 3^2+42\displaystyle {}+ 4^2=30,\displaystyle {}= 30,∑k=36(2k+1)\displaystyle \sum_{k=3}^{6} (2k + 1)=7\displaystyle {}= 7+9\displaystyle {}+ 9+11\displaystyle {}+ 11+13\displaystyle {}+ 13=40\displaystyle {}= 40

です。2 つ目のように、始まりの番号は 11 でなくてもかまいません。このとき足す項の数は、66−3{}- 3+1{}+ 1=4{}= 4 個です(第1章の植木算と同じで、「終わり − 始まり + 1」)。

kk は「番号を入れる箱」にすぎないので、ほかの文字に変えても和は変わりません。∑k=14k2\displaystyle\sum_{k=1}^{4} k^2 と ∑i=14i2\displaystyle\sum_{i=1}^{4} i^2 はどちらも 3030 です。足し終わった結果に kk は残らず、残るのは上端の nn だけです。

表計算ソフトで、B 列の 1 行目から 10 行目までを合計するときは=SUM(B1:B10) と書きます。何を足すか(B 列)と、何行目から何行目までか(1 から 10)だけを指定して、あとの足し算はソフトにまかせる書き方です。Σ\Sigma もまったく同じで、「足すものの式」と「番号の範囲」だけを書いておく、和の命令文なのです。

第1章・第2章の結果も、Σ を使うと 1 行で書けます。

∑k=1nk\displaystyle \sum_{k=1}^{n} k=n(n+1)2,\displaystyle {}= \frac{n(n + 1)}{2},∑k=1nark−1\displaystyle \sum_{k=1}^{n} ar^{k-1}=a(rn−1)r−1\displaystyle {}= \frac{a(r^n - 1)}{r - 1}(r≠1)\displaystyle (r \neq 1)

∑k=1nak\displaystyle\sum_{k=1}^{n} a_k は、kk に 11 から nn までを順に入れた aka_k をすべて足した和を短く書いたものだということです。

例題1:Σ の読み書き

(1) ∑k=14(3k−1)\displaystyle\sum_{k=1}^{4} (3k - 1) の値を、項を書き並べて求めなさい。

(2) 和 11+3{}+ 3+9{}+ 9+⋯{}+ \cdots+3n−1{}+ 3^{n-1} を Σ を用いて表し、その値を求めなさい。


【解答】

(1) kk=1,{}= 1, 2,\ 2, 3,\ 3, 4\ 4 を順に代入して足します。

∑k=14(3k−1)\displaystyle \sum_{k=1}^{4} (3k - 1)=2\displaystyle {}= 2+5\displaystyle {}+ 5+8\displaystyle {}+ 8+11\displaystyle {}+ 11=26‾\displaystyle {}= \underline{26}

(2) 第 kk 項は 3k−13^{k-1} で、最後の項は kk=n{}= n のときです。よって

1\displaystyle 1+3\displaystyle {}+ 3+9\displaystyle {}+ 9+⋯\displaystyle {}+ \cdots+3n−1\displaystyle {}+ 3^{n-1}=∑k=1n3k−1‾\displaystyle {}= \underline{\sum_{k=1}^{n} 3^{k-1}}

これは初項 11、公比 33、項数 nn の等比数列の和なので、値は 3n−12‾\underline{\dfrac{3^n - 1}{2}} です。

(2) の表し方は 1 通りではありません。∑k=0n−13k\displaystyle\sum_{k=0}^{n-1} 3^k と書いても同じ和です。どちらも「始まりの番号で最初の項、終わりの番号で最後の項になるか」を代入して確かめれば安心です。

Σ の性質

Σ を使う計算の中心は、次の 3 つの性質です。

公式2:Σ の性質

p,p, q,\ q, c\ c を kk に無関係な定数とすると

∑k=1n(pak+qbk)\displaystyle \sum_{k=1}^{n} (pa_k + qb_k)=p∑k=1nak\displaystyle {}= p\sum_{k=1}^{n} a_k+q∑k=1nbk\displaystyle {}+ q\sum_{k=1}^{n} b_k∑k=1nc\displaystyle \sum_{k=1}^{n} c=nc\displaystyle {}= nc

1 つ目は、和の中身が「足し算」や「定数倍」でできていれば、Σ を分けたり定数を外に出したりしてよい、という性質です。∑k=1n(ak+bk)\displaystyle\sum_{k=1}^{n} (a_k + b_k) を書き並べて、aa どうし・bb どうしを集め直せば確かめられます。2 つ目の ∑k=1nc\displaystyle\sum_{k=1}^{n} c は、cc を nn 個足すという意味なので ncnc です(kk を含まない数を足すときに、cc が 11 個だけになるわけではない点に注意)。

買い物のレシートで考えてみましょう。商品ごとに「本体価格 + 送料」がかかるとき、全部の合計は「本体価格の合計 + 送料の合計」と分けて計算できます。消費税で全商品が 1.11.1 倍になるなら、税込の合計は税抜の合計の 1.11.1 倍。送料がどれも 500500 円なら、nn 個分の送料は 500n500n 円です。公式2は、この当たり前の計算を Σ で書いたものにすぎません。

ただし、積は分けられません。aka_k=bk{}= b_k=k{}= k,nn=2{}= 2 とすると

∑k=12akbk\displaystyle \sum_{k=1}^{2} a_kb_k=1\displaystyle {}= 1+4\displaystyle {}+ 4=5,\displaystyle {}= 5,(∑k=12ak)(∑k=12bk)\displaystyle \left(\sum_{k=1}^{2} a_k\right)\left(\sum_{k=1}^{2} b_k\right)=3×3\displaystyle {}= 3 \times 3=9\displaystyle {}= 9

で、等しくありません。積 k(k+1)k(k + 1) などは、まず展開して「足し算と定数倍」の形にしてから、公式2を使います。

Σ の中身が足し算と定数倍でできていれば、項ごとに分けたり定数を外に出したりでき、定数 cc の和は ncnc になる(ただし積は分けられない)ということです。

例題2:Σ の性質を使う

∑k=1n(6k−5)\displaystyle\sum_{k=1}^{n} (6k - 5) を求めなさい。


【解答】

公式2で分けて、第1章の自然数の和 ∑k=1nk\displaystyle \sum_{k=1}^{n} k=n(n+1)2\displaystyle {}= \dfrac{n(n + 1)}{2} を使います。

∑k=1n(6k−5)\displaystyle \sum_{k=1}^{n} (6k - 5)=6∑k=1nk\displaystyle {}= 6\sum_{k=1}^{n} k−∑k=1n5\displaystyle {}- \sum_{k=1}^{n} 5=6⋅n(n+1)2\displaystyle {}= 6 \cdot \frac{n(n + 1)}{2}−5n\displaystyle {}- 5n=3n2\displaystyle {}= 3n^2−2n\displaystyle {}- 2n=n(3n−2)‾\displaystyle {}= \underline{n(3n - 2)}

(nn=1{}= 1 で 11,nn=2{}= 2 で 11+7{}+ 7=8{}= 8 となり、どちらも合っています。)

6k6k−5{}- 5 は初項 11、公差 66 の等差数列なので、第1章の公式でも n{2⋅1+(n−1)⋅6}2\dfrac{n\{2 \cdot 1 + (n - 1) \cdot 6\}}{2}=n(3n−2){}= n(3n - 2) と同じ答えになります。等差数列の和は、Σ の性質と ∑k\displaystyle\sum k だけで出せるということです。

2 乗の和と 3 乗の和

いよいよ 121^2+22{}+ 2^2+⋯{}+ \cdots+n2{}+ n^2 です。果物屋の店先で、オレンジを四角錐の形に積んだところを思い浮かべてください。いちばん上が 11 個、その下の段が 2×22 \times 2=4{}= 4 個、次が 3×33 \times 3=9{}= 9 個……。nn 段積んだときの個数の合計が、ちょうど 121^2+22{}+ 2^2+⋯{}+ \cdots+n2{}+ n^2 です。

これを求めるのに、少し遠回りに見える式を使います。

(k+1)3\displaystyle (k + 1)^3−k3\displaystyle {}- k^3=3k2\displaystyle {}= 3k^2+3k\displaystyle {}+ 3k+1\displaystyle {}+ 1

この式の kk に 1,1, 2,\ 2, …,\ \ldots, n\ n を入れて並べ、上下に全部足します。

23\displaystyle 2^3−13\displaystyle {}- 1^3=3⋅12\displaystyle {}= 3 \cdot 1^2+3⋅1\displaystyle {}+ 3 \cdot 1+1\displaystyle {}+ 133\displaystyle 3^3−23\displaystyle {}- 2^3=3⋅22\displaystyle {}= 3 \cdot 2^2+3⋅2\displaystyle {}+ 3 \cdot 2+1\displaystyle {}+ 1  ⋮\displaystyle \ \ \vdots(n+1)3\displaystyle (n + 1)^3−n3\displaystyle {}- n^3=3⋅n2\displaystyle {}= 3 \cdot n^2+3⋅n\displaystyle {}+ 3 \cdot n+1\displaystyle {}+ 1

左辺では、232^3 が 1 行目に ++、2 行目に −- で現れて消え、333^3 も同じように消え……と、途中の項がすべて打ち消し合います。残るのは (n+1)3(n + 1)^3−13{}- 1^3 だけです。右辺は Σ でまとめて

(n+1)3\displaystyle (n + 1)^3−1\displaystyle {}- 1=3∑k=1nk2\displaystyle {}= 3\sum_{k=1}^{n} k^2+3⋅n(n+1)2\displaystyle {}+ 3 \cdot \frac{n(n + 1)}{2}+n\displaystyle {}+ n

これを ∑k=1nk2\displaystyle\sum_{k=1}^{n} k^2 について解きます。(n+1)3(n + 1)^3−1{}- 1−n{}- n=(n+1)3{}= (n + 1)^3−(n+1){}- (n + 1)=(n+1)n(n+2){}= (n + 1)n(n + 2) なので

3∑k=1nk2\displaystyle 3\sum_{k=1}^{n} k^2=n(n+1)(n+2)\displaystyle {}= n(n + 1)(n + 2)−3n(n+1)2\displaystyle {}- \frac{3n(n + 1)}{2}=n(n+1)(2n+1)2\displaystyle {}= \frac{n(n + 1)(2n + 1)}{2}

両辺を 33 で割ると、n(n+1)(2n+1)6\dfrac{n(n + 1)(2n + 1)}{6} が得られます。

3 乗の和には、図で見える美しい関係があります。

1 8 27 64 1 2 3 4 1³ = 1 2³ = 8 3³ = 27 4³ = 64 合計 100 = (1+2+3+4)² = 10²

TkT_k=1{}= 1+2{}+ 2+⋯{}+ \cdots+k{}+ k=k(k+1)2{}= \dfrac{k(k + 1)}{2} とおくと、一辺 TkT_k の正方形から一辺 Tk−1T_{k-1} の正方形を取り除いたかぎ形の面積は

Tk2\displaystyle T_k^2−Tk−12\displaystyle {}- T_{k-1}^2=(Tk−Tk−1)(Tk+Tk−1)\displaystyle {}= (T_k - T_{k-1})(T_k + T_{k-1})=k×k2\displaystyle {}= k \times k^2=k3\displaystyle {}= k^3

です(TkT_k−Tk−1{}- T_{k-1}=k{}= k,TkT_k+Tk−1{}+ T_{k-1}=k(k+1)+(k−1)k2{}= \dfrac{k(k + 1) + (k - 1)k}{2}=k2{}= k^2)。かぎ形を kk=1{}= 1 から nn まで並べると一辺 TnT_n の正方形になるので、131^3+23{}+ 2^3+⋯{}+ \cdots+n3{}+ n^3=Tn2{}= T_n^2 です。

公式3:自然数の累乗の和
∑k=1nk\displaystyle \sum_{k=1}^{n} k=n(n+1)2,\displaystyle {}= \frac{n(n + 1)}{2},∑k=1nk2\displaystyle \sum_{k=1}^{n} k^2=n(n+1)(2n+1)6,\displaystyle {}= \frac{n(n + 1)(2n + 1)}{6},∑k=1nk3\displaystyle \sum_{k=1}^{n} k^3={n(n+1)2}2\displaystyle {}= \left\{\frac{n(n + 1)}{2}\right\}^2

3 乗の和は「自然数の和の 2 乗」です。∑k\displaystyle\sum k を覚えていれば、∑k3\displaystyle\sum k^3 はそれを 2 乗するだけで済みます。

2 乗の和は (k+1)3(k + 1)^3−k3{}- k^3 を足し並べて途中を打ち消すと求まり、3 乗の和は自然数の和をそのまま 2 乗したものになるということです。

例題3:累乗の和の公式を使う

(1) ∑k=1n(k−1)(k+2)\displaystyle\sum_{k=1}^{n} (k - 1)(k + 2)

(2) ∑k=1n(k3+k)\displaystyle\sum_{k=1}^{n} (k^3 + k)

上の各和を求めなさい。


【解答】

(1) 積のままでは分けられないので、展開して (k−1)(k+2)(k - 1)(k + 2)=k2{}= k^2+k{}+ k−2{}- 2。公式2・公式3より

∑k=1n(k2+k−2)\displaystyle \sum_{k=1}^{n} (k^2 + k - 2)=n(n+1)(2n+1)6\displaystyle {}= \frac{n(n + 1)(2n + 1)}{6}+n(n+1)2\displaystyle {}+ \frac{n(n + 1)}{2}−2n\displaystyle {}- 2n

分母を 66 にそろえ、共通因数 nn でくくると

n{(n+1)(2n+1)+3(n+1)−12}6\displaystyle \frac{n\{(n + 1)(2n + 1) + 3(n + 1) - 12\}}{6}=n(2n2+6n−8)6\displaystyle {}= \frac{n(2n^2 + 6n - 8)}{6}=n(n−1)(n+4)3‾\displaystyle {}= \underline{\frac{n(n - 1)(n + 4)}{3}}

(2) 共通因数 n(n+1)4\dfrac{n(n + 1)}{4} でくくります。

∑k=1n(k3+k)\displaystyle \sum_{k=1}^{n} (k^3 + k)=n2(n+1)24\displaystyle {}= \frac{n^2(n + 1)^2}{4}+n(n+1)2\displaystyle {}+ \frac{n(n + 1)}{2}=n(n+1){n(n+1)+2}4\displaystyle {}= \frac{n(n + 1)\{n(n + 1) + 2\}}{4}=n(n+1)(n2+n+2)4‾\displaystyle {}= \underline{\frac{n(n + 1)(n^2 + n + 2)}{4}}

公式を足し合わせたあとは、すぐに展開せず、nn や n(n+1)n(n + 1) などの共通因数でくくるのがこつです。答えが因数分解された形で出てくるので、nn=1,{}= 1, 2\ 2 を代入した確かめも楽になります((1) は nn=2{}= 2 で 00+4{}+ 4=4{}= 4、式でも 2⋅1⋅63\dfrac{2 \cdot 1 \cdot 6}{3}=4{}= 4)。

一般項を k の式で表してから足す

ここまでの例題は、Σ の中身の式が最初から与えられていました。和が「+⋯+ \cdots+{}+」で与えられたときは、次の段取りで進めます。

  1. 第 kk 項を kk の式で表す
  2. 展開して、足し算と定数倍の形にする
  3. 公式2・公式3(必要なら等比数列の和)を使う

第1章で、一般項を「nn 番の箱の中身のレシピ」にたとえました。Σ の計算でも、まず第 kk 項のレシピを書き出せば、あとは公式が全部足してくれます。

もう 1 つ大事な注意があります。Σ の中に nn が入っていても、nn は kk とは無関係な定数です。たとえば ∑k=1nn\displaystyle\sum_{k=1}^{n} n は「nn を nn 個足す」なので n2n^2 です。動くのは kk だけ、と意識しておきましょう。

和が「+⋯+ \cdots+{}+」で与えられたら、第 kk 項を kk の式で表し、展開してから公式で足すということです。

例題4:第 k 項を求めてから足す

数列 1,1, 1\ 1+2,{}+ 2, 1\ 1+2{}+ 2+3,{}+ 3, 1\ 1+2{}+ 2+3{}+ 3+4,{}+ 4, …\ \ldots の初項から第 nn 項までの和を求めなさい。


【解答】

第 kk 項は 11 から kk までの自然数の和なので、k(k+1)2\dfrac{k(k + 1)}{2}=12(k2+k){}= \dfrac{1}{2}(k^2 + k) です。よって求める和は

∑k=1n12(k2+k)\displaystyle \sum_{k=1}^{n} \frac{1}{2}(k^2 + k)=12{n(n+1)(2n+1)6\displaystyle {}= \frac{1}{2}\biggl\{\frac{n(n + 1)(2n + 1)}{6}+n(n+1)2}\displaystyle {}\qquad + \frac{n(n + 1)}{2}\biggr\}=n(n+1)12{(2n+1)+3}\displaystyle {}= \frac{n(n + 1)}{12}\{(2n + 1) + 3\}=n(n+1)(2n+4)12\displaystyle {}= \frac{n(n + 1)(2n + 4)}{12}=n(n+1)(n+2)6‾\displaystyle {}= \underline{\frac{n(n + 1)(n + 2)}{6}}

(nn=3{}= 3 で 11+3{}+ 3+6{}+ 6=10{}= 10、式でも 3⋅4⋅56\dfrac{3 \cdot 4 \cdot 5}{6}=10{}= 10。)

この数列 1,1, 3,\ 3, 6,\ 6, 10,\ 10, …\ \ldots は、第1章の豆知識に出てきた三角数です。ボウリングのピンのように三角形に並べた数を、さらに積み重ねると三角錐になります。その個数が n(n+1)(n+2)6\dfrac{n(n + 1)(n + 2)}{6} です。

差に分けて打ち消し合う和

次は分数の和です。

11⋅2\displaystyle \frac{1}{1 \cdot 2}+12⋅3\displaystyle {}+ \frac{1}{2 \cdot 3}+13⋅4\displaystyle {}+ \frac{1}{3 \cdot 4}+⋯\displaystyle {}+ \cdots+1n(n+1)\displaystyle {}+ \frac{1}{n(n + 1)}

分母が積なので、公式3は使えません。そこで、各項を 2 つの分数の差に分けます。

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

右辺を通分すると (k+1)−kk(k+1)\dfrac{(k + 1) - k}{k(k + 1)} で、確かに左辺になります。これを並べると

(11−12)\displaystyle \left(\frac{1}{1} - \frac{1}{2}\right)+(12−13)\displaystyle {}+ \left(\frac{1}{2} - \frac{1}{3}\right)+(13−14)\displaystyle {}+ \left(\frac{1}{3} - \frac{1}{4}\right)+⋯\displaystyle {}+ \cdots+(1n−1n+1)\displaystyle {}+ \left(\frac{1}{n} - \frac{1}{n + 1}\right)

となり、−12-\dfrac{1}{2} と +12+\dfrac{1}{2}、−13-\dfrac{1}{3} と +13+\dfrac{1}{3}……と、となりのかっこどうしで次々に消えていきます。残るのは最初の 11 と最後の −1n+1-\dfrac{1}{n + 1} だけです。

リレーを思い浮かべてください。第 2 走者はバトンを受け取り、すぐに第 3 走者へ渡します。途中の走者の手には、受け取った分と渡した分が同じだけ出入りして、何も残りません。記録に残るのは、第 1 走者のスタートと最終走者のゴールだけ。1k\dfrac{1}{k} を受け取って 1k+1\dfrac{1}{k + 1} を渡す、この和も同じつくりです。2 乗の和で (k+1)3(k + 1)^3−k3{}- k^3 を足し並べたときに途中が消えたのも、実は同じしくみでした。

公式4:差に分けて打ち消し合う和

第 kk 項が f(k)f(k)−f(k+1){}- f(k + 1) の形に書けるとき

∑k=1n{f(k)−f(k+1)}\displaystyle \sum_{k=1}^{n} \{f(k) - f(k + 1)\}=f(1)\displaystyle {}= f(1)−f(n+1)\displaystyle {}- f(n + 1)

特に、1k(k+1)\dfrac{1}{k(k + 1)}=1k{}= \dfrac{1}{k}−1k+1{}- \dfrac{1}{k + 1} より

∑k=1n1k(k+1)\displaystyle \sum_{k=1}^{n} \frac{1}{k(k + 1)}=1\displaystyle {}= 1−1n+1\displaystyle {}- \frac{1}{n + 1}=nn+1\displaystyle {}= \frac{n}{n + 1}

分母の 2 つの因数の差が 11 でないときは、係数で調整します。たとえば差が 22 なら 1k(k+2)\dfrac{1}{k(k + 2)}=12(1k−1k+2){}= \dfrac{1}{2}\left(\dfrac{1}{k} - \dfrac{1}{k + 2}\right) です。この場合は 2 つ先の項と消し合うので、最初に 2 個、最後に 2 個の項が残ります。

各項を「となりどうしで消し合う差」に分けておくと、足したときに途中がすべて消えて、最初と最後だけが残るということです。

例題5:分数の和

和 11⋅4\dfrac{1}{1 \cdot 4}+14⋅7{}+ \dfrac{1}{4 \cdot 7}+17⋅10{}+ \dfrac{1}{7 \cdot 10}+⋯{}+ \cdots+1(3n−2)(3n+1){}+ \dfrac{1}{(3n - 2)(3n + 1)} を求めなさい。


【解答】

分母の 2 つの因数の差は (3k+1)(3k + 1)−(3k−2){}- (3k - 2)=3{}= 3 なので

1(3k−2)(3k+1)\displaystyle \frac{1}{(3k - 2)(3k + 1)}=13(13k−2−13k+1)\displaystyle {}= \frac{1}{3}\left(\frac{1}{3k - 2} - \frac{1}{3k + 1}\right)

kk=1,{}= 1, 2,\ 2, …,\ \ldots, n\ n を並べると、14,\dfrac{1}{4}, 17,\ \dfrac{1}{7}, …\ \ldots がとなりどうしで消え

∑k=1n1(3k−2)(3k+1)\displaystyle \sum_{k=1}^{n} \frac{1}{(3k - 2)(3k + 1)}=13(1−13n+1)\displaystyle {}= \frac{1}{3}\left(1 - \frac{1}{3n + 1}\right)=13⋅3n3n+1\displaystyle {}= \frac{1}{3} \cdot \frac{3n}{3n + 1}=n3n+1‾\displaystyle {}= \underline{\frac{n}{3n + 1}}

(nn=1{}= 1 で 14\dfrac{1}{4} となり、第 1 項と合っています。)

差に分けたら、必ず通分して元に戻るかを確かめましょう。係数 13\dfrac{1}{3} を付け忘れるのが、いちばん多い失敗です。

(等差)×(等比)の和

第2章の実践 j18 で、11+2⋅3{}+ 2 \cdot 3+3⋅32{}+ 3 \cdot 3^2+⋯{}+ \cdots+n⋅3n−1{}+ n \cdot 3^{n-1} を「公比を掛けてずらして引く」方法で求めました。各項が「等差数列 × 等比数列」の形の和です。Σ で書くと ∑k=1nk⋅3k−1\displaystyle\sum_{k=1}^{n} k \cdot 3^{k-1} で、kk と 3k−13^{k-1} の積なので、公式2で分けることはできません。

この形には、公式2・公式3ではなく、第2章の「ずらして引く」を使います。Σ で書くと、何が起きているかがはっきりします。S=∑k=1nkrk−1S = \displaystyle\sum_{k=1}^{n} k r^{k-1} に rr を掛けると

rS\displaystyle rS=∑k=1nkrk\displaystyle {}= \sum_{k=1}^{n} k r^{k}=∑k=2n+1(k−1)rk−1\displaystyle {}= \sum_{k=2}^{n+1} (k - 1) r^{k-1}

2 つ目の等号は、番号を 11 ずらして書き直しただけです(kk を kk−1{}- 1 に置きかえると、範囲も 22 から nn+1{}+ 1 に変わる)。こうすると SS と rSrS で「rk−1r^{k-1} の係数」を同じ番号どうしで比べられ、kk−(k−1){}- (k - 1)=1{}= 1 となって、差が等比数列の和になります。

(等差)×(等比)の和は Σ の性質では分けられないので、公比を掛けて番号を 1 つずらし、引き算で等比数列の和に変えるということです。

例題6:(等差)×(等比)の和

S=∑k=1nk⋅2k−1S = \displaystyle\sum_{k=1}^{n} k \cdot 2^{k-1} を求めなさい。


【解答】

SS と 2S2S を、同じ累乗が上下にそろうように書きます。

S\displaystyle S=1\displaystyle {}= 1+2⋅2\displaystyle {}+ 2 \cdot 2+3⋅22\displaystyle {}+ 3 \cdot 2^2+⋯\displaystyle {}+ \cdots+n⋅2n−1\displaystyle {}+ n \cdot 2^{n-1}2S\displaystyle 2S=1+1⋅2\displaystyle {}= \phantom{1 + {}} 1 \cdot 2+2⋅22\displaystyle {}+ 2 \cdot 2^2+⋯\displaystyle {}+ \cdots+(n−1)⋅2n−1\displaystyle {}+ (n - 1) \cdot 2^{n-1}+n⋅2n\displaystyle {}+ n \cdot 2^n

上から下を引くと、同じ累乗の係数の差はどれも 11 なので

S\displaystyle S−2S\displaystyle {}- 2S=1\displaystyle {}= 1+2\displaystyle {}+ 2+22\displaystyle {}+ 2^2+⋯\displaystyle {}+ \cdots+2n−1\displaystyle {}+ 2^{n-1}−n⋅2n\displaystyle {}- n \cdot 2^n=(2n−1)\displaystyle {}= (2^n - 1)−n⋅2n\displaystyle {}- n \cdot 2^n

−S-S=(1−n)⋅2n{}= (1 - n) \cdot 2^n−1{}- 1 より

S\displaystyle S=(n−1)⋅2n‾\displaystyle {}= \underline{\rule[-0.25em]{0em}{1.0000em}(n - 1) \cdot 2^n}+1‾\displaystyle \underline{\rule[-0.25em]{0em}{1.0000em}{}+ 1}

(nn=3{}= 3 で 11+4{}+ 4+12{}+ 12=17{}= 17、式でも 2⋅82 \cdot 8+1{}+ 1=17{}= 17。)

「−S-S={}=」で終わらせず、符号をひっくり返すところまで気を抜かないようにしましょう。最後に nn=1,{}= 1, 2,\ 2, 3\ 3 のどれかを代入して、項を書き並べた値と比べれば、符号や係数の誤りはほぼ見つかります。

この章のまとめと次の章

Σ は長い和を短く書く記号で、中身が足し算と定数倍なら分けて計算できました。和の形ごとに、使う道具をまとめておきます。

和の形道具
kk の多項式(積は展開してから)公式2・公式3(∑c\sum c,∑k\sum k,∑k2\sum k^2,∑k3\sum k^3)
等比数列 ark−1ar^{k-1}第2章の和の公式
1k(k+1)\dfrac{1}{k(k + 1)} のような分数差に分けて打ち消す(公式4)
(等差)×(等比)公比を掛けてずらして引く

では、1,1, 2,\ 2, 4,\ 4, 7,\ 7, 11,\ 11, 16,\ 16, …\ \ldots という数列の第 nn 項はどう表せるでしょうか。となりどうしの差を並べると 1,1, 2,\ 2, 3,\ 3, 4,\ 4, 5,\ 5, …\ \ldots で、差のほうは簡単な数列です。次の第4章では、この「差の数列」——階差数列——を Σ で足し戻して、もとの数列の一般項を求めます。

基礎確認問題(全5問)

まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。

問1

∑k=14(2k+1)\displaystyle\sum_{k=1}^{4} (2k + 1) の値を求めなさい。

つまずいたときは:
答えを見る
答え

24‾\underline{24}(33+5{}+ 5+7{}+ 7+9{}+ 9)

自己採点:
記録を読み込み中…

問2

和 33+6{}+ 6+9{}+ 9+⋯{}+ \cdots+30{}+ 30 を、Σ を用いて表した式を求めなさい。

つまずいたときは:
答えを見る
答え

∑k=1103k‾\underline{\displaystyle\sum_{k=1}^{10} 3k}(第 kk 項は 3k3k、最後は kk=10{}= 10)

自己採点:
記録を読み込み中…

問3

∑k=110k2\displaystyle\sum_{k=1}^{10} k^2 の値を求めなさい。

つまずいたときは:
答えを見る
答え

385‾\underline{385}(10⋅11⋅216\dfrac{10 \cdot 11 \cdot 21}{6})

自己採点:
記録を読み込み中…

問4

∑k=1205\displaystyle\sum_{k=1}^{20} 5 の値を求めなさい。

つまずいたときは:
答えを見る
答え

100‾\underline{100}(55 を 2020 個足す)

自己採点:
記録を読み込み中…

問5

∑k=15k3\displaystyle\sum_{k=1}^{5} k^3 の値を求めなさい。

答えを見る
答え

225‾\underline{225}((5⋅62)2\left(\dfrac{5 \cdot 6}{2}\right)^2=152{}= 15^2)

自己採点:
記録を読み込み中…

実践問題(全20問)

難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。

問1 ★

(1) ∑k=36(2k−1)\displaystyle\sum_{k=3}^{6} (2k - 1)

(2) ∑k=142k\displaystyle\sum_{k=1}^{4} 2^k

(3) ∑k=15(−1)kk\displaystyle\sum_{k=1}^{5} (-1)^k k

上の各和を、項を書き並べて求めなさい。

つまずいたときは:
答えを見る
答え

(1) 3232 (2) 3030 (3) −3-3

解説

下の番号から上の番号まで、kk を順に代入して足します。

(1) kk=3,{}= 3, 4,\ 4, 5,\ 5, 6\ 6 の 4 項で

5\displaystyle 5+7\displaystyle {}+ 7+9\displaystyle {}+ 9+11\displaystyle {}+ 11=32‾\displaystyle {}= \underline{32}

(2) kk=1,{}= 1, 2,\ 2, 3,\ 3, 4\ 4 で

2\displaystyle 2+4\displaystyle {}+ 4+8\displaystyle {}+ 8+16\displaystyle {}+ 16=30‾\displaystyle {}= \underline{30}

(3) (−1)k(-1)^k は kk が奇数のとき −1-1、偶数のとき 11 なので

−1\displaystyle -1+2\displaystyle {}+ 2−3\displaystyle {}- 3+4\displaystyle {}+ 4−5\displaystyle {}- 5=−3‾\displaystyle {}= \underline{-3}
自己採点:
記録を読み込み中…

問2 ★

(1) 11+4{}+ 4+7{}+ 7+⋯{}+ \cdots+(3n−2){}+ (3n - 2)

(2) 22+4{}+ 4+8{}+ 8+⋯{}+ \cdots+210{}+ 2^{10}

(3) 1⋅21 \cdot 2+2⋅3{}+ 2 \cdot 3+3⋅4{}+ 3 \cdot 4+⋯{}+ \cdots+20⋅21{}+ 20 \cdot 21

上の各和を、Σ を用いて表した式を求めなさい。

つまずいたときは:
答えを見る
答え

(1) ∑k=1n(3k−2)\displaystyle\sum_{k=1}^{n} (3k - 2) (2) ∑k=1102k\displaystyle\sum_{k=1}^{10} 2^k (3) ∑k=120k(k+1)\displaystyle\sum_{k=1}^{20} k(k + 1)

解説

第 kk 項を kk の式で表し、最後の項が何番目かを調べます。

(1) 第 kk 項は 3k3k−2{}- 2 で、最後の項は kk=n{}= n のとき。∑k=1n(3k−2)‾\underline{\displaystyle\sum_{k=1}^{n} (3k - 2)}

(2) 第 kk 項は 2k2^k で、2102^{10} は kk=10{}= 10 のとき。∑k=1102k‾\underline{\displaystyle\sum_{k=1}^{10} 2^k}

(3) 第 kk 項は k(k+1)k(k + 1) で、20⋅2120 \cdot 21 は kk=20{}= 20 のとき。∑k=120k(k+1)‾\underline{\displaystyle\sum_{k=1}^{20} k(k + 1)}

表し方は 1 通りではありません。たとえば (2) は ∑k=092k+1\displaystyle\sum_{k=0}^{9} 2^{k+1} でも同じ和です。始まりと終わりの番号を代入して、最初と最後の項になるかを確かめましょう。

自己採点:
記録を読み込み中…

問3 ★

∑k=1n(4k−1)\displaystyle\sum_{k=1}^{n} (4k - 1) を求めなさい。

つまずいたときは:
答えを見る
答え

n(2n+1)n(2n + 1)

解説

Σ を分け、∑k=1nk\displaystyle \sum_{k=1}^{n} k=n(n+1)2\displaystyle {}= \dfrac{n(n + 1)}{2},∑k=1n1\displaystyle \sum_{k=1}^{n} 1=n\displaystyle {}= n を使います。

∑k=1n(4k−1)\displaystyle \sum_{k=1}^{n} (4k - 1)=4⋅n(n+1)2\displaystyle {}= 4 \cdot \frac{n(n + 1)}{2}−n\displaystyle {}- n=2n2\displaystyle {}= 2n^2+2n\displaystyle {}+ 2n−n\displaystyle {}- n=2n2\displaystyle {}= 2n^2+n\displaystyle {}+ n=n(2n+1)‾\displaystyle {}= \underline{n(2n + 1)}

(nn=2{}= 2 で 33+7{}+ 7=10{}= 10、式でも 2⋅52 \cdot 5=10{}= 10。)

自己採点:
記録を読み込み中…

問4 ★

∑k=1n(3k2−k)\displaystyle\sum_{k=1}^{n} (3k^2 - k) を求めなさい。

つまずいたときは:
答えを見る
答え

n2(n+1)n^2(n + 1)

解説
∑k=1n(3k2−k)\displaystyle \sum_{k=1}^{n} (3k^2 - k)=3⋅n(n+1)(2n+1)6\displaystyle {}= 3 \cdot \frac{n(n + 1)(2n + 1)}{6}−n(n+1)2\displaystyle {}- \frac{n(n + 1)}{2}=n(n+1)2{(2n+1)−1}\displaystyle {}= \frac{n(n + 1)}{2}\{(2n + 1) - 1\} =n(n+1)2⋅2n\displaystyle = \frac{n(n + 1)}{2} \cdot 2n=n2(n+1)‾\displaystyle {}= \underline{n^2(n + 1)}

共通因数 n(n+1)2\dfrac{n(n + 1)}{2} でくくると、展開せずに済みます。(nn=2{}= 2 で 22+10{}+ 10=12{}= 12、式でも 4⋅34 \cdot 3=12{}= 12。)

自己採点:
記録を読み込み中…

問5 ★

∑k=1n(k+1)(k−2)\displaystyle\sum_{k=1}^{n} (k + 1)(k - 2) を求めなさい。

つまずいたときは:
答えを見る
答え

n(n2−7)3\dfrac{n(n^2 - 7)}{3}

解説

積のままでは Σ を分けられないので、展開して (k+1)(k−2)(k + 1)(k - 2)=k2{}= k^2−k{}- k−2{}- 2。

∑k=1n(k2−k−2)\displaystyle \sum_{k=1}^{n} (k^2 - k - 2)=n(n+1)(2n+1)6\displaystyle {}= \frac{n(n + 1)(2n + 1)}{6}−n(n+1)2\displaystyle {}- \frac{n(n + 1)}{2}−2n\displaystyle {}- 2n

分母を 66 にそろえて nn でくくると、分子の波かっこの中は

(n+1)(2n+1)\displaystyle (n + 1)(2n + 1)−3(n+1)\displaystyle {}- 3(n + 1)−12\displaystyle {}- 12=2n2\displaystyle {}= 2n^2−14\displaystyle {}- 14

なので

n(2n2−14)6\displaystyle \frac{n(2n^2 - 14)}{6}=n(n2−7)3‾\displaystyle {}= \underline{\frac{n(n^2 - 7)}{3}}

(nn=3{}= 3 で −2-2+0{}+ 0+4{}+ 4=2{}= 2、式でも 3⋅23\dfrac{3 \cdot 2}{3}=2{}= 2。)

自己採点:
記録を読み込み中…

問6 ★

∑k=1n3k\displaystyle\sum_{k=1}^{n} 3^k を求めなさい。

つまずいたときは:
答えを見る
答え

3n+1−32\dfrac{3^{n+1} - 3}{2}

解説

33+32{}+ 3^2+⋯{}+ \cdots+3n{}+ 3^n は、初項 33、公比 33、項数 nn の等比数列の和です。

∑k=1n3k\displaystyle \sum_{k=1}^{n} 3^k=3(3n−1)3−1\displaystyle {}= \frac{3(3^n - 1)}{3 - 1}=3n+1−32‾\displaystyle {}= \underline{\frac{3^{n+1} - 3}{2}}

3k3^k は kk の多項式ではないので、公式3ではなく等比数列の和の公式を使います。初項は kk=1{}= 1 を入れた 33 で、11 ではない点に注意しましょう。

自己採点:
記録を読み込み中…

問7 ★

∑k=1120k2\displaystyle\sum_{k=11}^{20} k^2 の値を求めなさい。

つまずいたときは:
答えを見る
答え

24852485

解説

11 から 2020 までの和から、11 から 1010 までの和を引きます。

∑k=1120k2\displaystyle \sum_{k=11}^{20} k^2=∑k=120k2\displaystyle {}= \sum_{k=1}^{20} k^2−∑k=110k2\displaystyle {}- \sum_{k=1}^{10} k^2=20⋅21⋅416\displaystyle {}= \frac{20 \cdot 21 \cdot 41}{6}−10⋅11⋅216\displaystyle {}- \frac{10 \cdot 11 \cdot 21}{6}=2870\displaystyle {}= 2870−385\displaystyle {}- 385=2485‾\displaystyle {}= \underline{2485}

引くのは kk=10{}= 10 までで、kk=11{}= 11 までではありません(11211^2 は求める和に含まれます)。

自己採点:
記録を読み込み中…

問8 ★

和 121^2+32{}+ 3^2+52{}+ 5^2+⋯{}+ \cdots+(2n−1)2{}+ (2n - 1)^2 を求めなさい。

つまずいたときは:
答えを見る
答え

n(2n−1)(2n+1)3\dfrac{n(2n - 1)(2n + 1)}{3}

解説

第 kk 項は (2k−1)2(2k - 1)^2=4k2{}= 4k^2−4k{}- 4k+1{}+ 1 です。

∑k=1n(4k2−4k+1)\displaystyle \sum_{k=1}^{n} (4k^2 - 4k + 1)=4⋅n(n+1)(2n+1)6\displaystyle {}= 4 \cdot \frac{n(n + 1)(2n + 1)}{6}−4⋅n(n+1)2\displaystyle {}- 4 \cdot \frac{n(n + 1)}{2}+n\displaystyle {}+ n

分母を 33 にそろえて nn でくくると、分子の波かっこの中は

2(n+1)(2n+1)\displaystyle 2(n + 1)(2n + 1)−6(n+1)\displaystyle {}- 6(n + 1)+3\displaystyle {}+ 3=4n2\displaystyle {}= 4n^2−1\displaystyle {}- 1

なので

∑k=1n(4k2−4k+1)\displaystyle \sum_{k=1}^{n} (4k^2 - 4k + 1)=n(4n2−1)3\displaystyle {}= \frac{n(4n^2 - 1)}{3}=n(2n−1)(2n+1)3‾\displaystyle {}= \underline{\frac{n(2n - 1)(2n + 1)}{3}}

(nn=2{}= 2 で 11+9{}+ 9=10{}= 10、式でも 2⋅3⋅53\dfrac{2 \cdot 3 \cdot 5}{3}=10{}= 10。)

自己採点:
記録を読み込み中…

問9 ★★

和 1⋅31 \cdot 3+2⋅5{}+ 2 \cdot 5+3⋅7{}+ 3 \cdot 7+⋯{}+ \cdots+n(2n+1){}+ n(2n + 1) を求めなさい。

つまずいたときは:
答えを見る
答え

n(n+1)(4n+5)6\dfrac{n(n + 1)(4n + 5)}{6}

解説

左の因数は 1,1, 2,\ 2, 3,\ 3, …\ \ldots、右の因数は 3,3, 5,\ 5, 7,\ 7, …\ \ldots なので、第 kk 項は k(2k+1)k(2k + 1)=2k2{}= 2k^2+k{}+ k です。

∑k=1n(2k2+k)\displaystyle \sum_{k=1}^{n} (2k^2 + k)=2⋅n(n+1)(2n+1)6\displaystyle {}= 2 \cdot \frac{n(n + 1)(2n + 1)}{6}+n(n+1)2\displaystyle {}\qquad + \frac{n(n + 1)}{2}=n(n+1)6{2(2n+1)+3}\displaystyle {}= \frac{n(n + 1)}{6}\{2(2n + 1) + 3\}=n(n+1)(4n+5)6‾\displaystyle {}= \underline{\frac{n(n + 1)(4n + 5)}{6}}

(nn=2{}= 2 で 33+10{}+ 10=13{}= 13、式でも 2⋅3⋅136\dfrac{2 \cdot 3 \cdot 13}{6}=13{}= 13。)

自己採点:
記録を読み込み中…

問10 ★★

数列 1,1, 1\ 1+2,{}+ 2, 1\ 1+2{}+ 2+22,{}+ 2^2, 1\ 1+2{}+ 2+22{}+ 2^2+23,{}+ 2^3, …\ \ldots の初項から第 nn 項までの和を求めなさい。

つまずいたときは:
答えを見る
答え

2n+12^{n+1}−n{}- n−2{}- 2

解説

第 kk 項は、初項 11、公比 22、項数 kk の等比数列の和なので

1\displaystyle 1+2\displaystyle {}+ 2+⋯\displaystyle {}+ \cdots+2k−1\displaystyle {}+ 2^{k-1}=2k−12−1\displaystyle {}= \frac{2^k - 1}{2 - 1}=2k\displaystyle {}= 2^k−1\displaystyle {}- 1

よって求める和は

∑k=1n(2k−1)\displaystyle \sum_{k=1}^{n} (2^k - 1)=2(2n−1)2−1\displaystyle {}= \frac{2(2^n - 1)}{2 - 1}−n\displaystyle {}- n=2n+1‾\displaystyle {}= \underline{\rule[-0.0833em]{0em}{0.9474em}2^{n+1}}−n‾\displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}- n}−2‾\displaystyle \underline{\rule[-0.0833em]{0em}{0.9474em}{}- 2}

(nn=3{}= 3 で 11+3{}+ 3+7{}+ 7=11{}= 11、式でも 1616−3{}- 3−2{}- 2=11{}= 11。)

自己採点:
記録を読み込み中…

問11 ★★

和 11⋅3\dfrac{1}{1 \cdot 3}+13⋅5{}+ \dfrac{1}{3 \cdot 5}+15⋅7{}+ \dfrac{1}{5 \cdot 7}+⋯{}+ \cdots+1(2n−1)(2n+1){}+ \dfrac{1}{(2n - 1)(2n + 1)} を求めなさい。

つまずいたときは:
答えを見る
答え

n2n+1\dfrac{n}{2n + 1}

解説

分母の 2 つの因数の差は 22 なので

1(2k−1)(2k+1)\displaystyle \frac{1}{(2k - 1)(2k + 1)}=12(12k−1−12k+1)\displaystyle {}= \frac{1}{2}\left(\frac{1}{2k - 1} - \frac{1}{2k + 1}\right)

kk=1{}= 1 から nn まで足すと、13,\dfrac{1}{3}, 15,\ \dfrac{1}{5}, …,\ \ldots, 12n−1\ \dfrac{1}{2n - 1} がとなりどうしで消えて

12(1−12n+1)\displaystyle \frac{1}{2}\left(1 - \frac{1}{2n + 1}\right)=12⋅2n2n+1\displaystyle {}= \frac{1}{2} \cdot \frac{2n}{2n + 1}=n2n+1‾\displaystyle {}= \underline{\frac{n}{2n + 1}}
自己採点:
記録を読み込み中…

問12 ★★

和 ∑k=1n1k(k+2)\displaystyle\sum_{k=1}^{n} \frac{1}{k(k + 2)} を求めなさい。

つまずいたときは:
答えを見る
答え

n(3n+5)4(n+1)(n+2)\dfrac{n(3n + 5)}{4(n + 1)(n + 2)}

解説
1k(k+2)\displaystyle \frac{1}{k(k + 2)}=12(1k−1k+2)\displaystyle {}= \frac{1}{2}\left(\frac{1}{k} - \frac{1}{k + 2}\right)

今度は 2 つ先の項と消し合うので、並べて書くと

12{(1−13)+(12−14)\displaystyle \frac{1}{2}\biggl\{\left(1 - \frac{1}{3}\right) + \left(\frac{1}{2} - \frac{1}{4}\right)+(13−15)+⋯\displaystyle {}\qquad + \left(\frac{1}{3} - \frac{1}{5}\right) + \cdots+(1n−1−1n+1)\displaystyle {}\qquad + \left(\frac{1}{n - 1} - \frac{1}{n + 1}\right)+(1n−1n+2)}\displaystyle {}\qquad + \left(\frac{1}{n} - \frac{1}{n + 2}\right)\biggr\}

正の項は 1,1, 12\ \dfrac{1}{2} の 2 個、負の項は −1n+1,-\dfrac{1}{n + 1}, −1n+2{}\ -\dfrac{1}{n + 2} の 2 個が残ります。

12(1+12−1n+1−1n+2)\displaystyle \frac{1}{2}\left(1 + \frac{1}{2} - \frac{1}{n + 1} - \frac{1}{n + 2}\right)=12{32−2n+3(n+1)(n+2)}\displaystyle {}= \frac{1}{2}\left\{\frac{3}{2} - \frac{2n + 3}{(n + 1)(n + 2)}\right\}=3(n+1)(n+2)−2(2n+3)4(n+1)(n+2)\displaystyle {}= \frac{3(n + 1)(n + 2) - 2(2n + 3)}{4(n + 1)(n + 2)}

分子は 3n23n^2+9n{}+ 9n+6{}+ 6−4n{}- 4n−6{}- 6=3n2{}= 3n^2+5n{}+ 5n なので n(3n+5)4(n+1)(n+2)‾\underline{\dfrac{n(3n + 5)}{4(n + 1)(n + 2)}}。 (nn=1{}= 1 で 824\dfrac{8}{24}=13{}= \dfrac{1}{3} となり、第 1 項 11⋅3\dfrac{1}{1 \cdot 3} と合っています。)

自己採点:
記録を読み込み中…

問13 ★★

和 ∑k=1n1k+k+1\displaystyle\sum_{k=1}^{n} \frac{1}{\sqrt{k} + \sqrt{k + 1}} を求めなさい。

つまずいたときは:
答えを見る
答え

n+1\sqrt{n + 1}−1{}- 1

解説

分母を有理化すると、差の形になります。分母と分子に k+1\sqrt{k + 1}−k{}- \sqrt{k} を掛けると、分母は

(k+1+k)(k+1−k)\displaystyle (\sqrt{k + 1} + \sqrt{k})(\sqrt{k + 1} - \sqrt{k})=(k+1)\displaystyle {}= (k + 1)−k\displaystyle {}- k=1\displaystyle {}= 1

なので

1k+k+1\displaystyle \frac{1}{\sqrt{k} + \sqrt{k + 1}}=k+1−k1\displaystyle {}= \frac{\sqrt{k + 1} - \sqrt{k}}{1}=k+1\displaystyle {}= \sqrt{k + 1}−k\displaystyle {}- \sqrt{k}

よって

∑k=1n(k+1−k)\displaystyle \sum_{k=1}^{n} (\sqrt{k + 1} - \sqrt{k})=(2−1)\displaystyle {}= (\sqrt{2} - \sqrt{1})+(3−2)\displaystyle {}+ (\sqrt{3} - \sqrt{2})+⋯\displaystyle {}+ \cdots+(n+1−n)\displaystyle {}+ (\sqrt{n + 1} - \sqrt{n})=n+1‾\displaystyle {}= \underline{\rule[-0.1256em]{0em}{1.0400em}\sqrt{n + 1}}−1‾\displaystyle \underline{\rule[-0.1256em]{0em}{1.0400em}{}- 1}

公式4で f(k)f(k)=−k{}= -\sqrt{k} とした形です。

自己採点:
記録を読み込み中…

問14 ★★

和 ∑k=12n(−1)kk2\displaystyle \sum_{k=1}^{2n} (-1)^k k^2=−12\displaystyle {}= -1^2+22\displaystyle {}+ 2^2−32\displaystyle {}- 3^2+42\displaystyle {}+ 4^2−⋯\displaystyle {}- \cdots+(2n)2\displaystyle {}+ (2n)^2 を求めなさい。

つまずいたときは:
答えを見る
答え

n(2n+1)n(2n + 1)

解説

項数は 2n2n で偶数なので、となりどうしの 2 項ずつ、nn 組に分けられます。mm 組目(mm=1,{}= 1, 2,\ 2, …,\ \ldots, n\ n)は

−(2m−1)2\displaystyle {}-(2m - 1)^2+(2m)2\displaystyle {}+ (2m)^2={2m−(2m−1)}\displaystyle {}= \{2m - (2m - 1)\}×{2m+(2m−1)}\displaystyle \qquad \times \{2m + (2m - 1)\}=4m\displaystyle {}= 4m−1\displaystyle {}- 1

よって

∑m=1n(4m−1)\displaystyle \sum_{m=1}^{n} (4m - 1)=4⋅n(n+1)2\displaystyle {}= 4 \cdot \frac{n(n + 1)}{2}−n\displaystyle {}- n=2n2\displaystyle {}= 2n^2+n\displaystyle {}+ n=n(2n+1)‾\displaystyle {}= \underline{n(2n + 1)}

(nn=2{}= 2 で −1-1+4{}+ 4−9{}- 9+16{}+ 16=10{}= 10、式でも 2⋅52 \cdot 5=10{}= 10。)符号が交互の和は、2 項ずつ組にすると普通の Σ に直せます。

自己採点:
記録を読み込み中…

問15 ★★

和 1⋅n1 \cdot n+2(n−1){}+ 2(n - 1)+3(n−2){}+ 3(n - 2)+⋯{}+ \cdots+n⋅1{}+ n \cdot 1 を求めなさい。

つまずいたときは:
答えを見る
答え

n(n+1)(n+2)6\dfrac{n(n + 1)(n + 2)}{6}

解説

左の因数は 1,1, 2,\ 2, …,\ \ldots, n\ n、右の因数は n,n, n\ n−1,{}- 1, …,\ \ldots, 1\ 1 です。第 kk 項の右の因数は nn−(k−1){}- (k - 1)=n{}= n+1{}+ 1−k{}- k なので、第 kk 項は k(n+1−k)k(n + 1 - k)=(n+1)k{}= (n + 1)k−k2{}- k^2。 ここで nn+1{}+ 1 は kk に無関係な定数なので、Σ の外に出せます。

∑k=1n{(n+1)k−k2}\displaystyle \sum_{k=1}^{n} \{(n + 1)k - k^2\}=(n+1)⋅n(n+1)2\displaystyle {}= (n + 1) \cdot \frac{n(n + 1)}{2}−n(n+1)(2n+1)6\displaystyle {}\qquad - \frac{n(n + 1)(2n + 1)}{6}=n(n+1)6{3(n+1)\displaystyle {}= \frac{n(n + 1)}{6}\bigl\{3(n + 1)−(2n+1)}\displaystyle {}\qquad - (2n + 1)\bigr\}=n(n+1)(n+2)6‾\displaystyle {}= \underline{\frac{n(n + 1)(n + 2)}{6}}

(nn=3{}= 3 で 33+4{}+ 4+3{}+ 3=10{}= 10、式でも 3⋅4⋅56\dfrac{3 \cdot 4 \cdot 5}{6}=10{}= 10。)

自己採点:
記録を読み込み中…

問16 ★★

和 1⋅2⋅31 \cdot 2 \cdot 3+2⋅3⋅4{}+ 2 \cdot 3 \cdot 4+3⋅4⋅5{}+ 3 \cdot 4 \cdot 5+⋯{}+ \cdots+n(n+1)(n+2){}+ n(n + 1)(n + 2) を求めなさい。

つまずいたときは:
答えを見る
答え

n(n+1)(n+2)(n+3)4\dfrac{n(n + 1)(n + 2)(n + 3)}{4}

解説

第 kk 項は k(k+1)(k+2)k(k + 1)(k + 2)=k3{}= k^3+3k2{}+ 3k^2+2k{}+ 2k です。

∑k=1n(k3+3k2+2k)\displaystyle \sum_{k=1}^{n} (k^3 + 3k^2 + 2k)=n2(n+1)24\displaystyle {}= \frac{n^2(n + 1)^2}{4}+3⋅n(n+1)(2n+1)6\displaystyle {}+ 3 \cdot \frac{n(n + 1)(2n + 1)}{6}+2⋅n(n+1)2\displaystyle {}+ 2 \cdot \frac{n(n + 1)}{2}

共通因数 n(n+1)4\dfrac{n(n + 1)}{4} でくくると

n(n+1)4{n(n+1)\displaystyle \frac{n(n + 1)}{4}\bigl\{n(n + 1)+2(2n+1)+4}\displaystyle {}\qquad + 2(2n + 1) + 4\bigr\}=n(n+1)(n2+5n+6)4\displaystyle {}= \frac{n(n + 1)(n^2 + 5n + 6)}{4}=n(n+1)(n+2)(n+3)4‾\displaystyle {}= \underline{\frac{n(n + 1)(n + 2)(n + 3)}{4}}

(nn=2{}= 2 で 66+24{}+ 24=30{}= 30、式でも 2⋅3⋅4⋅54\dfrac{2 \cdot 3 \cdot 4 \cdot 5}{4}=30{}= 30。)

自己採点:
記録を読み込み中…

問17 ★★★

和 ∑k=1n1k(k+1)(k+2)\displaystyle\sum_{k=1}^{n} \frac{1}{k(k + 1)(k + 2)} を求めなさい。

つまずいたときは:
答えを見る
答え

n(n+3)4(n+1)(n+2)\dfrac{n(n + 3)}{4(n + 1)(n + 2)}

解説

分母が 3 つの積のときは、「となり合う 2 つの積」の逆数の差に分けます。

1k(k+1)\displaystyle \frac{1}{k(k + 1)}−1(k+1)(k+2)\displaystyle {}- \frac{1}{(k + 1)(k + 2)}=(k+2)−kk(k+1)(k+2)\displaystyle {}= \frac{(k + 2) - k}{k(k + 1)(k + 2)}=2k(k+1)(k+2)\displaystyle {}= \frac{2}{k(k + 1)(k + 2)}

なので

1k(k+1)(k+2)\displaystyle \frac{1}{k(k + 1)(k + 2)}=12{1k(k+1)\displaystyle {}= \frac{1}{2}\biggl\{\frac{1}{k(k + 1)}−1(k+1)(k+2)}\displaystyle {}\qquad - \frac{1}{(k + 1)(k + 2)}\biggr\}

kk=1{}= 1 から nn まで足すと、途中が打ち消し合って

12{11⋅2−1(n+1)(n+2)}\displaystyle \frac{1}{2}\left\{\frac{1}{1 \cdot 2} - \frac{1}{(n + 1)(n + 2)}\right\}=(n+1)(n+2)−24(n+1)(n+2)\displaystyle {}= \frac{(n + 1)(n + 2) - 2}{4(n + 1)(n + 2)}=n2+3n4(n+1)(n+2)\displaystyle {}= \frac{n^2 + 3n}{4(n + 1)(n + 2)}=n(n+3)4(n+1)(n+2)‾\displaystyle {}= \underline{\frac{n(n + 3)}{4(n + 1)(n + 2)}}

(nn=1{}= 1 で 424\dfrac{4}{24}=16{}= \dfrac{1}{6} となり、第 1 項 11⋅2⋅3\dfrac{1}{1 \cdot 2 \cdot 3} と合っています。)

自己採点:
記録を読み込み中…

問18 ★★★

S=∑k=1n(2k−1)⋅3k−1S = \displaystyle\sum_{k=1}^{n} (2k - 1) \cdot 3^{k-1} を求めなさい。

つまずいたときは:
答えを見る
答え

SS=(n−1)⋅3n{}= (n - 1) \cdot 3^n+1{}+ 1

解説

SS と 3S3S を、同じ累乗が上下にそろうように書きます。

S\displaystyle S=1\displaystyle {}= 1+3⋅3\displaystyle {}+ 3 \cdot 3+5⋅32\displaystyle {}+ 5 \cdot 3^2+⋯\displaystyle {}+ \cdots+(2n−1)⋅3n−1\displaystyle {}+ (2n - 1) \cdot 3^{n-1}3S\displaystyle 3S=1+1⋅3\displaystyle {}= \phantom{1 + {}} 1 \cdot 3+3⋅32\displaystyle {}+ 3 \cdot 3^2+⋯\displaystyle {}+ \cdots+(2n−3)⋅3n−1\displaystyle {}+ (2n - 3) \cdot 3^{n-1}+(2n−1)⋅3n\displaystyle {}+ (2n - 1) \cdot 3^n

上から下を引くと、313^1 から 3n−13^{n-1} までの係数の差はどれも 22 になります。

S\displaystyle S−3S\displaystyle {}- 3S=1\displaystyle {}= 1+2(3+32+⋯+3n−1)\displaystyle {}+ 2(3 + 3^2 + \cdots + 3^{n-1})−(2n−1)⋅3n\displaystyle {}- (2n - 1) \cdot 3^n

かっこの中は初項 33、公比 33、項数 nn−1{}- 1 の等比数列の和で 3(3n−1−1)2\dfrac{3(3^{n-1} - 1)}{2}=3n−32{}= \dfrac{3^n - 3}{2} なので

−2S\displaystyle -2S=1\displaystyle {}= 1+(3n−3)\displaystyle {}+ (3^n - 3)−(2n−1)⋅3n\displaystyle {}- (2n - 1) \cdot 3^n=−2\displaystyle {}= -2−(2n−2)⋅3n\displaystyle {}- (2n - 2) \cdot 3^n

両辺を −2-2 で割って S=(n−1)⋅3n‾\underline{\rule[-0.25em]{0em}{1.0000em}S = (n - 1) \cdot 3^n}+1‾\underline{\rule[-0.25em]{0em}{1.0000em}{}+ 1}。 (nn=2{}= 2 で 11+9{}+ 9=10{}= 10、式でも 99+1{}+ 1=10{}= 10。)例題6と違い、係数の差が 11 でなく公差の 22 になるところに注意します。

自己採点:
記録を読み込み中…

問19 ★★★

nn≧2{}\geqq 2 とします。11 から nn までの自然数から異なる 2 つを選んで積を作るとき、そのような積すべての和を求めなさい。

つまずいたときは:
答えを見る
答え

(n−1)n(n+1)(3n+2)24\dfrac{(n - 1)n(n + 1)(3n + 2)}{24}

解説

求める和を TT とします。(1+2+⋯+n)2(1 + 2 + \cdots + n)^2 を展開すると、同じ数どうしの積 12,1^2, 22,\ 2^2, …,\ \ldots, n2\ n^2 と、異なる 2 数の積(1⋅21 \cdot 2 と 2⋅12 \cdot 1 のように、どの組も 2 回ずつ)が現れます。

(∑k=1nk)2\displaystyle \left(\sum_{k=1}^{n} k\right)^2=∑k=1nk2\displaystyle {}= \sum_{k=1}^{n} k^2+2T\displaystyle {}+ 2T

よって

T\displaystyle T=12{n2(n+1)24\displaystyle {}= \frac{1}{2}\biggl\{\frac{n^2(n + 1)^2}{4}−n(n+1)(2n+1)6}\displaystyle {}\qquad - \frac{n(n + 1)(2n + 1)}{6}\biggr\}=n(n+1)24{3n(n+1)\displaystyle {}= \frac{n(n + 1)}{24}\bigl\{3n(n + 1)−2(2n+1)}\displaystyle {}\qquad - 2(2n + 1)\bigr\}=n(n+1)(3n2−n−2)24\displaystyle {}= \frac{n(n + 1)(3n^2 - n - 2)}{24}

3n23n^2−n{}- n−2{}- 2=(n−1)(3n+2){}= (n - 1)(3n + 2) なので T=(n−1)n(n+1)(3n+2)24‾\underline{T = \dfrac{(n - 1)n(n + 1)(3n + 2)}{24}}。 (nn=3{}= 3 で 1⋅21 \cdot 2+1⋅3{}+ 1 \cdot 3+2⋅3{}+ 2 \cdot 3=11{}= 11、式でも 2⋅3⋅4⋅1124\dfrac{2 \cdot 3 \cdot 4 \cdot 11}{24}=11{}= 11。)

自己採点:
記録を読み込み中…

問20 ★★★

恒等式 (k+1)4(k + 1)^4−k4{}- k^4=4k3{}= 4k^3+6k2{}+ 6k^2+4k{}+ 4k+1{}+ 1 と、∑k=1nk\displaystyle\sum_{k=1}^{n} k,∑k=1nk2\displaystyle\sum_{k=1}^{n} k^2 の公式を用いて、∑k=1nk3\displaystyle \sum_{k=1}^{n} k^3={n(n+1)2}2\displaystyle {}= \left\{\frac{n(n + 1)}{2}\right\}^2 であることを示しなさい。

つまずいたときは:
答えを見る
答え

(証明)解説を参照。

解説

恒等式の両辺を kk=1{}= 1 から nn まで足します。左辺は途中が打ち消し合って (n+1)4(n + 1)^4−14{}- 1^4 だけが残るので

(n+1)4\displaystyle (n + 1)^4−1\displaystyle {}- 1=4∑k=1nk3\displaystyle {}= 4\sum_{k=1}^{n} k^3+6⋅n(n+1)(2n+1)6\displaystyle {}+ 6 \cdot \frac{n(n + 1)(2n + 1)}{6}+4⋅n(n+1)2\displaystyle {}+ 4 \cdot \frac{n(n + 1)}{2}+n\displaystyle {}+ n

∑k=1nk3\displaystyle\sum_{k=1}^{n} k^3 以外を左辺に移すと

4∑k=1nk3\displaystyle 4\sum_{k=1}^{n} k^3=(n+1)4\displaystyle {}= (n + 1)^4−(n+1)\displaystyle {}- (n + 1)−n(n+1)(2n+1)\displaystyle {}- n(n + 1)(2n + 1)−2n(n+1)\displaystyle {}- 2n(n + 1)

(−1-1−n{}- n=−(n+1){}= -(n + 1) とまとめました。)右辺を nn+1{}+ 1 でくくると

(n+1){(n+1)3−1\displaystyle (n + 1)\bigl\{(n + 1)^3 - 1−n(2n+1)−2n}\displaystyle {}\qquad - n(2n + 1) - 2n\bigr\}=(n+1)(n3+3n2+3n\displaystyle {}= (n + 1)(n^3 + 3n^2 + 3n−2n2−3n)\displaystyle {}\qquad - 2n^2 - 3n)=(n+1)(n3+n2)\displaystyle {}= (n + 1)(n^3 + n^2)=n2(n+1)2\displaystyle {}= n^2(n + 1)^2

よって

∑k=1nk3\displaystyle \sum_{k=1}^{n} k^3=n2(n+1)24\displaystyle {}= \frac{n^2(n + 1)^2}{4}={n(n+1)2}2\displaystyle {}= \left\{\frac{n(n + 1)}{2}\right\}^2

が示されました。(証明終)

本文で 2 乗の和を (k+1)3(k + 1)^3−k3{}- k^3 から導いたのと同じ方法です。(k+1)p+1(k + 1)^{p+1}−kp+1{}- k^{p+1} を使えば、pp 乗の和を、それより低い累乗の和から順に求められます。

自己採点:
記録を読み込み中…

数学小話コーナー

船に積んだ砲弾は何個?——2 乗の和と 4900 の謎

16 世紀の終わりごろ、イギリスの探検家ウォルター・ローリーは、船に積む砲弾の数を手早く知りたいと考えました。甲板の上では、丸い砲弾を四角錐の形に積み上げておくのがふつうです。そこでローリーは、数学者として雇っていたトマス・ハリオットに、「積んだ山の形から、砲弾の数を計算できないか」と尋ねたといわれています(※時期や細部には諸説あり)。

いちばん上が 11 個、上から kk 段目が k×kk \times k 個なので、nn 段の山の個数は

12\displaystyle 1^2+22\displaystyle {}+ 2^2+⋯\displaystyle {}+ \cdots+n2\displaystyle {}+ n^2=n(n+1)(2n+1)6\displaystyle {}= \frac{n(n + 1)(2n + 1)}{6}

です。ハリオットはこうした数え方の表を作ったと伝えられています。1010 段の山なら 385385 個。いちいち数えなくても、段の数さえ分かれば砲弾の数が分かるのです。

時代は下って 1875 年、フランスの数学者エドゥアール・リュカが、この山にひねりを加えた問題を出しました。「四角錐に積んだ砲弾を崩して、ちょうど正方形に並べ直せるのは何段のときか」。つまり 121^2+22{}+ 2^2+⋯{}+ \cdots+n2{}+ n^2 が平方数になる nn はどれか、という問いです。nn=1{}= 1(11 個)はあたりまえとして、もう 1 つ

12\displaystyle 1^2+22\displaystyle {}+ 2^2+⋯\displaystyle {}+ \cdots+242\displaystyle {}+ 24^2=4900\displaystyle {}= 4900=702\displaystyle {}= 70^2

があります。24 段の山を崩すと、70×7070 \times 70 の正方形にぴったり並ぶのです。そして、ほかには 1 つもありません。このことが完全に証明されたのは、問題が出されてから 40 年あまりたった 1918 年のことでした(ワトソンによる)。

豆知識

ハリオットは、砲弾をいちばんすき間なく積む方法についても考え、その話は天文学者ケプラーに伝わりました。ケプラーは 1611 年の小冊子『六角形の雪について』で、「果物屋のオレンジの積み方(ピラミッド積み)が、球をいちばん密に詰める方法だ」と予想しています。当たり前に見えるこのケプラー予想は、およそ 400 年のあいだ誰にも証明できず、1998 年にトマス・ヘイルズがコンピュータを大量に使って証明を発表しました。その証明が本当に正しいかをコンピュータで 1 行ずつ確かめる計画も進められ、2014 年に完了が報告されています。

江戸とスイスで、ほぼ同時に——関孝和とベルヌーイ

この章では ∑k\displaystyle\sum k,∑k2\displaystyle\sum k^2,∑k3\displaystyle\sum k^3 の公式を学びました。では ∑k4\displaystyle\sum k^4 や ∑k10\displaystyle\sum k^{10} は? 実践 j20 と同じように、(k+1)p+1(k + 1)^{p+1}−kp+1{}- k^{p+1} を足し並べれば、低い累乗から順に 1 つずつ求めることはできます。けれども 1010 乗までたどり着くのは大変です。どんな pp についても一気に書ける公式はないのでしょうか。

この問いに、ほぼ同じ時期、遠く離れた 2 人が答えを出しました。1 人は江戸時代の和算家・関孝和。もう 1 人はスイスの数学者ヤコブ・ベルヌーイです。関孝和の考えは、没後の 1712 年に弟子たちがまとめた『括要算法(かつようさんぽう)』に、ベルヌーイの考えは、やはり没後の 1713 年に出版された確率論の本『推測術』に載っています。2 人とも、pp 乗の和の公式の係数が、ある決まった数の列から順に作れることに気づきました。この数の列は、今ではベルヌーイ数と呼ばれています(日本では「関・ベルヌーイ数」と呼ぶこともあります)。

ベルヌーイは『推測術』の中で、少し得意げにこう書いています。この方法を使って、11 から 10001000 までの 1010 乗の和を「15 分の半分もかからずに」計算した、と。その答えは

110\displaystyle 1^{10}+210\displaystyle {}+ 2^{10}+⋯\displaystyle {}+ \cdots+100010\displaystyle {}+ 1000^{10}=91,409,924,241,424,243,\displaystyle {}= 91{,}409{,}924{,}241{,}424{,}243{,}424,241,924,242,500\displaystyle \qquad 424{,}241{,}924{,}242{,}500

という 32 桁の数です。電卓もない時代に、1000 個の 10 乗を 1 つずつ足していたら、とても 7 分半では終わりません。公式の力を見せつける一文でした。

豆知識

ベルヌーイ数は、コンピュータの歴史にも登場します。1843 年、イギリスのエイダ・ラブレスは、バベッジが設計した機械式計算機「解析機関」についての論文の翻訳に長い注釈を付け、その最後の「注 G」に、ベルヌーイ数を順に計算する手順を書きました。これが「世界初のコンピュータ・プログラム」と呼ばれることがあります(※解析機関は完成しなかったため実際には動いておらず、どこまでを彼女ひとりの仕事とみるかにも諸説あります)。

立方数は奇数の連なり——ニコマコスの発見

奇数を小さい順に並べて、1 個、2 個、3 個、……と区切ってみます。

1  ∣  3+5  ∣  7\displaystyle 1 \;\big|\; 3 + 5 \;\big|\; 7+9\displaystyle {}+ 9+11  ∣  13+15+17+19  ∣  ⋯\displaystyle {}+ 11 \;\big|\; 13 + 15 + 17 + 19 \;\big|\; \cdots

区切りごとに足すと、1,1, 8,\ 8, 27,\ 27, 64,\ 64, …\ \ldots。13,1^3, 23,\ 2^3, 33,\ 3^3, 43\ 4^3 と、立方数(3 乗の数)が順に現れます。この関係は、西暦 100 年ごろのギリシャの数学者ニコマコスが、著書『算術入門』に書き残したものとして知られています。

なぜそうなるのでしょうか。kk 番目の区切りには kk 個の奇数が入っていて、その真ん中あたりの値は k2k^2 です(kk=3{}= 3 なら 7,7, 9,\ 9, 11\ 11 の真ん中が 99)。等差数列の和は「平均 × 個数」なので、区切りの和は k2×kk^2 \times k=k3{}= k^3 になります。

ここからがおもしろいところです。11 番目から nn 番目までの区切りをすべて合わせると、奇数を小さい順に 11+2{}+ 2+⋯{}+ \cdots+n{}+ n=n(n+1)2{}= \dfrac{n(n + 1)}{2} 個足したことになります。第1章で学んだとおり、最初から mm 個の奇数の和は m2m^2 です。だから

13\displaystyle 1^3+23\displaystyle {}+ 2^3+⋯\displaystyle {}+ \cdots+n3\displaystyle {}+ n^3={n(n+1)2}2\displaystyle {}= \left\{\frac{n(n + 1)}{2}\right\}^2

本文の公式3が、図を使わずに、奇数の並びだけから出てきました。この等式は今では「ニコマコスの定理」と呼ばれることもあります(※ニコマコス自身がこの形で書いたわけではなく、名前は後の時代に付いたものです)。

豆知識

和を表す記号 Σ\Sigma を広めたのは、18 世紀の数学者オイラーです。1755 年の著書『微分学教程』で、ラテン語の Summa(和)の頭文字 S にあたるギリシャ文字として使ったのが始まりとされています(※それ以前にも似た使い方があったとする説もあります)。ニコマコスから 1600 年以上たって、ようやく「和」を 1 文字で書けるようになったのです。

厳密定義(発展)

※ここは発展ページです。本文では Σ を「a1a_1+a2{}+ a_2+⋯{}+ \cdots+an{}+ a_n の略記」として導入し、性質は項を書き並べて確かめました。ここでは「⋯\cdots」に頼らずに Σ を定義し直し、本文で使った性質・番号の付け替え・打ち消し合う和を証明します。最後に、pp 乗の和がどんな形の式になるかを調べます。

定義1:Σ(帰納的な定義)

数列 {an}\{a_n\} に対し、∑k=1nak\displaystyle\sum_{k=1}^{n} a_k を次の 2 つの式で定める。

∑k=11ak\displaystyle \sum_{k=1}^{1} a_k=a1,\displaystyle {}= a_1,∑k=1n+1ak\displaystyle \sum_{k=1}^{n+1} a_k=(∑k=1nak)\displaystyle {}= \left(\sum_{k=1}^{n} a_k\right)+an+1\displaystyle {}+ a_{n+1}(n=1, 2, 3, …)\displaystyle (n = 1,\ 2,\ 3,\ \ldots)

また、自然数 mm≦n{}\leqq n に対し、∑k=mnak\displaystyle \sum_{k=m}^{n} a_k=∑k=1nak\displaystyle {}= \sum_{k=1}^{n} a_k−∑k=1m−1ak\displaystyle {}- \sum_{k=1}^{m-1} a_k と定める(mm=1{}= 1 のときは、何も足さない和を ∑k=10ak\displaystyle \sum_{k=1}^{0} a_k=0\displaystyle {}= 0 と約束する)。

「a1a_1+a2{}+ a_2+⋯{}+ \cdots+an{}+ a_n」の「⋯\cdots」は、読む人の想像にまかせた書き方です。定義1は、「11 項だけの和は a1a_1」「nn+1{}+ 1 項の和は、nn 項の和に次の項を 1 つ足したもの」という 2 つのルールだけで、どんな nn の和も決まるようにしています。第1章で「数列は自然数を定義域とする関数」と定義したのと同じく、和も「nn を入れると値が 1 つ決まる関数」として扱えるようになります。

「何も足さない和は 00」という約束は、足し算の出発点を 00 にしておくということです。この約束のおかげで、∑k=mn\displaystyle\sum_{k=m}^{n} の定義が mm=1{}= 1 でもそのまま使えます。

定理1:Σ の線形性

p,p, q\ q を kk に無関係な定数とすると、すべての自然数 nn について

∑k=1n(pak+qbk)\displaystyle \sum_{k=1}^{n} (pa_k + qb_k)=p∑k=1nak\displaystyle {}= p\sum_{k=1}^{n} a_k+q∑k=1nbk\displaystyle {}+ q\sum_{k=1}^{n} b_k

特に、aka_k=1{}= 1,qq=0{}= 0 とすれば ∑k=1np\displaystyle \sum_{k=1}^{n} p=np\displaystyle {}= np である。

証明 nn=1{}= 1 のとき、両辺はともに pa1pa_1+qb1{}+ qb_1 で等しい。ある nn で成り立つとすると、定義1より

∑k=1n+1(pak+qbk)\displaystyle \sum_{k=1}^{n+1} (pa_k + qb_k)={p∑k=1nak+q∑k=1nbk}\displaystyle {}= \left\{p\sum_{k=1}^{n} a_k + q\sum_{k=1}^{n} b_k\right\}+(pan+1+qbn+1)\displaystyle {}+ (pa_{n+1} + qb_{n+1})=p∑k=1n+1ak\displaystyle {}= p\sum_{k=1}^{n+1} a_k+q∑k=1n+1bk\displaystyle {}+ q\sum_{k=1}^{n+1} b_k

となり、nn+1{}+ 1 でも成り立つ。これをくり返せば、すべての nn で成り立つ。(証明終)

「nn で成り立てば nn+1{}+ 1 でも成り立つ、これをくり返す」という論法は、第8章で数学的帰納法として正式に学びます。定義1が「前の和に 1 項足す」という形なので、Σ についての証明は、ほとんどがこの論法になります。

一方、積については同じ証明ができません。∑k=1n+1akbk\displaystyle\sum_{k=1}^{n+1} a_kb_k を前の和に分けると an+1bn+1a_{n+1}b_{n+1} が 1 つ増えるだけですが、(∑k=1n+1ak)(∑k=1n+1bk)\displaystyle\left(\sum_{k=1}^{n+1} a_k\right)\left(\sum_{k=1}^{n+1} b_k\right) を展開すると an+1∑k=1nbka_{n+1}\displaystyle\sum_{k=1}^{n} b_k などの「交差する項」まで増えるからです。実践 j19 は、この交差する項の和を求める問題でした。

定理2:番号の付け替え

すべての自然数 nn について、次が成り立つ。

(i) ∑k=1nak+1\displaystyle \sum_{k=1}^{n} a_{k+1}=∑k=2n+1ak\displaystyle {}= \sum_{k=2}^{n+1} a_k(番号を 11 ずらす)

(ii) ∑k=1nan+1−k\displaystyle \sum_{k=1}^{n} a_{n+1-k}=∑k=1nak\displaystyle {}= \sum_{k=1}^{n} a_k(逆順に並べる)

証明 (i) 左辺を LnL_n、右辺を RnR_n とおく。定義1より Rn=∑k=1n+1ak−a1R_n = \displaystyle\sum_{k=1}^{n+1} a_k - a_1 である。nn=1{}= 1 のとき L1L_1=a2{}= a_2,R1R_1=(a1+a2){}= (a_1 + a_2)−a1{}- a_1=a2{}= a_2。ある nn で LnL_n=Rn{}= R_n なら

Ln+1\displaystyle L_{n+1}=Ln\displaystyle {}= L_n+an+2\displaystyle {}+ a_{n+2}=Rn\displaystyle {}= R_n+an+2\displaystyle {}+ a_{n+2}=∑k=1n+2ak\displaystyle {}= \sum_{k=1}^{n+2} a_k−a1\displaystyle {}- a_1=Rn+1\displaystyle {}= R_{n+1}

(ii) bkb_k=an+1−k{}= a_{n+1-k} とおくと、b1b_1=an,{}= a_n, b2\ b_2=an−1,{}= a_{n-1}, …,\ \ldots, bn\ b_n=a1{}= a_1 で、{bk}\{b_k\} は a1,a_1, …,\ \ldots, an\ a_n を逆順に並べたものである。足し算は順番を入れかえても値が変わらない(交換法則・結合法則)ので、両辺は等しい。(証明終)

(i) は例題6で「rSrS を、番号を 11 ずらして書き直した」操作そのものです。(ii) を使うと、第1章の「逆順に並べて足す」も Σ で書けます。

2∑k=1nk\displaystyle 2\sum_{k=1}^{n} k=∑k=1nk\displaystyle {}= \sum_{k=1}^{n} k+∑k=1n(n+1−k)\displaystyle {}+ \sum_{k=1}^{n} (n + 1 - k)=∑k=1n(n+1)\displaystyle {}= \sum_{k=1}^{n} (n + 1)=n(n+1)\displaystyle {}= n(n + 1)

1 つ目の等号で (ii)、2 つ目で定理1を使いました。ガウス少年の工夫は、「番号を逆順に付け替えても和は変わらない」という性質だったのです。

定理3:打ち消し合う和

自然数を定義域とする関数 ff について、すべての自然数 nn で

∑k=1n{f(k+1)−f(k)}\displaystyle \sum_{k=1}^{n} \{f(k + 1) - f(k)\}=f(n+1)\displaystyle {}= f(n + 1)−f(1)\displaystyle {}- f(1)

証明 nn=1{}= 1 のとき両辺は f(2)f(2)−f(1){}- f(1) で等しい。ある nn で成り立つとすると

∑k=1n+1{f(k+1)−f(k)}\displaystyle \sum_{k=1}^{n+1} \{f(k + 1) - f(k)\}={f(n+1)−f(1)}\displaystyle {}= \{f(n + 1) - f(1)\}+{f(n+2)−f(n+1)}\displaystyle {}+ \{f(n + 2) - f(n + 1)\}=f(n+2)\displaystyle {}= f(n + 2)−f(1)\displaystyle {}- f(1)

で、nn+1{}+ 1 でも成り立つ。(証明終)

本文の公式4は、この定理の符号を入れかえた形です({f(k)−f(k+1)}\{f(k) - f(k + 1)\} を足すと f(1)f(1)−f(n+1){}- f(n + 1))。証明の中で f(n+1)f(n + 1) が ++ と −- で消えているところが、リレーのバトンの受け渡しにあたります。

2 乗の和の公式も、定理3から出てきます。f(k)f(k)=k3{}= k^3 とすると f(k+1)f(k + 1)−f(k){}- f(k)=3k2{}= 3k^2+3k{}+ 3k+1{}+ 1 なので、定理1・定理3より

3∑k=1nk2\displaystyle 3\sum_{k=1}^{n} k^2+3∑k=1nk\displaystyle {}+ 3\sum_{k=1}^{n} k+n\displaystyle {}+ n=(n+1)3\displaystyle {}= (n + 1)^3−1\displaystyle {}- 1

となり、本文と同じ計算で ∑k=1nk2\displaystyle \sum_{k=1}^{n} k^2=n(n+1)(2n+1)6\displaystyle {}= \dfrac{n(n + 1)(2n + 1)}{6} が得られます。f(k)f(k)=k2{}= k^2 とすれば ∑k\displaystyle\sum k が、f(k)f(k)=k4{}= k^4 とすれば ∑k3\displaystyle\sum k^3 が(実践 j20)、同じように求まります。

定理4:累乗の和の形

pp を 00 以上の整数とすると、∑k=1nkp\displaystyle\sum_{k=1}^{n} k^p は nn の pp+1{}+ 1 次の多項式で表され、その最高次の係数は 1p+1\dfrac{1}{p + 1}、定数項は 00 である。

証明の方針 pp=0{}= 0 のときは ∑k=1n1\displaystyle \sum_{k=1}^{n} 1=n\displaystyle {}= n で成り立つ。0,0, 1,\ 1, …,\ \ldots, p\ p−1{}- 1 乗の和について成り立つとする。二項定理より、kk の pp−1{}- 1 次以下の多項式 g(k)g(k) を用いて

(k+1)p+1\displaystyle (k + 1)^{p+1}−kp+1\displaystyle {}- k^{p+1}=(p+1)kp\displaystyle {}= (p + 1)k^p+g(k)\displaystyle {}+ g(k)

と表せる。この両辺を kk=1{}= 1 から nn まで足すと、定理3より左辺は (n+1)p+1(n + 1)^{p+1}−1{}- 1。右辺は定理1より、(p+1)∑k=1nkp(p + 1)\displaystyle\sum_{k=1}^{n} k^p と、h(n)=∑k=1ng(k)h(n) = \displaystyle\sum_{k=1}^{n} g(k) の和になる。h(n)h(n) は、仮定により nn の pp 次以下で定数項 00 の多項式である。よって

∑k=1nkp\displaystyle \sum_{k=1}^{n} k^p=(n+1)p+1−1−h(n)p+1\displaystyle {}= \frac{(n + 1)^{p+1} - 1 - h(n)}{p + 1}

(n+1)p+1(n + 1)^{p+1}−1{}- 1 は最高次の項が np+1n^{p+1} で定数項が 00 の多項式なので、結論を得る。(「仮定により」の部分は、第8章の数学的帰納法で厳密になる。)

公式3で確かめると、∑k\displaystyle \sum k=12n2\displaystyle {}= \frac{1}{2}n^2+12n\displaystyle {}+ \frac{1}{2}n,∑k2\displaystyle \sum k^2=13n3\displaystyle {}= \frac{1}{3}n^3+12n2\displaystyle {}+ \frac{1}{2}n^2+16n\displaystyle {}+ \frac{1}{6}n,∑k3\displaystyle \sum k^3=14n4\displaystyle {}= \frac{1}{4}n^4+12n3\displaystyle {}+ \frac{1}{2}n^3+14n2\displaystyle {}+ \frac{1}{4}n^2 で、確かに最高次の係数は 12,\dfrac{1}{2}, 13,\ \dfrac{1}{3}, 14\ \dfrac{1}{4} です。小話で紹介した関孝和とベルヌーイは、残りの係数まで一般の pp について求めたのです。

nn が大きいとき、∑k=1nkp\displaystyle\sum_{k=1}^{n} k^p はおよそ np+1p+1\dfrac{n^{p+1}}{p + 1} になります。この「1p+1\dfrac{1}{p + 1}」は、微分積分の分野で学ぶ積分の公式 ∫01xp dx\displaystyle \int_0^1 x^p\,dx=1p+1\displaystyle {}= \frac{1}{p + 1} と同じ数です。細い長方形の面積を Σ で足し合わせ、その極限として面積を求める——和と積分のつながりは、微分積分の分野で改めて扱います。

第1章の厳密定義で「等差数列の和は定数項 00 の 2 次式」と予告しました。定理1・定理4を使えば、一般項が kk の dd 次式の数列の和は nn の dd+1{}+ 1 次式で、定数項は 00 だと分かります。逆に、和 SnS_n から一般項 ana_n を取り出す方法は、次の第4章で学びます。

この章の学習が終わったら

学習完了テストを受ける