3C 第2章

極限

数列の極限

Point 3C 2.1.1 数列の極限の全体像
極限問題ときたら・・・ \(\displaystyle\lim_{n\to\infty} a_{n}\)を求めるときの,大きな流れ。
原則:不定形を解消できなければ,はさみうちの原理
ただ,まずは極限がおおよそどうなるか感覚的に想像する!
まず,一般項\(a_{n}\)など,極限求めたいものが求まるかに注目する。
解ける漸化式など,\(a_{n}\)が求まるとき
→ \(a_{n}\)を求めて不定形を解消し,極限計算する。
→ ただし,普通に解消できない・不等式条件があるときは,はさみうちの原理へ。
\(a_{n}\)が求まらないとき
はさみうちの原理

(用いる不等式は Point 2.2.6 参照)
Point 3C 2.1.2 数列の極限
一般に,数列\(\{a_{n}\}\)において,\(n\)を限りなく大きくするとき,\(a_{n}\)がある一定の値\(\alpha\)に限りなく近づくことを,数列\(\{a_{n}\}\)は\(\alpha\)に収束するといい, \[ \class{mathkuu}{\underline{\lim_{n\to\infty} a_{n}=\alpha}}\qquad \text{または,}\qquad \class{mathkuu}{\underline{n\to\infty}} のとき\class{mathkuu}{\underline{a_{n}\to\alpha}} \] と表す。このとき,値\(\alpha\)を数列\(\{a_{n}\}\)の極限値という。また,数列\(\{a_{n}\}\)の極限は\(\alpha\)であるともいう。※記号\(\infty\)は,「無限大」と読み,数を表すものではない。
Point 3C 2.1.3 数列\(\{a_{n}\}\)の極限
収束 一定の値\(\alpha\)に収束する \(\displaystyle\lim_{n\to\infty} a_{n}=\alpha\) 極限は\(\alpha\)(極限値)
発散 正の無限大に発散する \(\displaystyle\lim_{n\to\infty} a_{n}=\infty\) 極限は\(\infty\)
負の無限大に発散する \(\displaystyle\lim_{n\to\infty} a_{n}=-\infty\) 極限は\(-\infty\)
振動する 極限はない
※\(\infty\)は数ではないから,極限が\(\pm \infty\)となるとき,極限はあるが,極限値はない。また,収束しないものを発散と呼ぶので,振動は発散に含まれる
Point 3C 2.1.4 極限値の性質
数列\(\{a_{n}\}\),\(\{b_{n}\}\)が収束して,\(\displaystyle\lim_{n\to\infty} a_{n}=\alpha\),\(\displaystyle\lim_{n\to\infty} b_{n}=\beta\) のとき,(極限値が存在するとき)

(i) \(\displaystyle\lim_{n\to\infty} ka_{n}=\class{mathkuu}{\underline{k\alpha}}\)  ただし,\(k\)は定数   (ii) \(\displaystyle\lim_{n\to\infty}(a_{n}\pm b_{n})=\class{mathkuu}{\underline{\alpha\pm \beta}}\) ((i), (ii)は線形性)

(iii) \(\displaystyle\lim_{n\to\infty} a_{n}b_{n}=\class{mathkuu}{\underline{\alpha\beta}}\),  \(\displaystyle\lim_{n\to\infty} \dfrac{a_{n}}{b_{n}}=\class{mathkuu}{\underline{\frac{\alpha}{\beta}}}\)  ただし,\(b_n\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} 0\)\(\beta\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} 0\)  (積・商も分配可)
ex.) \(\displaystyle\lim_{n\to\infty} a_{n}=4\),\(\displaystyle\lim_{n\to\infty} b_{n}=-5\) のとき,\(\displaystyle\lim_{n\to\infty}(2a_{n}+3b_{n})=2\cdot 4+3\cdot (-5)=-7\)
Point 3C 2.1.5 数列の極限と大小関係
\(\displaystyle\lim_{n\to\infty} a_{n}=\alpha\),\(\displaystyle\lim_{n\to\infty} b_{n}=\beta\)のとき,

\(a_{n}\leqq b_{n}\)ならば, \(\class{mathkuu}{\underline{\alpha\leqq\beta}}\)
※「\(a_{n}<b_{n}\)ならば,\(\alpha\leqq\beta\)」も可

例えば,\(a_{n}=1-\dfrac{1}{n}\),\(b_{n}=1+\dfrac{1}{n}\)のとき,つねに\(a_{n}<b_{n}\)であるが, \[ \lim_{n\to\infty}a_{n}=1,\qquad \lim_{n\to\infty} b_{n}=1 \] となるから,\(\alpha=\beta\)である。
Point 3C 2.1.6 はさみうちの原理
\(a_{n}\leqq b_{n}\leqq c_{n}\)(または\(a_{n}< b_{n}< c_{n}\))が成り立ち,\(\displaystyle\lim_{n\to\infty} a_{n}=\displaystyle\lim_{n\to\infty} c_{n} =\alpha\)ならば,
数列\(\{b_{n}\}\)も収束して,\(\displaystyle\lim_{n\to\infty} b_{n}=\class{mathkuu}{\underline{\alpha}}\)
Point 3C 2.1.7 追い出しの原理
\(a_{n}\leqq b_{n}\)かつ,\(\displaystyle\lim_{n\to\infty} a_{n}=\infty\)  ならば,
\(\displaystyle\lim_{n\to\infty} b_{n}=\)\(\infty\)
Point 3C 2.1.8 無限等比数列\(r^{n}\)の極限
無限等比数列\(r^{n}\)の公比\(r\)について,

\(\class{mathkuu}{\underline{r>1}}\)のとき,\(\displaystyle\lim_{n\to\infty} r^{n}=\infty\)
\(\class{mathkuu}{\underline{r=1}}\)のとき,\(\displaystyle\lim_{n\to\infty} r^{n}=1\)
\(\class{mathkuu}{\underline{|r|<1}}\)のとき,\(\displaystyle\lim_{n\to\infty}r^{n}=0\)
\(\class{mathkuu}{\underline{r\leqq -1}}\)のとき,数列\(r^{n}\)の極限はない \(\cdots\)振動する
※\(r<0\)のときは符号が交互に入れかわる。振れ幅が縮むか(\(|r|<1\)),増えるか(\(r<-1\)),\(1\)のままか(\(r=-1\))の違い。
Point 3C 2.1.9 【頻出】無限等比数列\(ar^{n-1}\)が収束する条件
「無限等比数列\(ar^{n-1}\)が収束する」ときたら\(\cdots\cdots\) \[\class{mathkuu}{\underline{(初項)\ a=0}}または\class{mathkuu}{\underline{-1< r\leqq 1}}\] であり, \[\displaystyle\lim_{n\to\infty} ar^{n}= \begin{cases} \class{mathkuu}{\underline{0}}&\left( a=0\ \text{または}\ -1<r<1\right)\\ \class{mathkuu}{\underline{a}}&\left( r=1\right) \end{cases}\]
Point 3C 2.1.10 無限級数と部分和
数列\(\{a_n\}\)の項を順に\(+\)で結んだ式 \[a_1+a_2+\cdots +a_n+\cdots =\sum\limits_{n=1}^{\infty}a_n\] を無限級数という。また,初項から第\(n\)項までの和 \[S_n=\sum\limits_{k=1}^{n}a_k=a_1+a_2+\cdots +a_n\] を部分和という。無限級数の和は,部分和の数列\(\{S_n\}\)の極限として定める。
・\(\displaystyle\lim_{n\to \infty}S_n=S\) のとき,無限級数は\(S\)に収束し,\(S\)をそのという

