查看“连分数”的源代码

在[[数学]]中，'''连[[分数]]'''或'''繁分数'''即如下表达式：

:<math>x = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \cfrac{1}{\ddots\,}}}} </math>

这里的<math>a_0</math>是某个[[整数]]，而所有其他的数<math>a_n</math>都是正整数，可依樣定义出更长的表达式。如果'''部分分子'''（partial numerator）和'''部分分母'''（partial denominator）允许假定任意的值，在某些上下文中可以包含[[函数]]，则最終的表达式是[[广义连分数]]。在需要把上述标准形式與广义连分数相區別的时候，可稱它為'''简单'''或'''正规连分数'''，或称为是'''规范形式'''的。

== 例子 ==
连分数常用于无理数的逼近，例如：

<math> \sqrt{2} = 1 + \frac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \cfrac{1}{2 + \ddots}}}}}} </math>
由此得到<math> \sqrt{2} </math>的[[渐近分数]]<math>\frac{1}{1}</math>、<math>\frac{3}{2}</math>、<math>\frac{7}{5}</math>、<math>\frac{17}{12}</math>、…

<math> \frac{\sqrt{5} -1}{2} = \frac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \cfrac{1}{1 + \ddots}}}}}} </math>
由此得到[[黄金分割]]的渐近分数<math>\frac{1}{1}</math>、<math>\frac{1}{2}</math>、<math>\frac{2}{3}</math>、<math>\frac{3}{5}</math>、<math>\frac{5}{8}</math>、<math>\frac{8}{13}</math>、……

:注意将上述系列的分子分母依序排列均可得到[[斐波那契数列]]。

<math> \pi = 3 + \frac{1}{7 + \cfrac{1}{15 + \cfrac{1}{1 + \cfrac{1}{292 + \cfrac{1}{1 + \cfrac{1}{1 + \ddots}}}}}} </math>
由此得到[[圆周率]]的渐近分数<math>\frac{3}{1}</math>、<math>\frac{22}{7}</math>（[[約率]]）、<math>\frac{333}{106}</math>、<math>\frac{355}{113}</math>（[[密率]]）、<math>\frac{103993}{33102}</math>、……

数学上可以证明，由（狭义）连分数得到的渐近分数，在分子或分母小于下一个渐进分数的分数中，其值是最接近精确值的近似值。

== 动机 ==
研究连分数的动机源于想要有[[实数]]在“数学上纯粹”的表示。

多数人熟悉实数的[[小数]]表示：

:<math>r = \sum_{i=0}^\infty a_i 10^{-i}</math>

这里的<math>a_0</math>可以是任意整数，其它<math>a_i</math>都是<math>\{0,1,2,\ldots,9\}</math>的一个元素。在这种表示中，例如数<math>\pi</math>被表示为整数序列<math>\{3,1,4,1,5,9,2,\ldots\}</math>。 

这种小数表示有些问题。例如，在这种情况下使用常数10是因为我们使用了10进制系统。我们还可以使用8进制或2进制系统。另一个问题是很多[[有理数]]在这个系统内缺乏有限表示。例如，数<math>\frac{1}{3}</math>被表示为无限序列<math>\{0,3,3,3,3,\ldots\}</math>。

连分数表示法是避免了实数表示的这两个问题。让我们考虑如何描述一个数如<math>\frac{415}{93}</math>，约为4.4624。近似为4，而实际上比4多一点，约为<math>4+\frac{1}{2}</math>。但是在分母中的2是不准确的；更准确的分母是比2多一点，约为<math>2+\frac{1}{6}</math>，所以<math>\frac{415}{93}</math>近似为<math>4+\frac{1}{2+\frac{1}{6}}</math>。但是在分母中的6是不准确的；更准确分母是比6多一点，实际是<math>6+\frac{1}{7}</math>。所以<math>\frac{415}{93}</math>实际上是<math>4+\frac{1}{2+\frac{1}{6+\frac{1}{7}}}</math>。這樣才准确。

