数论概论读书笔记 41.连分数与佩尔方程

连分数与佩尔方程

通过反复地将小数部分翻到分母上并将整数部分分离，我们可以对任何一个数形成连分数：

连分数在视觉上滑向右下方，将它们写成分数却要花费很多的笔墨和空间，由于所有的分子都是1，故我们要做的就是列出分母，将连分数

简记为$[a_0,a_1,a_2,a_3,a_4,...]$

辣么，当我展开到$a_n$时，分子分母是一个怎样的情况呢？

下图是$\sqrt{2}=[1,2,2,2,2,...]$的前几个收敛项

经过列式子总结，此处略去300字，得到一个公式$P_n=a_nP_{n-1}+P_{n-2},\ P_0=a_0,\ P_1=a_0a_1+1$

对分母可得到类似的公式，总结成定理

连分数递归公式 设

则分子$P_0,P_1,P_2,...$由递归公式

$$P_0=a_0,\quad P_1=a_0a_1+1 \quad ,P_n=a_nP_{n-1}+P_{n-2}\quad (n\ge 2)$$
给出，而分母 $q_0,q_1,q_2,...$由递归公式
$$q_0=1,\quad q_1=a_1 \quad ,q_n=a_nq_{n-1}+q_{n-2}\quad (n\ge 2)$$
给出。

证明 使用归纳法

相邻收敛项之差定理 设$\frac{p_0}{q_0},\frac{p_1}{q_1},\frac{p_2}{q_2},...$ 为连分数$[a_0,a_1,a_2,...]$的收敛项，则：

例如，$\sqrt{2}$的两个收敛项的差：

周期连分数定理

证明 这里不写了

佩尔方程

如果$p/q$是$\sqrt{D}$的一个收敛项，则$p/q\approx\sqrt{D}$，从而$\frac{p^2}{q^2}\approx D$

乘以$q^2$则$p^2$在期望上非常接近$Dq^2$，则很有可能得到$p^2-Dq^2=1$

定理 设$D$为正整数且非完全平方数。将$\sqrt{D}$的连分数记为：

而当$m$为奇数时，可以进行一个平方操作，也可得到解，于是有下面定理

连分数与佩尔方程定理 记$\sqrt{D}$的连分数为

所以求解佩尔方程的关键在于$m-1$的值是多少，知道$m-1$的值即可递推计算出$p,q$

课后习题