問題#Ⅰ014 ★★☆☆
自然数$n$に対して、$a_n$、$b_n$を$$(3+2\sqrt{2})^n=a_n+b_n \sqrt{2}$$を満たす自然数とする。このとき、以下の問いに答えよ。
（１）$n \geqq 2$ のとき、$a_n$および$b_n$を$a_{n-1}$と$b_{n-1}$を用いて表せ。
（２）${a_{n}}^2-2{b_{n}}^2$ を求めよ。
（３）（２）を用いて、$\sqrt{2}$を誤差$\dfrac{1}{10000}$未満で近似する有理数を1つ求めよ。
《ポイント》
誘導に乗れれば良いのですが、（３）の発想がやや難しいかもしれません。$\dfrac{1}{10000}$という分数が出てきていますので、（２）の結果から分数を作ることを念頭に式変形を考えましょう。
《解答例》
（１）
漸化式より、$$\begin{align} (3+2\sqrt{2})^n &=(3+2\sqrt{2})(3+2\sqrt{2})^{n-1} \\ &=(3+2\sqrt{2})(a_{n-1}+b_{n-1}\sqrt{2}) \\ &=(3a_{n-1}+4b_{n-1})+(2a_{n-1}+3b_{n-1})\sqrt{2} \end{align}$$
と式変形できるから、$$\begin{cases} a_n=3a_{n-1}+4b_{n-1} \\ b_n=2a_{n-1}+3b_{n-1} \end{cases}$$を得る。
（答）$\color{red}{\begin{cases} a_n=3a_{n-1}+4b_{n-1} \\ b_n=2a_{n-1}+3b_{n-1} \end{cases}}$
（２）
（１）より、$$\begin{align} {a_{n}}^2-2{b_{n}}^2 &=(3a_{n-1}+4b_{n-1})^{2}-2(2a_{n-1}+3b_{n-1})^{2} \\ &= {a_{n-1}}^2-2{b_{n-1}}^2 \end{align}$$となるので、${a_{n}}^2-2{b_{n}}^2$ は定数の数列である。よって$$\begin{align} {a_{n}}^2-2{b_{n}}^2&={a_{1}}^2-2{b_{1}}^2 \\ &=3^2-2\cdot2^2 \\ &=1 \end{align} $$と求められる。
（答）${a_{n}}^2-2{b_{n}}^2=\color{red}{1}$
（３）
（２）より、$${a_{n}}^2-2{b_{n}}^2=1$$ $$\therefore ({a_{n}}-{b_{n}}\sqrt{2})({a_{n}}+{b_{n}}\sqrt{2})=1$$ $$\therefore {a_{n}}-{b_{n}}\sqrt{2}=\dfrac{1}{{a_{n}}+{b_{n}}\sqrt{2}}$$ $$\therefore \dfrac{a_{n}}{b_{n}}-\sqrt{2}=\dfrac{1}{b_{n}({a_{n}}+{b_{n}}\sqrt{2})}$$と式変形できる。
ここで（１）の漸化式を用いることで $a_3=99$、$b_3=70$ を得る。これより $n=3$ のとき$$\begin{align} &\ \ \ \ \ \ b_{3}({a_{3}}+{b_{3}}\sqrt{2}) \\ &= 70(99+70\sqrt{2}) \\ &> 70(99+70\cdot1) \\ &=11830 \ \ (>10000) \end{align}$$となるから、求める有理数を1つは$$\dfrac{99}{70}$$である。
（答）$\color{red}{\dfrac{99}{70}}$
《コメント》
（１）では$\sqrt{2}$が無理数であることを無断で認めていますが、特に問題ないと思います。時間が余って他にすることが無ければ$\sqrt{2}$が無理数であることを証明しても良いでしょう。（少し難しく言うと、二次体における基底の一次独立性についての説明が必要かどうかはその都度判断すべきだろう、というお話です）
$\sqrt{2}$を近似するので、近似値となる有理数と$\sqrt{2}$との差を評価すれば良いと考えて式変形するのが妥当でしょう。因みに$a_n$、$b_n$の一般項は次のように表されます。$$\begin{cases} a_n = \dfrac{(3+2\sqrt{2})^n+(3-2\sqrt{2})^n}{2} \\ b_n = \dfrac{(3+2\sqrt{2})^n – (3-2\sqrt{2})^n}{2 \sqrt{2}} \end{cases}$$ $n$を大きくすると$(3-2\sqrt{2})^n$は指数関数オーダーで減少し極めて小さな値となるので、比$\dfrac{a_{n}}{b_{n}}$はそれほど大きくない$n$でもほとんど$\sqrt{2}$に等しくなると見当が付きます（疑問に思う方は比$\dfrac{a_{n}}{b_{n}}$について $n \to \infty$ の極限計算をしてみて下さい）。
実際のところ、本問は一般項を導出するまでもなく解決するので、
漸化式 ⇒ 一般項
と条件反射的に考えてしまうとかえって不利になってしまいます（時間がかかるだけでなく無用な計算ミスを犯してしまう恐れもあります）。「小さい$n$で実験」というのは原始的な方法ではありますが、どんな問題に対しても大切な方針であることに変わりありません。
（出典：名古屋大学(後期) 2004年）