数列と級数の基礎

数列の種類とパラメータを切り替えて、項がどのように積み上がっていくかを追跡します。

インタラクティブシミュレーションを読み込んでいます...

レッスン

理論 — 数列と級数の基礎

数列とは数の並びのことであり、級数とはその並びを足し合わせたもののことです。このページでは両方を同時に表示しています — a_n は並びの第n項、S_n は初項から第n項までの累積和を表しており、この2つを混同することがこの分野で最もよくある間違いです。

各記号の意味

d: 等差数列の公差 — 各ステップで加算される値です。ここでは 2 であり、3, 5, 7, 9, … となります。
r: 等比数列の公比 — 各ステップで掛け合わされる値です。モードを切り替えると r = 1.5 となり、3, 4.5, 6.75, … となります。
Sₙ: 初項から第n項までの和。等差数列の初期設定では、a₈ がわずか 17 であるのに対し、S₈ = 80 となります。

公式の導き方

等差数列の和を、正順と逆順で上下に並べて書き出します：a_n + (a_n−d) + ⋯ + a₁ の上に a₁ + (a₁+d) + ⋯ + a_n。
2つの行を列ごとに足し合わせます。一方の行で値が1ステップ増えるごとに、もう一方の行では1ステップ減るため、すべての列の合計は同じ a₁ + a_n になります — そして列は全部で n 列あります。
したがって、和の2倍は n(a₁ + a_n) となり、S_n = (n/2)(a₁ + a_n) が導かれます。初期設定の値では (8/2)(3 + 17) = 80 となります — これは上の表に示されている公式であり、幼少期のガウスが1から100までの数を足し合わせる際に使ったと言われる手法です。
ここでモード選択を等比に切り替えます。すると各項は 3, 4.5, 6.75, … となり、表の公式が両方とも変わります。等比数列の各項は定数の加算ではなく前の項の定数倍になっているため、項どうしがペアにならず、別の工夫が必要になります。まず和を書き出し、その下にその和の r 倍を書きます。上段に S_n = a₁ + a₁r + ⋯ + a₁rⁿ⁻¹、下段に r·S_n = a₁r + a₁r² + ⋯ + a₁rⁿ と置きます。
1行目の式から2行目の式を引きます。中間の項はすべて共通しているため相殺され、両端の項だけが残って S_n − r·S_n = a₁ − a₁rⁿ となります。両辺を因数分解して (1 − r) で割ると、S_n = a₁(1 − rⁿ)/(1 − r) が得られます — これは等比モードの際に表に表示される式であり、a₁ = 3、r = 1.5、n = 8 のとき 147.773438 となります。

前提: 差または比が永久に一定であることを前提としています。最初の数項だけが等差数列のように見えている現実の数列は、すぐにこれらの公式から外れてしまいます。
成り立たない場合: 等差数列の公式にはこのような破綻はありません。S_n = (n/2)(a₁ + a_n) で割る数は 2 だけであり、2 がゼロになることはありません。一方、等比数列の公式は (1 − r) で割るため、ここがつまずきやすいポイントになります。等比モードに切り替えて r = 1 に設定すると、数列は 3, 3, 3, … となり、表示される公式は S_n = n·a₁ に変わって 8 × 3 = 24 となります。これは単なる応急処置ではなく、正しい極限です — 何も増加しない場合、和は単にその項を繰り返したものになります。

無限に足し続けても整数にたどり着くことがある 🖖

正の項を無限個足して有限の合計になるというのは矛盾のように聞こえますが、|r| < 1 の等比級数はまさにそれを行い、和は a/(1 − r) です。もっとも身近な例は目の前に隠れています。0.999… は 0.9 + 0.09 + 0.009 + … という級数なので、a = 0.9、r = 0.1 であり、0.9/(1 − 0.1) = 1 となります。1 に近づくのでも、ほぼ 1 なのでもありません。和は 1 であり、0.999… は 1 という数の別の書き方なのです。残りの距離の半分を永遠に進み続けるゼノンの走者も、a = r = 1/2 の同じ級数であり、合計はちょうど 1 になります。彼はきちんと走り切るのです。

足し算と掛け算の違い 🖖

どちらの数列も初項から始まりますが、増え方の規則が異なります。等差数列は各ステップで同じ量を足し（毎月 $50 を貯金するように）、等比数列は同じ倍率を掛けます（年 5% の利息がつく残高のように）。第n項の公式はすべてを並べなくても任意の値を教えてくれ、部分和は最初の n 項を合計します。同じ初項でも、どちらの規則を選ぶかで進み方が大きく変わる様子を確かめてみてください。

両方を満たす唯一の数列 🖖

