在數學中,連分數或繁分數即如下表達:
![{\displaystyle x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}+{\cfrac {1}{\ddots \,}}}}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/482094f725cb2e8201a58ec1f9cac1ec5188803f)
這裡的
是某個整數,而所有其他的數
都是正整數,可依樣定義出更長的表達式。如果部分分子(partial numerator)和部分分母(partial denominator)允許假定任意的值,在某些上下文中可以包含函數,則最終的表達式是廣義連分數。在需要把上述標準形式與廣義連分數相區別的時候,可稱它為簡單或正規連分數,或稱為是規範形式的。
連分數常用於無理數的逼近,例如:
由此得到
的渐近分数:
、…
由此得到黄金分割的渐近分数:
、…
- 注意将上述系列的分母1,1,2,3,……等數依序排列均可得到斐波那契数列。
由此得到圆周率的渐近分数
(約率)、
(密率)、
、…
数学上可以证明,由(狭义)连分数得到的渐近分数,在分子或分母小于下一个渐进分数的分数中,其值是最接近精确值的近似值。
研究连分数的动机源于想要有实数在“数学上纯粹”的表示。
多数人熟悉实数的小数表示:
![{\displaystyle r=\sum _{i=0}^{\infty }a_{i}10^{-i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f2694535b1fb273402391b5548903e775307a5c)
这里的
可以是任意整数,其它
都是
的一个元素。在这种表示中,例如数
被表示为整数序列
。
这种小数表示有些问题。例如,在这种情况下使用常数10是因为我们使用了10进制系统。我们还可以使用8进制或2进制系统。另一个问题是很多有理数在这个系统内缺乏有限表示。例如,数
被表示为无限序列
。
连分数表示法是避免了实数表示的这两个问题。让我们考虑如何描述一个数如
,约为4.4624。近似为4,而实际上比4多一点,约为
。但是在分母中的2是不准确的;更准确的分母是比2多一点,约为
,所以
近似为
。但是在分母中的6是不准确的;更准确分母是比6多一点,实际是
。所以
实际上是
。這樣才准确。
去掉表达式
中的冗余部分可得到简略记号
。
实数的连分数表示可以用这种方式定义。它有一些可取的性质:
- 一个有理数的连分数表示是有限的。
- “简单”有理数的连分数表示是简短的。
- 任何有理数的连分数表示是唯一的,如果它没有尾随的1。(
)
- 无理数的连分数表示是唯一的。
- 连分数的项会循環,当且仅当它是一个二次无理数(即整数系数的二次方程的实数解)的连分数表示[1][2]。
- 数x的截断连分数表示很早产生x的在特定意义上“最佳可能”的有理数逼近(参閱下述定理5推论1)。
最後一个性质非常重要,且傳統的小數點表示就不能如此。数的截断小数表示产生这个数的有理数逼近,但通常不是非常好的逼近。例如,截断
在各种位置上产生逼近比,如
、
和
。但是明显的最佳有理数逼近是「
」自身。
的截断小数表示产生逼近比,如
和
。
的连分数表示开始于
。截断这个表示产生極佳的有理数逼近3、
、
、
、
、...。
和
的分母相當接近,但近似值
的误差是遠高於
的19倍。作为对
的逼近,
比3.1416精确100倍。
考虑实数
。设
是
的整数部分,而
是它的小数部分。则r的连分数表示是
,这里的「…」是
的连分数表示。習慣上用分號取代第一個逗號。
要计算实数
的连分数表示,首先写下
的整数部分(下取整),然后从
减去这个整数部分。如果差为0则停止;否则找到这个差的倒数并重复。这个过程将终止,当且仅当
是有理数。
找出3.245的连分数
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
停止
|
|
3.245的连分数是
|
|
数3.245还可以表示为连分数展开
;参见下面的有限连分数。
这个算法适合於实数,但如果用浮点数实现的话,可能导致数值灾难。作为替代,任何浮点数是一个精确的有理数(在现代计算机上分母通常是2的幂,在电子计算器上通常是10的幂),所以欧几里得算法的变体可以用来给出精确的结果。
可以把连分数简写作:
![{\displaystyle x=[a_{0};a_{1},a_{2},a_{3}]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d1acfa5373c2f4cbf04af495dd56917eb9fd64e)
或者,用Pringsheim的记法写作:
![{\displaystyle x=a_{0}+{\frac {1\mid }{\mid a_{1}}}+{\frac {1\mid }{\mid a_{2}}}+{\frac {1\mid }{\mid a_{3}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6172e02aac39ba7182f6331eccdc56561da6942c)
还有一个有关的记法:
![{\displaystyle x=a_{0}+{1 \over a_{1}+}{1 \over a_{2}+}{1 \over a_{3}+}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b404cc0e213d0eee3eece98d1e4716af5d5a4cc5)
有时使用尖括号,如:
![{\displaystyle x=\left\langle a_{0};a_{1},a_{2},a_{3}\right\rangle \;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e2e5c4f3b8bce76a6a4b9011945b2472beb965b)
在使用尖括号的时候,分号是可选的。
还可以定义无限简单连分数为极限:
![{\displaystyle [a_{0};a_{1},a_{2},a_{3},\,\ldots ]=\lim _{n\to \infty }[a_{0};a_{1},a_{2},\,\ldots ,a_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1665962a5131191d7fc99db5efa205b88d650bd1)
对于正整数a1, a2, a3 ...的任意选择,皆存在此一极限。
或者可以用高斯的记法
![{\displaystyle x=a_{0}+{\underset {i=1}{\overset {3}{\mathrm {K} }}}~{\frac {1}{a_{i}}}\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f88dba8e2309cc58a3ef8ef4e3ee492d26629efa)
所有有限连分数都表示一个有理数,而所有有理数都可以按两种不同的方式表示为有限连分数。这两种表示除了最终项之外都是一致的。在較長的连分数表示,其最终项是1;較短的表示去掉了最後的1,而向新的终项加1。在短表示中的最终项因此大於1,如果短表示至少有两项的话。其符号表示:
![{\displaystyle [a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n},1]=[a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n}+1]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f29a65406be3c55d97a5c1a9a6f42665a9b33ebb)
例如:
![{\displaystyle 2.25={\frac {9}{4}}=[2;3,1]=[2;4]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b819caa87e010c7eee6d0982b8c8e38c9169de06)
![{\displaystyle -4.2=-{\frac {21}{5}}=[-5;1,3,1]=[-5;1,4]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e55918d8faf4052b7e321602bc25a8ad855d1d94)
有理数的连分数表示和它的倒数除了依据这个数小於或大於1而分别左移或右移一位以外是相同的。换句话说,
和
互为倒数。这是因为如果
是整数,接著如果
,则
且
,而且如果
,则
且
带有最後的数生成对
和它的倒数是同样的的连分数的餘数。
例如:
![{\displaystyle 2.25={\frac {9}{4}}=[2;4]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5923948e38d2c7d2f2b5374b356ffbbe7daf7007)
![{\displaystyle {\frac {1}{2.25}}={\frac {4}{9}}=[0;2,4]\;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/256de072dae9e5fe85d42804fb8136cfa331ef32)
所有无限连分数都是无理数,而所有无理数可用一种精确的方式表示为无限连分数。
无理数的无限连分数表示是非常有用的,因为它的初始段提供了对这个数的优异的有理数逼近。这些有理数可以叫做这个连分数的收敛子(convergent,也译为“渐进分数”)。所有偶数编号的收敛子都小於最初的数,而奇数编号的收敛子都大於它。
对於连分数
,前四个收敛子(编号
到
)是
![{\displaystyle {\frac {a_{0}}{1}},\qquad {\frac {a_{1}a_{0}+1}{a_{1}}},\qquad {\frac {a_{2}(a_{1}a_{0}+1)+a_{0}}{a_{2}a_{1}+1}},\qquad {\frac {a_{3}[a_{2}(a_{1}a_{0}+1)+a_{0}]+(a_{1}a_{0}+1)}{a_{3}(a_{2}a_{1}+1)+a_{1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8eb5374116544ecd01213276fd215d259c86989f)
用普通語言來说,第3个收敛子的分子是藉由第3个商(
)乘上第2个收敛子的分子,並加上第1个收敛子的分子而成。分母的形成也很类似。
如果找到连续的收敛子,带有分子
和分母
,则相关的递归关系是:
连续的收敛子由如下公式给出
![{\displaystyle {\frac {h_{n}}{k_{n}}}={\frac {a_{n}h_{n-1}+h_{n-2}}{a_{n}k_{n-1}+k_{n-2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a473fd2e74b34c66163f68f279bc8d9e020b83)
如果
是正整数的无限序列,递归的定义序列
和
:
|
|
|
|
|
|
|
|
|
|
|
|
对於任何正数
![{\displaystyle \left[a_{0};a_{1},\,\dots ,a_{n-1},x\right]={\frac {xh_{n-1}+h_{n-2}}{xk_{n-1}+k_{n-2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ded685937d20fcdaaefcf1ac988e0f8a344470a)
的 收敛子 序列是
![{\displaystyle \left[a_{0};a_{1},\,\dots ,a_{n}\right]={\frac {h_{n}}{k_{n}}},n\in \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/76f6a40cb9baf26e2dcf03d03b2933efb29451a3)
所组成数列,它收敛到极限
。
如果对连分数的第n个收敛子是
,则
![{\displaystyle k_{n}h_{n-1}-k_{n-1}h_{n}=(-1)^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27b7709fcfed84381dba3ce552385656d41ab8e9)
推论1:每个收敛子都在它的最低的那些项中(如果
和
有不尋常的公约数,则它可除
,這當然是不可能的)。
推论2:在连续的收敛子之间的差是单位分数:
![{\displaystyle \left|{\frac {h_{n}}{k_{n}}}-{\frac {h_{n-1}}{k_{n-1}}}\right|=\left|{\frac {h_{n}k_{n-1}-k_{n}h_{n-1}}{k_{n}k_{n-1}}}\right|={\frac {1}{k_{n}k_{n-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3242d85c22e68ae8cb8b792e6fc1172325fd3a55)
推论3:连分数等价於交替(alternating)项的级数:
![{\displaystyle a_{0}+\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{k_{n+1}k_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87c591db2bd7a3177eaf9533104e515883ec8b65)
推论4:矩阵
![{\displaystyle {\begin{bmatrix}h_{n}&h_{n-1}\\k_{n}&k_{n-1}\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcf550c392057df896cba6f9662aa001ad421efb)
的行列式值為正1或负1,因此属於2x2 幺模矩阵
的群。
每个(第
个)都比任何前面(第
个)收敛子更接近於後续的(第
个)收敛子。用符号来说,如果第
个收敛子是
,则
![{\displaystyle \left|x_{r}-x_{n}\right|>\left|x_{s}-x_{n}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e20f714ba193909e5c602a520b14352d6112a8e7)
对於所有
。
推论1:奇数收敛子(在第
个之前)持续递增而总是小於
。
推论2:偶数收敛子(在第
个之前)持续递减而总是大於
。
![{\displaystyle {\frac {1}{k_{n}(k_{n+1}+k_{n})}}<\left|x-{\frac {h_{n}}{k_{n}}}\right|<{\frac {1}{k_{n}k_{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/122d48274a5d9e7e4275bd704e0d03f97bbbe008)
推论1:任何收敛子都比其分母小於这个收敛子的分母的任何其他分数更接近於这个连分数。
推论2:立即前导於一个大商的任何收敛子都是对这个连分数的接近逼近。
如果
和
是连续的收敛子,则如下形式的任何分数
![{\displaystyle {\frac {h_{n-1}+ah_{n}}{k_{n-1}+ak_{n}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8992ba97a4710a40f0dc293d69b7edb0db120ccf)
这里的
是非负整数,而分子和分母在
和
项(包含它们)之间,叫做“半收敛子”、次收敛子或中间分数。这个术语经常意味着排除了是收敛子的可能性,不是收敛子而是一种半收敛子。
对实数
的连分数展开的半收敛子包括了所有比有更小分母的任何逼近都好的有理数逼近。另一个有用的性质是连续的半收敛子
和
有着
。
连分数理论在丢番图逼近领域起基础性的作用,可以解决实数的最佳逼近问题,具体可参阅相应主页面。事实上,最初发展连分数理论的动机正是为了解决实数的最佳逼近问题。[3]
- Cataldi表示连分数为
&
。&
。&
带有指示随后连分数要去的地方的点
- 1695年-约翰·沃利斯,《Opera Mathematica》 - 介入了术语“连分数”
- 約1780年-约瑟夫·拉格朗日 - 使用类似于Bombell的连分数提供了佩尔方程的通用解
- 1748 莱昂哈德·欧拉,《Introductio in analysin infinitorum》. Vol. I, Chapter 18 - 证明了特定形式的连分数和广义无穷级数的等价性
- 1813年-卡尔·弗里德里希·高斯,《Werke》,第三冊, 134-138頁 - 通过涉及到超几何级数的一个聪明的恒等式推导出非常一般性的复数值的连分数
- (前苏联)辛钦(A. Ya. Khinchin)著,刘诗俊、刘绍越译. 连分数. 上海: 上海科学技术出版社. 1965.
- Oskar Perron, Die Lehre von den Kettenbrüchen, Chelsea Publishing Company, New York, NY 1950.
- Andrew M. Rockett and Peter Szusz, Continued Fractions, World Scientific Press, 1992 ISBN 978-981-02-1052-6
- H. S. Wall, Analytic Theory of Continued Fractions, D. Van Nostrand Company, Inc., 1948 ISBN 978-0-8284-0207-1