1. 数列の極限【ノート】
1人で学べる！高校数学

高校数学[総目次]

数学Ⅲ　第1章　極限

	スライド	ノート	問題
1. 数列の極限	[無料]
2. 無限等比数列	[無料]
3. 無限級数
4. 無限等比級数
5. 関数の極限
6. (sin x)/x の極限
7. 関数の連続性

1.1 収束と発散

　数列は数学Bで既に学習済みだが，数学Bでは数列の一般項や和に関する取扱いが中心であった．数学Ⅲでは，数列の番号 $n$ を大きくしていったときの数列の振る舞い，すなわち一定の値にどんどん近づいていくのか，果てしなく大きくなっていくのか，あるいは逆に小さくなっていくのか，などについての考察を行う．

　数列には，項がある番号で終了する有限数列と，いつまでも終わることなく項が無限に存在している無限数列に大別できる．私たちの考察の対象は専ら後者の無限数列の方である．例えば $a_n={\displaystyle \frac{1}{n}}$ という無限数列 $\{a_n\}$ を考えよう．具体的には

$$1,{\displaystyle \frac{1}{2}},{\displaystyle \frac{1}{3}},\cdots ,{\displaystyle \frac{1}{n}},\cdots$$

である．この数列の番号 $n$ をどんどん大きくしていくと，$a_n={\displaystyle \frac{1}{n}}$ は0に限りなく近付いていくであろう．このとき，数列$\{a_n\}$ は0に収束するといい，

$$\underset{n\to \mathrm{\infty }}{lim}{a}_n=0$$

と書き表す．

　一般に，数列 $\{a_n\}$ の番号 $n$ を限りなく大きくすると，$a_n$ が一定の値 $\alpha$ (アルファ)に限りなく近付くとき，

$$\underset{n\to \mathrm{\infty }}{lim}{a}_n=\alpha \cdots (\ast )$$

で表し，このとき数列 $\{a_n\}$ は，$\alpha$ に収束するという．また，$\alpha$ を数列 $\{a_n\}$ の極限値という．
　一方，収束しないとき，還元すれば一定の値に近づいていかない数列$\{a_n\}$ は，発散するという．

補足

　$(\ast )$は

$n\to \mathrm{\infty }$ のとき，$a_n\to \alpha$
または
$a_n\to \alpha (n\to \mathrm{\infty })$

とも書く．

収束する例

1. $a_n={\displaystyle \frac{5}{n}}+2$ のとき，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=2.}$
2. $a_n={\displaystyle \frac{n}{2n+1}}$ のとき，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\underset{n\to \mathrm{\infty }}{lim}{\displaystyle \frac{1}{2+{\displaystyle \frac{1}{n}}}}={\displaystyle \frac{1}{2}}.}$

収束しない例

1. 正の無限大に発散する．（極限は $\mathrm{\infty }$ )
   　$a_n=n,a_n=n^2,a_n={\log }_{2}n$
   これらは ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }}$
2. 負の無限大に発散する．（極限は $-\mathrm{\infty }$ ）
   　$a_n=-n,a_n=-5n+7,a_n=-3^n$
   これらは ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=-\mathrm{\infty }}$
3. 振動する．$$\begin{array}{rl}& a_n=(-1{)}^n:-1,1,-1,1,\cdots \\ & a_n=\sin {\displaystyle \frac{\pi }{2}}n:1,0,-1,0,1,\cdots \end{array}$$

注意

　「$\mathrm{\infty }$」や「$-\mathrm{\infty }$」は値ではない．よって，例えば ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }}$ のとき，
　　　✕　数列$\{a_n\}$ の極限値は $\mathrm{\infty }$．
　　　〇　数列$\{a_n\}$ の極限は $\mathrm{\infty }$．
というように，$\mathrm{\infty }$ や $-\mathrm{\infty }$ を指して極限「値」とは言わない．

1.2 極限の性質

　収束する数列の極限について，次が成り立つ．

極限の性質
　数列$\{a_n\},\{b_n\}$ が収束し，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\alpha ,}$${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{b}_n=\beta }$ のとき，
　①　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}k{a}_n=k\alpha }$　（$k$ は定数）
　②　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}(a_n\pm b_n)=\alpha \pm \beta }$　（複号同順）
　③　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}(k{a}_n+l{b}_n)=k\alpha +l\beta }$　（$k,l$ は定数）
　④　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\alpha \beta }$
　⑤　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{\displaystyle \frac{a_n}{b_n}}={\displaystyle \frac{\alpha }{\beta }}}$　（$\beta \ne 0$）