等差数列であると同時に等比数列でもある数列を作ろうとしてみてください。うまくいくのはただ一種類、7, 7, 7, … のような定数列だけで、そこでは公差が d = 0、公比が r = 1 になります。少しでも本当の変化を加えると、一定の足し算と一定の掛け算は必ずずれていくため、どちらかの規則が破れます。一見無関係な二つの成長法則が、動かないただ一つの値へと一つに重なる、珍しい例です。

練習

自分で確かめる

まず答えを予想し、それから上のコントロールで確かめてください。予想を決めてから答えを開くこと。それが練習になる条件です。

等比的減衰を押し、公比を0.99に、続いて1.01にしてください。8つの項はほとんど変わりません。無限和が有限になるのはどちらでしょうか — そして画面の項からそれが分かるでしょうか。

設定：

答えを表示

収束するのは0.99で、1.01は収束しません。しかも項からも8項の和からもそれは読み取れません。第8項は18.641307と21.442707、和は154.510611と165.713411です。変わるのは無限和の行だけで、S∞ = 2000から発散に切り替わります。収束を決めるのは公比だけであり、数列の有限の一部分からそれを見抜くことはできません。
r = 0.99のまま、無限和が2000、8項の和が154.510611という状態です。これは全体のどれくらいまで来たところでしょうか。

設定：

答えを表示

約7.7% — 13分の1にも届きません。r = 0.7と比べてみてください。同じ8項が無限和66.666667のうち62.823466、つまり94%に達します。どちらの級数も収束します。片方は8項でほぼ終わっており、もう片方はほとんど始まってもいません。収束が約束するのは行き先だけで、到着の速さについては何も語らないのです。
等比的増加を押し、nを30まで上げてください。第30項は単独で255668.078977です。30項すべての和を予想してみましょう。

設定：

答えを表示

767000.236932、最後の1項のほぼちょうど3倍です。つまり、それまでの29項を全部合わせても、最新の1項の2倍にしかなりません。和を後ろから読むと理由が見えます。r = 1.5では各項が次の項の3分の2なので、全体はa₃₀·(1 + 2/3 + 4/9 + ⋯) = 3a₃₀、それ自体がひとつの等比級数なのです。

全プロセスの詳細解説

8つの数を足さずに和が80になる8項 5 ステップ
8つの項 3, 5, 7, 9, 11, 13, 15, 17 の和は 80 になる。8つの数を足し合わせることなくこの結果を導き、さらに数列の長さが2倍になったときに和がどうなるかを求めよ。
1. 一般項の公式が数えているのは項数ではなくステップ数である。a₁ から a₈ へ進むには、8回ではなく2のステップが7回必要であり、この1のズレ（オフバイワン）こそが、この単元全体で唯一ややこしい部分である。
  
  $a_{n} = a_{1} + (n - 1) d = 3 + 2 (n - 1) = 2 n + 1 ⟹ a_{8} = 17$
2. 数列の外側から内側に向かってペアを作る。3 と 17 で 20 になり、5 と 15、7 と 13、9 と 11 も同様に 20 になる。そうならざるを得ない。右へ1つ移動すると 2 が加わり、左へ1つ移動すると 2 が引かれるため、一方のペアが増やした分をもう一方が正確に減らすからである。
  
  $3 + 17 = 20, 5 + 15 = 20, 7 + 13 = 20, 9 + 11 = 20$
3. 8つの項は 4組のペアを作り、どのペアの値も 20 になる。8つの数を足し合わせた者は誰もいない。
  
  $S_{8} = 4 \times 20 = 80$
4. その議論の中で 3 や 2 を使った部分は一切ない。n 項からなる任意の等差数列は、それぞれが a₁ + a_n の値を持つ n/2 組のペアに分割され、この数列の場合、代数式は整理されて n(n + 2) に帰着する。
  
  $S_{n} = \frac{n}{2} (a_{1} + a_{n}) = \frac{n}{2} (2 n + 4) = n (n + 2)$
5. 重要となる場面でこの閉形式を検証してみる。数列の長さを2倍にして 16 項にすると 16 × 18 = 288 となり、これは 8 項の和の 2倍ではなく 3.6倍になる。
  
  $S_{16} = 16 \times 18 = 288 = 3.6 \times S_{8}$
解答

パネルには a₈ = 17 および S₈ = 80 と表示され、20 のペア 4組がその理由である。長さを2倍にすると和は 4(n + 1)/(n + 2) 倍になり、ここでは 3.6 で、数列が長くなるにつれて 4 に近づいていく。長さの伸びた数列はより大きい項の数列でもあるため、等差数列の和は項数に関して2次である。この閉形式を画面上のどの数値よりも先に進めても精度は保たれる。n(n + 2) は n = 99 で正確に 9999 に達し、n = 100 で初めて 10000 を超える。このページに入力できるのは 30 項までであり、そのときの和はわずか 960 に過ぎないため、この数列が見せる挙動のほとんどは入力が受け付ける最後の値の先で起こる。

$\frac{S _{2 n}}{S _{n}} = \frac{4 ( n + 1 )}{n + 2} ⟶ 4, 99 \times 101 = 9999$
86.588344 を返す数列で両端のペアリングが破綻する箇所 6 ステップ
両端をペアにする方法は等差数列で有効だった。これを 20, 14, 9.8, 6.86, 4.802, 3.3614, 2.35298, 1.647086 に試すと 86.588344 が得られるが、これはこの数列を無限に続けさせたとしても到達できる値を超えている。真の和を求め、ペア化のどこで破綻したのかを突き止めよ。
1. ペアが成り立つと決めつけずに確認してみる。一番外側のペアは 21.647086 であり、その一つ内側のペアは 16.35298 である。内側へ進むと、一方は 0.7 倍され、もう一方は 0.7 で割られるが、得られた因数は失われた因数とは相殺されない。その相殺が機能するのは足し算と引き算の場合だけである。
  
  $a_{1} + a_{8} = 20 + 1.647086 = 21.647086, a_{2} + a_{7} = 14 + 2.35298 = 16.35298$
2. 実際に有効なのはずらし（シフト）である。和を書き出し、その下に和の 0.7 倍を右に1つずらして並べて書く。2行目のすべての項は、すでに1行目に存在している。
  
  $S_{8} = 20 + 14 + \dots + 20 \times 0. 7^{7}, 0.7 S_{8} = 14 + 9.8 + \dots + 20 \times 0. 7^{8}$
3. 行同士を引き算すると、中央のものはすべて相殺されて消える。生き残るのは食い違った両端の2つだけである。すなわち、上行の先頭の 20 と、下行の末尾の 20 × 0.7⁸ である。1 − r で割れば、任意の初項と公比に対する閉形式が得られる。
  
  $S_{8} - 0.7 S_{8} = 20 - 20 \times 0. 7^{8} ⟹ S_{n} = a_{1} \frac{1 - r ^{n}}{1 - r}$
4. 代入する。0.7⁸ = 0.05764801 であるから、分子は 20 × 0.94235199 となり、除数は 1 − 0.7 = 0.3 となる。
  
  $S_{8} = 20 \times \frac{1 - 0.05764801}{0.3} = \frac{18.8470398}{0.3} = 62.823466$
5. ここで数列を先へと続けさせる。項が1つ増えるごとに rⁿ に 0.7 が掛けられるため、それは 0 に向かい、分子の項は 1 に落ち着く。この和には上限が存在するが、これは等差級数には決して持ち得ないものである。
  
  $r^{n} \to 0 ⟹ S_{\infty} = \frac{a _{1}}{1 - r} = \frac{20}{0.3} = 66.666667$
6. 8項の和とその上限との差は 3.843201 であり、これは正確に 66.666667 × 0.7⁸ である。したがって、n 項の後にまだ不足している全体の割合は rⁿ である。項が小さくなる速さを測るのと同じ数が、残されている量をも測っているのである。
  
  $S_{\infty} - S_{8} = 3.843201 = 66.666667 \times 0. 7^{8}$
解答

パネルには a₈ = 1.647086、S₈ = 62.823466、および上限として S_∞ = 66.666667 と表示される。不足割合の結果こそ保持すべきものであり、なぜなら「収束する」という概念を単なる約束からスケジュールへと変えるからである。0.7ⁿ ≤ 0.01 には n ≥ 12.9114 が必要であるため、13 項あればこの級数が到達し得るすべての値の 1% 以内に入る。公比を変えれば上限が有限にとどまる一方でスケジュールは激しく変動する。r = 0.9 では同じ 1% のために 44 項が必要となり、r = 0.99 では 459 項が必要となる。そして、ペア化によって導かれた 86.588344 は、これ以前の段階で反証可能であった。正の項の部分和がそれらの総和を超えることはあり得ないため、それと異なる結論を出す手法は一目で誤りだとわかる。

$0. 7^{n} \leq 0.01 ⟺ n \geq \frac{ln 0.01}{ln 0.7} = 12.9114 ⟹ n = 13$

学習の道すじ

時間の経過とお金の価値

この次に単利と複利等比級数の和の閉形式（公式）。これ以降に登場する公式はすべて形を変えた等比級数であり、この代数計算こそが後半のすべてを支える不可欠な基礎となります。

参考文献 (1)

On the Gauss schoolroom story, which the derivation deliberately hedges: B. Hayes, "Gauss's Day of Reckoning." American Scientist 94(3), 200, 2006.

42Math チーム · 更新 2026-05-21

公表された資料と照合しています。訂正のご指摘を歓迎します。編集方針 · 訂正

数学のレッスン一覧 →

例題

等差的増加 - 公差 d=2 の等差数列。
等比的増加 - 公比 r>1 の増加する等比数列。
等比的減衰 - 公比が0から1の間にある減少する等比数列。