连分数与二次无理数的周期性
连分数是一种表示实数的方法,它通过连续展开为整数部分和分数部分来逼近该数。对于二次无理数(即满足某个整数系数的二次方程的无理数),其连分数展开具有一个关键性质:周期性。我将从连分数的基本定义开始,逐步解释这一概念。
首先,连分数的一般形式为:
\[a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cdots}}} \]
其中 \(a_0\) 是整数,\(a_1, a_2, a_3, \dots\) 是正整数。这可以简写为 \([a_0; a_1, a_2, a_3, \dots]\)。例如,有理数的连分数展开是有限的(如 \(5/2 = [2; 2]\)),而无理数的展开是无限的。
接下来,二次无理数是指形如 \(\alpha = \frac{p + \sqrt{d}}{q}\) 的数,其中 \(p, q, d\) 是整数,\(d > 0\) 且不是完全平方数,\(\alpha\) 是无理数。例如,\(\sqrt{2}\) 是一个二次无理数,因为它满足方程 \(x^2 - 2 = 0\)。
现在,关键步骤是理解连分数的周期性。一个连分数是周期性的,如果其部分商序列 \([a_0; a_1, a_2, \dots]\) 从某个点开始重复,即存在一个周期长度 \(k\) 使得 \(a_{n+k} = a_n\) 对所有足够大的 \(n\) 成立。例如,\(\sqrt{2}\) 的连分数展开为 \([1; \overline{2}]\),其中上划线表示周期,即无限重复的序列 \(2, 2, 2, \dots\)。
为了解释为什么二次无理数具有周期性连分数,我们需要考虑连分数展开的算法。给定一个实数 \(\alpha_0\),我们定义序列:
\[a_n = \lfloor \alpha_n \rfloor, \quad \alpha_{n+1} = \frac{1}{\alpha_n - a_n} \quad \text{对于 } n \geq 0 \]
其中 \(\lfloor \cdot \rfloor\) 表示向下取整。对于二次无理数 \(\alpha\),这个序列中的每个 \(\alpha_n\) 也是二次无理数,并且由于 \(\alpha\) 满足一个二次方程,这些值会 eventually 重复,导致部分商序列周期性。
更具体地,设 \(\alpha\) 是一个二次无理数,其共轭为 \(\alpha'\)(即另一个根)。在连分数展开过程中,\(\alpha_n\) 可以写成 \(\frac{P_n + \sqrt{d}}{Q_n}\),其中 \(P_n\) 和 \(Q_n\) 是整数,且 \(Q_n\) 整除 \(d - P_n^2\)。由于 \(P_n\) 和 \(Q_n\) 是有界的(通过二次无理数的性质),序列 \(\alpha_n\) 只能取有限多个值,因此必然从某个点开始重复,形成周期。
例如,计算 \(\sqrt{3}\) 的连分数:
- \(\alpha_0 = \sqrt{3}\),\(a_0 = \lfloor \sqrt{3} \rfloor = 1\)。
- \(\alpha_1 = \frac{1}{\sqrt{3} - 1} = \frac{\sqrt{3} + 1}{2}\),\(a_1 = \lfloor \frac{\sqrt{3} + 1}{2} \rfloor = 1\)。
- \(\alpha_2 = \frac{1}{\frac{\sqrt{3} + 1}{2} - 1} = \frac{2}{\sqrt{3} - 1} = \sqrt{3} + 1\),\(a_2 = \lfloor \sqrt{3} + 1 \rfloor = 2\)。
- \(\alpha_3 = \frac{1}{(\sqrt{3} + 1) - 2} = \frac{1}{\sqrt{3} - 1} = \frac{\sqrt{3} + 1}{2}\),这重复了 \(\alpha_1\)。
因此,\(\sqrt{3} = [1; \overline{1, 2}]\),周期为 2。
周期性在数论中有重要应用,例如求解佩尔方程 \(x^2 - dy^2 = 1\)。\(\sqrt{d}\) 的连分数周期长度与佩尔方程的最小解有关。此外,周期性还用于研究二次域的类数和单位群结构。
总结来说,二次无理数的连分数展开总是周期性的,这一性质源于二次方程的代数结构,并提供了计算和逼近的有效工具。\(\boxed{\text{周期性是二次无理数的特征性质}}\)