等比数列の和の公式S_n = a(1-rⁿ)/(1-r)は、多くの教科書で結果として紹介されますが、「どのようにして証明・導出されるのか」を理解することが数学的な本質の把握につながります。
この記事では、等比数列の和の公式の証明過程・r≠1のときとr=1のときの使い分け・シグマ表記での証明・初項から第n項までの和の導出まで、詳しく解説していきます。
等比数列の和の公式の証明の基本とは？まず押さえる結論
それではまず、証明の核心的なアイデアと、押さえるべき結論から解説していきます。
等比数列の和の公式S_n = a(1-rⁿ)/(1-r)の証明で使われる核心的なテクニックは、「S_nにrをかけてS_nから引く（乗法消去）」という手法です。
証明の核心アイデア：S_nを書き出したものにrをかけたrS_nを並べて差を取ると、ほとんどの項が消えて「a – arⁿ」だけが残ります。これをS_n(1-r)=a(1-rⁿ)と整理し、r≠1のとき両辺を(1-r)で割ることでS_n = a(1-rⁿ)/(1-r)が得られます。
この証明のエレガントさは、n項の足し算という複雑な問題を、引き算1回で解決するという巧みな工夫にあります。
r≠1のときの詳細な証明過程
続いては、r≠1のときの詳細な証明過程を確認していきます。
証明（r≠1のとき）
等比数列の和の公式の証明（r≠1のとき）：
初項a・公比r・項数nの等比数列の和をS_nとおく：
S_n = a + ar + ar² + ar³ + … + ar^{n-1} …①
①の両辺にrをかける：
rS_n = ar + ar² + ar³ + … + ar^{n-1} + arⁿ …②
①-②を計算する：
S_n – rS_n = a + (ar-ar) + (ar²-ar²) + … + (ar^{n-1}-ar^{n-1}) – arⁿ
S_n – rS_n = a – arⁿ
左辺を整理：S_n(1-r) = a(1-rⁿ)
r≠1より(1-r)≠0なので両辺を(1-r)で割る：
S_n = a(1-rⁿ)/(1-r) □（証明終わり）
2つの公式の形の等価性
S_n = a(1-rⁿ)/(1-r) と S_n = a(rⁿ-1)/(r-1) は、分子・分母の両方を-1倍した変形であり、数学的に完全に同値です。
r＞1のとき（rⁿ-1）が正の値になるため、S_n = a(rⁿ-1)/(r-1)の形が計算しやすい場合があります。
r=1のときの証明
続いては、r=1のときの公式S_n=naの証明を確認していきます。
r=1の場合の直接計算
r=1のときの証明：
r=1のとき、数列は a, a, a, …, a（n個すべてa）
S_n = a + a + a + … + a（n個の和）= na
したがって S_n = na □
注意：r=1をS_n=a(1-rⁿ)/(1-r)に代入すると0/0の不定形になるため、
必ず別途S_n=naを使うこと（場合分けが不可欠）
証明を使った発展的な問題
続いては、証明の考え方を使った発展的な問題への応用を確認していきます。
初項から第n項までの和の計算
「第m項から第n項までの和（m≦n）」を求めるには、S_n – S_{m-1}という差を計算します。
第3項から第7項までの和（a=2, r=3の場合）：
S_7 = 2(3⁷-1)/(3-1) = 2×2186/2 = 2186
S_2 = 2(3²-1)/(3-1) = 2×8/2 = 8
第3〜7項の和 = S_7 – S_2 = 2186 – 8 = 2178
等比数列の和の証明を使った応用問題
証明のテクニック（rをかけて引く）は、等比×多項式型の和（例：Σk×rᵏ）を求める問題でも同様に使えます。
このように証明の考え方を理解することで、公式の直接適用ができない複合型の問題も解ける応用力が身につきます。
まとめ
この記事では、等比数列の和の公式の証明（乗法消去法）・r≠1とr=1の場合分け・2つの公式の等価性・初項から第n項以外の和の計算方法について詳しく解説しました。
証明の核心は「S_nにrをかけてS_nから引く（①-②）という乗法消去で大部分の項を消し、S_n(1-r)=a(1-rⁿ)を導く」という巧みなテクニックにあります。
ぜひこの記事で紹介した証明過程と使い分けを参考に、等比数列の和を深く理解してください。