・\(\{S_n\}\)が収束しないとき,無限級数は発散するという
無限個の足し算そのものは定義できない。有限個で止めた和\(S_n\)を作ってから極限をとる,という手順ではじめて意味がつく。だから無限級数の問題は必ず部分和\(\to\)極限の2段階になる。

※和が求まる無限級数は,主に次の2つ。

・等比のもの(Point2.1.12

・分母を分けると途中が消えるもの(数学ⅡBC「よく用いる部分分数分解」
例題 無限級数 \(\dfrac{1}{1\cdot 2}+\dfrac{1}{2\cdot 3}+\dfrac{1}{3\cdot 4}+\cdots\) の和を求めよ。

\(\dfrac{1}{k(k+1)}=\class{mathkuu}{\underline{\dfrac{1}{k}-\dfrac{1}{k+1}}}\) だから,部分和は \[S_n=\left( \dfrac{1}{1}-\dfrac{1}{2}\right) +\left( \dfrac{1}{2}-\dfrac{1}{3}\right) +\cdots +\left( \dfrac{1}{n}-\dfrac{1}{n+1}\right) =1-\dfrac{1}{n+1}\] 隣り合う項が次々に打ち消し合って,両端だけが残る。よって \(\displaystyle\lim_{n\to \infty}S_n=\class{mathkuu}{\underline{1}}\)
Point 3C 2.1.11 無限級数は途中でカッコをつけてはいけない
無限級数は,まず部分和(\(S_n\))を計算して,\(\lim\)をとるのが原則であり,無限級数に勝手にカッコをつけたりすることは禁物。例えば, \[ ①:1+(-1)+1+(-1)+1+\cdots \cdots \] では \(a_n=(-1)^{n-1}\) であるが, \[ ②:\{1+(-1)\}+\{1+(-1)\}+\cdots \cdots \] とカッコをつけると \(a_n=1+(-1)\) と考えていること になり, 全く別物になってしまう。実際①では
\(S_n=\class{mathkuu}{\underline{0}}\ \ (n\) : 偶数 \(),S_n=\class{mathkuu}{\underline{1}}\ \ (n:\) 奇数 \()\)
であるから, \(\displaystyle\lim _{n \rightarrow \infty} S_n\) は存在せず,この級数は発散する。 一方②では, つねに \(S_n=\class{mathkuu}{\underline{0}}\) で, \(\displaystyle\lim _{n \rightarrow \infty} S_n=0\) と収束する。
Point 3C 2.1.12 無限等比級数の収束・発散
無限等比級数 \(a+ar+ar^{2}+\cdots\cdots +ar^{n-1}+\cdots\cdots\)の収束,発散
  1. \(a=0\)のとき,収束し,その和は0である。
  2. \(a\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} 0\)のとき,
    \(|r|<1\)ならば,収束し,その和は\(\dfrac{a}{1-r}\)である。
    \(|r|\geqq 1\)ならば,発散する。
ex.) \(1+\dfrac{1}{2}+\dfrac{1}{4}+\cdots\) は \(a=1\),\(r=\dfrac{1}{2}\) で\(|r|<1\)。収束して和は \(\dfrac{1}{1-\dfrac{1}{2}}=2\)

ex.) \(1-1+1-1+\cdots\) は \(a=1\),\(r=-1\) で\(|r|\geqq 1\)。発散する(振動)
Point 3C 2.1.13 無限級数の和の性質
無限級数\(\displaystyle\sum\limits_{n=1}^{\infty} a_{n}\),\(\displaystyle\sum\limits_{n=1}^{\infty} b_{n}\)が収束して,\(\displaystyle\sum\limits_{n=1}^{\infty} a_{n}=S\),\(\displaystyle\sum\limits_{n=1}^{\infty} b_{n}=T\)のとき,

\({\displaystyle\sum\limits_{n=1}^{\infty} (ka_{n}+lb_{n})=\class{mathkuu}{\underline{kS+lT}}}\) ただし,\(k,\ l\)は定数 \((\)線形性\()\)
2つの無限級数\(\displaystyle\sum\limits_{n=1}^{\infty} a_{n}\),\(\displaystyle\sum\limits_{n=1}^{\infty} b_{n}\)がそれぞれ収束して,和を持つことを確認してから分配する。
Point 3C 2.1.14 無限級数の収束と発散 〜同値性の崩れ〜
  1. 無限級数\(\displaystyle\sum\limits_{n=1}^{\infty} a_{n}\)が収束する \(\Longrightarrow\)\(\ \displaystyle\lim_{n\to\infty} a_{n}=0\)
  2. 数列\(\{a_{n}\}\)が0に収束しない \(\Longrightarrow\) 無限級数\(\class{mathkuu}{\underline{\displaystyle\sum\limits_{n=1}^{\infty} a_{n}}}\)は発散する
・上2つは対偶の関係にあるので,真偽は一致する(もちろんともに真)。

一般項が収束するからといって,無限級数が収束するとは限らないという一方通行の定理であることをしっかりと認識しておこう。

・これは無限級数に関する定理で,無限等比級数に限ることではないことに注意。

※個人的には,「そもそも一般項が収束しなければ無限級数が収束しない(発散する)」という2つ目の性質がイメージつきやすいので,「2番の対偶で1番を導く」などでもよい。

方針立ての重要ポイント

Point 3C 2.2.1 不定形の解消①
分母最高次の項で割る!
\[\displaystyle\lim_{n\to \infty}\dfrac{6n^2+5}{3n^2-7n}=\displaystyle\lim_{n\to \infty}\dfrac{\class{mathkuu}{\underline{6+\dfrac{5}{n^2}}}}{\class{mathkuu}{\underline{3-\dfrac{7}{n}}}}=2\]
・指数なら分母最大底の項で割る!要は一番強い項で割る!
\[\displaystyle\lim_{n\to \infty}\dfrac{5^n-2^n}{5^n+2^n}=\displaystyle\lim_{n\to \infty}\dfrac{\class{mathkuu}{\underline{1-\left(\dfrac{2}{5}\right) ^n}}}{\class{mathkuu}{\underline{1+\left(\dfrac{2}{5}\right) ^n}}}=1\]
Point 3C 2.2.2 不定形の解消②
最高次の項でくくる!
\[\displaystyle\lim_{n\to \infty}(3n^2-2n)=\displaystyle\lim_{n\to \infty}\class{mathkuu}{\underline{n^2}}\left( 3-\dfrac{2}{n}\right) =\class{mathkuu}{\underline{\infty}}\]
・指数なら最大底の項でくくる!要は一番強い項でくくる!
\[\displaystyle\lim_{n\to \infty} (2^{n+1}-3^n)=\displaystyle\lim_{n\to \infty} \class{mathkuu}{\underline{3^n}}\{ 2\cdot \left(\dfrac{2}{3}\right) ^n -1\}=\class{mathkuu}{\underline{-\infty}}\]
Point 3C 2.2.3 不定形の解消③ \(\sqrt{ }\)の入った不定形は,有理化してみる!
\(\sqrt{ }\)の入った不定形は,有理化してみる!
例題 \(\displaystyle\lim_{n\to \infty}\left( \sqrt{n^2+3n}-n\right)\) を求めよ。

