---
url: https://xuehaizhixing.com/root/B01-数论基础/M04-数论函数与进阶技巧/S05/B01-M04-S05-U03.md
---

# 一、模块层

* **知识点编号**：B01-M04-S05-U03
* **所属模块**：B01 → M04 → S05

## 纵向关联

* 上接：
  * [连分数定义题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S05/B01-M04-S05-U01)
  * [渐近分数题根](/root/B01-数论基础/M04-数论函数与进阶技巧/S05/B01-M04-S05-U02)
* 下启：
  * 无

## 知识关联

### 横向关联

* 前置基础：
  * [欧拉定理降幂题根](/root/B01-数论基础/M02-同余理论/S04/B01-M02-S04-U03)
  * `二项分布定义题根`
* 同位衔接：
  * [佩尔方程与连分数题根](/root/B01-数论基础/M03-不定方程/S03/B01-M03-S03-U06)
  * `数列与数学归纳法题根`
  * `分支过程题根`
* 后续延伸：
  * `数列与柯西不等式题根`
  * `待定系数求不等式题根`
  * `数列与均值不等式题根`
  * `导数与不等式题根`
  * `概率模型题根`
  * `函数与数列题根`
  * `随机图初步题根`
  * `映射法题根`

# 二、本源层

* **本源**：
  佩尔方程$x^2-Dy^2=1$（$D$为非完全平方正整数）与$\sqrt{D}$的连分数展开之间存在深刻联系：方程的解$(x,y)$恰好对应$\sqrt{D}$的连分数渐近分数$\frac{p_k}{q_k}$。更精确地说，若$\sqrt{D}=\[a_0;\overline{a_1,\ldots,a_l}]$的周期为$l$，则$x^2-Dy^2=1$的基本解由第$l$个渐近分数$\frac{p\_{l-1}}{q\_{l-1}}$给出（当$l$为偶数时）或由第$2l$个渐近分数$\frac{p\_{2l-1}}{q\_{2l-1}}$给出（当$l$为奇数时）。这个对应关系的本质是：$\sqrt{D}$的连分数周期性与二次域$\mathbb{Q}(\sqrt{D})$中的单位群结构完全一致。

从更根本的层面看，这一性质来源于数学对象在某种变换下的不变性。抓住这个不变性，就抓住了概念最核心的直觉。

理解这一本源意味着：不再把数学规则当作孤立的记忆条目，而是看作从一条根本事实生长出来的有机体系。

本源的价值在于它在最朴素层面回答了“为什么”——不借助任何形式化语言，你也能向一个初学者讲清楚这个概念的来龙去脉。

将视角拉到更宏观的层面：这条本源对应着一种“分类”的操作——将无穷个体归入有限个类别，用类别关系替代个体运算，这是数学抽象力量的第一次展现。

* **原点**：
  佩尔方程的解与$\sqrt{D}$的连分数展开之间的对应关系不是偶然的。核心观察：若$x+y\sqrt{D}$是$x^2-Dy^2=1$的一个解，则$x/y$是$\sqrt{D}$的一个很好的有理逼近。而"最佳有理逼近"恰好由连分数渐近分数给出——因此佩尔方程的解必然出现在渐近分数序列中。反过来，渐近分数$p_k/q_k$满足$p_k^2-Dq_k^2=(-1)^{k-1}\cdot C_k$，其中$C_k$逐渐趋近于$\pm1$，最终在周期对应的位置达到$\pm1$。拉格朗日（1766-1769）严格证明了$\sqrt{D}$的连分数是周期性的，且渐近分数给出了方程的全部解。印度数学家婆罗摩笈多（628）和婆什迦罗（12世纪）的"查克拉瓦拉"方法本质上已使用这一原理，但未用连分数语言表述。狄利克雷（1840年代）将其纳入代数数论，揭示了佩尔方程的解对应实二次域$\mathbb{Q}(\sqrt{D})$中的基本单位。；从更形式化的角度审视，这里的数学结构可以进一步抽象。如果将满足该性质的对象构成的集合记为某一类，则该集合在相应的运算下具有封闭性——这是代数结构的雏形。；这一原点是连接直觉与形式的桥梁：一边是直觉层面朴素易懂的分类观念，另一边是严格的形式化系统。理解这个连接点，才能真正从“感觉懂了”过渡到“严格证明了”。；特别要注意的是，原点的选取方式不是唯一的，但不同选取方式最终构建出来的理论体系应当是等价的——这是数学中公理系统等价性的思想萌芽。；从教学设计的角度看，原点被精确定位为：学生可以用已有知识立即理解的最简形式化陈述，不需要额外铺垫，且能在此基础上进行逻辑推导。；这一原点的另一重要特征在于：它既是最简单的形式化陈述，也是所有后续推理的“保真性”来源——任何结论的可靠性都可以通过归约到原点来检验。