　これらは直感的に受け入れやすいものばかりであるが，厳密には証明が必要である．しかしながらこれらを証明するには高校数学の範囲では足りない．そこで雰囲気を少しだけ次のコラムで紹介みよう．

注意

　数列$\{a_n\},\{b_n\}$ がともに収束していなければ，これらの性質は必ずしも成り立たない．例えば④の ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\alpha \beta }$ について，収束するかしないかは $\{a_n\},\{b_n\}$ の内容次第である．例えば，次の3つの例は，いずれも${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty },\underset{n\to \mathrm{\infty }}{lim}{b}_n=0}$ となっており，$\{a_n\}$ の方が発散している．（下の不定形の極限も参照．）

1. $a_n=n^2,b_n={\displaystyle \frac{1}{n}}$ のとき，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\underset{n\to \mathrm{\infty }}{lim}n=\mathrm{\infty }}$
2. $a_n=n,b_n={\displaystyle \frac{1}{n}}$ のとき，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\underset{n\to \mathrm{\infty }}{lim}1=1}$
3. $a_n=n^2,b_n=-{\displaystyle \frac{1}{n}}$ のとき，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\underset{n\to \mathrm{\infty }}{lim}(-n)=-\mathrm{\infty }}$

1.3 発散する無限数列を含む極限

　すぐ上の注意で見たように，発散する無限数列を含む極限には取り扱いに注意すべきものが多い．しかし以下に挙げるものは，極限がはっきりしているものばかりである．

発散する数列を含む極限すべて複号同順
①　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty },\underset{n\to \mathrm{\infty }}{lim}{b}_n=\pm \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}(a_n+b_n)=\pm \mathrm{\infty }$$ ②　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty },\underset{n\to \mathrm{\infty }}{lim}{b}_n=\pm \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=\mathrm{\infty }$$ ③　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty },\underset{n\to \mathrm{\infty }}{lim}{b}_n=\mp \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}{a}_n{b}_n=-\mathrm{\infty }$$ ④　$k>0,{\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}k{a}_n=\pm \mathrm{\infty }$$ ⑤　$k<0,{\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}k{a}_n=\mp \mathrm{\infty }$$ ⑥　$c$ が定数，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\pm \mathrm{\infty }}$ のとき， $$\underset{n\to \mathrm{\infty }}{lim}\frac{c}{a_n}=0,\underset{n\to \mathrm{\infty }}{lim}(a_n+c)=\pm \mathrm{\infty }$$

　これらは次のように簡略に書くと見易くなる：

発散する数列を含む極限(簡略表記)すべて複号同順
①　$(\pm \mathrm{\infty })+(\pm \mathrm{\infty })=(\pm \mathrm{\infty })$
②　$(\pm \mathrm{\infty })\times (\pm \mathrm{\infty })=\mathrm{\infty }$
③　$(\pm \mathrm{\infty })\times (\mp \mathrm{\infty })=-\mathrm{\infty }$
④　$k>0$ のとき，$k\times (\pm \mathrm{\infty })=\pm \mathrm{\infty }$
⑤　$k<0$ のとき，$k\times (\pm \mathrm{\infty })=\mp \mathrm{\infty }$
⑥　$c$ が定数のとき，${\displaystyle \frac{c}{\pm \mathrm{\infty }}}=0,$ $(\pm \mathrm{\infty })+c=(\pm \mathrm{\infty })$

注意

　簡略表記でいうところの ${\displaystyle \frac{\mathrm{\infty }}{\mathrm{\infty }}}$ や ${\displaystyle \frac{0}{0}}$，また $\mathrm{\infty }\times 0,\mathrm{\infty }-\mathrm{\infty }$ などは不定形の極限といわれ，収束するか発散するかは個々の数列による．
（${\displaystyle \frac{\mathrm{\infty }}{\mathrm{\infty }}}=1$ や $\mathrm{\infty }-\mathrm{\infty }=0$ には必ずしもならない．）

例1

　数列 $\left\{{\displaystyle \frac{n-1}{2n+1}}\right\}$ の極限を考える．

　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}(n-1)=\mathrm{\infty }}$，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}(2n+1)=\mathrm{\infty }}$ となるから，これは ${\displaystyle \frac{\mathrm{\infty }}{\mathrm{\infty }}}$ の不定形である．この数列の極限は，$n\to \mathrm{\infty }$ とする前に，分母子を $n$ で割るという前処理を行う：

$${\displaystyle \frac{n-1}{2n+1}}={\displaystyle \frac{1-{\displaystyle \frac{1}{n}}}{2+{\displaystyle \frac{1}{n}}}}$$