そのままでは\(\infty -\infty\)の不定形。分子を有理化すると \[\sqrt{n^2+3n}-n=\dfrac{\left( \sqrt{n^2+3n}-n\right) \left( \sqrt{n^2+3n}+n\right)}{\sqrt{n^2+3n}+n}=\class{mathkuu}{\underline{\dfrac{3n}{\sqrt{n^2+3n}+n}}}\] 分母・分子を\(n\)で割って \[\displaystyle\lim_{n\to \infty}\dfrac{3}{\sqrt{1+\dfrac{3}{n}}+1}=\class{mathkuu}{\underline{\dfrac{3}{2}}}\]
Point 3C 2.2.4 絶対値付き極限
\(\displaystyle\lim_{n\to\infty} |a_n|=0\) ならば,\(\displaystyle\lim_{n\to\infty} \class{mathkuu}{\underline{a_n}}=\class{mathkuu}{\underline{0}}\)
※証明は,\(-|a_n|\leqq a_n \leqq |a_n|\)より,はさみうち。(あまり明記されないが上式は逆も成り立つ。)
Point 3C 2.2.5 求まらない極限
求まらない極限は,不等式で評価してはさみうち
→問題によっては不等式のヒントが与えられるが,与えられないものは自力で評価!
(代表的な不等式評価は Point2.2.6 参照)
Point 3C 2.2.6 【重要】はさみうちや追い出し利用につながる代表的な不等式評価
① \(\class{mathkuu}{\underline{-1}}\leqq \sin ●\leqq \class{mathkuu}{\underline{1}}\),\(\class{mathkuu}{\underline{-1}}\leqq \cos ●\leqq \class{mathkuu}{\underline{1}}\)

② \((1+t)^n\)などの二項展開を途中でちょん切る

③ \(2^n\)を\(0<2^n<3^n\)ではさむなど,底や指数の大小を考える。

④ ガウス記号(関数の極限で登場)

⑤ 接線,円弧と弦など,図形的にはさむ。

⑥ 平均値の定理利用(微積で登場)

⑦ 面積評価(微積で登場)
①〜⑦の代表例

【数列の極限で使う】

① \(\displaystyle\lim_{n\to {\color{red}{\infty}}}\dfrac{\sin n}{n}\):\(\class{mathkuu}{\underline{-\dfrac{1}{n}}}\leqq \dfrac{\sin n}{n}\leqq \class{mathkuu}{\underline{\dfrac{1}{n}}}\) ではさんで \(0\)

(\(\dfrac{\sin ●}{●}\to 1\)の公式は\(●\to \class{mathkuu}{\underline{0}}\)のときのもの。ここは\(n\to {\color{red}{\infty}}\)なので使えない!)
② \(r>1\)のとき\(\displaystyle\lim_{n\to \infty}\dfrac{n}{r^n}\):\(r=1+h\ (h>0)\)とおくと,二項定理より \[r^n=(1+h)^n=1+nh+\dfrac{n(n-1)}{2}h^2+\cdots +h^n>\class{mathkuu}{\underline{\dfrac{n(n-1)}{2}h^2}}\quad (n\geqq 2)\] 右辺は展開の第3項だけを取り出したもの。全部は要らず,欲しい形が作れる項を1つ取り出せばよい。よって\(0<\dfrac{n}{r^n}<\dfrac{2}{(n-1)h^2}\)から\(0\)
③-1 \(\displaystyle\lim_{n\to \infty}\sqrt[n]{2^n+3^n}\):\(\class{mathkuu}{\underline{3^n}}<2^n+3^n<\class{mathkuu}{\underline{2\cdot 3^n}}\)より\(3<\sqrt[n]{2^n+3^n}<3\sqrt[n]{2}\).よって\(3\)

③-2 \(\displaystyle\lim_{n\to \infty}\dfrac{2^n}{n!}\):\(\dfrac{2^n}{n!}=\dfrac{2}{1}\cdot \dfrac{2}{2}\cdot \dfrac{2}{3}\cdots \dfrac{2}{n}\)で,3つ目以降の因数はすべて\(\dfrac{2}{3}\)以下だから \[0<\dfrac{2^n}{n!}\leqq \class{mathkuu}{\underline{2\left( \dfrac{2}{3}\right) ^{n-2}}}\quad (n\geqq 2)\] よって\(0\)。\(n!\)は\(2^n\)よりはるかに速く大きくなる,ということ。発散スピードの比較は Point2.4.5 参照。
【関数の極限で使う】

④ \(\displaystyle\lim_{x\to \infty}\dfrac{[x]}{x}\):\(\class{mathkuu}{\underline{x-1}}<[x]\leqq \class{mathkuu}{\underline{x}}\)(Point2.4.6)より\(1-\dfrac{1}{x}<\dfrac{[x]}{x}\leqq 1\).よって\(1\)
⑤ \(\displaystyle\lim_{x\to +0}\dfrac{\sin x}{x}\)(Point2.3.7):半径\(1\),中心角\(x\)の扇形OABと,Aにおける接線上に\(\angle\)OAT\(=90^\circ\)となる点Tをとる。\(\triangle\)OAB,扇形OAB,\(\triangle\)OATの面積を比べると \[\dfrac{1}{2}\sin x<\dfrac{1}{2}x<\dfrac{1}{2}\tan x\quad \text{すなわち}\quad \class{mathkuu}{\underline{\sin x}}<x<\class{mathkuu}{\underline{\tan x}}\] 各辺を\(\sin x\ (>0)\)で割って\(1<\dfrac{x}{\sin x}<\dfrac{1}{\cos x}\),逆数をとって \[\cos x<\dfrac{\sin x}{x}<1\] \(x\to +0\)のとき\(\cos x\to 1\)だから,はさみうちで\(1\)
【微積で使う】

