幾何級数

1 定義

幾何級数は、一定の公比をもつ数列の各項を順に加えた和である。初項を \(a\)、公比を \(r\) とすると、項は \(a, ar, ar^2, ar^3, \dots\) の形で並び、その和を考える。等差数列の和が差の一定性に基づくのに対し、幾何級数は比の一定性を基本にしている。

1.1 数列としての幾何数列

幾何数列は、隣り合う項の比が常に一定である数列である。この一定値を公比という。たとえば \(2, 6, 18, 54\) は、公比が 3 の幾何数列である。各項は前の項に公比を掛けることで得られるため、増加にも減少にも用いられる。

1.2 幾何級数の一般項

幾何数列の第 \(n\) 項は、初項を \(a\)、公比を \(r\) とすると \(ar^{n-1}\) で表される。したがって、幾何級数は \[ a + ar + ar^2 + \cdots + ar^{n-1} \] のように書ける。一般項が明確であるため、和の計算や収束の判定がしやすい。

1.3 記法と基本表現

幾何級数は、有限和では \[ \sum_{k=0}^{n-1} ar^k \] と書かれることが多い。無限の場合には \[ \sum_{k=0}^{\infty} ar^k \] という記法が用いられる。添字の取り方には流儀があり、初項を \(k=0\) から始める形と、\(k=1\) から始める形があるが、内容は同じである。

2 有限幾何級数

有限幾何級数は、項数が有限のときの和である。収束性を気にせず、代数的に厳密に処理できるため、計算公式の基礎例として頻繁に現れる。

2.1 和の公式

初項 \(a\)、公比 \(r\)、項数 \(n\) の有限幾何級数の和 \(S_n\) は、 \[ S_n = a + ar + ar^2 + \cdots + ar^{n-1} \] であり、\(r \neq 1\) のとき \[ S_n = a\frac{1-r^n}{1-r} \] となる。これは幾何級数の最も基本的な公式である。

2.1.1 導出方法

この公式は、和を \(r\) 倍した式を元の式から引くことで得られる。 \[ S_n = a + ar + \cdots + ar^{n-1} \] \[ rS_n = ar + ar^2 + \cdots + ar^n \] 両式を差し引くと、多くの項が打ち消され、 \[ (1-r)S_n = a(1-r^n) \] が残る。そこから上の公式が導かれる。

2.1.2 代表的な変形

和の公式は、形を変えて \[ S_n = a\frac{r^n-1}{r-1} \] とも表せる。分母と分子の符号を同時に変えたもので、計算しやすい形を選べる。また、初項が \(a=1\) の場合や、公比が分数のときなどにも、そのまま代入して使える。

2.2 特殊な場合

有限幾何級数には、公式をそのまま適用するだけでは見通しが悪くなる場合がある。特に公比が 1 のときや、項数がきわめて少ない場合には、別の見方が有用である。

2.2.1 公比が一の場合

公比が \(1\) なら、すべての項が初項と等しくなる。したがって、 \[ a + a + \cdots + a = na \] となる。これは幾何級数というより、同じ数を足し合わせた単純な和であるが、公式の極限的な場合として扱われることが多い。

2.2.2 項数が少ない場合

項が 1 個なら和は初項そのものであり、2 個なら \(a+ar\) にすぎない。こうした少数項の例は、公式の確認や導出の理解に役立つ。抽象的な記号操作が、具体的な数の計算と一致することを確かめやすい。

3 無限幾何級数

無限幾何級数は、項が無限に続く和である。有限級数と異なり、値が定まるかどうかは公比に依存する。収束する場合には、非常に簡潔な閉じた形をもつ。

3.1 収束条件

無限幾何級数 \(\sum_{k=0}^{\infty} ar^k\) が収束するかどうかは、公比 \(r\) の大きさで決まる。重要なのは、項が無限に続くこと自体ではなく、部分和が限界値に近づくかどうかである。

3.1.1 公比の絶対値による判定

\[

r	<1

\]

のとき、各項 \(ar^k\) は 0 に近づき、級数は収束する。逆に、\(	r	\ge 1\) では一般に収束しない。とくに \(r=1\) では各項が一定で、\(r=-1\) では符号が交互に変わるが、いずれも部分和が落ち着かない。

3.1.2 発散する場合の扱い

