整数論の問題
の正則連分数展開を とし、0 以上の整数 に対して第 近似分数を
( は互いに素な正の整数)とする。 が 0 以上のすべての整数を動くとき、 のとる値をすべて求めよ。答えは集合の形で答えよ。
この問題で使うもの
- √d の連分数展開とペル方程式の基本解(説明と入口の問題)
この問題を解けるようになるまで(23 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
技能「√d の連分数展開とペル方程式の基本解」を使います。まず , の漸化式で を連分数展開しましょう。
ヒント 2
が成り立つので、1 周期分の がわかれば値はすべてわかります。
ヒント 3
で、, , , となり、 です。あとは符号に注意して を並べます。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1:漸化式で連分数展開を求める。
とし、
をくり返す。 より 。
- , ,
- , ,
- , ,
- , ,
- ,
なので以後くり返し、
(周期の長さ 、最後は )。また で であり、 となる。
手順 2:公式 を使う。
- :
- :
- :
- :
は周期 でくり返し、符号 も を 増やしても変わらないので、 でも値は のくり返しになる。
確認: 近似分数を , で計算すると で、
となり一致する(特に は の基本解)。
よって、とる値は である。
別解
である。 から 、、 で計算すると、 で、以後 から周期 4 で繰り返す。
連分数の性質より である。
- : で
- : で
- : で
- : で
以降は を周期 4 で繰り返す。
よって、とる値は である。