⑥-1 \(\displaystyle\lim_{n\to \infty} n\{\log (n+1)-\log n\}\):\(f(b)-f(a)\)の形ときたら平均値の定理(Point2.4.2)。\(f(x)=\log x\)に用いると \[\class{mathkuu}{\underline{\dfrac{1}{n+1}}}<\log (n+1)-\log n<\class{mathkuu}{\underline{\dfrac{1}{n}}}\] 辺々\(n\)倍して\(\dfrac{n}{n+1}<n\{\log (n+1)-\log n\}<1\).よって\(1\)
⑥-2 \(\displaystyle\lim_{x\to \infty}\left( \sin\sqrt{x+1}-\sin\sqrt{x}\right)\):平均値の定理は不等式そのものを作るのにも使える。\(f(x)=\sin x\) に用いると,\(\sin a-\sin b=(\cos c)(a-b)\) となる\(c\)があるので,\(|\cos c|\leqq 1\) より \[|\sin a-\sin b|\leqq \class{mathkuu}{\underline{|a-b|}}\] これを\(a=\sqrt{x+1}\),\(b=\sqrt{x}\) に使って \[0\leqq \left|\sin\sqrt{x+1}-\sin\sqrt{x}\right|\leqq \sqrt{x+1}-\sqrt{x}=\dfrac{1}{\sqrt{x+1}+\sqrt{x}}\] 右辺\(\to 0\)だから,はさみうちで\(0\)
⑦-1 \(\displaystyle\lim_{n\to \infty} n\{\log (n+1)-\log n\}\)(⑥-1と同じ問題):\(\log (n+1)-\log n\)という\(f(b)-f(a)\)の形を見たら\(f(x)=\log x\)とおき,その導関数\(f'(x)=\dfrac{1}{x}\)のグラフを考える(\(\dfrac{1}{x}\)を天下り的に思いつくのではない!)。実際\(\log (n+1)-\log n=\displaystyle\int_{n}^{n+1}\dfrac{dx}{x}\)であり,\(y=\dfrac{1}{x}\)は減少するから,幅\(1\)の長方形ではさんで \[\class{mathkuu}{\underline{\dfrac{1}{n+1}}}<\displaystyle\int_{n}^{n+1}\dfrac{dx}{x}<\class{mathkuu}{\underline{\dfrac{1}{n}}}\] ⑥-1で平均値の定理から出したものとまったく同じ不等式。よって\(1\)(詳しくは Point4.3.5
⑦-2 \(\displaystyle\lim_{n\to \infty}\left( 1+\dfrac{1}{\sqrt{2}}+\cdots +\dfrac{1}{\sqrt{n}}\right)\):\(\dfrac{1}{\sqrt{k}}\)は幅\(1\),高さ\(\dfrac{1}{\sqrt{k}}\)の長方形の面積であり,\(y=\dfrac{1}{\sqrt{x}}\)は減少するから,区間\(k\leqq x\leqq k+1\)ではこの長方形が曲線の下側の部分を完全に覆う。つまり \[\dfrac{1}{\sqrt{k}}>\class{mathkuu}{\underline{\displaystyle\int_{k}^{k+1}\dfrac{dx}{\sqrt{x}}}}\] \(k=1\)から\(n\)まで加えると \[1+\dfrac{1}{\sqrt{2}}+\cdots +\dfrac{1}{\sqrt{n}}>\displaystyle\int_{1}^{n+1}\dfrac{dx}{\sqrt{x}}=2\left( \sqrt{n+1}-1\right)\] 右辺\(\to \infty\)だから,追い出しの原理で\(\infty\)。和を一気に評価できるのが面積評価の強み。
Point 3C 2.2.7 解ける漸化式の極限
漸化式で定まる数列の極限ときたら\(\cdots\cdots\)まず一般項\(a_n\)が求まるかを試す!

→求まるなら,\(a_n\)を求めてから極限計算するだけ。
※特性方程式が使える型(\(a_{n+1}=pa_n+q\))や,階差・置きかえで解ける型はここ。求まらないときが Point2.2.8
例題 \(a_1=2\),\(a_{n+1}=\dfrac{1}{2}a_n+3\) で定まる数列\(\{a_n\}\)の極限を求めよ。

\(\alpha =\dfrac{1}{2}\alpha +3\) を解くと\(\alpha =6\)。辺々引いて \[a_{n+1}-6=\dfrac{1}{2}\left( a_n-6\right)\] \(\{a_n-6\}\)は初項\(a_1-6=-4\),公比\(\class{mathkuu}{\underline{\dfrac{1}{2}}}\)の等比数列だから \[a_n=6-4\left( \dfrac{1}{2}\right) ^{n-1}\] \(\left|\dfrac{1}{2}\right|<1\) より \(\displaystyle\lim_{n\to \infty}a_n=\class{mathkuu}{\underline{6}}\)
Point 3C 2.2.8 【重要】解けない漸化式の極限 有名な流れ
(STEP 0 :極限値を予想する。\(\alpha\)に収束すると仮定して方程式\(\alpha = f(\alpha)\)を解き簡略的に求める。または\(y=x\)と\(y=f(x)\)のグラフを描いて調べる。)

STEP 1 :\(\left|a_{n+1}-\alpha\right| \leqq k\left|a_n-\alpha\right| \)    (\(\alpha\)は極限値,\(k\)は0から1の数)

(発展:平均値の定理利用)
STEP 2: \(0 \leqq\left|a_n-\alpha\right|\leqq k^{n-1}\left|a_1-\alpha\right|\)

→はさみうちへ。
例題 \(a_1=1\),\(a_{n+1}=\sqrt{a_n+2}\) で定まる数列\(\{a_n\}\)の極限を求めよ。

(STEP 0)\(\alpha =\sqrt{\alpha +2}\) を解くと\(\alpha =\class{mathkuu}{\underline{2}}\)と予想できる。
(STEP 1)\(a_n>0\)に注意して \[\left|a_{n+1}-2\right|=\left|\sqrt{a_n+2}-2\right|=\dfrac{\left|a_n-2\right|}{\sqrt{a_n+2}+2}<\class{mathkuu}{\underline{\dfrac{1}{3}}}\left|a_n-2\right|\] (分母は\(\sqrt{2}+2>3\)より大きいので,\(\dfrac{1}{3}\)より小さくなる。)
(STEP 2)これを繰り返し用いて \[0 \leqq\left|a_n-2\right|<\left( \dfrac{1}{3}\right) ^{n-1}\left|a_1-2\right|=\left( \dfrac{1}{3}\right) ^{n-1}\] 右辺\(\to 0\)だから,はさみうちの原理より\(\displaystyle\lim_{n\to \infty}\left|a_n-2\right|=0\).よって\(\displaystyle\lim_{n\to \infty}a_n=\class{mathkuu}{\underline{2}}\)
例題(発展:STEP 1を平均値の定理で作る) \(a_1=2\),\(a_{n+1}=\dfrac{1}{2}\left( a_n+\dfrac{2}{a_n}\right)\) で定まる数列\(\{a_n\}\)の極限を求めよ。

(STEP 0)\(\alpha =\dfrac{1}{2}\left( \alpha +\dfrac{2}{\alpha}\right)\) より \(\alpha ^2=2\),\(a_n>0\)だから \(\alpha =\class{mathkuu}{\underline{\sqrt{2}}}\) と予想。
(準備)相加相乗平均より,すべての\(n\)で \[a_{n+1}=\dfrac{1}{2}\left( a_n+\dfrac{2}{a_n}\right) \geqq \dfrac{1}{2}\cdot 2\sqrt{a_n\cdot \dfrac{2}{a_n}}=\sqrt{2}\] \(a_1=2\geqq \sqrt{2}\) とあわせて,つねに \(a_n\geqq \sqrt{2}\)

(\(○+\dfrac{1}{○}\)の形ときたら相加相乗:数学ⅡBC「相反式と相加相乗」
(STEP 1)\(f(x)=\dfrac{1}{2}\left( x+\dfrac{2}{x}\right)\) とおくと \(f'(x)=\dfrac{1}{2}\left( 1-\dfrac{2}{x^2}\right)\) で,\(x\geqq \sqrt{2}\) では \[0\leqq f'(x)<\dfrac{1}{2}\] ここで \(\left|a_{n+1}-\sqrt{2}\right|=\left|f(a_n)-f(\sqrt{2})\right|\) は\(f(b)-f(a)\)の形この形が見えたら平均値の定理である。

(発想は Point2.2.6 の⑥,および Point2.4.2
\(a_n>\sqrt{2}\) のとき,区間\([\sqrt{2},\ a_n]\)で平均値の定理(Point3.2.8)を用いると,\(\sqrt{2}<c<a_n\) なる\(c\)があって \[\left|a_{n+1}-\sqrt{2}\right|=\left|f(a_n)-f(\sqrt{2})\right|=\left|f'(c)\right|\left|a_n-\sqrt{2}\right|\leqq \class{mathkuu}{\underline{\dfrac{1}{2}}}\left|a_n-\sqrt{2}\right|\] (\(a_n=\sqrt{2}\)のときは両辺\(0\)で成立。)
(STEP 2)繰り返し用いて \[0\leqq \left|a_n-\sqrt{2}\right|\leqq \left( \dfrac{1}{2}\right) ^{n-1}\left|a_1-\sqrt{2}\right|=\left( 2-\sqrt{2}\right) \left( \dfrac{1}{2}\right) ^{n-1}\] 右辺\(\to 0\)より,\(\displaystyle\lim_{n\to \infty}a_n=\class{mathkuu}{\underline{\sqrt{2}}}\)
ここがポイント:\(\left|a_{n+1}-\alpha\right|\)を因数分解で直接評価するのが難しいとき,\(a_{n+1}=f(a_n)\),\(\alpha =f(\alpha)\) と見て平均値の定理を使えば,\(\left|f'\right|\)の最大値\(k\)を押さえるだけでSTEP 1が作れる。そのために先に\(a_n\)の存在範囲を示しておく(この問題では相加相乗)のが定石。
Point 3C 2.2.9 混ざった数列
奇数番目と偶数番目でそれぞれ別の規則にしたがう数列の無限級数ときたら\(\cdots\cdots\)
\(\Longrightarrow\) 部分和 \(\class{mathkuu}{\underline{S_{2n-1}}}\) と \(\class{mathkuu}{\underline{S_{2n}}}\) をそれぞれ求めて比べよ!
・2つが同じ値に収束するなら,もとの無限級数もその値に収束

・2つの極限が一致しないなら,もとの無限級数は発散
※項を勝手に2つずつ組にしてはいけない(Point2.1.11)。あくまで部分和の極限で考える。
例題 無限級数 \(\dfrac{1}{2}+\dfrac{1}{3}+\dfrac{1}{2^2}+\dfrac{1}{3^2}+\dfrac{1}{2^3}+\dfrac{1}{3^3}+\cdots\) の和を求めよ。

第\(2n\)項までの部分和は,2つの等比数列の和に分かれて \[S_{2n}=\left( \dfrac{1}{2}+\cdots +\dfrac{1}{2^n}\right) +\left( \dfrac{1}{3}+\cdots +\dfrac{1}{3^n}\right) =\left( 1-\dfrac{1}{2^n}\right) +\dfrac{1}{2}\left( 1-\dfrac{1}{3^n}\right)\] よって \(\displaystyle\lim_{n\to \infty}S_{2n}=\class{mathkuu}{\underline{\dfrac{3}{2}}}\)。また \(S_{2n-1}=S_{2n}-\dfrac{1}{3^n}\) だから \(\displaystyle\lim_{n\to \infty}S_{2n-1}=\class{mathkuu}{\underline{\dfrac{3}{2}}}\)。

2つが一致するので,求める和は \(\dfrac{3}{2}\)
※もし \(\displaystyle\lim S_{2n}\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} \displaystyle\lim S_{2n-1}\) なら発散。例えば \(1-1+1-1+\cdots\) は \(S_{2n}=0\),\(S_{2n-1}=1\) で一致せず振動する。
Point 3C 2.2.10 確率漸化式の極限
(初手または最後の手で場合分けをし,)\(n\)番目と\(n+1\)番目の推移図をかけ!

→漸化式立式して極限求める。
※推移図とは,\(n\)回目の各状態から,\(n+1\)回目のどの状態へ,どの確率で移るかを樹形図の形に書き出したもの。状態の取りこぼしを防げるうえ,そのまま漸化式になる。
例題 正三角形ABCの頂点上を動く点Pがあり,1回の操作で他の2頂点のいずれかへ等確率\(\dfrac{1}{2}\)で移動する。Pは最初Aにある。\(n\)回の操作後にPがAにある確率を\(p_n\)とするとき,\(\displaystyle\lim_{n\to \infty}p_n\) を求めよ。

\(n\)回目と\(n+1\)回目の推移図をかくと

\(n\)回後 \(n+1\)回後
Aにいる(確率\(p_n\)) \(\xrightarrow{\ 1\ }\) A以外
A以外(確率\(1-p_n\)) \(\xrightarrow{\ \frac{1}{2}\ }\) A
\(\xrightarrow{\ \frac{1}{2}\ }\) A以外
Aにいる状態からは必ずA以外へ移るので,\(n+1\)回後にAにいるのは\(n\)回後にA以外にいた場合のみ。よって \[p_{n+1}=\class{mathkuu}{\underline{\dfrac{1}{2}\left( 1-p_n\right)}}\] \(\alpha =\dfrac{1}{2}(1-\alpha)\) より \(\alpha =\dfrac{1}{3}\) と予想でき,\(p_{n+1}-\dfrac{1}{3}=-\dfrac{1}{2}\left( p_n-\dfrac{1}{3}\right)\)。\(p_0=1\) より \[p_n=\dfrac{1}{3}+\dfrac{2}{3}\left( -\dfrac{1}{2}\right) ^n\] \(\left|-\dfrac{1}{2}\right|<1\) だから \(\displaystyle\lim_{n\to \infty}p_n=\class{mathkuu}{\underline{\dfrac{1}{3}}}\)
※3頂点は対等だから,十分時間が経てばどこにいるかは同様に確からしくなる。\(\dfrac{1}{3}\)という答えは感覚とも合う
Point 3C 2.2.11 図形列の極限
\(n\)番目と\(n+1\)番目の図形に注目せよ!→漸化式立式して極限求める。
※図形全体を\(n\)番目・\(n+1\)番目と追うのではなく,1辺の長さや面積が何倍になるかという相似比に注目すると,たいてい等比数列の漸化式になる。
例題 1辺の長さ\(a\)の正三角形を\(T_1\)とする。\(T_n\)の各辺の中点を結んでできる正三角形を\(T_{n+1}\)とし,\(T_n\)の面積を\(S_n\)とする。\(\displaystyle\lim_{n\to \infty}S_n\) と \(\displaystyle\sum\limits_{n=1}^{\infty}S_n\) を求めよ。

中点を結んでできる正三角形の1辺は元の\(\dfrac{1}{2}\)倍だから,相似比\(1:\dfrac{1}{2}\),面積比は\(1:\class{mathkuu}{\underline{\dfrac{1}{4}}}\)。よって \[S_{n+1}=\dfrac{1}{4}S_n\quad ,\quad S_1=\dfrac{\sqrt{3}}{4}a^2\] \(\{S_n\}\)は公比\(\dfrac{1}{4}\)の等比数列だから \(S_n=\dfrac{\sqrt{3}}{4}a^2\left( \dfrac{1}{4}\right) ^{n-1}\) で,\(\displaystyle\lim_{n\to \infty}S_n=\class{mathkuu}{\underline{0}}\)。

また公比が\(\left|\dfrac{1}{4}\right|<1\)より無限等比級数は収束して \[\displaystyle\sum\limits_{n=1}^{\infty}S_n=\dfrac{S_1}{1-\dfrac{1}{4}}=\class{mathkuu}{\underline{\dfrac{\sqrt{3}}{3}a^2}}\]

関数の極限

Point 3C 2.3.1 関数の極限
一般に,関数\(f(x)\)において,変数\(x\)が\(a\)と異なる値をとりながら\(a\)に限りなく近づくとき,\(f(x)\)が一定の値\(\alpha\)に限りなく近づくことを,次のように表す。 \[ % \lim_{x\to a}f(x)=\alpha\qquad \text{または,}\qquad x\to a\boldsymbol{のとき}\quad f(x)\to \alpha \] このとき,値\(\alpha\)を,\(x\to a\)のときの\(f(x)\)の極限値または極限という。

また,このことを,\(x\to a\)のとき\(f(x)\)は\(\alpha\)に収束する,または\(f(x)\)の極限は\(\alpha\)であるという。

※有限の値に収束せず,正or負の無限大にも発散しないとき,関数の極限においては振動とは言わず,単に極限は存在しないという。
Point 3C 2.3.2 極限値の性質
\(\displaystyle\lim_{x\to a}f(x)=\alpha\),\(\displaystyle\lim_{x\to a}g(x)=\beta\)のとき,

(i) \({\displaystyle\lim_{x\to a}kf(x)=\class{mathkuu}{\underline{k\alpha}}}\)  ただし,\(k\)は定数

(ii) \({\displaystyle\lim_{x\to a}\{f(x)+g(x)\}=\class{mathkuu}{\underline{\alpha+\beta}}}\),  \({\displaystyle\lim_{x\to a}\{f(x)-g(x)\}=\class{mathkuu}{\underline{\alpha-\beta}}}\) ((i),(ii):線形性)

(iii) \({\displaystyle\lim_{x\to a}f(x)g(x)=\class{mathkuu}{\underline{\alpha\beta}}}\), \({\displaystyle\lim_{x\to a}\dfrac{f(x)}{g(x)}=\class{mathkuu}{\underline{\dfrac{\alpha}{\beta}}}}\)  ただし,\(\beta\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} 0\)
※多項式・分数関数・無理関数・三角関数・指数関数・対数関数は,\(a\)が定義域に属していれば \[\displaystyle\lim_{x\to a}f(x)=\class{mathkuu}{\underline{f(a)}}\] つまりまずは代入してみるのが出発点。代入して不定形になったときだけ,以降のテクニックが要る。
Point 3C 2.3.3 極限が有限でない場合
\(x\to a\)のとき\(f(x)\)が限りなく大きくなるならば,\(f(x)\)は正の無限大に発散するといい \[\displaystyle\lim_{x\to a}f(x)=\class{mathkuu}{\underline{\infty}}\] と書く。負で絶対値が限りなく大きくなるときは負の無限大に発散するといい,\(\displaystyle\lim_{x\to a}f(x)=-\infty\) と書く。
ex.) \(\displaystyle\lim_{x\to 0}\dfrac{1}{x^2}=\class{mathkuu}{\underline{\infty}}\),  \(\displaystyle\lim_{x\to 0}\left( -\dfrac{1}{x^2}\right) =\class{mathkuu}{\underline{-\infty}}\)
※数列のときと同じく\(\infty\)は数ではない。「極限は\(\infty\)である」とはいうが,極限値はない

※\(\displaystyle\lim_{x\to 0}\dfrac{1}{x}\) のように,左右で\(+\infty\)と\(-\infty\)に分かれるものは,\(\infty\)にも\(-\infty\)にもならない。この判断には次の片側極限(Point2.3.4)が要る。
Point 3C 2.3.4 片側極限
一般に,「\(\displaystyle\lim_{x\to a}f(x)\)が存在する」とは,「\(\displaystyle\lim_{x\to a+0}f(x)\)\(\displaystyle\lim_{x\to a-0}f(x)\)の両方が存在して,それらが一致する」ことである。

\(\displaystyle\lim_{x\to a+0}f(x)=\displaystyle\lim_{x\to a-0}f(x)=\alpha\) のとき,\(\displaystyle\lim_{x\to a}f(x)=\class{mathkuu}{\underline{\alpha}}\)

また,

\(\displaystyle\lim_{x\to a+0}f(x)\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} \displaystyle\lim_{x\to a-0}f(x)\) のとき,\(\displaystyle\lim_{x\to a}f(x)\)は,存在しない
ex.) \(f(x)=\dfrac{x^2+x}{|x|}\) は,\(x>0\)のとき\(x+1\),\(x<0\)のとき\(-x-1\)。よって \[\displaystyle\lim_{x\to +0}f(x)=1,\qquad \displaystyle\lim_{x\to -0}f(x)=-1\] 一致しないので,\(\displaystyle\lim_{x\to 0}f(x)\)は存在しない。
Point 3C 2.3.5 指数・対数関数の極限
1  \(a>1\)のとき, \(\displaystyle\lim_{x\to \infty}a^{x}=\class{mathkuu}{\underline{\infty}}\),   \(\displaystyle\lim_{x\to -\infty}a^{x}=\class{mathkuu}{\underline{0}}\)
2 \(0<a<1\)のとき, \(\displaystyle\lim_{x\to \infty}a^{x}=\class{mathkuu}{\underline{0}}\), \(\displaystyle\lim_{x\to -\infty}a^{x}=\class{mathkuu}{\underline{\infty}}\)
3 \(a>1\)のとき, \(\displaystyle\lim_{x\to \infty}\log_{a}x=\class{mathkuu}{\underline{\infty}}\), \(\displaystyle\lim_{x\to \class{mathkuu}{\underline{+0}}}\log_{a}x=-\infty\)
4 \(0<a<1\)のとき, \(\displaystyle\lim_{x\to \infty}\log_{a}x=\class{mathkuu}{\underline{-\infty}}\), \(\displaystyle\lim_{x\to \class{mathkuu}{\underline{+0}}}\log_{a}x=\infty\)
Point 3C 2.3.6 関数の極限と大小関係
\(\displaystyle\lim_{x\to a}f(x)=\alpha\),\(\displaystyle\lim_{x\to a}g(x)=\beta\)のとき,

