数式で独楽する

数式を使って楽しむブログです

[tex: ]

2002年後期 京大 理系 第5問 その2

数列 \{ a_n \} , \ \{ b_n\} a_1 = 3, \ b_1 = 2
\begin{equation}
a_{n +1} = {a_n}^2 +2{b_n}^2, \ \ b_{n +1} = 2a_n b_n \quad (n \geqq 1)
\end{equation}で定める。

(1)  {a_n}^2 -2{b_n}^2を求めよ。

(2)  \displaystyle \lim_{n \to \infty} \frac{a_n}{b_n}を求めよ。

小問(2)の解答例

小問(1)の途中経過
\begin{eqnarray}
a_n +\sqrt{2} \, b_n &=& \left( 3 +2\sqrt{2} \right)^{2(n -1)} \\
a_n -\sqrt{2} \, b_n &=& \left( 3 -2\sqrt{2} \right)^{2(n -1)}
\end{eqnarray}より、
\begin{eqnarray}
a_n &=& \frac{1}{2} \left \{ \left( 3 +2\sqrt{2} \right)^{2(n -1)} +\left( 3 -2\sqrt{2} \right)^{2(n -1)} \right \} \\
b_n &=& \frac{1}{2\sqrt{2}} \left \{ \left( 3 +2\sqrt{2} \right)^{2(n -1)} -\left( 3 -2\sqrt{2} \right)^{2(n -1)} \right \}
\end{eqnarray}となります。

したがって、
\begin{eqnarray}
\frac{a_n}{b_n} &=& \frac{2\sqrt{2}}{2} \frac{\left( 3 +2\sqrt{2} \right)^{2(n -1)} +\left( 3 -2\sqrt{2} \right)^{2(n -1)}}{\left( 3 +2\sqrt{2} \right)^{2(n -1)} -\left( 3 -2\sqrt{2} \right)^{2(n -1)}} \\
&=& \sqrt{2} \cdot \cfrac{\ 1 +\cfrac{\left( 3 -2\sqrt{2} \right)^{2(n -1)}}{\left( 3 +2\sqrt{2} \right)^{2(n -1)}} \ }{1 -\cfrac{\left( 3 -2\sqrt{2} \right)^{2(n -1)}}{\left( 3 +2\sqrt{2} \right)^{2(n -1)}}}
\end{eqnarray}より、
\begin{equation}
\lim_{n \to \infty} \frac{a_n}{b_n} = \sqrt{2}
\end{equation}を得ます。

小問(2)の解説

小問(1)の結果そのものではありませんが、途中経過は使えます。
簡単な連立方程式に気付けば、一般項は容易に求めることができます。

また小問(1)の結果を用いて
\begin{equation}
\frac{a_n}{b_n} = \sqrt{2 +\frac{1}{b_n}}
\end{equation}とできますが、本稿の方法だと両方の一般項を同時に求めることができるため、余計な一手間となります。

他の方法がありますが、こちらの方が簡単です。
リンク