発散する場合、その級数には通常の意味での和は定められない。ただし、部分和列の性質を調べたり、他の解析手法と組み合わせたりすることで、近似的な振る舞いを確認することはある。数学では、収束しないこと自体も重要な結論である。

3.2 和の公式

収束する無限幾何級数では、和が有限値として求まる。この性質は、級数論の最もよく知られた結果の一つである。

3.2.1 収束する無限級数の和

\[

r	<1

\] のとき、 \[ \sum_{k=0}^{\infty} ar^k = \frac{a}{1-r} \] となる。これは有限和の公式で \(n \to \infty\) とした結果に対応し、\(r^n \to 0\) を用いて導かれる。

3.2.2 具体例

たとえば \[ 1 + \frac12 + \frac14 + \frac18 + \cdots \] は、\(a=1\)、\(r=\frac12\) なので、和は 2 である。 また \[ 3 - 3 + 3 - 3 + \cdots \] は \(r=-1\) となり、通常の意味では収束しない。具体例は、収束条件の意味を直感的に示す。

4 性質と応用

幾何級数は、単なる和の計算にとどまらず、代数変形、関数近似、確率モデルなど幅広い場面で利用される。一定の比で変化する構造を扱えるため、数学の基礎と応用の両方に現れる。

4.1 代数的性質

幾何級数は、代数式の整理に有用である。共通因子をもつ項をまとめたり、差の形へ変換したりする場面で、簡潔な表現を与える。

4.1.1 因数分解との関係

\[ 1-r^n \] は \[ (1-r)(1+r+r^2+\cdots+r^{n-1}) \] と因数分解できる。この形は、幾何級数の和の公式と表裏一体である。多項式の分解や恒等式の確認にも役立つ。

4.1.2 多項式との関係

幾何級数は、多項式の割り算や剰余の計算にも現れる。たとえば、ある多項式を \(1-r\) で割るとき、商が幾何級数の形になることがある。また、有限和として切り取ることで、近似的な多項式表現としても使える。

4.2 微積分での利用

微積分学では、幾何級数は関数の局所的な表現や級数展開の出発点として重要である。単純な形から複雑な関数へと議論を広げる際の基本例となる。

4.2.1 べき級数との関係

\[ \frac{1}{1-x} = 1+x+x^2+x^3+\cdots \]

は、\(	x	<1\) の範囲で成り立つ代表的なべき級数表示である。これは幾何級数そのものであり、より一般のべき級数の理解を支える。関数を級数で表す考え方は、解析学の多くの場面に通じる。

4.2.2 関数の近似

幾何級数の有限和は、収束する無限級数の部分的な打ち切りとして、関数の近似に使える。項数を増やすほど、条件のよい範囲では元の関数に近づく。計算機による数値計算でも、こうした近似は基本的な手法である。

4.3 他分野への応用

幾何級数は数学内部に限らず、確率、統計、金融などでも現れる。一定割合で変化する現象を表すのに適しているため、モデル化の道具として扱いやすい。

4.3.1 確率と統計への応用

確率過程では、各時点で一定の比率で減少する事象を記述する際に幾何級数が用いられることがある。期待値の計算や、反復試行に関する式変形にも登場する。統計では、打ち切り推定や誤差の累積を考える補助的な形として使われる場合がある。

4.3.2 金融数学への応用

金融では、複利計算が幾何級数と密接に関係する。元本に一定利率が繰り返し適用されると、将来価値は等比的に増える。年金や分割払いの現在価値を求める際にも、無限または有限の幾何級数が現れ、支払列の評価に利用される。

</INTERNAL_LINK_CANDIDATES> 数列（項が一定の規則で並ぶ対象） 公比（隣り合う項の比として一定に保たれる値） 初項（数列の最初の項） 有限和（限られた個数の項を足し合わせた結果） 収束（級数や数列が一定値に近づくこと） 発散（極限が定まらないこと） 部分和（級数の最初の数項を足した和） べき級数（変数の各べきに係数を掛けて並べた級数） 多項式（複数の項の和からなる代数式） 因数分解（式を積の形に直す操作） 極限（値がある一定の形に近づく概念） 微積分学（極限を基礎にする数学分野） 関数近似（複雑な関数を扱いやすい形で表すこと） 確率過程（時間とともに変化する確率的な現象） 期待値（確率変数の平均的な値） 複利（利息が元本に組み入れられる計算） 年金（一定条件で繰り返し支払われる金額）