(i) \(x\)が\(a\)に近い十分小さな区間で常に\(f(x)\leqq g(x)\)ならば,\(\alpha \leqq \beta\)

注:\(f(x)< g(x)\)の場合でも,\(\alpha \leqq \beta\)

(ii) \(x\)が\(a\)に近い十分小さな区間で常に\(f(x)\leqq h(x)\leqq g(x)\)かつ\(\alpha = \beta\)ならば,

\({\displaystyle\lim_{x\to a}h(x)=\class{mathkuu}{\underline{\alpha}}} \qquad(\)はさみうちの原理\()\)

注:(ii)は,\(f(x)< h(x)< g(x)\)かつ\(\alpha = \beta\)でも成り立つ。

(iii) \(\displaystyle\lim_{x\to a}f(x)=\infty\)のとき, \(x\)が\(a\)に近い十分小さな区間で常に\(f(x)\leqq g(x)\)ならば,

\(\displaystyle\lim_{x\to \infty}g(x)=\class{mathkuu}{\underline{\infty}} \quad (\)追い出しの原理\()\)

※(ii) から一般に,次のことが成り立つ。\[\displaystyle\lim_{x\to a}|f(x)|=0 \Longleftrightarrow \displaystyle\lim_{x\to a}f(x)=\class{mathkuu}{\underline{0}}\] ※(i)(ii)(iii)は\(x\to a\)だけでなく,\(x\to \pm \infty\)なども成り立つ。

