拉格朗日连分数定理的完整证明
证明所需前置定义或结论
定义1：完全余项（完全商）
完全余项（或称完全商）表示从第 $n$ 项开始包含后面所有尾巴的那部分实数的值。
设 $\alpha = [a_0; a_1,a_2, \dots]$，定义第n个完全余项为 $\alpha_n = [a_{n}; a_{n+1},a_{n+2}, \dots] = a_n + \cfrac{1}{a_{n+1} + \cfrac{1}{a_{n+2}+ \dots}}$
自然有递推关系式：$\alpha_0 = \alpha,$ $\phantom{00}\alpha_n = a_n + \frac{1}{\alpha_{n+1}}$
定义2：渐进分数
渐进分数表示连分数前 $n+1$ 项（均为整数）计算出的有理数。
定义渐进分数 $\color{red}\frac{p_n}{q_n} = [a_0; a_1, a_2, \dots, a_n]$，它满足如下递推关系：
$p_{-2}:=\phantom{0}0$
$p_{-1}:=\phantom{0}1$
$p_0\phantom{0}=\phantom{0}a_0$
$\color{red}p_n\phantom{0}= a_n p_{n-1} + p_{n-2}$
$q_{-2}:=\phantom{0}1$
$q_{-1}:=\phantom{0}0$
$q_0\phantom{0}=1$
$\color{red}q_n\phantom{0}= a_n q_{n-1} + q_{n-2}$
为什么这个递推式成立呢？我们来看：
使用数学归纳法，假设当当 $n=k$ 时时递推成立，现在我们证明 $n=k+1$ 时递推也成立。
将 $k+1$ 阶渐近分数视为将 $k$ 阶展开式中的最后一项 $a_k$ 替换为 $a_k + \frac{1}{a_{k+1}}$，即：
$\frac{p_{k+1}}{q_{k+1}} = [a_0, a_1, \dots, a_{k-1}, a_k, a_{k+1}] = [a_0, a_1, \dots, a_{k-1}, a_k + \frac{1}{a_{k+1}}]$
利用已知的 $k$ 阶递推公式进行代换：
$\frac{p_{k+1}}{q_{k+1}} = \frac{(a_k + \frac{1}{a_{k+1}}) p_{k-1} + p_{k-2}}{(a_k + \frac{1}{a_{k+1}}) q_{k-1} + q_{k-2}}$
分子分母同时乘以 $a_{k+1}$：
$\frac{p_{k+1}}{q_{k+1}} = \frac{(a_{k+1} a_k + 1) p_{k-1} + a_{k+1} p_{k-2}}{(a_{k+1} a_k + 1) q_{k-1} + a_{k+1} q_{k-2}}$
提取 $a_{k+1}$ 并利用 $k$ 阶的定义 $p_k = a_k p_{k-1} + p_{k-2}$ 得到：
$\frac{p_{k+1}}{q_{k+1}} = \frac{a_{k+1} (a_k p_{k-1} + p_{k-2}) + p_{k-1}}{a_{k+1} (a_k q_{k-1} + q_{k-2}) + q_{k-1}} = \frac{a_{k+1} p_k + p_{k-1}}{a_{k+1} q_k + q_{k-1}}$
命题对于 $n=k+1$ 成立，Q.E.D。
引理1：完全商关系式
完全商关系式：$\color{red}\alpha = \cfrac{\alpha_n p_{n-1} + p_{n-2}}{\alpha_n q_{n-1} + q_{n-2}}$
本质上就是一个以完全商 $\alpha_n$ 为自变量的莫比乌斯变换，而莫比乌斯变换 $f(z) = \frac{az + b}{cz + d}$ 正是连分数的“动力系统”。
我们发现，这跟上面的渐进分数的递推关系式形式上是一样的。观察 $n=1$ 的情况：
根据定义：$\alpha = [a_0; \alpha_1] = a_0 + \cfrac{1}{\alpha_1} = \cfrac{\alpha_1 a_0 + 1}{\alpha_1}$。
对比渐近分数表：$p_0 = a_0, p_{-1} = 1$ $\phantom{0}q_0 = 1, q_{-1} = 0$
代入公式：$\cfrac{\alpha_1 p_0 + p_{-1}}{\alpha_1 q_0 + q_{-1}} = \cfrac{\alpha_1 a_0 + 1}{\alpha_1 \cdot 1 + 0}$，结果一致。
我们已经证明 $\frac{p_k}{q_k}$ 满足的递推关系，当我们把最后一项 $a_k$ 替换为一个分式 $a_k + \frac{1}{a_{k+1}}$ 时，新生成的 $\frac{p_{k+1}}{q_{k+1}}$ 依然满足同样的线性组合结构。同样的逻辑：$\alpha$ 本身就是一个“还没停下来”的渐近分数。我们可以把 $\alpha = [a_0; a_1, \dots, a_{n-1}, \alpha_n]$ 看作是一个只有 $n+1$ 项的连分数，只不过最后一项不是整数 $a_n$，而是实数 $\alpha_n$。
引理2：收敛的具体形式
两个相邻渐近分数的差公式：
$$\color{red}p_n q_{n-1} - p_{n-1} q_n = (-1)^{n+1}$$
根据递推关系：$p_n = a_n p_{n-1} + p_{n-2}\phantom{0}$ 及 $\phantom{0}q_n = a_n q_{n-1} + q_{n-2}$
$$ p_n q_{n-1} - p_{n-1} q_n = (a_n p_{n-1} + p_{n-2}) q_{n-1} - p_{n-1} (a_n q_{n-1} + q_{n-2}) = -(p_{n-1} q_{n-2} - p_{n-2} q_{n-1}) $$这是个符号交替的等比数列，公比为 $-1$。由于 $n=0$ 时结果为 $-1$，故 $n$ 项结果为 $(-1)^{n+1}$。由此得相邻项的差：$$\color{red}\frac{p_n}{q_n} - \frac{p_{n-1}}{q_{n-1}} = \frac{(-1)^{n+1}}{q_n q_{n-1}}$$
[注] 莫比乌斯变换 $f(z) = \frac{az + b}{cz + d}$ 的判别条件 ad - bc ≠ 0 ，在连分数中体现为 $p_{n-1}q_{n-2} - p_{n-2}q_{n-1} = (-1)^n$，这保证了变换是可逆的，且不会退化为常数。
偶数号渐进分数单调递增，奇数号渐进分数单调递减：
利用上述1中的结论：
代入 $q_n - q_{n-2} = a_n q_{n-1}$：
因此：
当 $n$ 为偶数时：$(-1)^n = 1$，故 $\frac{p_n}{q_n} - \frac{p_{n-2}}{q_{n-2}} > 0$，偶数号渐进分数单调递增。
当 $n$ 为奇数时：$(-1)^n = -1$，故 $\frac{p_n}{q_n} - \frac{p_{n-2}}{q_{n-2}} < 0$，奇数号渐进分数单调递减。
任意一个奇数号渐进分数大于任何偶数号渐进分数：
相邻项关系：从 $\frac{p_n}{q_n} - \frac{p_{n-1}}{q_{n-1}} = \frac{(-1)^{n+1}}{q_n q_{n-1}}$
可知：当 $n$ 为奇数时，结果为 $\frac{1}{q_n q_{n-1}} > 0$，即 $\frac{p_{\text{odd}}}{q_{\text{odd}}} > \frac{p_{\text{even}}}{q_{\text{even}}}$。
跨项关系：假设存在某个偶数项 $x_{2k}$ 大于某个奇数项 $y_{2j+1}$。但由于偶数项单调增，奇数项单调减，且任意相邻的奇偶项都满足“奇 > 偶”，通过传递性可以证明：所有的奇数项都构成了偶数项的上界。
交替震荡收敛于某个具体的实数 $\alpha$ ：
我们现在有两个序列：偶次序列 ${L_n}$：单调增且有上界（任何一个奇数项都是它的上界）。
奇次序列 ${R_n}$：单调减且有下界（任何一个偶数项都是它的下界）。
根据单调有界原理，两个序列都必然收敛，设 $L_n \to \alpha$，$R_n \to \beta$。
两者之差为相邻项的差：$$|R_n - L_n| = \left| \frac{p_n}{q_n} - \frac{p_{n-1}}{q_{n-1}} \right| = \frac{1}{q_n q_{n-1}}$$由于分母 $q_n$ 随着 $n$ 的增加而严格递增趋于无穷，所以：$$\lim_{n \to \infty} |R_n - L_n| = 0$$因此 $\alpha = \beta$。这个唯一的极限值就是连分数所代表的实数 $\alpha$。
误差推导：
连分数的一个关键特性是：渐近分数 $\frac{p_n}{q_n}$ 总是交替地分布在 $\alpha$ 的两侧。
偶数项 $n=0, 2, 4 \dots$ 从下方逼近 $\alpha$（小于 $\alpha$）。
奇数项 $n=1, 3, 5 \dots$ 从上方逼近 $\alpha$（大于 $\alpha$）。
因此，$\alpha$ 始终处于相邻两个渐近分数 $\frac{p_{n-1}}{q_{n-1}}$ 和 $\frac{p_n}{q_n}$ 之间。由于 $\alpha$ 夹在中间，$\alpha$ 与其中任何一个端点的距离，必然小于这两个端点之间的总距离。即：$$\left| \alpha - \frac{p_{n-1}}{q_{n-1}} \right| < \left| \frac{p_n}{q_n} - \frac{p_{n-1}}{q_{n-1}} \right| = \frac{1}{q_n q_{n-1}}$$ 因为 $q_n$ 是分母的递推序列 $q_n = a_n q_{n-1} + q_{n-2}$，且 $a_n \ge 1$（对于 $n \ge 1$），所以分母是严格单调递增的：$q_n > q_{n-1}$，代入上式，最终：
$$\left| \alpha - \frac{p_{n-1}}{q_{n-1}} \right| < \frac{1}{q_n q_{n-1}} < \frac{1}{q_{n-1} \cdot q_{n-1}} = \frac{1}{q_{n-1}^2}$$
定理的证明部分
定理表述：实数 $α$ 的连分数展开最终是无限周期的，当且仅当 $α$ 是二次无理数。
证明分为两个方向：
充分性：若连分数是无限周期的，则 $\alpha$ 是二次无理数。
必要性：若 $\alpha$ 是二次无理数，则其连分数展开必进入周期循环。
充分性证明
即 无限周期性连分数 $\implies$ 二次无理数
纯周期的连分数
首先考虑纯周期情况，假设周期长度为 $m$，可以表示为：$\alpha = [\overline{a_0; a_1, \dots, a_{m-1}}]$。
这意味着完全商 $\alpha_m = \alpha$。
根据完全商关系式：$\alpha = \frac{\alpha p_{m-1} + p_{m-2}}{\alpha q_{m-1} + q_{m-2}}$
展开得：$q_{m-1} \alpha^2 + (q_{m-2} - p_{m-1}) \alpha - p_{m-2} = 0$
这是一个系数为整数的二次方程。由于 $\alpha$ 是无限连分数（无理数），且满足二次方程，故 $\alpha$ 是二次无理数。
混周期的连分数
其次 对于混周期连分数，形式为：$\alpha = [a_0; a_1, \dots, a_{k-1}, \overline{a_k, a_{k+1}, \dots, a_{k+m-1}}]$
这里，$a_0, \dots, a_{k-1}$ 是非周期部分（前置项），而从第 $k$ 项开始进入长度为 $m$ 的循环。
令周期部分对应的实数为 $\beta$，即：$\beta = [\overline{a_k; a_{k+1}, \dots, a_{k+m-1}}]$，根据我们之前对纯周期连分数的证明，$\beta$ 必然是一个二次无理数，满足某个整数系数方程 $A\beta^2 + B\beta + C = 0$。
根据连分数完全商关系式，我们可以将 $\alpha$ 表示为前 $k$ 项渐近分数的分子分母与完全商 $\beta$ 的组合：$$\alpha = \frac{\beta p_{k-1} + p_{k-2}}{\beta q_{k-1} + q_{k-2}}$$ 为了论证简化，令 $\alpha = \frac{a\beta + b}{c\beta + d}$，其中 $a=p_{k-1}, b=p_{k-2}, c=q_{k-1}, d=q_{k-2}$。由渐近分数性质，这些参数均为整数。我们现在证明：如果 $\beta$ 是二次无理数，那么通过 $\alpha = \frac{a\beta + b}{c\beta + d}$ 变换出来的 $\alpha$ 也是二次无理数。
反解 $\beta$：从 $\alpha(c\beta + d) = a\beta + b$ 中解出 $\beta$：$$\alpha c \beta + \alpha d = a\beta + b \implies \beta(c\alpha - a) = b - d\alpha \implies \beta = \frac{-d\alpha + b}{c\alpha - a}$$ 代入 $\beta$ 满足的二次方程：已知 $A\beta^2 + B\beta + C = 0$，将上述 $\beta$ 的表达式代入：$$A\left( \frac{-d\alpha + b}{c\alpha - a} \right)^2 + B\left( \frac{-d\alpha + b}{c\alpha - a} \right) + C = 0 $$整理方程：两边同乘以分母的平方 $(c\alpha - a)^2$：$$A(-d\alpha + b)^2 + B(-d\alpha + b)(c\alpha - a) + C(c\alpha - a)^2 = 0$$展开并按 $\alpha$ 的幂次排列：$$(Ad^2 - Bdc + Cc^2)\alpha^2 + (-2Adb + Bda + Bbc - 2Cac)\alpha + (Ab^2 - Bb a + Ca^2) = 0$$ 观察整理后的方程：
- 系数为整数：由于 $A, B, C$ 以及 $a, b, c, d$ 全是整数，新方程的各项系数显然也全是整数。
- 非平凡性：由于 $\alpha$ 是无限连分数（无理数），该方程不会退化为 $0=0$。
- 无理性保持：因为 $\beta$ 是无理数且 ad-bc = $(-1)^k$ ≠ 0（渐近分数的行列式性质），莫比乌斯变换保证了 $\alpha$ 也一定是无理数。
因此，综上所述，$\alpha$ 满足一个整数系数的二次方程，它是一个二次无理数。
必要性证明：
即 二次无理数 $\implies$ 无限周期性连分数
构造完全商的方程
设 $\alpha$ 满足二次方程 $f(x) = Ax^2 + Bx + C = 0$ ($A, B, C \in \mathbb{Z}$，且 $A$ 不为0)。
将 $\alpha = \frac{\alpha_n p_{n-1} + p_{n-2}}{\alpha_n q_{n-1} + q_{n-2}}$ 代入 $A\alpha^2 + B\alpha + C = 0$。
整理后，$\alpha_n$ 满足方程：$A_n \alpha_n^2 + B_n \alpha_n + C_n = 0$。
其中系数为：
$A_n = A p_{n-1}^2 + B p_{n-1} q_{n-1} + C q_{n-1}^2 = q_{n-1}^2 f(\frac{p_{n-1}}{q_{n-1}})$
$C_n = A p_{n-2}^2 + B p_{n-2} q_{n-2} + C q_{n-2}^2 = A_{n-1}$
$B_n = 2A p_{n-1} p_{n-2} + B(p_{n-1} q_{n-2} + p_{n-2} q_{n-1}) + 2C q_{n-1} q_{n-2}$
二次系数有界性证明
证明系数 $A_n, B_n, C_n$ 有界：
$A_n = q_{n-1}^2 f(\frac{p_{n-1}}{q_{n-1}})$，利用泰勒展开在 $\alpha$ 处展开 $f(x)$：$$f\left(\frac{p_{n-1}}{q_{n-1}}\right) = f(\alpha) + f’(\alpha) \left(\frac{p_{n-1}}{q_{n-1}} - \alpha\right) + \frac{f’’(\alpha)}{2} \left(\frac{p_{n-1}}{q_{n-1}} - \alpha\right)^2$$ 因为 $\alpha$ 是二次无理数，更高次的求导结果都是0，这里的泰勒展开只到二次项。因为 $f(\alpha)=0$，且已知连分数性质 $|\frac{p_{n-1}}{q_{n-1}} - \alpha| < \frac{1}{q_{n-1}^2}$，所以：$$|A_n| = q_{n-1}^2 \left| f’(\alpha) \left(\frac{p_{n-1}}{q_{n-1}} - \alpha\right) + \frac{f’’(\alpha)}{2} \left(\frac{p_{n-1}}{q_{n-1}} - \alpha\right)^2 \right| < |f’(\alpha)| + \frac{|f’’(\alpha)|}{2 q_{n-1}^2}$$
当 $n$ 足够大时，$|A_n|$ 显然被常数限制（有界）。
由于 $C_n = A_{n-1}$，故 $C_n$ 也有界。
根据判别式不变性：$B_n^2 - 4A_n C_n = B^2 - 4AC$，因为 $A_n 、C_n$ 有界且判别式是定值，所以 $B_n$ 也必然有界。
抽屉原理推导出循环
由于所有的系数 $A_n, B_n, C_n$ 都是整数，且它们都被限制在一个有限的范围内（有界），那么不同的三元组 $(A_n, B_n, C_n)$ 只有有限个。根据抽屉原理，在无限的 $n$ 序列中，必然存在两个下标 $j$ 和 $k (j < k)$，使得：$$(A_j, B_j, C_j) = (A_k, B_k, C_k)$$这意味着完全商 $\alpha_j$ 和 $\alpha_k$ 满足同一个二次方程。由于 $\alpha_n$ 必须大于 1（连分数余数的倒数），在二次方程的两个根中，只有一个可能符合条件。因此：$$\alpha_j = \alpha_k$$一旦两个完全商相等，根据连分数的生成规则 $a_n = \lfloor \alpha_n \rfloor$ 和 $\alpha_{n+1} = \frac{1}{\alpha_n - a_n}$，后续所有的商 $a_n$ 都会重复出现。即连分数是周期的。Q.E.D.