MathLabs
定理証明済み

等比級数の定理

内容

実数aa、rr(ただしaaは非零)に対して、等比級数∑n=0∞arn\sum_{n=0}^{\infty} ar^nは∣r∣<1|r|<1のとき、かつそのときに限り収束し、そのとき∑n=0∞arn=a1−r\sum_{n=0}^{\infty} ar^n = \dfrac{a}{1-r}となる。

なぜ正しいのか?

等比級数はその部分和を閉じた形で書ける唯一の級数であり、それゆえ最も単純な収束判定基準であると同時に、他の多くの判定法(比、根、比較)が較正される基準ともなっている:それらはすべて一般の級数を等比級数と比較することで機能する。

証明の概略

ステップ1(部分和を閉じた形で書く)。SNS_Nにrrを掛ける:SN=∑n=0N−1arnS_N=\sum_{n=0}^{N-1}ar^n、rSN=∑n=0N−1arn+1=∑n=1NarnrS_N=\sum_{n=0}^{N-1}ar^{n+1}=\sum_{n=1}^{N}ar^n。引き算するとほとんどの項が相殺し、SN−rSN=a−arNS_N-rS_N=a-ar^Nとなるので(1−r)SN=a(1−rN)(1-r)S_N=a(1-r^N)。

ステップ2(部分和について解く)。r≠1r\neq1ならばSN=a1−rN1−rS_N=a\dfrac{1-r^N}{1-r}が得られ、これはすべてのnnについて正確で有限な式である——まだ極限はとっていない。

ステップ3(極限をとる)。∣r∣<1|r|<1ならばN→∞N\to\inftyのときrN→0r^N\to0となる(絶対値が11未満の底を持つ冪はゼロに縮小する)ので、SN→a1−01−r=a1−rS_N\to a\dfrac{1-0}{1-r}=\dfrac{a}{1-r}となり、これはまさに∑n=0∞arn=a1−r\sum_{n=0}^{\infty} ar^n = \dfrac{a}{1-r}である。

ステップ4(逆:発散)。∣r∣≥1|r|\ge1かつr≠1r\neq1ならば、rNr^Nは有限の極限に近づかない(振動するか無限に増大する)ので、SNS_Nは極限を持たず級数は発散する;r=1r=1ならばSNS_NはNaNaに等しく、aaがゼロでないので無限大に発散する。これですべての場合が尽くされ、'必要十分'であることが証明される。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。