無限級数3
無限等比級数の収束・発散は初項と公比に注目!

極限
極限

前回の記事で説明したように,数列$\{a_n\}$の項を初項から順に

   \begin{align*} a_1+a_2+a_3+\dots+a_n+\dots \end{align*}

と無限に足していくとき,この和を$\sum\limits_{k=1}^{\infty}a_k$と表し,数列$\{a_n\}$の無限級数というのでした.

きちんとした定義は

   \begin{align*} \sum_{k=1}^{\infty}a_k =\lim_{n\to\infty}(a_1+a_2+\dots+a_n) \end{align*}

でしたね.すなわち,部分和$\sum\limits_{k=1}^{n}a_k$で極限$n\to\infty$をとったもの無限級数というのでした.

前回の記事では,発散する無限級数を主に取り扱い,無限級数は簡単に発散してしまうことを説明しました.

さて,一般に無限級数$\sum\limits_{k=1}^{\infty}a_k$の収束・発散の判定は簡単でない場合も多いのですが,数列$\{a_k\}$が等比数列の場合には簡単に収束・発散が判定できます.

このように,等比数列の無限級数は性質が分かりやすく重要なので,無限等比級数と名前が付いています.

この記事では,

  • 無限等比級数とは何か?
  • 無限等比級数の収束・発散の判定方法
  • 無限等比級数の具体例

を順に説明します.

無限等比級数とは

無限等比級数を導入しましょう.

無限等比級数の例

冒頭でも簡単に書きましたが,[無限等比級数]は以下のように定義されます.

数列$\{a_n\}$が等比数列のとき,$\{a_n\}$の無限級数$\sum\limits_{n=1}^{\infty}a_n$を無限等比級数という.

初項$a$,公比$r$の等比数列$\{a_n\}$の一般項は$a_n=ar^{n-1}$と表せますから,無限等比級数は

   \begin{align*}\sum_{n=1}^{\infty}ar^{n-1}\end{align*}

と表せますね.

$\sum\limits_{n=1}^{\infty}ar^n$も無限等比級数ですね(この場合は$ar$が初項).

たとえば

  • $1+2+4+8+\dots+2^{n-1}+\dots$
  • $\dfrac{1}{2}+\dfrac{1}{4}+\dfrac{1}{8}+\dots+\dfrac{1}{2^n}+\dots$
  • $2-\dfrac{2}{3}+\dfrac{2}{9}-\dfrac{2}{27}+\dots+2\bra{-\dfrac{1}{3}}^{n-1}+\dots$

はいずれも無限等比級数で,それぞれ

   \begin{align*} \sum_{n=1}^{\infty}2^{n-1},\quad \sum_{n=1}^{\infty}\dfrac{1}{2^n},\quad \sum_{n=1}^{\infty}2\bra{-\dfrac{1}{3}}^{n-1} \end{align*}

と表すこともできますね.

なお,等比数列について詳しくは,以下の記事を参照してください.

数列1
最初の一歩は等差数列と等比数列!
中学入試などでは,例えば 「,3,7,13,21,31,\square$の$\square$に入る数字を求めよ」 といった問題が出題されることがあります. 実はこれはまさに数列の問題で,これを詳しく扱っていくのが高校数...
数列3
等比数列の和の公式を具体例から理解する
公比rの等比数列の和の公式は,r=1の場合とr≠1の場合の2種類あります.この記事では等比数列の和の公式を具体例から説明し,どのように導出するかを説明します.

なぜ無限等比級数が重要なのか

そもそも数列とは数の並べたものことなので,分かりやすい規則があろうがなかろうが数が並んでさえいればそれは数列です.

そう考えると,素性のよく分からない数列$\{a_n\}$の無限級数$\sum\limits_{n=1}^{\infty}a_n$を考えるのは難しいでしょうし,逆によく分かっている数列$\{a_n\}$の無限級数$\sum\limits_{n=1}^{\infty}a_n$は考えやすいものになりそうですね.

