等差数列の和の公式の導出:逆順に並べて足す理由を図で確かめる

数学2B数列公式の成立 更新
目次

等差数列の和の公式

初項 aa、公差 dd、末項 ll、項数 nn の等差数列の和 SnS_n は

Sn=n(a+l)2=n{2a+(n−1)d}2 S_n=\frac{n(a+l)}{2}=\frac{n\{2a+(n-1)d\}}{2}

この記事の要点

  • 同じ数列を逆順に並べて縦に足すと、どの列も「初項+末項」になる
  • それが nn 列あるので、和の2倍が n(a+l)n(a+l) になる
  • 図では、2つの階段を組み合わせると長方形になり、その半分が和

等差数列の和の公式は、数学Bの「数列」で最初に学ぶ公式です。この記事では、同じ数列を逆順に並べて足すという方法で導き、図で確かめます。等比数列の和は、等比数列の和の公式の導出で紹介しています。

等差数列の和の公式は何を言っているか

公式 Sn=n(a+l)2S_n=\dfrac{n(a+l)}{2} は、等差数列の和は「初項と末項の平均×項数」で求まる と言っています。等差数列は一定の割合で増えるので、項の平均は、真ん中の値である a+l2\dfrac{a+l}{2} になります。

等差数列の和の公式の導出

1. 和を2通りに書く

和を、前から並べた式と、後ろから並べた式の2通りで書きます。

Sn=a+(a+d)+(a+2d)+⋯+(l−d)+lSn=l+(l−d)+(l−2d)+⋯+(a+d)+a \begin{aligned} S_n&=a+(a+d)+(a+2d)+\cdots+(l-d)+l\\[4pt] S_n&=l+(l-d)+(l-2d)+\cdots+(a+d)+a \end{aligned}

2. 縦に足す

上下の同じ位置の項を足すと、dd が打ち消し合って、どれも a+la+l になります。

2Sn=(a+l)+(a+l)+⋯+(a+l)⏟n 個=n(a+l) 2S_n=\underbrace{(a+l)+(a+l)+\cdots+(a+l)}_{n\ \text{個}}=n(a+l)

3. 2で割る

Sn=n(a+l)2 S_n=\frac{n(a+l)}{2}

末項は l=a+(n−1)dl=a+(n-1)d なので、これを代入すると Sn=n{2a+(n−1)d}2S_n=\dfrac{n\{2a+(n-1)d\}}{2} も得られます。

図で見る

初項 22、公差 33 の5項(2, 5, 8, 11, 142,\ 5,\ 8,\ 11,\ 14)を、高さの棒で表します。青の階段の上に、逆順に並べた橙の階段を重ねると、次の図のようになります。

2つの階段を組み合わせると、横 5・縦 16 の長方形になる

長方形の面積は 5×16=805\times 16=80 で、和はその半分の 4040 です。実際に 2+5+8+11+14=402+5+8+11+14=40 で一致します。逆順に並べて足すことは、階段を2つ組み合わせて長方形を作ることに当たります 。

使い方の例題

例題

1+2+3+⋯+1001+2+3+\cdots+100 を求めよ。

初項 11、末項 100100、項数 100100 の等差数列の和なので

S=100×(1+100)2=101002=5050 S=\frac{100\times(1+100)}{2}=\frac{10100}{2}=5050

検算:1+100, 2+99, …, 50+511+100,\ 2+99,\ \dots,\ 50+51 と組を作ると、和が 101101 の組が 5050 組できるので、101×50=5050101\times 50=5050 で一致します。

等差数列の和の公式の発展的な使い方

公差が負の等差数列では、項がいつか負になります。そのとき、和はどこで最大になるかを考えます。

発展例題

初項 5050、公差 −3-3 の等差数列 {an}\{a_n\} について、初項から第 nn 項までの和 SnS_n の最大値と、そのときの nn を求めよ。

1. 一般項を求める

an=50+(n−1)×(−3)=53−3n a_n=50+(n-1)\times(-3)=53-3n

2. 項が正である範囲を調べる

53−3n>053-3n>0 より n<533=17.6⋯n<\dfrac{53}{3}=17.6\cdots です。よって a17=2>0a_{17}=2>0、a18=−1<0a_{18}=-1<0 で、第17項までは正、第18項からは負になります。

正の項を足している間は和が増え、負の項を足し始めると減るので、和は n=17n=17 で最大です。

3. 最大値を求める

S17=17×(a1+a17)2=17×(50+2)2=442 S_{17}=\frac{17\times(a_1+a_{17})}{2}=\frac{17\times(50+2)}{2}=442
S_n は n = 17 で最大の 442 になる

この問題では、末項 a17a_{17} を求めて公式 n(a+l)2\dfrac{n(a+l)}{2} に入れ、和が増えなくなる境目で最大値を求めました 。

検算(別の方法):SnS_n を nn の2次式で表すと

Sn=n{2×50+(n−1)×(−3)}2=n(103−3n)2=−32(n−1036)2+1060924 \begin{aligned} S_n&=\frac{n\{2\times 50+(n-1)\times(-3)\}}{2}=\frac{n(103-3n)}{2}\\[4pt] &=-\frac{3}{2}\left(n-\frac{103}{6}\right)^2+\frac{10609}{24} \end{aligned}

軸は n=1036=17.1⋯n=\dfrac{103}{6}=17.1\cdots で、nn は自然数なので、軸に近い n=17n=17 と n=18n=18 を比べます。S17=442S_{17}=442、S18=18×492=441S_{18}=\dfrac{18\times 49}{2}=441 なので、最大値は 442442(n=17n=17)で一致します(2次関数の最大・最小)。

注意

SnS_n の2次式の軸がちょうど整数にならないとき、nn は自然数なので、軸に近い2つの整数を両方調べます。頂点の値 1060924\dfrac{10609}{24} をそのまま最大値にしてはいけません。

この記事のまとめ

  • 同じ数列を逆順に並べて足すと、どの列も a+la+l になり、Sn=n(a+l)2S_n=\dfrac{n(a+l)}{2}。
  • 図では、2つの階段で長方形を作り、その半分が和になる。
  • 公差が負のときは、項の符号が変わる境目で和が最大になる。2次関数として求めても同じ結果になる。