数列を
\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) を求めよ。
(2) を求めよ。
小問(1)の解答例
小問(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}とできますが、本稿の方法だと両方の一般項を同時に求めることができるため、余計な一手間となります。
他の方法がありますが、こちらの方が簡単です。
リンク