1. 引言
连分数是数学领域中一个重要的概念,它在数论、代数、数值分析、密码学、数字图像处理、天文、历法、乐律等方面都有广泛的应用。在数论中,连分数被用于解决无理数的最佳有理逼近、二次无理数和求解不定方程等问题(参见 [1] )。在数值计算中,连分数被用于连分式插值与逼近理论,以及微分方程数值解的研究(参见 [2] )。在信息安全领域,连分数在攻击RSA密码系统中发挥着重要作用(参见 [3] [4] )。
随着现代数学的发展,连分数的研究得到了广泛的关注和不断深入的拓展。目前,学者们在连分数的理论研究、计算机数值计算及其他领域中的应用进行了不断的探索和研究。文献 [5] 提出并研究了一种可以在任意虚二次环中实现的广义连分数算法,且不限制于欧几里得的情形,经典连分数的许多标志性特性被证明是可以保留的。文献 [6] 研究了p-adic域中的一族拟周期p-adic Ruban连分数。这些新的理论成果的发现,进一步推动了连分数理论的发展和应用的广泛化。
在实际应用中,我们通常要对连分数进行计算和处理,因此需要寻找一些有效的计算方法和工具。欧几里得算法是一种古老的算法,它可以用于寻找两个数的最大公约数。通过欧几里得算法,我们可以很自然地引出连分数的概念。矩阵是数学中的重要工具,它可以用于描述线性变换和解决一些代数和几何问题。本文的主题是探究矩阵运算在连分数中的应用,本文研究的方法和结果在数学理论和应用领域都具有广泛的应用价值。
本文的结构如下:首先介绍扩展的欧几里得算法,用矩阵技巧处理扩展的欧几里得算法中的迭代关系式;然后,由欧几里得算法自然地引出连分数的概念,并探究矩阵运算在连分数中的应用。在此基础上,利用矩阵运算技巧证明连分数的渐近分数的一些性质,并通过实例展示矩阵运算在连分数中的巧妙应用。最后,对本文的结论进行总结和展望。
2. 欧几里得算法
欧几里得算法与连分数关系密切。利用欧几里得算法(参见 [1] )可以快速地求整数a,b的最大公因子
。设整数
,令
,
。如果连续做带余除法得到
,
,
且有
,那么
,即最后一个非零余数
为a,b的最大公因子。若沿着欧几里得算法的反方向递推,最终可将
表示成
,
的线性组合,即得Bezout定理的构造性证明。
定理1 (Bezout定理)如果a,b均为整数,那么存在整数k,l使得
。
方程
称为Bezout等式,k,l称为Bezout系数。下面用矩阵运算的技巧给出
表示成a,b的线性组合的解释(参见 [7] )。将行向量
作为矩阵的第一行,下面写一个2阶单位矩阵,构成3行2列整数矩阵A。只对A进行第三类初等列变换(且所乘系数均为整数),当A的第一行变成
或
时,得到矩阵B或
,其中k,l,u,v为整数。
由此得到的k,l满足Bezout等式
。Bezout系数不是唯一的,可以递归地求出。下面定理给出了另一种计算Bezout系数的方法(参见 [3] )。
定理2 (扩展的欧几里得算法)令a,b是正整数,那么
其中
,
是下面定义的递归序列的第n项,
且
其中
,
是欧几里得算法
,
中每一步的商。
在扩展的欧几里得算法中,由递推序列有
(1)
(2)
计算
,
,即可得到关于a,b的Bezout等式
。利用(2)式可将任一余数
表示为a,b的线性组合。反之,a,b也可由任意一对相邻的余数线性表示:
命题3 在扩展的欧几里得算法中,系数
,
满足如下性质:
,
;
,
为既约分数;
,
,
。
证明 对 式左右两边同时取行列式即得
。对
左右两边同时取行列式即得
。第2条性质
为既约分数是第1条性质的直接推论。由 式知,
,则
。又
和
互素,则
,
,证毕。
注意到,
,
的这些性质与定理6中渐近分数的性质有相似之处。
3. 连分数中的矩阵技巧
连分数由欧几里得算法引入十分自然,我们有时用数的整数部分近似代替这个数,为了再精确一点,就再给出小数部分的倒数的整数部分,如此连续进行,得到连分数。首先将欧几里得算法中的辗转相除式改写,设a,b为正整数:
依次将后式的倒数代人前式,则
上述等式的最后一项就是
的连分数展开式。
连分数是具有以下形式的表达式(记为
):
其中
,
是任意数。如果
为整数,
为正整数,
,则称表达式为简单连分数,简记为
。止于有限步时,则为有限连分数,记为
,
这称为无限连分数
的第n个渐近分数。
连分数的渐近分数在无理数的有理逼近中有非常重要的应用,下面的定理4是关于渐近分数的基本结论(参见 [1] [3] [8] )。
定理4 设正实数
展开连分数为
,则
渐近分数
满足
事实上,对任何x,有
。
渐近分数
收敛于原实数
,而且是
的最佳逼近分数,即分母不大于
的分数中,
与
最接近,且
和
分别单调递增和单调递減地趋于
。
命题5 设正实数
展开连分数为
,则其渐近分数
满足如下等式:
,
可以用行列式表达
; (3)
;
。
利用上述矩阵等式可以简洁地证明一些关于渐近分数的性质。
定理6 设正实数
展开连分数为
,则其渐近分数
满足如下性质:
,
;
为既约分数;
和
的第n个渐近分数的分子必相等。
证明 第1、2条性质与命题3中的证明类似。利用 式和行列式的性质即得第3条性质,证毕。
利用渐近分数的矩阵等式还可以比较方便地计算连分数的渐近分数,从而得到无理数的最佳有理逼近。
例7 圆周率
的连分数为
.
利用关于渐近分数的矩阵等式有
,
,
则
的前几个渐近分数为
,
其中
,
分别称为疏率和密率。密率是分母小于16,604的分数中最接近
的。
例8 贵金属数是二次方程式
(整数
)的正根
.
贵金属数的连分数表示是
。利用命题5中关于渐近分数的矩阵等式有
.
A的特征多项式
有两个不相等的特征值
.
分别解出属于特征值
,
的特征向量
,
。依次以
,
为列向量组成可逆方阵P,则
,
.
所以,贵金属数的渐近分数为
.
特别地,
时,
是黄金分割数,同时也是斐波那契数列相邻两项之比的极限。当
时,
是白银分割数,同时也是佩尔数列相邻两项之比的极限。
4. 结论
矩阵运算在连分数中具有广泛而深入的应用,为我们深入理解和研究连分数提供了很好的工具和有益的指导。本文利用矩阵运算技巧证明了连分数的一些性质,通过实例展示了矩阵在求圆周率、贵金属数的渐近分数等问题时的巧妙应用。然而,本文的研究范围存在一定的局限性,未来的研究可以充分利用矩阵的强大性质,深入探究矩阵在连分数的逼近理论、求解不定方程、数值分析等方面的应用。
基金项目
感谢国家自然科学基金(批准号11901390),上海高校青年教师培养资助计划(“互联网+”背景下课程思政融入《高等数学》的路径研究)的支持。
NOTES
*通讯作者。