* **道法**：
  **首锚·综合评价主线**：此类问题的核心关联是佩尔方程$x^2-Dy^2=1$的解与$\sqrt{D}$连分数展开之间的深刻对应——$\sqrt{D}$的连分数周期完全编码了方程的解结构。至少有两种做法：渐近分数逐项检验法或周期奇偶定解法。
  **次锚·策略分支**：方法一（渐近分数检验法）适合任意$D$——展开$\sqrt{D}$得连分数系数，计算渐近分数并逐一代入$x^2-Dy^2$检验，直到找到第一个值为$1$的解；方法二（周期定解法）适合熟练掌握周期理论的场景——直接根据周期$l$的奇偶性定位基本解：$l$偶则第$l-1$个渐近分数，$l$奇则第$2l-1$个。选哪种取决于对周期奇偶理论的热悉程度——不熟悉时用检验法确保无误。
  **三锚·通法延伸**：从这类题可提炼的通法是"表示即求解"——将不定方程的求解转化为对二次无理数的连分数展开。这在更一般的框架下对应代数数论中的"单位群"概念：佩尔方程的解对应实二次域$\mathbb{Q}(\sqrt{D})$中的单位元，连分数周期编码了基本单位的代数结构。
  **解题三问**：①$\sqrt{D}$的连分数周期长度是多少（决定计算量）？②周期是奇数还是偶数（决定基本解在哪族渐近分数中）？③找到基本解后如何生成无穷多解（通解公式的递推使用）？

* **关键心法**：
  展根得周期，算分得基本，周期奇偶定解位——连分数是佩尔方程的求解密钥，一通操作解自现。

掌握这一心法意味着：面对一个具体问题，你的第一反应不是套公式，而是先问“这属于哪一类？”——这是从“术”到“道”的跨越。

心法的口诀可以浓缩为：一看分类，二看规则，三看边界。先识类，再定规，最后才动手算——顺序错了，效率就低了。

* **终极一句话**：
  佩尔方程的解与$\sqrt{D}$的连分数展开之间存在完美的编码关系——展开得周期（锁定了解的结构），周期奇偶定解位（决定了基本解的位置），基本解生成无穷族（通解公式揭示群结构）。三步曲：展根→算分→检验，化不定方程为确定算法。竞赛核心：这一对应是代数数论中"表示即求解"思想的经典体现——将不定方程的系统求解转化为连分数的模式识别问题，是数论竞赛中从"试数"到"算法化"的认知跃迁。；这句话浓缩了该概念最本质的数学事实，每一个字都经得起推敲。理解这句话，就掌握了进入该领域的钥匙。；这一句话应当像“锚”一样牢牢钉在脑海中——每当你迷失在具体计算的细节中时，回到这句话就能重新找到方向。

* **数学思想进化轴**：佩尔方程的历史悠久，但导致系统解法的是连分数理论的发展。印度数学家婆罗摩笈多(628)和巴克沙里(12世纪)已掌握了佩尔方程的佩尔方程解法（"查克拉瓦拉方法"），本质上等价于连分数法→费马在1657年向欧洲数学家挑战求解佩尔方程，激发了欧洲的佩尔方程研究→欧拉错误地将佩尔方程归功于英国数学家约翰·佩尔，这个误称沿用至今→拉格朗日(1766-1769)首次严格证明了佩尔方程有无穷多解，并建立了连分数解法—他证明$\sqrt{D}$的连分数是周期性的，且渐近分数给出了方程的全部解→狄利克雷在1840年代将佩尔方程与二次域的单位群联系起来，揭示了$x^2-Dy^2=1$的解对应$\mathbb{Q}(\sqrt{D})$中范数为$1$的单位元的深层代数结构→在现代，连分数-佩尔方程方法仍是计算数论中的核心算法，用于求解大$D$的佩尔方程（如$x^2-61y^2=1$的基本解是$1766319049^2-61\cdot226153980^2=1$）。

该知识点在竞赛层面的进化呈现出明显的"工具化"趋势：从最初的概念理解到方法掌握，再到策略层面的灵活运用，最后升华为一种数学思想渗透到各个分支。竞赛数学中最高明的解题技巧往往不是新创造的方法，而是对已有知识的深度理解和跨域迁移。理解这一进化轨迹，有助于在竞赛中实现"以不变应万变"的境界。

该知识点在竞赛层面的进化呈现出明显的"工具化"趋势：从最初的概念理解到方法掌握，再到策略层面的灵活运用，最后升华为一种数学思想渗透到各个分支。竞赛数学中最高明的解题技巧往往不是新创造的方法，而是对已有知识的深度理解和跨域迁移——将看似不相关的概念联系起来，或者将一个领域的思维工具应用到另一个领域。理解这一进化轨迹，有助于在竞赛中实现"以不变应万变"的境界：无论题目如何变化，都能在已掌握的知识体系中找到合适的工具。；竞赛视角下的进化分析要求我们关注该知识点的"使用边界"：它是通法还是特技？它能解决哪些类型的题目？它的局限性在哪里？在什么条件下它反而不是最优选择？这些追问将知识点从"静态的知识"转化为"动态的工具"，使用者在意识层面完成了一次进化——从"知道有这个工具"到"知道什么时候用这个工具"再到"知道什么时候不用这个工具"。这种进化是根本性的，它标志着选手从"解题者"向"策略家"的提升。
；该知识点在竞赛层面的进化呈现出明显的"工具化"趋势：从最初的概念理解到方法掌握，再到策略层面的灵活运用，最后升华为一种数学思想渗透到各个分支。竞赛数学中最高明的解题技巧往往不是新创造的方法，而是对已有知识的深度理解和跨域迁移——将看似不相关的概念联系起来，或者将一个领域的思维工具应用到另一个领域。理解这一进化轨迹，有助于在竞赛中实现"以不变应万变"的境界：无论题目如何变化，都能在已掌握的知识体系中找到合适的工具。