(挟むための不等式の作り方は Point2.2.6 にまとめてある)
Point 3C 2.3.7 三角関数と極限
\[\displaystyle\lim_{x\to \class{mathkuu}{\underline{0}}}\dfrac{\sin{x}}{x}=\class{mathkuu}{\underline{1}}\] ※証明は中心角の十分小さな扇形の面積評価ではさみうち利用。(弧度法のときのみ成立)

※図形的には,\(\dfrac{\sin{x}}{x}=\dfrac{\sin{x}-\sin{0}}{x-0}\)より,\(y=\class{mathkuu}{\underline{\sin x}}\)のグラフの原点付近の接線の傾きを表す。
三角関数の極限ときたら\(\cdots\cdots\)(まずはそのまま代入してみた上で)

三角を含む極限公式はこれくらいしかないので,原則\(\dfrac{\sin{●}}{●}\)or \(\dfrac{●}{\sin{●}}\)の形を作りにかかる!

(ただし,\(●\to\)\(0\)であることに注意。\(●\to \infty\)で適用してしまうのはよくあるミス)

また,\(x\to 0\)のとき,\(2x\to 0\)であるから,\(\displaystyle\lim_{x\to 0}\dfrac{\sin{2x}}{2x}=\class{mathkuu}{\underline{1}}\)なども可であるが,

