Appearance
不定方程与丢番图方程（Diophantine Equations）
核心定位
不定方程（丢番图方程）是指未知数个数多于方程个数且解限定为整数的方程。其核心问题是判断是否有解、解是否无穷、以及如何求出所有解。本笔记从一次不定方程出发，逐步深入到勾股方程、佩尔方程及高次方程，重点介绍模分析、因式分解与无穷递降法等初等方法论，与 韦达定理、复数 等工具有重要联系。
一、一次不定方程
1.1 二元一次不定方程
$ax + by = c$ 有整数解的充要条件
方程 $ax + by = c$（$a, b$不全为零）有整数解当且仅当$\gcd(a, b) \mid c$。
通解公式：设 $d = \gcd(a, b)$，$d \mid c$，且 $(x_0, y_0)$ 是一组特解（由扩展欧几里得算法求得），则通解为： $$x = x_0 + \frac{b}{d} \cdot t,\quad y = y_0 - \frac{a}{d} \cdot t \quad (t \in \mathbb{Z})$$
推导思路
若 $(x_0, y_0)$和$(x, y)$均为解，则$a(x - x_0) + b(y - y_0) = 0$，即 $a(x - x_0) = -b(y - y_0)$。两边除以 $d$得$\frac{a}{d}(x - x_0) = -\frac{b}{d}(y - y_0)$。由于 $\gcd(\frac{a}{d}, \frac{b}{d}) = 1$，必有 $\frac{b}{d} \mid (x - x_0)$且$\frac{a}{d} \mid (y_0 - y)$，故得上述通解形式。
1.2 多元一次不定方程
$a_1x_1 + a_2x_2 + \cdots + a_nx_n = c$
有整数解的充要条件是 $\gcd(a_1, a_2, \dots, a_n) \mid c$。
解法思路：逐步消元。先解 $a_1x_1 + a_2x_2 = \gcd(a_1, a_2) \cdot u$，然后将 $u$作为新变量与$a_3$ 联立，依此类推。
二、勾股方程（商高方程）
2.1 欧几里得通解公式
$x^2 + y^2 = z^2$ 的本原解
方程 $x^2 + y^2 = z^2$的满足$\gcd(x, y, z) = 1$（本原）且 $x$ 为偶数的所有正整数解为： $$\begin{cases} x = m^2 - n^2 \newline y = 2mn \newline z = m^2 + n^2 \end{cases}$$ 其中 $m > n > 0$，$\gcd(m, n) = 1$，且 $m$与$n$ 一奇一偶。
推导概要
由 $\gcd(x, y, z) = 1$知$x, y$一奇一偶（否则$z^2 \equiv 2 \pmod 4$不可能）。设$y = 2k$，则 $(z - x)(z + x) = y^2 = 4k^2$。由 $\gcd(z-x, z+x) = 2$，令 $z + x = 2m^2$，$z - x = 2n^2$，解之即得上述公式。
记忆技巧
取 $m=2, n=1$得最经典的$(3,4,5)$勾股数；取$m=3, n=2$得$(5,12,13)$。
三、佩尔方程
佩尔方程（Pell's Equation）
$$x^2 - D y^2 = 1$$ 其中 $D$ 为正整数且非完全平方数。该方程总有无穷多组正整数解。
佩尔方程的最小正整数解 $(x_1, y_1)$ 称为基本解，所有解可由基本解生成： $$x_k + y_k \sqrt{D} = (x_1 + y_1 \sqrt{D})^k$$
与连分数的关系
基本解 $(x_1, y_1)$可由$\sqrt{D}$的连分数展开的渐近分数求得。例如$\sqrt{2} = [1; \overline{2}]$，其渐近分数 $\frac{3}{2}$给出$x=3, y=2$是$x^2 - 2y^2 = 1$ 的基本解。
四、高次不定方程的初等方法
4.1 模分析法
模分析（Modulo Analysis）
对不定方程两边取模某个适当的数，利用剩余类的性质排除无解的情况。
原理：若方程有整数解，则对任意模 $m$同余式必然成立。若存在某个$m$使同余式无解，则原方程无整数解。常用的模包括$3, 4, 8, 9$ 等（因平方数在这些模下取值有限）。
经典例子
证明 $x^2 + y^2 = 4n + 3$ 无整数解。
平方数模 $4$只能为$0$或$1$，故 $x^2 + y^2$模$4$只能为$0, 1, 2$，不可能为 $3$。
4.2 因式分解法
将不定方程变形为可分解的形式，然后利用整数的因子分解唯一性讨论各种情形。
常用变形技巧：
- $x^2 - y^2 = (x-y)(x+y) = n \implies$枚举$n$ 的因子
- $xy + ax + by = (x+b)(y+a) - ab$
4.3 无穷递降法
无穷递降法（Infinite Descent）
假设方程存在一组正整数解，构造出另一组严格更小的正整数解，由此得出矛盾（正整数不能无限递降），从而证明无解。
经典应用——证明 $\sqrt{2}$是无理数：若$x^2 = 2y^2$有正整数解，取最小正整数解$(x, y)$。则 $x$为偶数，设$x = 2x_1$，代入得 $4x_1^2 = 2y^2 \implies y^2 = 2x_1^2$，于是 $(y, x_1)$也是解，且$y < x$（由 $x^2 = 2y^2 > y^2$知$x > y$），与 $(x, y)$ 的最小性矛盾。
五、费马大定理简介
费马大定理（Fermat's Last Theorem）
当 $n \ge 3$时，方程$x^n + y^n = z^n$ 没有正整数解。
该定理于 1994 年由 Andrew Wiles 证明，使用的是高度深刻的椭圆曲线与模形式理论。
5.1 $n = 4$ 情形的初等证明
利用无穷递降法可证明 $x^4 + y^4 = z^2$无正整数解（更强的结论），从而$n = 4$ 时费马大定理成立。
证明思路：假设 $(x, y, z)$是满足$x^4 + y^4 = z^2$且$\gcd(x, y) = 1$ 的最小正整数解。由勾股方程的欧几里得公式，$(x^2, y^2, z)$是本原勾股数组，不妨设$x^2 = m^2 - n^2$，$y^2 = 2mn$，$z = m^2 + n^2$。由 $x^2 + n^2 = m^2$ 再次应用勾股公式，层层推导最终得到更小的正整数解，与最小性矛盾。
六、典型例题
例 1：一次不定方程求通解
求 $3x + 5y = 7$ 的所有整数解。
解：$\gcd(3, 5) = 1 \mid 7$，有解。观察得特解 $x_0 = -1, y_0 = 2$（因 $3(-1) + 5(2) = 7$）。通解： $$x = -1 + 5t,\quad y = 2 - 3t \quad (t \in \mathbb{Z})$$
例 2：求勾股数
求 $x^2 + y^2 = z^2$的所有本原正整数解中满足$z < 30$ 的解。
解：利用欧几里得公式，枚举 $m > n$，$\gcd(m,n)=1$，一奇一偶：
- $m=2, n=1$：$(3, 4, 5)$
- $m=3, n=2$：$(5, 12, 13)$
- $m=4, n=1$：$(15, 8, 17)$
- $m=4, n=3$：$(7, 24, 25)$
- $m=5, n=2$：$(21, 20, 29)$ 共 $5$ 组。
例 3：模分析法
证明 $x^3 + y^3 = 9z + 4$ 无整数解。
解：考虑模 $9$。立方数模 $9$只能是$0, \pm 1$，故 $x^3 + y^3$模$9$只能是$-2, -1, 0, 1, 2$。而右边 $9z + 4 \equiv 4 \pmod 9$，不在上述范围内，故无解。
例 4：因式分解法
求 $x^2 - y^2 = 105$ 的所有正整数解。
解：$(x - y)(x + y) = 105$。令 $u = x - y > 0$，$v = x + y > 0$，则 $uv = 105$且$u, v$同奇偶（因$u+v = 2x$ 为偶数）。$105 = 3 \times 5 \times 7$，枚举奇因子对：
- $(1, 105) \to x = 53, y = 52$
- $(3, 35) \to x = 19, y = 16$
- $(5, 21) \to x = 13, y = 8$
- $(7, 15) \to x = 11, y = 4$ 共 $4$ 组。
例 5：无穷递降法
证明 $x^4 + y^4 = z^2$ 无正整数解。
简述：假设存在最小正整数解 $(x, y, z)$且$\gcd(x, y) = 1$。由 $x^2, y^2, z$构成本原勾股数组，通过欧几里得公式得$z = m^2 + n^2$。进一步分析可推出存在更小的正整数解 $(x_1, y_1, z_1)$满足$x_1^4 + y_1^4 = z_1^2$，与最小性矛盾。详细推导见「五」中的证明思路。
例 6：佩尔方程
求 $x^2 - 2y^2 = 1$ 的最小三组正整数解。
解：基本解 $(3, 2)$（因 $3^2 - 2 \cdot 2^2 = 9 - 8 = 1$）。第二组：$(3 + 2\sqrt{2})^2 = 17 + 12\sqrt{2}$，得 $(17, 12)$。第三组：$(3 + 2\sqrt{2})^3 = 99 + 70\sqrt{2}$，得 $(99, 70)$。验证：$17^2 - 2 \cdot 12^2 = 289 - 288 = 1$；$99^2 - 2 \cdot 70^2 = 9801 - 9800 = 1$。
七、Thue 定理
Thue 定理
设 $f(x, y) = ax^2 + bxy + cy^2$ 为正定二元二次型（$a > 0$，判别式 $\Delta = b^2 - 4ac < 0$），$m$为正整数。若$f$的判别式$\Delta$与$m$互素，则方程$f(x, y) = m$ 的整数解仅有有限组。
等价形式：设 $D > 0$ 非完全平方数，$k$为给定整数，则$|x^2 - Dy^2| \le k$ 仅有有限多组整数解。
Thue 不等式
设 $\alpha$为不可约整系数多项式$f(x)$ 的根，$\deg f \ge 3$。则对任意整数 $k \neq 0$，方程 $F(x, y) = k$（$F$为$f$ 对应的齐次式）仅有有限组整数解。
意义：Thue 定理将"佩尔方程有无穷解"与"高次方程仅有有限解"严格区分，是丢番图几何的开山之作。其证明用到有理数逼近无理数的最佳逼近性质。
Thue 定理的几何意义
方程 $F(x, y) = m$（$F$为齐次形式）的解对应于Thue 曲线上的整点。当$\deg F \ge 3$ 时，Thue 证明这种整点有限。这是丢番图几何的核心结论之一，后由 Siegel、Faltings 等人大大推广。
八、Mordell 方程
Mordell 方程
$$y^2 = x^3 + k$$ 其中 $k$为非零整数。Mordell（1922）证明：对每个固定$k$，该方程的整数解只有有限组。
关键事实：
- Mordell 方程的整数解可以用椭圆曲线理论求解，但一般无统一公式
- 解的集合构成有限 Abel 群（Mordell-Weil 定理）
- 对每个 $k$，可以用 Mordell 群计算法求出所有整数解
Mordell 方程示例
求 $y^2 = x^3 - 2$ 的整数解。
解：尝试小整数。$x = 3$给$y^2 = 25$，$y = \pm 5$✓。其他$x$：$x = 1$给$y^2 = -1$ 无；$x = 2$给$y^2 = 6$ 无；$x = -1$给$y^2 = -3$ 无；$x = -2$给$y^2 = -10$ 无。Mordell 已证这是仅有解：$\lbrace (3, \pm 5)\rbrace $。
Mordell 方程与椭圆曲线
Mordell 方程 $y^2 = x^3 + k$是椭圆曲线的最简形式（当$k \ne 0$）。研究其有理解需要椭圆曲线理论，而椭圆曲线是现代数论最核心的对象之一，与 BSD 猜想、模形式、Fermat 大定理等深度课题紧密关联。
九、Catalan 猜想（Mihailescu 定理）
Catalan 猜想（现已成为定理，2002 年 Mihailescu 证明）
方程 $x^p - y^q = 1$（$x, y > 0$，$p, q \ge 2$）的唯一解是 $3^2 - 2^3 = 9 - 8 = 1$。
意义：这是数论中著名的"差为 $1$ 的两个完全幂"问题。Mihailescu 的证明使用分圆域理论，是代数数论的杰出应用。
Catalan 的特殊情形
若 $x^2 - y^3 = \pm 1$，则 $x^2 = y^3 \pm 1$。可证只有 $(x, y) = (3, 2)$（差 $+1$）与 $(x, y) \in \lbrace (1, 0), (0, -1)\rbrace $（平凡）。
十、Markov 方程
Markov 方程
$$x^2 + y^2 + z^2 = 3xyz$$ 的正整数解称为 Markov 三元组。最小解为 $(1, 1, 1)$，其次为 $(1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29), \dots$
Vieta 跳跃法：若 $(x, y, z)$是 Markov 方程的解，固定$y, z$，则 $x$是二次方程$x^2 - 3yz \cdot x + (y^2 + z^2) = 0$的根。另一根$x' = 3yz - x$也是整数，故$(x', y, z)$ 也是解。由此生成 Markov 树。
Vieta 跳跃法
Vieta 跳跃是处理对称不定方程的标准技巧：
- 取最小解 $(x_0, y_0, z_0)$（按某字典序）
- 用韦达定理找另一根
- 证明另一根更小或为正，导出矛盾或递推
这个方法在 IMO 中反复出现，如 1988 年第 6 题、1990 年第 4 题等。
经典 IMO 题目（1988 P6）
设 $a, b$ 为正整数，$ab + 1 \mid a^2 + b^2$。证明 $\dfrac{a^2 + b^2}{ab + 1}$ 是完全平方数。
证（Vieta 跳跃）：设 $k = \dfrac{a^2 + b^2}{ab + 1}$。反设 $k$非完全平方。考虑所有使$k$为该值的$(a, b)$对，取其中$a + b$最小的，不妨$a \ge b$。固定 $b$，关于 $a$的二次方程$a^2 - kba + (b^2 - k) = 0$另一根为$a' = kb - a$。
- $a' \in \mathbb{Z}$（韦达定理）
- $a' \ge 0$：若 $a' < 0$则$a > kb$，$a^2 > kba = a^2 + b^2 - k$，即 $k > b^2$，但 $k = (a^2 + b^2)/(ab + 1) < a/b + b/a \le a + 1$，结合 $k > b^2$ 矛盾（细节略）
- $a' = 0$给$k = b^2$，与反设矛盾
- $a' > 0$给更小解$(b, a')$，与最小性矛盾 故 $k$ 必为完全平方数。
十一、二元二次型的不定方程
二元二次型表示问题
给定整数 $n$与二次型$f(x, y) = ax^2 + bxy + cy^2$，问 $f(x, y) = n$ 何时有整数解？
关键情形：
$x^2 + y^2 = n$（高斯整数法）：
- $n$可表为两整数平方和$\iff$ $n$的每个$4k+3$型素因子在$n$ 中出现的幂次为偶数
- 公式：$r_2(n) = 4 \sum_{d \mid n} \chi_4(d)$，其中 $\chi_4(d) = \begin{cases} 1 & d \equiv 1 \pmod 4 \newline -1 & d \equiv 3 \pmod 4 \newline 0 & d \text{ 偶}\end{cases}$
$x^2 - Dy^2 = n$（广义佩尔方程）：
- 若有解，则解可由广义佩尔方程的解族给出
- 解的存在性由二次型的等价类决定
两数平方和
哪些 $n \le 50$ 可表为两整数平方和？
解：$1=0^2+1^2, 2=1+1, 4=0+4, 5=1+4, 8=4+4, 9=0+9, 10=1+9, 13=4+9, 16=0+16, 17=1+16, 18=9+9, 20=4+16, 25=0+25=9+16, 26=1+25, 29=4+25, 32=16+16, 34=9+25, 36=0+36, 37=1+36, 40=4+36, 41=16+25, 45=9+36, 49=0+49$。$3$ 不行（$3 \equiv 3 \pmod 4$），$6$ 不行（$3$的幂次$1$ 奇），$7$ 不行，$11$ 不行，$12 = 4 \cdot 3$ 不行（$3$ 奇次），等等。
十二、S-unit 方程与 Thue-Mahler 方程
Thue-Mahler 方程
$$F(x, y) = c \cdot p_1^{a_1} p_2^{a_2} \cdots p_s^{a_s}$$ 其中 $F$ 为齐次不可约形式（$\deg F \ge 3$），$p_1, \dots, p_s$ 为固定素数集。Evertse 证明此方程的整数解有限。
S-unit 方程：$u + v = 1$，其中 $u, v$是 S-units（即素因子仅在固定集合$S$中的有理数）。该方程的解有限，是$p$-adic 分析的深刻应用。
现代视角
Thue-Mahler 方程与 S-unit 方程是丢番图方程理论的高峰。它们对应算术几何中的有限性结果，由 Faltings 定理（Mordell 猜想）大大推广。
十三、Fermat 大定理的进阶讨论
Fermat 大定理
当 $n \ge 3$ 时，$x^n + y^n = z^n$ 无正整数解。
证明的关键步骤（Andrew Wiles, 1994）：
- Frey 曲线：从假设解 $(a, b, c)$出发，构造椭圆曲线$y^2 = x(x - a^n)(x + b^n)$
- Ribet 定理：该 Frey 曲线不模（即不能从模形式构造）
- Wiles-Taylor 的 modularity 定理：所有半稳定椭圆曲线都是模的
- 矛盾：Frey 曲线既模又不模
$n = 4$ 的初等证明：$x^4 + y^4 = z^2$ 无解（用无穷递降法）。
$n = 3$的初等证明：在 Eisenstein 整数$\mathbb{Z}[\omega]$（$\omega = e^{2\pi i/3}$）中证明唯一分解，从而 $x^3 + y^3 = z^3$ 无解。
$n = 4$ 的证明思路
设 $x^4 + y^4 = z^2$有最小正整数解$(x, y, z)$，$\gcd(x, y) = 1$。则 $(x^2, y^2, z)$是本原勾股数组，不妨设$x^2 = m^2 - n^2$，$y^2 = 2mn$，$z = m^2 + n^2$。由 $x^2 + n^2 = m^2$再次用勾股公式得$x = p^2 - q^2$，$n = 2pq$，$m = p^2 + q^2$。代入 $y^2 = 2mn = 4pq(p^2 + q^2)$，故 $pq(p^2 + q^2)$是完全平方。逐步推导得到$(p', q', z')$ 是更小的解，与最小性矛盾。
十四、典型例题（进阶）
例 7：模分析法的精细应用
证明 $x^2 + 7y^2 = 196$ 无正整数解。
解：$x^2 = 196 - 7y^2 = 7(28 - y^2)$，故 $7 \mid x^2$，从而 $7 \mid x$。设 $x = 7u$，则 $49u^2 + 7y^2 = 196 \Rightarrow 7u^2 + y^2 = 28$。若 $7 \mid y$，类似设 $y = 7v$，则 $7u^2 + 49v^2 = 28$，$u^2 + 7v^2 = 4$，$u = \pm 2, v = 0$（平凡）或 $u = 0, v = \pm ?$（$7v^2 = 4$无解）。若$7 \nmid y$，则 $y^2 \equiv 28 - 7u^2 \equiv 0 \pmod 7$，即 $7 \mid y^2 \Rightarrow 7 \mid y$，矛盾。故仅有平凡解 $x = \pm 14, y = 0$。
例 8：Markov 三元组
求 Markov 方程 $x^2 + y^2 + z^2 = 3xyz$的前 5 个最小解（按$x + y + z$ 排序）。
解：从 $(1, 1, 1)$ 出发：
- $(1, 1, 1) \to$固定$1, 1$，$z' = 3 \cdot 1 \cdot 1 - 1 = 2$，得 $(1, 1, 2)$
- $(1, 1, 2) \to$固定$1, 2$，$z' = 3 \cdot 1 \cdot 2 - 1 = 5$，得 $(1, 2, 5)$
- $(1, 2, 5) \to$固定$2, 5$，$z' = 3 \cdot 2 \cdot 5 - 1 = 29$，得 $(1, 5, 29)$
- $(1, 5, 29) \to$固定$5, 29$，$z' = 3 \cdot 5 \cdot 29 - 1 = 434$，得 $(1, 29, 434)$
- 也可固定 $1, 5$在$(1, 2, 5)$：$z' = 3 \cdot 1 \cdot 5 - 2 = 13$，得 $(1, 5, 13)$
前 5 个最小解：$(1, 1, 1), (1, 1, 2), (1, 2, 5), (1, 5, 13), (2, 5, 29)$。
例 9：两数平方和判定
判断 $90$与$325$ 是否能表示为两整数平方和。
解：
- $90 = 2 \cdot 3^2 \cdot 5$，$3$的幂次$2$ 为偶，$5 \equiv 1 \pmod 4$，$2$ 不影响。可表示。$90 = 9^2 + 3^2 = 81 + 9$ ✓
- $325 = 5^2 \cdot 13$，$5, 13$均$\equiv 1 \pmod 4$。可表示。$325 = 18^2 + 1^2 = 324 + 1$✓（也可$325 = 17^2 + 6^2 = 289 + 36 = 325$ ✓）
例 10：Frey 曲线思想
若 $a^p + b^p = c^p$（$p \ge 5$素数）有非平凡解，构造 Frey 曲线$E: y^2 = x(x - a^p)(x + b^p)$，讨论其判别式。
解：判别式 $\Delta = 16 \cdot 4 \cdot (a^p)^2 \cdot (b^p)^2 \cdot (c^p)^2 = 64 (abc)^{2p}$（粗略）。该曲线的 Galois 表示具有"几乎不模"的异常性质，正是 Ribet 定理所形式化的对象。
例 11：$x^2 - Dy^2 = -1$ 的可解性
何时 $x^2 - Dy^2 = -1$ 有整数解？
解：当且仅当 $\sqrt{D}$ 的连分数周期为奇数。具体地：若周期为偶数则无解，奇数则有解。 例如 $D = 2$：$\sqrt{2} = [1; \overline{2}]$，周期 $1$（奇），有解 $(1, 1)$：$1 - 2 = -1$ ✓。 $D = 3$：$\sqrt{3} = [1; \overline{1, 2}]$，周期 $2$（偶），无解。验：$x^2 - 3y^2 = -1$的$y = 1 \to x^2 = 2$ 无；$y = 2 \to x^2 = 11$ 无；...
例 12：因式分解法应用
解 $xy + 3x + 5y = 50$。
解：$xy + 3x + 5y = (x + 5)(y + 3) - 15 = 50$，故 $(x+5)(y+3) = 65 = 1 \cdot 65 = 5 \cdot 13$。枚举：
- $x + 5 = 1, y + 3 = 65 \Rightarrow (x, y) = (-4, 62)$
- $x + 5 = 5, y + 3 = 13 \Rightarrow (x, y) = (0, 10)$
- $x + 5 = 13, y + 3 = 5 \Rightarrow (x, y) = (8, 2)$
- $x + 5 = 65, y + 3 = 1 \Rightarrow (x, y) = (60, -2)$
- 还需考虑负因子：$(-1, -65), (-5, -13), \dots$共$8$ 组整数解。