# 三、知识点层

* **知识点编号**：B01-M04-S05-U03

* **名称**：佩尔方程与连分数题根

* **标准定义**：

* 佩尔方程（Pell's Equation）：形如$x^2-Dy^2=1$的不定方程，其中$D$为非完全平方的正整数。方程总有正整数解（拉格朗日定理），且最小解（基本解）可由$\sqrt{D}$的连分数展开的渐近分数给出。；- 连分数解法定理：设$\sqrt{D}=\[a_0;\overline{a_1,\ldots,a_l}]$，周期长度为$l$。记$\frac{p_k}{q_k}$为第$k$个渐近分数。则：(1)若$l$为偶数，则$x^2-Dy^2=1$的基本解为$p\_{l-1}^2-Dq\_{l-1}^2=1$；(2)若$l$为奇数，则$p\_{l-1}^2-Dq\_{l-1}^2=-1$，此时$x^2-Dy^2=1$的基本解为$p\_{2l-1}^2-Dq\_{2l-1}^2=1$（即第$2l$个渐近分数）。全部解由$(x_n+y_n\sqrt{D})=(x_1+y_1\sqrt{D})^n$给出。；- 负佩尔方程$x^2-Dy^2=-1$：有解当且仅当$\sqrt{D}$的连分数周期$l$为奇数，此时基本解为$p\_{l-1}^2-Dq\_{l-1}^2=-1$。；- 通解群结构定理：佩尔方程$x^2-Dy^2=1$的所有正整数解$(x_n,y_n)$在乘法运算$(x_a,y_a)\cdot(x_b,y_b)=(x_ax_b+Dy_ay_b,x_ay_b+x_by_a)$下构成无限循环群，基本解$(x_1,y_1)$为生成元。这等价于实二次域$\mathbb{Q}(\sqrt{D})$中范数$1$的单位群同构于$\mathbb{Z}$，而$\sqrt{D}$的连分数周期$l$完全编码了基本单位的代数结构——这也是代数数论中狄利克雷单位定理的核心特例。；从等价关系角度看，这一定义实际上建立了一个划分：它将所有可能的情形分为互不相交的两类，且覆盖了全集。这是一个最简单的二元分类系统。；在实际解题中，这一定义提供了三种判定策略：(1)正面验证——直接检查条件是否成立；(2)反面排除——检查是否属于另一类来确定；(3)等价转化——利用该定义的某个等价刻画来判定。；该定义还有一个重要推论：若某对象满足定义条件，则它自动具有该类别的一切性质；反之，若某性质在某对象上不成立，则该对象必不属于此类别。；特别需要注意两件事：一是定义中条件的充分必要性——既不能多也不能少；二是定义的边界情形——当条件处于模糊地带时该如何判定。；从更广泛的数学体系来看，这一定义不是孤立的，它与后续若干定理之间存在密切的内在联系。这些联系将随着学习的深入逐次展现。

* **核心本质**：
  **佩尔方程与连分数的对应关系本质上反映了实二次域$\mathbb{Q}(\sqrt{D})$的单位群结构与$\sqrt{D}$的连分数周期结构之间的同构——一个数论方程的解集被一个连分数的周期完全编码。**；锁死·综合融合层通用内容：佩尔方程与连分数的对应位于数论中最优美的结构交叉点，是综合融合层对"数学结构对应"的深度体验。其核心要求学习者理解看似不相关的两个数学对象（不定方程与连分数展开）之间存在精确的编码关系——$\sqrt{D}$的连分数周期不仅长度有意义，其奇偶性也决定了基本解的位置。与基础层和进阶层的关键区别在于：基础层只需记忆佩尔方程的定义和简单试数，进阶层要求掌握连分数展开和渐近分数计算，而综合融合层要求——面对一个佩尔方程$x^2-Dy^2=1$，学习者能够理解其解集与$\sqrt{D}$连分数周期之间的深层结构对应关系，并利用这一对应系统求解任意$D$的佩尔方程问题。这种"透过问题看结构"的认知能力是综合融合层的核心素养。在佩尔方程的学习中，具体体现为：从"盲目试数找解"到"展开$\sqrt{D}$系统求解"的方法跃迁，再到理解"为什么连分数周期编码了佩尔方程的解"的原理通达。这种从"怎么算"到"为什么这么算"再到"还有什么可以被这么算"的认知深化，正是"使药"之"使"的深刻内涵——使药引导方中诸药直达病灶，而结构对应的洞察力引导解题者直抵问题本质。综合融合层的学习者不仅要会算，更要理解算背后的结构美。；这一本质深刻揭示了一个事实：表面上的数值多样性掩盖了底层的结构统一性。一旦掌握了这个统一性，看似千变万化的问题都可以归结为同一种分析框架来处理。；从方法论的角度看，核心本质的价值在于它提供了一种“升维思考”的路径——从具体操作层面上升到结构分析层面。；深入把握这一本质意味着：看到一个数学表达式时，你自动会问“这个数模某数余几？”而不是“这个数等于多少？”——从“具体值思维”到“等价类思维”的转变。；这一本质实际上是某种更大理论框架的特例或雏形。当学生的知识体系足够完善后，这个本质将会自然衔接上更高级的理论，成为后续学习的认知锚点。；从思维训练的角度看，核心本质的价值在于它如何改变你看待问题的方式：“存在多少个不同的类别？这些类别之间有什么运算规则？”——这种思考模式是代数思维的起点。

* **核心性质**：

* 性质一：周期决定存在性——$\sqrt{D}$的连分数展开写作$\[a_0;\overline{a_1,\ldots,a_l}]$，其中周期$l$是使$\sqrt{D}$的连分数重复的最小步数。$l$的大小决定了佩尔方程求解的难度。例：$\sqrt{2}=\[1;\overline{2}]$，$l=1$；$\sqrt{3}=\[1;\overline{1,2}]$，$l=2$；$\sqrt{7}=\[2;\overline{1,1,1,4}]$，$l=4$；$\sqrt{61}=\[7;\overline{1,4,3,1,2,2,1,3,4,1,14}]$，$l=11$。数学意义：$\sqrt{D}$的连分数周期长度$l$是佩尔方程"计算复杂度"的度量——$l$小则基本解容易找到（如$D=2$周期$1$，基本解$(3,2)$），$l$大则基本解巨大（如$D=61$周期$11$，基本解$(1766319049,226153980)$）。周期结构完全编码了佩尔方程的解集信息。

* 性质二：基本解的定位——设周期为$l$，若$l$为偶数，第$l-1$个渐近分数（周期末的前一个）给出$x^2-Dy^2=1$的基本解；若$l$为奇数，则第$l-1$个给出$-1$的解，第$2l-1$个给出$1$的解。例：$\sqrt{2}$（$l=1$奇数）第$0$个渐近分数$1/1$：$1^2-2\cdot1^2=-1$，第$1$个$3/2$：$3^2-2\cdot2^2=1$，基本解$(3,2)$。数学意义：基本解定位准则揭示了$\sqrt{D}$连分数周期的奇偶性如何决定佩尔方程的解存在位置——周期每走一轮，$p_k^2-Dq_k^2$的值在$\pm1$之间切换。这个规律将连分数的周期结构精确映射到佩尔方程的解空间，是"映射与对应"思想的经典体现。

* 性质三：通解公式——若$(x_1,y_1)$是基本解，则所有正整数解由$(x_n+y_n\sqrt{D})=(x_1+y_1\sqrt{D})^n$给出（$n=1,2,3,\ldots$）。这蕴含了佩尔方程有无穷多解。递推公式：$x\_{n+1}=x_1x_n+Dy_1y_n$，$y\_{n+1}=x_1y_n+y_1x_n$。例：$x^2-2y^2=1$的基本解$(3,2)$，第二组解$(17,12)$（因为$(3+2\sqrt{2})^2=17+12\sqrt{2}$），第三组$(99,70)$等。数学意义：通解公式$(x_n+y_n\sqrt{D})=(x_1+y_1\sqrt{D})^n$将佩尔方程的无穷多解组织为一个乘法群——每个解对应二次域$\mathbb{Q}(\sqrt{D})$中的一个单位元，基本解对应基本单位。解的集合具有群结构：两个解的乘积（通过范数乘法）仍然是解，这揭示了佩尔方程的深层代数本质。

* 性质四：负佩尔方程$x^2-Dy^2=-1$——有解当且仅当$\sqrt{D}$的连分数周期$l$为奇数。例：$D=2$（$l=1$奇数）有解$1^2-2\cdot1^2=-1$；$D=3$（$l=2$偶数）无解；$D=5$（$l=1$奇数）有解$2^2-5\cdot1^2=-1$；$D=13$（$l=5$奇数）有解$18^2-13\cdot5^2=324-325=-1$。数学意义：负佩尔方程的可解性被$\sqrt{D}$的连分数周期奇偶性完全判定——周期奇则$\pm1$均可达，周期偶则永远无法达到$-1$。这一简洁的判定准则将方程的可解性问题转化为连分数的模式分析问题，是连分数理论应用于数论方程求解的典范。

* 性质五：递推公式与解集群结构——若$(x_1,y_1)$为$x^2-Dy^2=1$的基本解，则所有解满足递推关系：$x\_{n+1}=x_1x_n+Dy_1y_n$，$y\_{n+1}=x_1y_n+y_1x_n$。初始值$(x_1,y_1)$为基本解，$(x_2,y_2)=(x_1^2+Dy_1^2,2x_1y_1)$来自$(x_1+y_1\sqrt{D})^2$的展开。这一递推避免了无理数运算，只使用整数的四则运算即可生成无穷多解。数学意义：递推公式揭示了佩尔方程解集的"循环群结构"——所有解构成一个循环群，基本解是生成元。两个解$(x_m,y_m)$和$(x_n,y_n)$的"乘积"（通过$(x_m+y_m\sqrt{D})(x_n+y_n\sqrt{D})$展开）仍然是解，这与实二次域$\mathbb{Q}(\sqrt{D})$中的单位群结构完全一致，是佩尔方程代数本质的体现。

# 四、教案版本

## 【专业版】

### 【基础层例题】

利用连分数求$x^2-2y^2=1$的基本解。

* **解题思路**：展开$\sqrt{2}$得连分数，计算渐近分数，检验哪个满足方程。
  解题思路的核心是"策略选择"——面对一道题，至少应思考两种可能的解法，然后根据题目特点选择最优路径。这种策略意识是竞赛解题的第一能力。；解题思路的核心是"策略选择"——面对一道竞赛题，至少应思考两种可能的解法，然后根据题目特点选择最优路径。这种策略意识是竞赛解题的第一能力。

* **标准解答**：$\sqrt{2}=\[1;\overline{2}]$，周期$l=1$（奇数）。渐近分数：$p_0/q_0=1/1$，$1^2-2\cdot1^2=-1$；$p_1/q_1=3/2$，$3^2-2\cdot2^2=9-8=1$。故基本解为$(x_1,y_1)=(3,2)$。通解：$(3+2\sqrt{2})^n$。$n=2$得$(17+12\sqrt{2})$，即第二组解$(17,12)$。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。
  这道题还可以从另一个角度切入：通过构造等价条件或转化视角，往往能得到更简洁的解法。
  验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。
  从思维训练的角度看，这道题考察的核心能力是在复杂条件中识别出可应用该知识点的结构特征——这种识别能力是数学素养的重要组成部分。
  竞赛解题不仅要求得出正确答案，更要求对解题路径有清晰的元认知——知道为什么要选这个方法而不是其他，以及这个方法在什么情况下会失效。这种策略层面的理解是区分竞赛高手和普通选手的关键。
  上述解答过程中，每一步推导的依据是该知识点的核心性质——准确把握每一步的逻辑基础，是确保解题正确性的关键。### 【易错变式题】
  求$x^2-3y^2=1$的基本解。

* **常见错误**：误以为所有佩尔方程的基本解都来自第一个使$p^2-Dq^2=1$的渐近分数（对$D=3$，$p_0/q_0=1/1$：$1-3=-2$；$p_1/q_1=2/1$：$4-3=1$，基本解$(2,1)$。但$D=7$时$3/1$：$9-7=2$，$5/2$：$25-28=-3$，$8/3$：$64-63=1$，基本解是$(8,3)$而非$(3,1)$）。
  避免这类错误的方法是：在解题前先明确该题型常见的易错点，解题时逐一核对是否踩了这些坑。养成"解题后反思"的习惯，能有效降低重复犯错率。；避免此类错误的关键是培养"验证习惯"——每解完一道题花几秒将答案代回原题检验，确认是否满足所有条件。这种习惯在考试中能有效减少因粗心导致的失分。

* **标准解答**：$\sqrt{3}=\[1;\overline{1,2}]$，周期$l=2$（偶数）。渐近分数：$p_0/q_0=1/1$：$1^2-3\cdot1^2=-2$；$p_1/q_1=2/1$：$2^2-3\cdot1^2=4-3=1$。由于$l$为偶数，第$l-1=1$个渐近分数即$2/1$给出基本解$(2,1)$。验证：$2^2-3\cdot1^2=1$。通解：$(2+\sqrt{3})^n$。

竞赛解题不仅要求得出正确答案，更要求对解题路径有清晰的元认知——知道为什么要选这个方法而不是其他，以及这个方法在什么情况下会失效。这种策略层面的理解是区分竞赛高手和普通选手的关键。### 【高阶例题】
求$x^2-7y^2=1$的基本解。

* **方法策略**：①快速定位——识别这是标准佩尔方程求解问题，$D=7$为非完全平方数，需展开$\sqrt{7}$为连分数并计算渐近分数；②策略切入——展开$\sqrt{7}=\[2;\overline{1,1,1,4}]$，周期$l=4$为偶数，根据周期定解法则，基本解为第$l-1=3$个渐近分数$p_3/q_3$，递推计算得$8/3$；③预判与验证——代入得$8^2-7\cdot3^2=64-63=1$，确认基本解$(8,3)$，由通解公式$(8+3\sqrt{7})^n$生成无穷多解。
  选择方法时，应综合考虑题目类型、已知条件的形式、以及目标结果的表达方式——通常来说，"从已知到目标"的路径不唯一，选择最直观的路径可以降低出错概率。
* **标准解答**：$\sqrt{7}=\[2;\overline{1,1,1,4}]$，周期$l=4$（偶数）。渐近分数：$p_0/q_0=2/1$：$4-7=-3$；$p_1/q_1=3/1$：$9-7=2$；$p_2/q_2=5/2$：$25-28=-3$；$p_3/q_3=8/3$：$64-63=1$。由于$l$为偶数，第$l-1=3$个渐近分数$8/3$给出基本解$(8,3)$。验证$8^2-7\cdot3^2=64-63=1$。通解$(8+3\sqrt{7})^n$给出所有解。

##

验证是解题的重要环节——将答案代回原题检验是否满足所有条件，既能确认正确性，也能培养良好的解题习惯。【药典版】

### 定位：佩尔方程的"法理依据"——二次无理数的周期决定了佩尔方程的解结构

#### 🌱 药材本体

* **第一味药——$\sqrt{D}$的连分数展开**：将$\sqrt{D}$展开为周期连分数$\[a_0;\overline{a_1,\ldots,a_l}]$，周期$l$决定了佩尔方程的基本解位置。这是整个解法的起点。
* **第二味药——渐近分数递推计算**：用$p_k=a_kp\_{k-1}+p\_{k-2}$，$q_k=a_kq\_{k-1}+q\_{k-2}$计算到第$l$或第$2l$个渐近分数，得到基本解候选。
* **第三味药——基本解定位准则**：若周期$l$为偶数，基本解为第$l-1$个渐近分数；若$l$为奇数，第$2l-1$个渐近分数为基本解（此时第$l-1$个给出$x^2-Dy^2=-1$）。
* **第四味药——通解生成**：由基本解$(x_1,y_1)$通过$(x_n+y_n\sqrt{D})=(x_1+y_1\sqrt{D})^n$生成无穷多解。
* **药材核心药性**：**连分数→基本解→无穷族**——$\sqrt{D}$的连分数展开是佩尔方程$x^2-Dy^2=1$的求解密钥，周期的奇偶决定基本解的位置
  该知识点的竞赛药性在于其综合评价价值——它不仅能独立解题，更能与其他概念联用形成强大的策略体系。掌握其药性，就掌握了竞赛解题的战略主动权。

#### 🛠️ 功能主治

* **主治**：面对$x^2-Dy^2=1$只会盲目试数——缺乏系统求解方法
* **解决**：试数法对小$D$勉强可行，对大$D$（如$D=61$）完全无效——试数法遇到瓶颈
* **根治**：不理解佩尔方程解与$\sqrt{D}$连分数展开的内在联系——将两个知识点割裂
* **打通**：从"盲目试数"到"系统展开$\sqrt{D}$→渐近分数→基本解"的算法化思维

该主治在竞赛层面的意义在于——知道这个方法在什么情况下是"最优选择"，以及什么情况下应该"果断放弃换方法"——这种策略判断力是竞赛能力的核心。

该主治在竞赛层面的意义在于——知道这个方法在什么情况下是"最优选择"，以及什么情况下应该"果断放弃换方法"——这种策略判断力是竞赛能力的核心。#### 🧪 核心药方

1. **展开$\sqrt{D}$求周期方**——用标准算法展开$\sqrt{D}$为连分数，求出周期长度$l$。关键：记录每个步骤中的"剩余"形式$(b_k+\sqrt{D})/c_k$，当$(b_k,c_k)$重复时即达周期。适配基础表达阶
2. **渐近分数检验方**——用递推公式计算渐近分数$p_k/q_k$，同时计算$p_k^2-Dq_k^2$的值，找到第一个使值为$1$的$(p_k,q_k)$。适配进阶表达阶
3. **周期定解精准方**——根据周期$l$的奇偶性直接定位基本解位置：$l$偶则第$l-1$个渐近分数，$l$奇则第$2l-1$个渐近分数。适配高阶表达阶

数论学习中，

#### 🌌 药理

**佩尔方程是数论世界的谐振子，连分数是其本征频率。**

佩尔方程与连分数对应关系的"药性"在于：它展示了一个数学对象（佩尔方程的解）被另一个看似无关的数学对象（$\sqrt{D}$的连分数周期）完全"编码"的美妙现象。这类似于密码学中的"密钥生成"——给定$D$，其连分数周期$l$就像"密钥"，解码出$x^2-Dy^2=1$的无穷多解。

从数学史看，印度数学家早在12世纪就掌握了求解佩尔方程的"查克拉瓦拉方法"（chakravala method），本质上等价于连分数法。婆什迦罗用这个方法求解$x^2-61y^2=1$，得到了解$(1766319049,226153980)$——这个解在当时堪称计算奇迹。17世纪，费马向欧洲数学家挑战求解$x^2-61y^2=1$和$x^2-109y^2=1$，英国数学家沃利斯和布隆克尔成功求解，方法涉及连分数思想。

拉格朗日最终在1766-1769年间给出了完整的理论证明。他证明了三个关键定理：(1)$\sqrt{D}$的连分数展开是周期性的；(2)渐近分数$\frac{p_k}{q_k}$提供了$x^2-Dy^2=1$的所有解；(3)方程总有无穷多解。

在竞赛层面，佩尔方程的连分数解法具有极高的实用价值。面对"求$x^2-Dy^2=1$的最小正整数解"这类问题，连分数法提供了系统可行的求解路径——展开$\sqrt{D}$、计算渐近分数、检验。即使对于大$D$值，这个方法也远比试数法高效。

此药的药理核心在于："对应"的数学思想——佩尔方程的解集与$\sqrt{D}$的连分数周期是一一对应的。理解了这个对应，就理解了佩尔方程的"灵魂"。

#### 👨‍🏫 老师修炼阶梯

* **基础表达**：能展开$\sqrt{D}$为周期连分数，能用渐近分数检验法找到基本解。
* **进阶表达**：理解周期奇偶性对基本解位置的决定作用，能处理负佩尔方程。
* **高阶表达**：能用连分数法求解任意$D$的佩尔方程，理解通解公式的代数结构。
* **顶阶表达**：能讲授佩尔方程与实二次域单位群的深层联系，理解$\mathbb{Q}(\sqrt{D})$中佩尔方程解集的结构定理。

#### 🗣️ 一句话封神

**展根得周期，算分得基本——连分一出，佩尔解现。**
数学学习的关键不在于刷了多少题，而在于是否建立了知识之间的联系——当不同模块的知识在心中形成网络，解题就不再是搜索记忆而是自然涌现。
真正的高手不是记得多少公式，而是能看到不同方法背后的统一思想——这就是数学的眼光。
从"学会"到"会用"之间，差的是对知识本质的理解——不是知道结论，而是知道结论为什么成立，以及结论在什么条件下会失效。
当你能用自己的语言解释一个概念、能判断它什么时候适用、能把它和其他知识联系起来——这时你才算真正掌握了它。
从"学会"到"会用"之间，差的是对知识本质的理解——不是知道结论，而是知道结论为什么成立，以及结论在什么条件下会失效。#### 🩺 一眼诊断

* **周期计算错误型**：展开$\sqrt{D}$时周期找错或遗漏了循环节。-- 注意：$\sqrt{D}$的连分数总是$a_0$后开始循环，且$a_0=\lfloor\sqrt{D}\rfloor$，循环节最后一项总是$2a_0$（除$D+1$为完全平方等特例外）。
* **基本解位置混淆型**：知道基本解由渐近分数给出，但不清楚是"第几个"渐近分数。-- 记住准则：计算到周期$l$，若$l$偶则第$l-1$个渐近分数，若$l$奇则第$2l-1$个渐近分数。
* **通解生成错误型**：知道基本解$(x_1,y_1)$后不会生成后续解。-- 用$(x_n+y_n\sqrt{D})=(x_1+y_1\sqrt{D})^n$的二项式展开，或使用递推公式。
* **负佩尔方程误判型**：认为$x^2-Dy^2=-1$对所有$D$都有解。-- 负佩尔方程有解当且仅当$\sqrt{D}$的连分数周期为奇数。
* **复盘要点**：每做一道佩尔方程题按三问复盘：①周期计算是否正确——$\sqrt{D}$的连分数展开是否完整准确？②基本解定位是否准确——周期奇偶性判断和对应渐近分数位置是否正确？③通解验证——$(x_1+y_1\sqrt{D})^2$是否给出了合法的第二个解？

#### 🧭 导航路径

* **步行（L1-L2）** -> 对标

1. 用连分数求$x^2-2y^2=1$的基本解。

* 解答提示：$\sqrt{2}=\[1;\overline{2}]$，渐近分数$1/1$（$1^2-2=-1$），$3/2$（$9-8=1$）。基本解$(3,2)$。答案：$(3,2)$。

2. 求$x^2-5y^2=1$的基本解。

* 解答提示：$\sqrt{5}=\[2;\overline{4}]$，周期$l=1$奇数。渐近分数$2/1$（$4-5=-1$），$9/4$（$81-80=1$）。基本解$(9,4)$。答案：$(9,4)$。

3. 求$\sqrt{6}$的连分数展开的前三个渐近分数，检验是否有佩尔方程解。

* 解答提示：$\sqrt{6}=\[2;\overline{2,4}]$（可展开验证）。渐近分数：$2/1$（$4-6=-2$），$5/2$（$25-24=1$），故$(5,2)$是$x^2-6y^2=1$的基本解。答案：$(5,2)$。
* **刚性达标阈值**：掌握基本连分数解法，闭卷正确率>=90%
* **骑车（L3-L4）** -> 对标

1. 求$x^2-13y^2=1$的基本解。

* 解答提示：$\sqrt{13}=\[3;\overline{1,1,1,1,6}]$，周期$l=5$奇数。渐近分数：$3/1$（$9-13=-4$），$4/1$（$16-13=3$），$7/2$（$49-52=-3$），$11/3$（$121-117=4$），$18/5$（$324-325=-1$），$119/33$（$14161-14157=4$），...$649/180$（$421201-421200=1$）。基本解$(649,180)$。答案：$(649,180)$。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。

> 进一步引导：这个步骤的关键在于区分干扰信息和关键信息——题目中看似复杂的条件往往只有少数几个与分类判定直接相关，学会筛选信息本身就是重要的数学素养。养成先筛选再判断的习惯，能大幅提升解题速度和准确性。

2. 求$x^2-19y^2=1$的基本解。

* 解答提示：$\sqrt{19}=\[4;\overline{2,1,3,1,2,8}]$，周期$l=6$偶数。渐近分数到第5个：$4/1$（$16-19=-3$），$9/2$（$81-76=5$），$13/3$（$169-171=-2$），$48/11$（$2304-2299=5$），$61/14$（$3721-3724=-3$），$170/39$（$28900-28899=1$）。基本解$(170,39)$。答案：$(170,39)$。

> 深度解析：这里运用的实际上是反证法的思想雏形——通过分析奇偶性矛盾来证明某些情形不可能发生。不变量思想与反证法结合，是竞赛中最强大的组合工具之一。

> 深度解析：这里运用的实际上是反证法的思想雏形——通过分析奇偶性矛盾来证明某些情形不可能发生。不变量思想与反证法结合，是竞赛中最强大的组合工具之一，也是数学证明的经典范式。

3. 证明：若$\sqrt{D}$的连分数展开周期为$l$，则基本解为第$l$或$2l$个渐近分数（依赖于$l$的奇偶）。

* 解答提示：利用渐近分数性质$p_k^2-Dq_k^2=(-1)^{k-1}\cdot C_k$，其中$C_k$在周期内循环。当$k=l-1$时（周期末），$C\_{l-1}=\pm1$。若$l$偶则$p\_{l-1}^2-Dq\_{l-1}^2=1$；若$l$奇则$p\_{l-1}^2-Dq\_{l-1}^2=-1$，需再走一个周期得到$p\_{2l-1}^2-Dq\_{2l-1}^2=1$。答案：证毕。

> 思维延伸：将这个问题稍作变换——如果把条件中的某条规则改一下，结论是否还成立？这种改变条件观察变化的思维训练，有助于真正理解规则的本质。

* **开车（L5-L6）** -> 对标

1. 求$x^2-61y^2=1$的基本解。

* 解答提示：$\sqrt{61}=\[7;\overline{1,4,3,1,2,2,1,3,4,1,14}]$，周期$l=11$奇数。计算到第$21$个渐近分数得基本解$(1766319049,226153980)$。答案：$(1766319049,226153980)$。

> 解题框架：解决此类问题的通用流程是：(1)提取模数特征→(2)确定被考察对象的等价类→(3)追踪运算后的类变化→(4)从类信息反推数值约束。整个过程中始终保持从分类层面而非数值层面思考问题。

2. 用连分数求负佩尔方程$x^2-2y^2=-1$的解。

* 解答提示：$\sqrt{2}=\[1;\overline{2}]$，$l=1$奇数。第$0$个渐近分数$1/1$：$1^2-2\cdot1^2=-1$。故负佩尔方程有解$(1,1)$。通解由$(1+\sqrt{2})^{2n-1}$给出。答案：$(1,1)$为基本解。

3. 证明：佩尔方程的基本解对应实二次域$\mathbb{Q}(\sqrt{D})$的基本单位。

* 解答提示：实二次域$\mathbb{Q}(\sqrt{D})$的单位群由狄利克雷单位定理描述：所有单位形如$\pm u^n$（$n\in\mathbb{Z}$），其中$u>1$是最小大于$1$的单位——即基本单位。$x+y\sqrt{D}$的范数为$N(x+y\sqrt{D})=x^2-Dy^2$。范数为$1$的单位对应佩尔方程的解。由连分数理论，$\sqrt{D}$的渐近分数给出所有范数为$\pm1$的单位，其中最小的（基本解）就是基本单位。答案：证毕。

> 思维延伸：将这个问题稍作变换——如果把条件中的某条规则改一下，结论是否还成立？这种改变条件观察变化的思维训练，有助于真正理解规则的本质而非机械套用，是深度学习的标志性方法。

**通用策略总结**：利用连分数求解佩尔方程的通用策略：(1)将√D展开为简单连分数，计算其周期长度l；(2)依次计算渐近分数p_k/q_k，检验p_k²-Dq_k²的值直至出现±1；(3)若l为偶数则第l-1个渐近分数给出基本解；若l为奇数则基本解出现在第2l-1个渐近分数（此时负佩尔方程可能有解）；(4)基本解生成所有正解——所有解由(x+y√D)^ⁿ的展开给出，n取遍正整数。常见变式：负佩尔方程x²-Dy²=-1（仅当l为奇数有解）、广义佩尔方程x²-Dy²=N。失效边界：D为完全平方数时退化为一元二次方程，连分数展开终止。
