サイコロの目による漸化式【2012年度 京都大学】

この漸化式の構造

今回の $Y_{n}$ は

$Y_{n}=(サイコロの目)+\displaystyle \frac{1}{Y_{n-1}}$

という形です。

$\displaystyle \frac{1+\sqrt{3}}{2} \leq Y_{n} \leq 1+\sqrt{3}$

とは

という構造です。

この (サイコロの目) は

$3$ ,  $4$ ,  $5$ ,  $6$  だと問答無用でアウト

ということになります。

実験してみる

ただ、前後のつながりという点でまだ要領がつかめないでしょうから、ひとまず実験してみます。

ここで

「ん？メンドクセ」

と思います。

$X_{2}$ は上述したように $1$ または $2$ である必要があります。

ただ、$X_{1}$ については逆数をとる関係で、$3$ ,  $4$ ,  $5$ ,  $6$ の目が出ても問題ないわけです。

つまり、$Y_{2}$ が題意の区間に収まっているためには

• $X_{2}$ は $1$ または $2$ である必要があるが、$X_{1}$ についてはそうとは限らない

ということが言えるわけです。

実験の結果から分かったこと

この結果は拡張して考えることができ、$Y_{n}$ が題意の区間に収まっているためには

• $X_{n}$ は $1$ または $2$ である必要がある
• $X_{1}$ ,  $X_{2}$ ,  $\cdots$ ,  $X_{n-1}$ はそうとは限らない

ということが言えることになります。

漸化式 $Y_{n}=X_{n}+\displaystyle \frac{1}{Y_{n-1}}$ を見ても

• $X_{n}$ は $1$ または $2$ である必要がある
• $Y_{1}$ ,  $Y_{2}$ ,  $\cdots$ ,  $Y_{n-1}$ はそうとは限らない

ということが言えます。

数直線で言えば

ということです。

過去なんて関係ない、今なんだよ

という修造の声が聞こえてきます。

だったら

というように、

「$q_{n}$ ,  $r_{n}$ という設定もしてしまえ」

というのが自然な発想でしょう。

ただ、難関大受験生と言えども、問題で指定されている以上の設定を自分で行うということができる受験生は決して多くはありません。

京大は問題で指定されている以上の設定を要するというこのオチを好んでいるように思います。

これが冒頭述べた「表向き」のオチです。

本問の設定の背景

問題を解くという観点で見れば、どのような経緯で本問が作られたのかを知らなくても解けるには解けます。

ただ、いかにも何かあり気な数字設定ですから、今回の数字の出どころについて見てみることにします。

与えられた漸化式は

というように、番号を下げていくと、連分数展開がインスピレーションされると思います。

そういった意味で今回の２つの値

$\displaystyle \frac{1+\sqrt{3}}{2}$ と $1+\sqrt{3}$

を連分数展開してみると今回の問題のカラクリが見えてくると思います。

そのことについては【総括】のあとで軽く触れてありますので、余裕と興味があればご覧ください。

これが冒頭述べた「裏向き」のオチです。

この表向きのオチと裏向きのオチを兼ね備えた問題を京大は２０１５年度にも出題しています。

解答はコチラ