　このような変形を行うと，

　　(分子)$=1-{\displaystyle \frac{1}{n}}\to 1(n\to \mathrm{\infty })$

　　(分母)$=2+{\displaystyle \frac{1}{n}}\to 2(n\to \mathrm{\infty })$

となって，分子・分母ともに収束する数列となったから不定形が解消された．この状態にしてから $n\to \mathrm{\infty }$ の極限操作を行うと，

　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{\displaystyle \frac{n-1}{2n+1}}=\underset{n\to \mathrm{\infty }}{lim}{\displaystyle \frac{1-{\displaystyle \frac{1}{n}}}{2+{\displaystyle \frac{1}{n}}}}={\displaystyle \frac{1}{2}}}$

という具合に極限がわかる．

例2

　数列 $\{\sqrt{n^2+n}-n\}$ の極限を考える．このまま $n\to \mathrm{\infty }$ を考えてしまうと ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}\sqrt{n^2+n}\to \mathrm{\infty }}$，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}n\to \mathrm{\infty }}$ となるから，これは $\mathrm{\infty }-\mathrm{\infty }$ の不定形である．この数列の極限は，$n\to \mathrm{\infty }$ とする前に，$\sqrt{n^2+n}-n$ を ${\displaystyle \frac{\sqrt{n^2+n}-n}{1}}$ という分数だと思って，分子の有理化を行う．

$$\begin{array}{rl}\sqrt{n^2+n}-n& ={\displaystyle \frac{\sqrt{n^2+n}-n}{1}}\\ & =\frac{(\sqrt{n^2+n}-n)(\sqrt{n^2+n}+n)}{\sqrt{n^2+n}+n}\\ & =\frac{(n^2+n)-n^2}{\sqrt{n^2+n}+n}\\ & =\frac{n}{\sqrt{n^2+n}+n}\end{array}$$

　この状態でもまだ ${\displaystyle \frac{\mathrm{\infty }}{\mathrm{\infty }}}$ の不定形であるから，更に分母子を $n$ で割って

$$\frac{n}{\sqrt{n^2+n}+n}=\frac{1}{\sqrt{1+{\displaystyle \frac{1}{n}}}+1}$$

　これでようやく不定形が解消された．従って極限は

$$\underset{n\to \mathrm{\infty }}{lim}\frac{1}{\sqrt{1+{\displaystyle \frac{1}{n}}}+1}={\displaystyle \frac{1}{2}}$$

1.4 数列の極限の大小関係

例題 　${\displaystyle \underset{n\to \mathrm{\infty }}{lim}\frac{\sin n\pi }{n}}$ を求めよ．

こたえ

　$-1\leqq \sin n\pi \leqq 1$ であるから

$$-{\displaystyle \frac{1}{n}}\leqq {\displaystyle \frac{\sin n\pi }{n}}\leqq {\displaystyle \frac{1}{n}}.$$

　ここで，${\displaystyle \underset{n\to \mathrm{\infty }}{lim}}$$(-{\displaystyle \frac{1}{n}})=0$，かつ ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}\frac{1}{n}=0}$ により， $$\underset{n\to \mathrm{\infty }}{lim}\frac{\sin n\pi }{n}=0.$$

注意

　①に関連して，「$a_n<b_n(n=1,2,\cdots )$ ならば $\alpha <\beta$ 」は正しくない．
反例
　$a_n={\displaystyle \frac{1}{n}},b_n={\displaystyle \frac{2}{n}}$ とすると， $$a_n<b_n(n=1,2,\cdots ).$$ 　しかるに ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=0,\underset{n\to \mathrm{\infty }}{lim}{b}_n=0}$ となって，$\alpha =\beta$．

　従って，「$a_n<b_n(n=1,2,\cdots )$ ならば $\alpha \leqq \beta$ 」が正しい命題となる．

　次の定理も重要：

【追い出しの原理】
　$a_n\leqq b_n(n=1,2,\cdots )$，かつ ${\displaystyle \underset{n\to \mathrm{\infty }}{lim}{a}_n=\mathrm{\infty }}$ ならば，$$\underset{n\to \mathrm{\infty }}{lim}{b}_n=\mathrm{\infty }$$

---

高校数学[総目次]

数学Ⅲ　第1章　極限

	スライド	ノート	問題
1. 数列の極限	[無料]
2. 無限等比数列	[無料]
3. 無限級数
4. 無限等比級数
5. 関数の極限
6. (sin x)/x の極限
7. 関数の連続性