连分数与二次无理数
连分数是一种表示实数的方法,特别适合研究二次无理数(即整系数二次方程的实数根)。让我们从基础开始,循序渐进地探索。
- 连分数的基本定义
一个简单连分数具有以下形式:
\[ a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cdots}}} \]
其中\(a_0\)是整数,\(a_1, a_2, a_3, \ldots\)是正整数,称为部分分母。这种表达式可以简洁地记为\([a_0; a_1, a_2, a_3, \ldots]\)。
- 有限连分数与有理数
如果连分数在某处终止,即\([a_0; a_1, \ldots, a_n]\),那么它表示一个有理数。例如:
\[ \frac{17}{5} = 3 + \frac{2}{5} = 3 + \cfrac{1}{\frac{5}{2}} = 3 + \cfrac{1}{2 + \cfrac{1}{2}} = [3; 2, 2] \]
反之,任何有理数都可以展开为有限连分数。
-
无限连分数与无理数
如果连分数无限延伸,即\([a_0; a_1, a_2, \ldots]\),那么它表示一个无理数。连分数的收敛项(即截断到\(a_k\)的部分)提供了该无理数的最佳有理逼近。 -
二次无理数的关键特征
二次无理数是指形如\(\frac{P + \sqrt{D}}{Q}\)的数,其中\(D\)是正整数且不是完全平方数,\(P\)和\(Q\)是整数。它们的连分数展开具有一个非常重要的性质:最终是周期性的。也就是说,从某项开始,部分分母序列会进入一个循环。 -
周期连分数的结构
一个周期连分数可以写成:
\[ [a_0; \overline{a_1, a_2, \ldots, a_m}] \]
其中上划线表示序列\(a_1, a_2, \ldots, a_m\)无限重复。这个重复的序列称为连分数的周期。
- 一个经典例子:黄金比例
黄金比例\(\phi = \frac{1+\sqrt{5}}{2}\)的连分数展开非常简单:
\[ \phi = [1; \overline{1}] \]
这意味着:
\[ \phi = 1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \cdots}}} \]
- 一般二次无理数的例子
考虑\(\sqrt{7}\),它的展开为:
\[ \sqrt{7} = [2; \overline{1, 1, 1, 4}] \]
验证这个性质:由于\(\sqrt{7}\)满足\(x^2 - 7 = 0\),它是一个二次无理数,因此其连分数必然是周期性的。
-
连分数与佩尔方程的关系
这个理论在解佩尔方程\(x^2 - Dy^2 = \pm 1\)时特别有用。\(\sqrt{D}\)的连分数展开的周期长度与佩尔方程的基本解有直接关系。事实上,某个收敛项\(\frac{p_k}{q_k}\)恰好给出佩尔方程的解。 -
纯周期连分数
如果一个二次无理数的连分数从开始就是周期的,即\([\overline{a_0; a_1, \ldots, a_m}]\),那么它一定是一个约化二次无理数(即该数大于1,而其代数共轭在-1和0之间)。
连分数理论为数论提供了强大的工具,特别是在研究二次域、二元二次型和解某些丢番图方程方面。通过分析连分数的周期性,我们可以深入理解二次无理数的算术性质。