去掉表达式<math>4+\frac{1}{2+\frac{1}{6+\frac{1}{7}}}</math>中的冗余部分可得到简略记号<math>[4;2,6,7]</math>。

实数的连分数表示可以用这种方式定义。它有一些可取的性质：

* 一个[[有理数]]的连分数表示是有限的。
* “简单”有理数的连分数表示是简短的。
* 任何有理数的连分数表示是唯一的，如果它没有尾随的1。（<math>[a_0; a_1,\ldots,a_n,1]=[a_0; a_1,\ldots,a_n+1]</math>）
* [[无理数]]的连分数表示是唯一的。
* 连分数的项会[[循環連分數|循環]]，[[当且仅当]]它是一个[[二次无理数]]（即整数系数的二次方程的实数解）的连分数表示<ref>Kenneth H. Rosen. Elementary Number Theory and Its Applications.</ref><ref>[http://mathworld.wolfram.com/PeriodicContinuedFraction.html]</ref>。
* 数''x''的截断连分数表示很早产生''x''的在特定意义上“最佳可能”的有理数逼近（参閱下述定理5推论1）。

最後一个性质非常重要，且傳統的小數點表示就不能如此。数的截断小数表示产生这个数的有理数逼近，但通常不是非常好的逼近。例如，截断<math>\frac{1}{7}=0.142\ 857\ldots</math>在各种位置上产生逼近比，如<math>\frac{142}{1000}</math>、<math>\frac{14}{100}</math>和<math>\frac{1}{10}</math>。但是明显的最佳有理数逼近是「<math>\frac{1}{7}</math>」自身。<math>\pi</math>的截断小数表示产生逼近比，如<math>\frac{31415}{10000}</math>和<math>\frac{314}{100}</math>。<math>\pi</math>的连分数表示开始于<math>[3; 7,15,1,292,\ldots]</math>。截断这个表示产生極佳的有理数逼近3、<math>\frac{22}{7}</math>、<math>\frac{333}{106}</math>、<math>\frac{355}{113}</math>、<math>\frac{103\ 993}{33\ 102}</math>、...。<math>\frac{314}{100}</math>和<math>\frac{333}{106}</math>的分母相當接近，但近似值<math>\frac{314}{100}</math>的误差是遠高於<math>\frac{333}{106}</math>的19倍。作为对<math>\pi</math>的逼近，<math>[3; 7,15,1]</math>比3.1416精确100倍。

== 連分數表示的算法 ==
考虑实数<math>r</math>。设<math>i</math>是''<math>r</math>''的整数部分，而<math>f</math>是它的小数部分。则''r''的连分数表示是<math>[i;\ldots]</math>，这里的「…」是<math>\frac{1}{f}</math>的连分数表示。習慣上用分號取代'''第一個'''逗號。

要计算实数''<math>r</math>''的连分数表示，首先写下''<math>r</math>''的整数部分（[[高斯符号|下取整]]），然后从''<math>r</math>''减去这个整数部分。如果差为0则停止；否则找到这个差的倒数并重复。这个过程将终止，当且仅当''<math>r</math>''是有理数。

{| class="wikitable"
|-
! colspan="5" |'''找出3.245的连分数'''
|-
|<math>3\,</math>
|<math>3.245 - 3\,</math>
|<math>= 0.245\,</math>
|<math>\frac{1}{0.245}\,</math>
|<math>= 4.082...\,</math>
|-
|<math>4\,</math>
|<math>4.082... - 4\,</math>
|<math>= 0.082...\,</math>
|<math>\frac{1}{0.082...}\,</math>
|<math>= 12.250\,</math>
|-
|<math>12\,</math>
|<math>12.250 - 12\,</math>
|<math>= 0.250\,</math>
|<math>\frac{1}{0.250}\,</math>
|<math>= 4.000\,</math>
|-
|<math>4\,</math>
|<math>4.000 - 4\,</math>
|<math>= 0.000\,</math>
|'''停止'''
|
|-
! colspan="5" | 3.245的连分数是<math>[3;4,12,4]</math>
|-
! colspan="5" | <math>3.245 = 3 + \cfrac{1}{4 + \cfrac{1}{12 + \cfrac{1}{4}}} </math>
|}
数3.245还可以表示为连分数展开<math>[3;4,12,3,1]</math>；参见下面的有限连分数。

这个算法适合於实数，但如果用浮点数实现的话，可能导致数值灾难。作为替代，任何浮点数是一个精确的有理数（在现代计算机上分母通常是2的幂，在电子计算器上通常是10的幂），所以[[欧几里得算法]]的变体可以用来给出精确的结果。

== 连分数的表示法 ==

可以把连分数简写作：

:<math>x = [a_0; a_1, a_2, a_3] \;</math>

或者，用[[Alfred Pringsheim|Pringsheim]]的记法写作：

:<math>x = a_0 + \frac{1 \mid}{\mid a_1} + \frac{1 \mid}{\mid a_2} + \frac{1 \mid}{\mid a_3}</math>

还有一个有关的记法：

:<math>x = a_0 + {1 \over a_1 + } {1 \over a_2 +} {1 \over a_3 +}</math>

有时使用尖括号，如：

:<math>x = \left \langle a_0; a_1, a_2, a_3 \right \rangle \;</math>

在使用尖括号的时候，分号是可选的。

还可以定义'''无限简单连分数'''为[[极限_(数学)|极限]]：

:<math>[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots ] = \lim_{n \to \infty} [a_{0}; a_{1}, a_{2}, \,\ldots, a_{n}]</math>

对于正整数''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub> ...的任意选择，皆存在此一极限。

或者可以用高斯的记法

:<math>x = a_0 + \underset{i=1}{\overset{3}{\mathrm K}} ~ \frac{1}{a_i} \;</math>

== 有限连分数 ==

所有有限连分数都表示一个[[有理数]]，而所有有理数都可以按两种不同的方式表示为有限连分数。这两种表示除了最终项之外都是一致的。在較長的连分数表示，其最终项是1；較短的表示去掉了最後的1，而向新的终项加1。在短表示中的最终项因此大於1，如果短表示至少有两项的话。其符号表示：

:<math>[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots ,a_{n}, 1]=[a_{0}; a_{1}, a_{2}, a_{3}, \,\ldots, a_{n} + 1] \;</math>

例如：

:<math> 2.25 =\frac{9}{4} = [2; 3, 1] = [2; 4] \;</math>
:<math> -4.2 = -\frac{21}{5} = [-5; 1, 3, 1] = [-5; 1, 4] \;</math>

== 连分数的倒数 ==

有理数的连分数表示和它的[[倒数]]除了依据这个数小於或大於1而分别左移或右移一位以外是相同的。换句话说，<math>[a_0;a_1,a_2,a_3,\ldots,a_n]</math>和<math>[0;a_0,a_1,a_2,\ldots,a_n]</math>互为倒数。这是因为如果<math>a\ </math>是整数，接著如果<math>x<1\ </math>，则<math>x = 0+\tfrac{1}{a+\frac{1}{b}}\ </math>且<math>\tfrac{1}{x} = a+\tfrac{1}{b}\ </math>，而且如果<math>x>1\ </math>，则<math>x = a+\tfrac{1}{b}\ </math>且<math>\tfrac{1}{x} = 0+\tfrac{1}{a+\frac{1}{b}}\ </math>带有最後的数生成对<math>x\ </math>和它的倒数是同样的的连分数的餘数。

例如：

:<math> 2.25 = \frac{9}{4} = [2; 4] \;</math>
:<math> \frac{1}{2.25} = \frac{4}{9} = [0; 2, 4] \;</math>

== 无限连分数 ==

所有无限连分数都是[[无理数]]，而所有无理数可用一种精确的方式表示为无限连分数。

无理数的无限连分数表示是非常有用的，因为它的初始段提供了对这个数的优异的有理数逼近。这些有理数可以叫做这个连分数的[[收敛]]（convergent，也译为“渐进”）。所有偶数编号的收敛都小於最初的数，而奇数编号的收敛都大於它。

对於连分数<math>[a_0;a_1,a_2,\ldots]</math>，前四个收敛（编号<math>0</math>到<math>3</math>）是

:<math>
\frac{a_0}{1},\qquad
\frac{a_1a_0+1}{a_1},\qquad
\frac{    a_2(a_1a_0+1)+a_0}{a_2a_1+1},\qquad
\frac{a_3[a_2(a_1a_0+1)+a_0]+(a_1a_0+1)}{a_3(a_2a_1+1)+a_1}
</math>

用普通語言來说，第3个收敛的分子是藉由第3个商（<math>a_2</math>）乘上第2个收敛的分子，並加上第1个收敛的分子而成。分母的形成也很类似。

如果找到连续的收敛，带有分子<math>h_1,h_2,\ldots</math>和分母<math>k_1,k_2,\ldots</math>，则相关的递归关系是：

<math>
h_n=a_nh_{n-1}+h_{n-2},\qquad
k_n=a_nk_{n-1}+k_{n-2}</math>

连续的收敛由如下公式给出

:<math>
\frac{h_n}{k_n}=
\frac{a_nh_{n-1}+h_{n-2}}{a_nk_{n-1}+k_{n-2}}
</math>

== 一些有用的定理 ==

如果<math>a_0,a_1,a_2,\ldots</math>是正整数的无限序列，递归的定义序列<math>h_n</math>和<math>k_n</math>：
{| border="0" cellpadding="5" cellspacing="10" align="none"
|-
|<math>h_{n}=a_nh_{n-1}+h_{n-2}\,</math>
|
|
|<math>h_{-1}=1\,</math>
|
|<math>h_{-2}=0\,</math>
|-
|<math>k_{n}=a_nk_{n-1}+k_{n-2}\,</math>
|
|
|<math>k_{-1}=0\,</math>
|
|<math>k_{-2}=1\,</math>
|}

=== 定理1 ===
对於任何正数<math>x\in\mathbb{R}</math>

:<math>
\left[a_0; a_1, \,\dots, a_{n-1}, x \right]=
\frac{x h_{n-1}+h_{n-2}}
     {x k_{n-1}+k_{n-2}}</math>

=== 定理2 ===
<math>[a_0,a_1,a_2,\ldots]</math>的收敛以

:<math>
\left[a_0; a_1, \,\dots, a_n\right]=
\frac{h_n}
     {k_n}</math>

給出。

=== 定理3 ===
如果对连分数的第''n''个收敛是<math>h_n/k_n</math>，则
:<math>
k_nh_{n-1}-k_{n-1}h_n=(-1)^n \,
</math>

'''推论1'''：每个收敛都在它的最低的那些项中（如果<math>h_n</math>和<math>k_n</math>有不尋常的公约数，则它可除<math>k_nh_{n-1}-k_{n-1}h_n</math>，這當然是不可能的）。

'''推论2'''：在连续的收敛之间的差是[[单位分数]]：
:<math>
\left|\frac{h_n}{k_n}-\frac{h_{n-1}}{k_{n-1}} \right|=
\left|\frac{h_nk_{n-1}-k_nh_{n-1}}{k_nk_{n-1}}\right|=
\frac{1}{k_nk_{n-1}}
</math>

'''推论3'''：连分数等价於交替（alternating）项的级数：
:<math>
a_0 + \sum_{n=0}^\infty \frac{(-1)^{n}}{k_{n+1}k_{n}}
</math>

'''推论4'''：矩阵
:<math>\begin{bmatrix}
h_n & h_{n-1} \\
k_n & k_{n-1}
\end{bmatrix}</math>
的行列式值為正1或负1，因此属於2x2 [[幺模矩阵]]<math>S^*L(2,\mathbb{Z})</math>的群。

=== 定理4 ===
每个（第<math>s</math>个）都比任何前面（第<math>r</math>个）收敛更接近於後续的（第<math>n</math>个）收敛。用符号来说，如果第''<math>n</math>''个收敛是<math>[a_0;a_1,a_2,\ldots a_n]=x_n</math>，则

:<math>\left| x_r - x_n \right| > \left| x_s - x_n \right|</math>
对於所有<math>r<s<n</math>。

'''推论1'''：奇数收敛（在第''<math>n</math>''个之前）持续递增而总是小於<math>x_n</math>。

'''推论2'''：偶数收敛（在第''<math>n</math>''个之前）持续递减而总是大於''<math>x_n</math>''。

=== 定理5 ===
:<math>
\frac{1}{k_n(k_{n+1}+k_n)}<
\left|x-\frac{h_n}{k_n}\right|<
\frac{1}{k_nk_{n+1}}
</math>

'''推论1'''：任何收敛都比其分母小於这个收敛的分母的任何其他分数更接近於这个连分数。

'''推论2'''：立即前导於一个大商的任何收敛都是对这个连分数的接近逼近。

== 半收敛 ==

如果<math>\frac{h_{n-1}}{k_{n-1}}</math>和<math>\frac{h_n}{k_n}</math>是连续的收敛，则如下形式的任何分数
:<math>\frac{h_{n-1} + ah_n}{k_{n-1}+ak_n}</math>
这里的<math>a</math>是非负整数，而分子和分母在<math>n</math>和<math>n+1</math>项（包含它们）之间，叫做“半收敛”、次收敛或中间分数。这个术语经常意味着排除了是收敛的可能性，而不是收敛是一种半收敛。

对实数<math>x</math>的连分数展开的半收敛包括了所有比有更小分母的任何逼近都好的有理数逼近。另一个有用的性质是连续的半收敛<math>\frac{a}{b}</math>和<math>\frac{c}{d}</math>有着<math>ad-bc = \pm 1</math>。

== 最佳有理数逼近 ==
{{main|丢番图逼近#实数的最佳丢番图逼近}}

连分数理论在[[丢番图逼近]]领域起基础性的作用，可以解决实数的最佳逼近问题，具体可参阅相应主页面。事实上，最初发展连分数理论的动机正是为了解决实数的最佳逼近问题。<ref>{{ Cite book | author = （前苏联）[[辛钦]]著，刘诗俊、刘绍越译 | title = 连分数 | location = 上海 | publisher = 上海科学技术出版社 | date = 1965 | pages = 28-29 | url = http://wenku.baidu.com/view/d69f94daa58da0116c1749b5.html }}</ref>

== 连分数历史 ==
* 公元前300年－[[欧几里得]]，《Elements》 - [[最大公约数]]的算法生成一个连分数作为副产品
* 1579年－[[Rafael Bombelli]],《L'Algebra Opera》 - [http://en.wikipedia.org/wiki/Solving_quadratic_equations_with_continued_fractions 与连分数有关的提取平方根的方法]
* 1613年－[[Pietro Cataldi]],《Trattato del modo brevissimo di trovar la radice quadra delli numeri》 - 第一种连分数的记号
:[[Pietro Cataldi|Cataldi]]表示连分数为<math> a_0.\,</math> &<math> n_1 \over d_1</math>。&<math> n_2 \over d_2</math>。&<math> {n_3 \over d_3} </math>带有指示随后连分数要去的地方的点

* 1695年－[[约翰·沃利斯 (数学家)|约翰·沃利斯]]，《Opera Mathematica》 - 介入了术语“连分数”
* ''約''1780年－[[约瑟夫·拉格朗日]] - 使用类似于Bombell的连分数提供了[[佩尔方程]]的通用解
* 1748 [[莱昂哈德·欧拉]]，《Introductio in analysin infinitorum》. Vol. I, Chapter 18 - 证明了特定形式的连分数和广义无穷级数的等价性
* 1813年－[[卡尔·弗里德里希·高斯]]，《Werke》,第三冊, 134-138頁 - 通过涉及到超几何级数的一个聪明的恒等式推导出非常一般性的复数值的连分数

== 参见 ==
*[[全商]]
*[[Engel展开式]]
*[[数学常数 (以连分数表示排列)]]
*[[循环连分数]]
*[[受限连分数]]
*[[辛钦常数]]
*[[么模矩陣]](unimodular matrix/幺模矩阵)

== 注释 ==
{{reflist}}

== 参考文献 ==
{{refbegin}}
*{{Cite book | author = （前苏联）[[辛钦]]（A. Ya. Khinchin）著，刘诗俊、刘绍越译 | title = ''连分数'' | location = 上海 | publisher = 上海科学技术出版社 | date = 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
{{refend}}

== 外部链接 ==
*[http://wims.unice.fr/wims/wims.cgi?module=tool/number/contfrac.en Online continued fraction calculator]
*Linas Vepstas [http://www.linas.org/math/chap-minkowski/chap-minkowski.html The Minkowski Question Mark and the Modular Group SL(2,Z)]{{dead link|date=2018年1月 |bot=InternetArchiveBot |fix-attempted=yes }} (2004) reviews the isomorphisms of continued fractions.
*Linas Vepstas [http://www.linas.org/math/chap-gap/chap-gap.html Continued Fractions and Gaps] (2004) reviews chaotic structures in continued fractions.
* [http://www.cut-the-knot.org/blue/ContinuedFractions.shtml Continued Fractions on the Stern-Brocot Tree] at [[cut-the-knot]]
*Francois Balsalobre [http://fbalsalo.club.fr/cfc.html cfc - a (cli) continued fraction calculator]{{dead link|date=2018年1月 |bot=InternetArchiveBot |fix-attempted=yes }} for POSIX and Cygwin
*[http://fermatslasttheorem.blogspot.com/2005/10/continued-fractions.html Continued Fractions] and Fermat's Last Theorem.
*[http://www.math.sunysb.edu/~tony/whatsnew/column/antikytheraI-0400/kyth3.html The Antikythera Mechanism I: Gear ratios and continued fractions]
*[http://assets.cambridge.org/052181/8052/sample/0521818052ws.pdf Mathematical Constants, Steven Finch: Generalized Continued Fractions, Chap I, art. 1.1.1]based on the[http://mipagina.cantv.net/arithmetic/rmdef.htm Generalized Mediant]{{dead link|date=2018年4月 |bot=InternetArchiveBot |fix-attempted=yes }}

*[http://www.irishscientist.ie/2004/contents.asp?contentxml=04isp121a.xml&contentxsl=is04pagesys.xsl The Irish Scientist: New Generalized Continued Fractions] based on the [http://mipagina.cantv.net/arithmetic/rmdef.htm Generalized Mediant]{{dead link|date=2018年4月 |bot=InternetArchiveBot |fix-attempted=yes }}
*[http://episte.math.ntu.edu.tw/articles/mm/mm_02_3_08/index.html 認識連分數]
*[http://wims.math.leidenuniv.nl/wims/wims.cgi?session=F4B266C717.5&+lang=cn&+module=tool%2Fnumber%2Fcontfrac.cn 网上互动式多功能服务站－連分數計算器]

{{Fractions and ratios}}

{{Authority control}}
[[Category:分数]]
[[Category:数论]]
[[Category:計算機算術]]
[[Category:連分數]]