●は2つとも必ず同じものすることに留意。

【重要】三角絡みの極限問題で公式利用無理なら,次ははさみうちの原理追い出しの原理の利用を考える!

その際は,三角関数固有の不等式,\(0\leqq |\sin x| \leqq 1\)や,\(0\leqq |\cos x| \leqq 1\)を用いることが多い。
Point 3C 2.3.8 関数の連続性
関数\(f(x)\)が\(x=a\)で連続である\(\iff \class{mathkuu}{\underline{\displaystyle\lim_{x\to a}f(x)=f(a)}}\)が成り立つ
※区間の端では,片側極限についてのみ考える。
Point 3C 2.3.9 連続関数
定義域内のすべての\(x\)で連続である関数を,連続関数という。したがって,\(y=\dfrac{1}{x}\)や\(y=\tan x\)はすべての実数\(x\)で連続ではないが,連続関数という扱いになるので注意。
Point 3C 2.3.10 連続関数の性質
\(k,\ l\)は定数とする。関数の極限値の性質より,関数\(f(x)\),\(g(x)\)が\(x=a\)で連続であるならば (i) \(kf(x)+lg(x)\)  (ii) \(f(x)g(x)\)  (iii) \(\dfrac{f(x)}{g(x)}\quad (\class{mathkuu}{\underline{g(x)\mathrel{\bcancel{\mkern-8mu=\mkern-8mu}} 0}})\) も連続である。
Point 3C 2.3.11 最大値・最小値の原理
区間で連続な関数は,その区間で最大値および最小値をもつ。

区間で連続な関数は,その区間で最大値や最小値をもつとは限らない。
ex.) \(y=\cos x\ (0<x<2\pi)\) は,\(x=\pi\)で最小値\(-1\)をもつが,最大値はもたない。\(x\to +0\),\(x\to 2\pi -0\) で\(1\)に近づくものの,端点が区間に入っていないため\(1\)に到達しない
Point 3C 2.3.12 中間値の定理
関数\(f(x)\)が区間\([a,\ b]\)で連続であるとき,\(f(a)\)と\(f(b)\)の間の任意の値\(k\)に対して, \[ \class{mathkuu}{\underline{f(c)=k}},\quad \class{mathkuu}{\underline{a\leqq c\leqq b}} \] となる実数\(c\)が(少なくとも一つ)存在する。

中間値定理
※後出の平均値の定理と混同しがちだが,難しく考えないように。簡単に言えば,下図で2点A, Bを結ぼうと思ったら必ず中間にある\(y=k\)と交わらざるを得ないということ。
Point 3C 2.3.13 ★中間値の定理の特殊な場合の利用
関数\(f(x)\)が区間\([a,\ b]\)で連続で,\(f(a)\cdot f(b)<0\)が成り立つとき, \[ 方程式\class{mathkuu}{\underline{f(x)=0}}の解が\class{mathkuu}{\underline{a<x<b}}の範囲に少なくとも一つ存在する。 \]
中間値特殊
※\(f(a)\cdot f(b)<0\)とはすなわち,\(f(a)\)と\(f(b)\)が異符号。
【落とし穴】\(f(x)=\dfrac{x+1}{x-1}\) は \(f(0)=-1<0\),\(f(2)=3>0\) だが,\(0<x<2\) に方程式\(f(x)=0\)の解はない。\(x=1\)で連続でないからである。異符号だけを見て飛びつかず,連続の確認を必ずセットで

方針立ての重要ポイント

Point 3C 2.4.1 \(x\to -\infty\)のときの\(\sqrt{ }\)の極限
\(x\to -\infty\)のとき,特に\(\sqrt{ }\)の極限などは・・・すぐに\(t\to \class{mathkuu}{\underline{+\infty}}\)に直す!
※\(x<0\)のままだと \(\sqrt{x^2}=\class{mathkuu}{\underline{|x|=-x}}\) の処理をうっかり \(x\) としてしまいがち。\(x=-t\) とおいて\(t>0\)の状況に直してしまえば,そのミスが起きない。
例題 \(\displaystyle\lim_{x\to -\infty}\left( \sqrt{x^2+3x}+x\right)\) を求めよ。

