[学习笔记] Pell方程

感谢这两位巨佬，部分思路和图片来源于他们的启发：

IBN5100
The-Pines-of-Star

是什么？

$\text{Pell}$方程主要用来解决下面形式的方程：
$$x^2-d{y}^2=1$$其中$d$是正数且不是完全平方数，若$x,y$都为整数的解称为这个方程的解，其中$x+y\sqrt{d}$最小的那组解就称为$\text{Pell}$方程的基本解，我们要解决两个问题：求出基本解和用它扩展出所有解。

基本解？

本文结论大多不给出证明，但是会讲清楚作法。

首先要知道连分数表示法，是将一个实数用以下方法表示：

连分数的求法就是分离最多的正整数，使剩下的为非负，可以把连分数简记为$x=[a_0;a_1,a_2,a_3....]$

结论1：有理数的连分数是有限的，无理数的连分数是无限的，所以可以用这种方法逼近无理数的值。

举个例子，比如$\sqrt{22}$的连分数：

简写为：$\sqrt{22}=[4;1,2,4,2,1,8]$，其中后面$6$项是循环，也可以表示为$\sqrt{22}=[4;<1,2,4,2,1,8>]$

结论2：循环的最后一项是$a_0$的两倍，无理数的连分数都是成周期性的。

我们把$\sqrt{d}$写成连分数的形式：$\sqrt{d}=$