一般に無限級数$\sum\limits_{n=1}^{\infty}a_n$の収束や発散の判定は難しいことが多く,

   \begin{align*} \sum_{n=1}^{\infty} \dfrac{1}{n^2},\quad \sum_{n=1}^{\infty} \dfrac{1}{n} \end{align*}

といった単純そうに見える無限級数でさえ,収束や発散の判定は面倒です.

$\sum\limits_{n=1}^{\infty} \dfrac{1}{n^2}$は収束しますが,$\sum\limits_{n=1}^{\infty} \dfrac{1}{n}$は$\infty$に発散します.

前者の$\sum\limits_{n=1}^{\infty} \dfrac{1}{n^2}$の極限値を求める問題はバーゼル問題と呼ばれています.現代では様々な方法が知られていますが,レオンハルト・オイラーが$\dfrac{\pi^2}{6}$となることを証明するまでは未解決問題でした.

無限級数の中でも,無限等比級数は非常に分かりやすいもので,

  • 収束するための必要十分条件
  • 収束する場合にはその極限値

がよく分かっています.これが無限等比級数が重要な理由です.

無限等比級数の収束・発散条件

それでは,無限等比級数の収束・発散条件(収束するための必要十分条件)を解説します.

[無限等比級数の収束・発散条件] 初項$a$,公比$r$の等比数列$\{a_n\}$に対して,無限等比級数$\sum\limits_{k=1}^{\infty}a_n$が収束するための必要十分条件は

  • $a=0$
  • $-1<r<1$

のいずれかを満たすことである.また,無限等比級数$\sum\limits_{k=1}^{\infty}a_n$が収束するとき

   \begin{align*} \sum_{k=1}^{\infty}a_n =\frac{a}{1-r} \end{align*}

となる.

前回の記事で説明したように,無限級数$\sum\limits_{n=1}^{\infty}a_n$が収束するには,少なくとも数列$\{a_n\}$は$0$に収束していなければならなかったことを思い出しましょう.

無限級数2
無限級数の発散条件と収束しない3つの例
収束・発散の判定が難しい無限級数はたくさんありますが,一発で発散することが判定できる無限級数もあります.この記事では無限級数の発散条件を説明し,発散する無限級数の具体例を紹介します.

初項が$0$でない等比数列$\{a_n\}$の公比が$r<-1$または$1<r$であれば等比数列$\{a_n\}$は発散するので,無限等比級数$\sum\limits_{n=1}^{\infty}a_n$は問答無用で発散することが分かります.

また,$r=1$であれば等比数列$\{a_n\}$は$a$に収束しますが,$a\neq0$ならこの場合もやはり無限等比級数$\sum\limits_{n=1}^{\infty}a_n$は発散しますね.

一方,$a=0$または$-1<r<1$であれば,等比数列の和の公式から直接極限を求めることができるので収束することが分かります.

この考え方さえ分かっていれば瞬時に導出できるので,覚えるのではなく理解して使えるようにしてください.

きちんと証明の形にすると次のようになります.

数列$\{a_n\}$の一般項は$a_n=ar^{n-1}$と表せる.

[1] $a=0$のときは,任意の正の整数$n$に対して$a_n=0$だから

   \begin{align*} \sum_{k=1}^{\infty}a_n =0 \end{align*}

と収束する.

[2] $-1<r<1$のときは,等比数列の和の公式より

   \begin{align*} \sum_{k=1}^{n}a_k =\frac{a(1-r^n)}{1-r} \end{align*}

である.$-1<r<1$より$\lim\limits_{n\to\infty}r^n=0$だから,

   \begin{align*} \sum_{n=1}^{\infty}a_n =\lim_{n\to\infty}\sum\limits_{k=1}^{n}a_k =\frac{a}{1-r} \end{align*}

と収束する.

[3] $a\neq0$かつ「$r<-1$または$1<r$」のときは,数列$\{a_n\}$が発散するから$\sum\limits_{n=1}^{\infty}a_n$も発散する.

