無限等比数列のすべての項の和を等比級数（あるいは無限等比級数）といい、第$n$部分和の$n$を限りなく大きくしたときの極限によって求めることができます。
すなわち、初項$a$、公比$r$（ただし、$a\neq0,r\neq0$）の等比級数は
すなわち、初項$a$、公比$r$（ただし、$a\neq0,r\neq0$）の等比級数は
\[\sum_{n=1}^\infty{a
r^{n-1}}=\left\{\begin{array}{l}\displaystyle\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}&(r\neq1)\\[0.5em]\displaystyle\lim_{n\to\infty}na&(r=1)\end{array}\right.\]
により求められます。
これが発散するか収束するかは公比$r$によって決まります。
$0<r<1$のとき
$0<r<1$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\]
を考えます。
$n\to\infty$のとき$r^n\to0$なので、$1-r^n\to1$となります。
したがって、このときの等比級数$\sum_{n=1}^\infty{a r^{n-1}}$は
\begin{align*}\sum_{n=1}^\infty{a
r^{n-1}}&=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\\[0.5em]\large\sum_{n=1}^\infty{a
r^{n-1}}&\large=\frac{a}{1-r}\end{align*}
となり、収束することがわかります。
$r=1$のとき
$r=1$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}{na}\]
を考えます。
このときの等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は初項$a$の符号によって正の無限大か負の無限大のどちらに発散するのかが決まり、
\[\large\sum_{n=1}^\infty{a
r^{n-1}}=\left\{\begin{array}{l}\infty&(a>0)\\[0.5em]-\infty&(a<0)\end{array}\right.\]
となります。
$r>1$のとき
$r>1$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\]
を考えます。
$r>1$より$1-r<0$です。
また、$n\to\infty$のとき$r^n\to\infty$なので、$1-r^n\to-\infty$となります。
すると、$\dfrac{1-r^n}{1-r}\to\infty$であることがわかります。
また、$n\to\infty$のとき$r^n\to\infty$なので、$1-r^n\to-\infty$となります。
すると、$\dfrac{1-r^n}{1-r}\to\infty$であることがわかります。
したがって、このときの等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は初項$a$の符号によって正の無限大か負の無限大のどちらに発散するのかが決まり、
\[\large\sum_{n=1}^\infty{a
r^{n-1}}=\left\{\begin{array}{l}\infty&(a>0)\\[0.5em]-\infty&(a<0)\end{array}\right.\]
となります。
$-1<r<0$のとき
$-1<r<0$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\]
を考えます。
$r=-|r|$と書けるので、等比級数の分子を変形すると
\begin{align*}\sum_{n=1}^\infty{a
r^{n-1}}&=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\\[0.5em]&=\lim_{n\to\infty}\frac{a\Bigl\{1-\bigl(-|r|\bigr)^n\Bigr\}}{1-r}\\[0.5em]&=\lim_{n\to\infty}\frac{a\bigl\{1-(-1)^n
|r|^n\bigr\}}{1-r}\end{align*}
となります。
$0<|r|<1$なので、$n\to\infty$のとき$|r|^n\to0$であり、$1-(-1)^n
|r|^n\to1$となります。
したがって、このときの等比級数$\sum_{n=1}^\infty{a r^{n-1}}$は
\[\large\sum_{n=1}^\infty{a r^{n-1}}=\frac{a}{1-r}\]
となり、収束することがわかります。
$r=-1$のとき
$r=-1$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\]
を考えます。
$r=-1$を代入すると
\begin{align*}\sum_{n=1}^\infty{a
r^{n-1}}&=\lim_{n\to\infty}\frac{a\bigl\{1-(-1)^n\bigr\}}{1-(-1)}\\[0.5em]&=\lim_{n\to\infty}\frac{a\bigl\{1-(-1)^n\bigr\}}{2}\end{align*}
となります。
$n$が奇数のとき、$(-1)^n=-1$より$\dfrac{a\bigl\{1-(-1)^n\bigr\}}{2}=0$となり、
$n$が偶数のとき、$(-1)^n=1$より$\dfrac{a\bigl\{1-(-1)^n\bigr\}}{2}=a$となることから、このときの等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は$0$と$a$の2つの値を交互にとって振動することがわかります。
$r<-1$のとき
$r<-1$のとき
\[\sum_{n=1}^\infty{a r^{n-1}}=\lim_{n\to\infty}\frac{a(1-r^n)}{1-r}\]
を考えます。
$r=-|r|$と書けるので、
\begin{align*}\sum_{n=1}^\infty{a
r^{n-1}}&=\lim_{n\to\infty}\frac{a\bigl\{1-(-|r|)^n\bigr\}}{1-(-|r|)}\\[0.5em]&=\lim_{n\to\infty}\frac{a\bigl\{1-(-1)^n
|r|^n\bigr\}}{1+|r|}\\[0.5em]&=\lim_{n\to\infty}\left\{\frac{a}{1+|r|}-\frac{a}{1+|r|}\cdot(-1)^n
|r|^n\right\}\end{align*}
となります。
$n$が大きくなっていくと振動する$(-1)^n$と$|r|>1$であるため正の無限大に発散する$|r|^n$の積$(-1)^n
|r|^n$は振動しながら発散します。
振動しながら発散する$(-1)^n |r|^n$に対し、定数を加えたり$0$倍以外の定数倍しても振動しながら発散するという性質は変わりません。（$\sin,\cos$関数に対して定数を加えたり定数倍しても周期関数（振動することはそのまま）であるのと同じようなものだと考えることができます。）
振動しながら発散する$(-1)^n |r|^n$に対し、定数を加えたり$0$倍以外の定数倍しても振動しながら発散するという性質は変わりません。（$\sin,\cos$関数に対して定数を加えたり定数倍しても周期関数（振動することはそのまま）であるのと同じようなものだと考えることができます。）
したがって、$(-1)^n |r|^n$に対し定数$-\dfrac{a}{1+|r|}$倍し、定数$\dfrac{a}{1+|r|}$を加えているこのときの等比級数$\sum_{n=1}^\infty{a r^{n-1}}$は振動しながら発散します。
まとめ
上記の場合分けは、同じ結論となったものでまとめることができます。
$0<r<1,-1<r<0$のとき、等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は必ず$\dfrac{a}{1-r}$に収束します。
このときの$r$の範囲はまとめて$|r|<1$と書くことができます。
$r=\pm1,r>1,r<-1$のとき、等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は必ず発散します。
このときの$r$の範囲はまとめて$|r|\geqq1$と書くことができます。
したがって、等比級数$\sum_{n=1}^\infty{a
r^{n-1}}$は公比$r$によって以下のように場合分けすることができます。
- $|r|<1$のとき：$\dfrac{a}{1-r}$に収束する。
- $|r|\geqq1$のとき：発散する。
また、以下のように発散する場合をより細かく場合分けすることもできます。
- $|r|<1$のとき：$\dfrac{a}{1-r}$に収束する。
- $a>0$かつ$r\geqq1$のとき：正の無限大に発散する。
- $a<0$かつ$r\geqq1$のとき：負の無限大に発散する。
- $r\leqq-1$のとき：振動する。
Share:
