●知識グラフ全体 ，●このページを中心とした周辺知識グラフ

級数の収束性（２）

${\displaystyle a_n>0}$ である正項級数 ${\displaystyle \sum a_n}$ において　

${\displaystyle \underset{n\to \infty }{\lim }\frac{a_{n+1}}{a_n}=r}$  ･･････(1)

が存在するとき

• ${\displaystyle 0<r<1}$ ならば ${\displaystyle \sum _{n=1}^{\infty }{a}_n}$ は収束する
• ${\displaystyle r>1}$ ならば ${\displaystyle \sum _{n=1}^{\infty }{a}_n}$ は発散する

■証明

${\displaystyle \underset{n\to \infty }{\lim }\frac{a_{n+1}}{a_n}=r}$ が存在するので，任意の正の ${\displaystyle \epsilon }$ に対して ，ある ${\displaystyle N}$ が存在し， $n>N$ では

${\displaystyle r-\epsilon <\frac{a_{n+1}}{a_n}<r+\epsilon }$  ･･････(2)

が成り立つ．

${\displaystyle N}$ を用いると

${\displaystyle \sum _{n=1}^{\infty }{a}_n=\sum _{n=1}^N{a}_n+\sum _{n=N+1}^{\infty }{a}_n}$  ･･････(3)

と書きかえられる．

${\displaystyle N}$ はある自然数であるので

${\displaystyle \sum _{n=1}^N{a}_n=K}$  ･･････(4)

となる定数 ${\displaystyle K}$ が存在する．

${\displaystyle S_M=a_{N+1}+a_{N+2}+a_{N+3}+\cdots +a_M={\displaystyle \sum }_{n=N+1}^M{a}_n}$  ･･････(5)

とおくと

${\displaystyle {\displaystyle \sum }_{n=N+1}^{\infty }{a}_n=\underset{M\to \infty }{\lim }{\displaystyle \sum }_{n=N+1}^M{a}_n}$  ･･････(6)

と表せる．

$a_n>0$ より，$S_M$ は単調増加する．

$S_M$ について検討する．

$a_{N+2}$ は

${\displaystyle a_{N+2}=a_{N+1}\cdot \frac{a_{N+2}}{a_{N+1}}}$   ･･････(7)

と表せる。

(2)より

${\displaystyle r-\epsilon <\frac{a_{N+2}}{a_{N+1}}<r+\epsilon }$   ･･････(8)

(7)と(8)より

${\displaystyle a_{N+1}\left(r-\epsilon \right)<a_{N+1}\cdot \frac{a_{N+2}}{a_{N+1}}<a_{N+1}\left(r+\epsilon \right)}$   ･･････(9)

(7)と(9)より

${\displaystyle a_{N+1}\left(r-\epsilon \right)<a_{N+2}<a_{N+1}\left(r+\epsilon \right)}$   ･･････(10)

となる．

$a_{N+3}$ は

${\displaystyle a_{N+3}=a_{N+2}\frac{a_{N+3}}{a_{N+2}}=a_{N+1}\frac{a_{N+2}}{a_{N+1}}\cdot \frac{a_{N+3}}{a_{N+2}}}$   ･･････(11)

と表せる．

(2)より

${\displaystyle r-\epsilon <\frac{a_{N+3}}{a_{N+2}}<r+\epsilon }$   ･･････(12)

(9)と(12)より

${\displaystyle a_{N+1}{\left(r-\epsilon \right)}^2<a_{N+1}\cdot \frac{a_{N+2}}{a_{N+1}}\cdot \frac{a_{N+3}}{a_{N+2}}<a_{N+1}{\left(r+\epsilon \right)}^2}$   ･･････(13)

(11)と(13)より

${\displaystyle a_{N+1}{\left(r-\epsilon \right)}^2<a_{N+3}<a_{N+1}{\left(r+\epsilon \right)}^2}$   ･･････(14)

となる．

                 ${\displaystyle ⋮}$

$a_k$（ただし，$k>N+1$） は

${\displaystyle a_k=a_{N+1}\frac{a_{N+2}}{a_{N+1}}\cdot \frac{a_{N+3}}{a_{N+2}}\cdot \cdot \cdot \frac{a_k}{a_{k-1}}}$   ･･････(15)

と表せる．

