階差数列の公式を目にした際、誰もが抱く疑問が「なぜシグマの上端が $n$ ではなく $n-1$ なのか」「なぜ冒頭に $n \geqq 2$ とわざわざ断り書きを入れなければならないのか」という2点です。この疑問を放置したまま計算練習を繰り返しても、応用問題への対応力は育ちません。この2つの疑問には、極めて明確な数学的必然性が存在します。
まず、もとの数列を $\{a_n\}$ とし、その隣り合う項の差によって作られる階差数列を $\{b_n\}$ と定義します。定義式は以下の通りです。
$b_n = a_{n+1} - a_n \quad (n = 1, 2, 3, \dots)$
このとき、一般項 $a_n$ を求める階差数列の公式は次のように表されます。
$n \geqq 2$ のとき、 $a_n = a_1 + \sum_{k=1}^{n-1} b_k$
「n-1」になる理由：植木算の原理（間の数）
シグマの上端が $n-1$ になる理由は、小学生の算数で習う「植木算」と同じ論理です。初項 $a_1$ から第 $n$ 項 $a_n$ まで進むために、いくつのステップ（差）を飛び越える必要があるかを考えます。
例えば第2項 $a_2$ に行くには、初項 $a_1$ に差である $b_1$ を1回足します（$a_2 = a_1 + b_1$）。第3項 $a_3$ に行くには、$b_1$ と $b_2$ の2つを足します（$a_3 = a_1 + b_1 + b_2$）。つまり、第 $n$ 項に到達するために足し合わせるべき差の個数は、常に項数 $n$ より1つ少ない $n-1$ 個になります。だからこそ、シグマの計算範囲は $k=1$ から $n-1$ までになるのです。
「n≧2」が必要な理由：シグマの定義崩壊を防ぐ論理
では、なぜわざわざ「$n \geqq 2$ のとき」という条件を宣言しなければならないのか。仮にこの式に $n=1$ を機械的に代入してみると、その理由が浮き彫りになります。
$n=1$ の場合、シグマの部分は $\sum_{k=1}^{0} b_k$ となります。高校数学Bにおけるシグマ記号の定義は「下端から上端まで番号を1ずつ増やしながら足し合わせる」という操作です。下端が $1$ なのに対して上端が $0$ では、始まりの数よりも終わりの数が小さくなってしまい、数学的な計算の定義として意味をなしません。そのため、シグマが正常に機能する最小の自然数として $n \geqq 2$ という前提条件を付与することが不可欠なのです。
階差数列の公式の導出と証明：テレスコーピング（望遠鏡和）の美しさ
この公式の成立理由は、差の定義式を縦に書き並べて足し合わせることで鮮明に理解できます。
$a_2 - a_1 = b_1$
$a_3 - a_2 = b_2$
$a_4 - a_3 = b_3$
$\quad \vdots$
$a_n - a_{n-1} = b_{n-1}$
これら $n-1$ 個の等式の左辺同士、右辺同士をすべて足し合わせます。すると左辺では $a_2$ と $-a_2$、$a_3$ と $-a_3$ というように、隣り合う内側の項がドミノ倒しのように相殺されていきます。最終的に左辺に残るのは $a_n - a_1$ だけであり、右辺には $b_1$ から $b_{n-1}$ までの総和、すなわち $\sum_{k=1}^{n-1} b_k$ が残ります。移項すれば、$a_n = a_1 + \sum_{k=1}^{n-1} b_k$ が一瞬で導出されます。
