無限級数３｜無限等比級数の収束条件

【無限級数2|無限級数の収束条件と収束しない3つの例】の続きです．

「無限級数」は無限個の数の和というイメージであり，の形で書かれるものでした．

ですが，本来，無限級数は無限個の数の和ではなく，部分和の極限として定義されます．このことは【無限級数1|「無限級数」と「数列の極限」】で，詳しく書きました．

しかし，部分和の極限として話を進めるよりも，無限個の数の和として無限級数の話をした方が分かりやすいときもあるので，これらは適宜使い分けることにします．

この記事では無限級数の1つである「無限等比級数」について書きます．

無限等比級数は無限級数の中でも「収束，発散が簡単に判別でき，しかも収束する場合は簡単に計算ができる」という非常に分かりやすい無限級数だということができます．

無限等比級数とは

「無限等比級数」は無限級数の1つで，の形で書かれますが，この数列が等比数列の場合にこの無限級数を「無限等比級数」と呼びます．

等比数列については【数列の基本1|等差数列と等比数列の一般項】で詳しく書いています．

「無限等比級数」は等比数列についての無限級数ですから，という形をした無限級数と書くことができます．

ですから，たとえば

などが「無限等比級数」の例です．

無限等比級数の収束条件

「なぜ無限等比級数を学ぶのか」ということですが，「無限等比級数」でない無限級数はそもそも収束や発散の判定が難しいことが多いのです．

，などの級数でさえ，収束や発散の判定は面倒です．

前者の極限がであることを証明することは高校範囲では難しいですし，後者が発散することは(他にも方法はありますが，)積分を用いるのがよく知られた方法です．

一方，「無限等比級数」は無限級数の中でも非常に分かりやすい無限級数です．収束や発散の判定が簡単なだけでなく，収束する場合は値まで分かります．

収束条件

さて，それでは無限等比級数の収束条件を説明します．

まず，のときはによらず全ての項がなので，無限等比級数もなのは明らかです．以下では，の場合を考えます．

初項，公比の等比数列の第項までの部分和がどうなるのかを思い出しておきます．がとそれ以外で場合分けが必要です．

の場合，全ての項がなのでです．

の場合，です．

【参考記事：数列の基本2|等差数列と等比数列の和の公式】

そもそも，数列の無限級数は部分和の極限で定義されていました．

したがって，初項，公比の無限等比級数はを考えれば，良いことがわかります．さらに，が含まれているのはの部分だけなので，がどうなるかを考えれば良いです．

のときであり，のときが存在しないことを考えると，結論は次のようになります．

[無限等比級数の収束条件]　初項，公比の無限等比級数は，のときであり，のときは次のようになる．

[1]　のとき

[2]　のとき

は存在しない．

また，[2]に関しては次のようにさらに細かく分けることができます．

上の[2]に関して，

(i)　のとき

は振動する．

(ii)　のとき

とさらに場合分けできる．

ポイント

初項がの無限等比級数はによらず全ての項がであることから，であることは良いでしょう．

のときは，上でも書いたように等比数列の和の公式が見えれば，

と計算されることが分かります．

なお，前回の記事の内容を踏まえれば，もっと簡単にのときは収束しないことが分かります．

実際，無限級数が収束するためには，でなければなりませんでした．しかし，のときはなので，無限等比級数が収束しないことが分かります．

ただし，上でも書きましたが，もっと詳しくのときは次のように考えられます．

のときは無限等比級数の項が正負を繰り返し，絶対値が大きくなっていくものを足し合わせているので振動します．また，のときは直感的には正負が等しく，絶対値が大きくなっていくものを足し合わせているので発散します．

ただし，言葉の問題ですが，「振動」も同じく「発散」と言ってしまうこともあるので注意してください．

ちなみに，私が高校生の時に「『振動』を『振動発散』ともいう」と年配の先生に習ったのですが，「振動発散」という言葉をそれ以来見たことがありません．もし，何かご存知であれば，是非ご教授願います．

【無限級数4|1=0.9999……は正しい？】に続きます．