佩尔方程

设${\displaystyle {\tfrac {p_{i}}{q_{i}}}}$  是${\displaystyle {\sqrt {n}}}$ 的连分数表示：${\displaystyle [a_{0};a_{1},a_{2},a_{3},\,\ldots ]}$ 的渐近分数列，由连分数理论知存在${\displaystyle i}$ 使得(p_i,q_i)为佩尔方程的解。取其中最小的${\displaystyle i}$ ，将对应的 (p_i,q_i)称为佩尔方程的基本解，或最小解，记作(x₁,y₁)，则所有的解(x_i,y_i)可表示成如下形式：

${\displaystyle x_{i}+y_{i}{\sqrt {n}}=(x_{1}+y_{1}{\sqrt {n}})^{i}}$ 。

或者由以下的递回关系式得到：

${\displaystyle \displaystyle x_{i+1}=x_{1}x_{i}+ny_{1}y_{i},}$ 

${\displaystyle \displaystyle y_{i+1}=x_{1}y_{i}+y_{1}x_{i}}$ 。

标准型

${\displaystyle \displaystyle x^{2}-7y^{2}=1}$ 。

首先根据根号7的渐进连分数表示，找出前几项，察看（分子，分母）是否是一组解。

第一项：${\displaystyle {\tfrac {h}{k}}={\tfrac {2}{1}}}$ ，${\displaystyle h^{2}-7k^{2}=-3,\,\!}$ 不是解；

第二项：${\displaystyle {\tfrac {h}{k}}={\tfrac {3}{1}}}$ ，${\displaystyle h^{2}-7k^{2}=2,\,\!}$ 不是解；

第三项：${\displaystyle {\tfrac {h}{k}}={\tfrac {5}{2}}}$ ，${\displaystyle h^{2}-7k^{2}=-3,\,\!}$ 不是解；

第四项：${\displaystyle {\tfrac {h}{k}}={\tfrac {8}{3}}}$ ，${\displaystyle h^{2}-7k^{2}=1.\,\!}$ 是解。于是最小解是(8,3)。计算${\displaystyle x_{1}+y_{1}{\sqrt {n}}}$ 的各次乘方，或者用递推公式（不能直接得出某一项）就可以得到接下来的各组解

${\displaystyle x_{n}={\frac {(8+3{\sqrt {7}})^{n}+(8-3{\sqrt {7}})^{n}}{2}},y_{n}={\frac {(8+3{\sqrt {7}})^{n}-(8-3{\sqrt {7}})^{n}}{2{\sqrt {7}}}}}$ 

(x,y)=(8,3)、 (127,48)、 (2024,765)、 (32257,12192)、 (514088,194307)、 (8193151,3096720)、 (130576328,49353213) ......

非标准型

• 对于方程${\displaystyle x^{2}-ny^{2}=k}$ ，利用婆罗摩笈多-斐波那契恒等式找出方程解。

${\displaystyle (x_{1}^{2}-Ny_{1}^{2})(x_{2}^{2}-Ny_{2}^{2})=(x_{1}x_{2}+Ny_{1}y_{2})^{2}-N(x_{1}y_{2}+x_{2}y_{1})^{2}=(x_{1}x_{2}-Ny_{1}y_{2})^{2}-N(x_{1}y_{2}-x_{2}y_{1})^{2}}$ 

例如${\displaystyle x^{2}-7y^{2}=2}$ 有解(3,1)。

${\displaystyle r^{2}-7s^{2}=1}$ 时，有${\displaystyle 2=(3r+7s)^{2}-7(3s+r)^{2}=(3r-7s)^{2}-7(3s-r)^{2}}$ 

(r,s)=(8,3)、 (127,48)、 (2024,765)、 (32257,12192)、 (514088,194307)、 (8193151,3096720)、 (130576328,49353213) ......

(x,y)=(3,1)、 (45,17)、 (717,271)、 (11427,4319)、 (182115,68833)、 (2902413,1097009)、 (46256493,17483311) ......

• 对于方程${\displaystyle ax^{2}-by^{2}=c}$ ，两边乘上a，求出${\displaystyle (ax)^{2}-aby^{2}=ac}$ 的解。

例如${\displaystyle 5x^{2}-2y^{2}=3}$ 有解(1,1)。

设${\displaystyle z=5x}$ ，${\displaystyle (5x)^{2}-10y^{2}=z^{2}-10y^{2}=15}$ 

${\displaystyle r^{2}-10s^{2}=1}$ 时，有${\displaystyle 15=(5r+10s)^{2}-10(5s+r)^{2}=(5r-10s)^{2}-10(5s-r)^{2}}$ 

(r,s)=(19,6)、 (721,228)、 (27379,8658)、 (1039681,328776)、 (39480499,12484830) ......

(z,y)=(5,1)、 (35,11)、 (155,49)、 (1325,419)、 (5885,1861)、 (50315,15911)、 (223475,70669) ......

(x,y)=(1,1)、 (7,11)、 (31,49)、 (265,419)、 (1177,1861)、 (10063,15911)、 (44695,70669) ......

佩尔方程与代数数理论有紧密联系，因为公式${\displaystyle x^{2}-ny^{2}=(x+y{\sqrt {n}})(x-y{\sqrt {n}})}$ 给出了环${\displaystyle \mathbb {Z} [{\sqrt {n}}]}$ （即二次域${\displaystyle \mathbb {Z} ({\sqrt {n}})}$ ）上的范数。因此(x,y)是佩尔方程的解当且仅${\displaystyle x+y{\sqrt {n}}}$ 的范数是一，即是域上的一个单元。根据狄利克雷单位定理，${\displaystyle \mathbb {Z} [{\sqrt {n}}]}$ 的所有单元都可以表示为同一个基本单元的乘方形式。这就是说一个佩尔方程的所有的解都是一个基本解的乘方。单元总可以通过解一个类似佩尔方程而得到，但这时的基本解并不一定就是基本单元。

佩尔方程和切比雪夫多项式有内在的联系：若T_i (x)和U_i (x)分别是第一类和第二类切比雪夫多项式的相应项，那么它们是佩尔形式方程${\displaystyle T_{i}^{2}-(x^{2}-1)U_{i-1}^{2}=1}$ 的解。于是第一类和第二类切比雪夫多项式可以通过展开基本解的乘方得到。

${\displaystyle T_{i}+U_{i-1}{\sqrt {x^{2}-1}}=(x+{\sqrt {x^{2}-1}})^{i}}$ 。

进一步有：如果(x_i,y_i)是佩尔方程的第i个解，那么

x_i = T_i (x₁)

y_i = y₁U_{i - 1}(x₁)。