同様にして

${\displaystyle a_{N+1}{\left(r-\epsilon \right)}^{k-N-1}<a_k<a_{N+1}{\left(r+\epsilon \right)}^{k-N-1}}$   ･･････(16)

となる．

となる．

${\displaystyle {\displaystyle \sum }_{n=N+1}^M{a}_{N+1}{\left(r-\epsilon \right)}^{n-N-1}}$${\displaystyle =a_{N+1}+a_{N+1}\left(r-\epsilon \right)+a_{N+1}{\left(r-\epsilon \right)}^2+\cdots +a_{N+1}{\left(r-\epsilon \right)}^{M-N-1}}$

等比数列の和より

${\displaystyle =a_{N+1}\cdot \frac{1-{\left(r-\epsilon \right)}^{M-N}}{1-\left(r-\epsilon \right)}}$  ･･････(18)

${\displaystyle {\displaystyle \sum }_{n=N+1}^M{a}_{N+1}{\left(r+\epsilon \right)}^{n-N-1}}$${\displaystyle =a_{N+1}+a_{N+1}\left(r+\epsilon \right)+a_{N+1}{\left(r+\epsilon \right)}^2+\cdots +a_{N+1}{\left(r+\epsilon \right)}^{M-N-1}}$

等比数列の和より

${\displaystyle =a_{N+1}\cdot \frac{1-{\left(r+\epsilon \right)}^{M-N}}{1-\left(r+\epsilon \right)}}$  ･･････(19)

(17) に(18)と(19)を代入すると

${\displaystyle a_{N+1}\cdot \frac{1-{\left(r-\epsilon \right)}^{M-N}}{1-\left(r-\epsilon \right)}<S_M<a_{N+1}\cdot \frac{1-{\left(r+\epsilon \right)}^{M-N}}{1-\left(r+\epsilon \right)}}$   ･･････(20)

 

●${\displaystyle 0<r<1}$ のとき

${\displaystyle 0<\epsilon <1-r}$ となる ${\displaystyle \epsilon }$ を取れば， ${\displaystyle 0<r+\epsilon <1}$ となる ．

${\displaystyle a_n>0}$ と(20)より

となる．${\displaystyle S_M}$ は単調増加で，かつ，${\displaystyle S_M}$ は(22)より上に有界である．よって

${\displaystyle \underset{M\to \infty }{\lim }{S}_M=L}$  ･･････(23)

となる正の定数 ${\displaystyle L}$ が存在する．

したがって（3)，(4)，(6)，(23)より

${\displaystyle {\displaystyle \sum }_{n=1}^{\infty }{a}_n=K+L}$  ･･････(24)

となり，収束する．

●${\displaystyle 1<r}$ のとき

${\displaystyle 0<\epsilon <r-1}$ となる ${\displaystyle \epsilon }$ をとると， ${\displaystyle 1<r-\epsilon <r}$ となる

(20)より

${\displaystyle a_{N+1}\cdot \frac{1-{\left(r-\epsilon \right)}^{M-N}}{1-\left(r-\epsilon \right)}<S_M}$   ･･････(25)

${\displaystyle 1<r-\epsilon <r}$ のとき， ${\displaystyle M\to \infty }$ ならば， ${\displaystyle {\left(r-\epsilon \right)}^{M-N}\to \infty }$，また，${\displaystyle 1-\left(r-\epsilon \right)<0}$ となるので

${\displaystyle \underset{M\to \infty }{\lim }{a}_{N+1}\cdot \frac{1-{\left(r-\epsilon \right)}^{M-N}}{1-\left(r-\epsilon \right)}=\infty }$   ･･････(26)

となり

${\displaystyle \underset{M\to \infty }{\lim }{S}_M=\infty }$  ･･････(27)

となる．

したがって(3)，(4)，(6)，(27)より

${\displaystyle {\displaystyle \sum }_{n=1}^{\infty }{a}_n=K+\underset{M\to \infty }{\lim }{S}_M=\infty }$  ･･････(28)

となり発散する．

　

ホーム>>カテゴリー分類>>数列>>級数展開>>級数の収束性（２）

最終更新日： 2026年5月18日

[ページトップ]

利用規約，誤植や誤りなどがございましたら、こちらからご連絡ください。

google translate (English version)