[4] $a\neq0$かつ$r=1$のときは,数列$\{a_n\}$は$a$に収束するので$\sum\limits_{n=1}^{\infty}a_n$も発散する.

[1]-[4]より,収束するための必要十分条件は$a=0$または$-1<r<1$であり,このとき

   \begin{align*} \sum_{k=1}^{n}a_k =\frac{a(1-r^n)}{1-r} \end{align*}

と収束する.

無限等比級数の具体例

最後に先ほど挙げた次の3つの無限等比級数を具体例として収束・発散を考えましょう.

次の無限級数の極限の収束・発散を調べよ.また,収束する場合はその極限値も求めよ.

   \begin{align*} \sum_{n=1}^{\infty}2^{n-1},\quad \sum_{n=1}^{\infty}\dfrac{1}{2^n},\quad \sum_{n=1}^{\infty}2\bra{-\dfrac{1}{3}}^{n-1} \end{align*}

(1) 無限級数$\sum\limits_{n=1}^{\infty}2^{n-1}$は初項$1$,公比$2$の等比数列の無限等比級数である.

初項$1$が$0$でなく,公比$2$が$1<2$を満たすから発散する.

(2) 無限級数$\sum\limits_{n=1}^{\infty}\dfrac{1}{2^n}$は初項$\dfrac{1}{2}$,公比$\dfrac{1}{2}$の等比数列の無限等比級数である.

公比$\dfrac{1}{2}$が$-1<\dfrac{1}{2}<1$を満たすから収束し,

   \begin{align*} \sum_{n=1}^{\infty}\frac{1}{2^n} =\frac{\frac{1}{2}}{1-\frac{1}{2}} =1 \end{align*}

である.

(3) 無限級数$\sum\limits_{n=1}^{\infty}2\bra{-\dfrac{1}{3}}^{n-1}$は初項$2$,公比$-\dfrac{1}{3}$の等比数列の無限等比級数である.

公比$-\dfrac{1}{3}$が$-1<-\dfrac{1}{3}<1$を満たすから収束し,

   \begin{align*} \sum_{n=1}^{\infty}2\bra{-\dfrac{1}{3}}^{n-1} =\frac{2}{1-\bra{-\frac{1}{3}}} =\frac{3}{2} \end{align*}

である.

=0.999\dots$が成り立つ話

「$1$と無限小数$0.999\dots$は等しい」と聞いたとき,この主張に対してどう思うでしょうか?

実は$1=0.999\dots$は数学的には正しい等式で,きちんと証明することができます.

$0.999\dots$のような無限小数は小学校で学ぶものですが,実はきちんと無限小数を理解するには無限級数の知識を必要とします.

以下の記事では,$1=0.999\dots$がどうして成り立つのかを直感的に説明したのち,厳密な無限小数の定義も説明しています.

ワンステップ数学4|1と0.999……は本当に等しいのか
この記事では次の問題を考えます. 等式=0.999\dots$は成り立つか? この話題を初めて考えた人は「いやいや,どう見ても成り立たんやろ」「成り立ちそう」「うーむ,分からぬ……」と様々な考えが浮かぶと思います. ...

管理人

プロフィール

山本やまもと 拓人たくと

元予備校講師.講師として駆け出しの頃から予備校の生徒アンケートで抜群の成績を残し,通常の8倍の報酬アップを提示されるなど頭角を表す.

飛び級・首席合格で大学院に入学しそのまま首席修了するなど数学の深い知識をもち,本質をふまえた分かりやすい授業に定評がある.

現在はオンライン家庭教師,社会人向け数学教室での講師としての教育活動とともに,京都大学で数学の研究も行っている.専門は非線形偏微分方程式論.大学数学系YouTuberとしても活動中.

趣味は数学,ピアノ,甘いもの食べ歩き.

Twitter・大学数学YouTube・公式LINEを見てみる
合格タクティクス

コメント

タイトルとURLをコピーしました