√nの連分数展開

定理：
√Dの連分数展開の循環節の長さが奇数⇔x^2-Dy^2=-1は解を持つ

project euler 64で遭遇して示せなかったので。
以下の証明は、次のpdfを参考にしているが、全て筆者の手により再構成したものである。
https://leo.aichi-u.ac.jp/~keisoken/research/books/book51/book51.pdf

続きを読む »