\(x=-t\) とおくと,\(x\to -\infty\) のとき \(t\to \class{mathkuu}{\underline{+\infty}}\) で \[\sqrt{x^2+3x}+x=\sqrt{t^2-3t}-t=\dfrac{\left( t^2-3t\right) -t^2}{\sqrt{t^2-3t}+t}=\dfrac{-3t}{\sqrt{t^2-3t}+t}\] 分母・分子を\(t\ (>0)\)で割って \[\dfrac{-3}{\sqrt{1-\dfrac{3}{t}}+1}\ \to\ \class{mathkuu}{\underline{-\dfrac{3}{2}}}\]
Point 3C 2.4.2 \(f(b)-f(a)\)ときたら\(f'\)を疑え!
平均変化率\(\dfrac{f(b) - f(a)}{b - a}\)や,\(f(b) - f(a)\)のような形を含む極限・不等式ときたら\(\cdots\cdots\)

\(\to\) 主役は\(f\)ではなく導関数\(f'\)。\(f'\)に持ち込む道は次の3つ。
微分係数の定義 \(\displaystyle\lim_{h\to 0}\dfrac{f(a+h)-f(a)}{h}=f'(a)\) \(\cdots\) 差が\(0\)に近づくとき専用

平均値の定理 \(f(b)-f(a)=f'(c)(b-a)\ (a<c<b)\) \(\cdots\) \(a,\ b\)が離れていてよい(Point3.2.8

面積評価 \(f(b)-f(a)=\displaystyle\int_{a}^{b}f'(x)\,dx\) \(\cdots\) \(\Sigma\)(和)の評価に強い(Point4.3.5
※②と③は同じことの裏表(Point4.3.5)。①だけは\(b\to a\)の極限でしか使えない。

※ただし,その手前に素朴に変形できないか(\(\sqrt{k+1}-\sqrt{k}\)を有理化する等)を必ず先に見ること。また数列なら,\(\displaystyle\sum \{f(k+1)-f(k)\}=f(n+1)-f(1)\) と中抜きする道もある。

※極限だけでなく不等式の証明でも同じ発想が効く(Point4.3.4)。

(具体例は Point2.2.6 の⑥)
※①は,微分係数の定義を右から左に使う,ということ。
例題 次の極限を求めよ。  (1) \(\displaystyle\lim_{h\to 0}\dfrac{\log (1+h)}{h}\)   (2) \(\displaystyle\lim_{n\to \infty}n\left( \sqrt[3]{1+\dfrac{1}{n}}-1\right)\)

(1) \(f(x)=\log x\) とおくと \(f(1)=0\) だから \[\dfrac{\log (1+h)}{h}=\dfrac{f(1+h)-f(1)}{h}\ \xrightarrow{\ h\to 0\ }\ f'(1)\] \(f'(x)=\dfrac{1}{x}\) より,求める極限は \(\class{mathkuu}{\underline{1}}\)
(2) \(\dfrac{1}{n}=h\) とおくと \(n\to \infty\) のとき \(h\to 0\) で,\(f(x)=\sqrt[3]{x}\) とおけば \[n\left( \sqrt[3]{1+\dfrac{1}{n}}-1\right) =\dfrac{f(1+h)-f(1)}{h}\ \to\ f'(1)\] \(f'(x)=\dfrac{1}{3}x^{-\frac{2}{3}}\) より,求める極限は \(\class{mathkuu}{\underline{\dfrac{1}{3}}}\)
Point 3C 2.4.3 【重要】極限値をもつ条件
「\(\displaystyle\lim_{x\to a} \dfrac{f(x)}{g(x)}\)が極限値をもつ」かつ「\(\displaystyle\lim_{x\to a} \class{mathkuu}{\underline{g(x)}}=\class{mathkuu}{\underline{0}}\)」
\(\Longrightarrow\) \(\displaystyle\lim_{x\to a} \class{mathkuu}{\underline{f(x)}}=\class{mathkuu}{\underline{0}}\)
※一般的に逆は成り立たない。

※要するに,「有限の値に収束する可能性があるとすれば\(\dfrac{0}{0}\)不定形しかない」という定理。

※同様の考え方で,「\(\infty -\infty\)不定形にするしかない」といった問題も。
Point 3C 2.4.4 【重要】不定形まとめ(7つ)
以下に頻出の4つに3つを加えた,計7つの不定形をまとめておく。これらが不定形であることを認識しておくと安心。※⑤は\(e\)の定義のところで登場する。 \[①\ \class{mathkuu}{\underline{\infty - \infty}} , ②\ \class{mathkuu}{\underline{\dfrac{\infty}{\infty}}}, ③\ \class{mathkuu}{\underline{\infty \times 0}}, ④\ \class{mathkuu}{\underline{\dfrac{0}{0}}}\] \[⑤\ \class{mathkuu}{\underline{1^\infty}} , ⑥\ \infty ^0, ⑦\ 0^0\]
Point 3C 2.4.5 【重要】発散スピード一覧
\(x\to \infty\)のとき,下図において,右の関数ほど発散するスピードが速い。 \[\log_a x \quad <\quad x^r \quad <\quad a^x\quad <\quad x!\quad <\quad x^x\] 少なくとも,(対数)\(<\)(累乗)\(<\)(指数)のイメージはグラフも想像しながら認識しておこう!例として,不定形だが0に収束することがよく用いられるものを3つ挙げる。
ex.) \[\lim_{x\to\infty}\dfrac{x}{e^x}=0,\qquad \lim_{x\to\infty}\dfrac{\log x}{x}=0,\qquad \lim_{x\to +0}x\log x=0\] (3つ目は,2つ目の式で\(x\)を\(\dfrac{1}{x}\)に置きかえたもの)
Point 3C 2.4.6 ガウス記号
「ガウス記号絡みの求まらない極限」ときたら\(\cdots\cdots\)下の不等式ではさめ! \[\hspace{8mm} \class{mathkuu}{\underline{●-1<[●]\leqq ●}}\ \cdots\cdots ①\]
この不等式がなかなか覚えられない方は多いと思う。\([●]\)とは,「●を超えない最大の整数」という意味であるから,\([●]\leqq ●<[●]+1\)は比較的理解しやすい(ex. \(●=5.5\))ので,この式から①式を作ることを考える。この式の左側の不等式が①式の右側の不等式であり,またこの式の右側の不等式において両辺\(-1\)したものが①式の左側の不等式,と導出すればよい。
Point 3C 2.4.7 三角関数に関する頻出近似 〜 \(\sin\) ,\(\tan\) 〜
\(|x|\)が十分小さい時, \[\sin x \fallingdotseq \class{mathkuu}{\underline{x}} \fallingdotseq \tan x\] ※\(y=\sin x\),\(y=\tan x\)のグラフは,\(x=0\)付近で\(y=x\)のグラフとほとんど同じになる。

※ゆえに,\(\displaystyle\lim_{x\to \class{mathkuu}{\underline{0}}}\dfrac{\tan{x}}{x}=\class{mathkuu}{\underline{1}}\)も成り立つ。
Point 3C 2.4.8 三角関数に関する頻出近似 〜 \(\cos\) 〜
\(\displaystyle\lim_{x\to 0}\dfrac{\sin{x}}{x}=1\),もしくは半角の公式から\(\cos\)に関する以下の公式が導かれる。 \[\displaystyle\lim_{x\to 0}\class{mathkuu}{\underline{\dfrac{1-\cos{x}}{x^2}}}=\class{mathkuu}{\underline{\dfrac{1}{2}}}\] ※分母分子に\((1+\cos{x})\)をかけて有理化のようなことをすればすぐに示せるので覚えなくてもよい。\(\cos\)に関する極限があることを認識しておく方が大事。

この章の振り返り

いかがでしたでしょうか.極限は,数Ⅲの計算をすべて支える土台であり,同時に答えが出ない形をどう解消するかという技術の章でした.

不定形の解消がこの章の主題でした.\(\dfrac{0}{0}\)や\(\dfrac{\infty}{\infty}\),\(\infty-\infty\)といった形は,そのままでは値が決まりません.だから形を変える.分母分子を最高次の項で割る,共通因数を約分する,ルートがあれば有理化する.どの不定形にどの操作が対応するのかを整理して並べたのが,不定形の解消のPointたちです.ここは知っている操作の数がそのまま解ける問題の数になります.

直接求められないときの逃げ道として用意したのが,はさみうちの原理と追い出しの原理でした.求めたい数列そのものを評価できなくても,上下から挟める別の数列を作れれば極限が決まる.これは正面から計算しないという発想で,数Ⅲでは何度も使います.

無限級数では,有限の和で通用していた操作が通らなくなる場面がありました.途中でカッコをつけてはいけない,というのがその代表です.有限個なら足す順番を変えても結果は同じですが,無限個ではそうならないことがある.無限級数の収束と発散のところで同値性の崩れとして扱ったのも同じ話です.\(\lim a_n=0\)は収束の必要条件であって十分条件ではない,という区別は確実に押さえておきたいところです.

無限等比数列や無限等比級数の収束条件は,公比の絶対値が\(1\)より小さいかどうかで決まりました.頻出問題として扱った\(ar^{n-1}\)の収束条件では,\(a=0\)の場合を忘れないという細かい注意も必要でした.極限は,こうした場合分けの抜けが失点に直結する単元です.