問題1.1.2b
次の数列$\{ a_n \}$は有界で単調増加であることを示し、極限を求めよ。
(2)$a_1=1、a_{n+1}=\dfrac{3a_n+4}{2a_n+3}$
《ポイント》
この数列の一般項を求めてはいけません。普通は泥沼に嵌ります・・・。まずは隣接2項間の差を考えます。
それでもなお、どうしても一般項を求めたい人は以下のような方針を取りましょう(でもあまりオススメしません)。
分数型の漸化式を扱うとき、例えば、$$a_{n+1}=\dfrac{a_n}{3a_n+2}$$などであれば、両辺の逆数を取る方法が有効ですが、本問のように$$a_{n+1}=\dfrac{3a_n+4}{2a_n+3}$$と、逆数を取っても上手くいかない漸化式の場合は特殊な式変形を行います。
数列$\{a_n\}$ の極限値を$\alpha$とすると、$\alpha=\dfrac{3\alpha+4}{2\alpha+3}$ が成り立ちます。これを解くと、$\alpha=\pm\sqrt{2}$ を得ますが、実際には$a_n$は正なので、$\alpha=\sqrt{2}$ に限られます。あとは前問と同様に極限値との差 $a_n-\alpha$ を考えていきます。
《 解答例 ~隣接2項間の差に注目する解法~ 》
$$a_{n+1}=\dfrac{3a_n+4}{2a_n+3}=\dfrac{3}{2}-\dfrac{1}{2}\left(\dfrac{1}{2a_n+3}\right)$$と変形できるから、$a_{n+1}<\dfrac{3}{2}$ である。また、漸化式の形から $a_{n+1}>0$ であるから、$0<a_{n+1}<\dfrac{3}{2}$ が言える。$0<a_1=1<\dfrac{3}{2}$ より、帰納的にすべての自然数$n$について $0<a_n<\dfrac{3}{2}$ が成立する。故に数列$\{a_n\}$は有界である。
また、$$ \ \ \ \ \begin{align} a_{n+1}-a_n &= \dfrac{3a_n+4}{2a_n+3}-\dfrac{3a_{n-1}+4}{2a_{n-1}+3} \\ &= \dfrac{1}{(2a_n+3)(2a_{n-1}+3)}(a_n-a_{n-1}) \end{align}$$
となる。$a_2-a_1=\dfrac{7}{5}-1=\dfrac{2}{5}>0$であるから、帰納的に$a_n-a_{n-1}>0$ が言える。
故に数列$\{a_n\}$は単調増加である。
以上より、数列$\{a_n\}$は有界な単調増加数列であるから収束する。
数列$\{a_n\}$の極限値を$\alpha$として $\alpha=\dfrac{3\alpha+4}{2\alpha+3}$ を解くと、$\alpha=\pm\sqrt{2}$を得るが、$a_{n}>0$より$\alpha>0$であるから、極限値は
$$\sqrt{2} \ \ \cdots \cdots \text{(答)}$$
と求められる。
《解答例(別解)~逆数を取れるように式変形する解法~》
$$\begin{align} a_{n+1}-\sqrt{2} &= \dfrac{3a_n+4}{2a_n+3}-\sqrt{2} \\ \therefore a_{n+1} -\sqrt{2} &=\dfrac{(3-\sqrt{2})a_n-(3\sqrt{2}-4)}{2a_n+3} \end{align}$$と変形できる。両辺の逆数を取ると、
$$\dfrac{1}{a_{n+1}-\sqrt{2}}=\dfrac{2a_n+3}{(3-\sqrt{2})a_n-(3\sqrt{2}-4)}$$
となる。ここで
$$\begin{align} \text{(右辺)} &= \dfrac{\dfrac{2}{3-\sqrt{2}}a_n+\dfrac{3}{3-\sqrt{2}}}{a_n-\dfrac{3\sqrt{2}-4}{3-\sqrt{2}}} \\ & \\ &= \dfrac{(6+4\sqrt{2})a_n+(9+6\sqrt{2})}{a_n-\sqrt{2}} \\ & \\ &= 6+4\sqrt{2}+\dfrac{17+12\sqrt{2}}{a_n-\sqrt{2}} \end{align}$$
であるから、$b_n=\dfrac{1}{a_{n}-\sqrt{2}}$と置けば、$$b_{n+1}=(17+12\sqrt{2})b_n+(6+4\sqrt{2})$$と表せる。
この隣接2項間漸化式を解いて、$$b_n=-\dfrac{(4+3\sqrt{2})(17+12\sqrt{2})^{n-1}+\sqrt{2}}{4}$$を得る。
これより、
$$a_n=\sqrt{2}-\dfrac{4}{(4+3\sqrt{2})(17+12\sqrt{2})^{n-1}+\sqrt{2}}$$
と求められる(これは$n=1$でも成立している)。
この一般項の式より、数列$\{a_n\}$は有界な単調増加数列であることが示され、極限値は明らかに$$\sqrt{2} \ \ \cdots \cdots \text{(答)}$$である。
《コメント》
正攻法は当然、本解の方ですが、別解のように逆数パターンで解答できないこともありません。しかし別解の解法の場合は見た目以上に煩雑な計算が待っています。もし試験でこのタイプの問題が出ても、計算ミスなどのリスクをできるだけ避けたいので逆数パターンは最終手段と考えるべきでしょう。
復習例題1.1.2b
次の数列$\{ a_n \}$は有界で単調増加であることを示し、極限を求めよ。
(2)$a_1=1、a_{n+1}=\dfrac{3a_n+2}{a_n+3}$