连分数

在数学中，连分数或繁分数即如下表达：
这里的formula_2是某个整数，而所有其他的数formula_3都是正整数，可依样定义出更长的表达式。如果部分分子（partial numerator）和部分分母（partial denominator）允许假定任意的值，在某些上下文中可以包含函数，则最终的表达式是广义连分数。在需要把上述标准形式与广义连分数相区别的时候，可称它为简单或正规连分数，或称为是规范形式的。
例子.
连分数常用于无理数的逼近，例如：
formula_4
由此得到formula_5的渐近分数：
formula_7
由此得到黄金分割的渐近分数：
formula_9
由此得到圆周率的渐近分数formula_10（约率）、formula_11（密率）、formula_12、…
数学上可以证明，由（狭义）连分数得到的渐近分数，在分子或分母小于下一个渐进分数的分数中，其值是最接近精确值的近似值。
动机.
研究连分数的动机源于想要有实数在“数学上纯粹”的表示。
多数人熟悉实数的小数表示：
这里的formula_2可以是任意整数，其它formula_15都是formula_16的一个元素。在这种表示中，例如数formula_17被表示为整数序列formula_18。 
这种小数表示有些问题。例如，在这种情况下使用常数10是因为我们使用了10进制系统。我们还可以使用8进制或2进制系统。另一个问题是很多有理数在这个系统内缺乏有限表示。例如，数formula_19被表示为无限序列formula_20。
连分数表示法是避免了实数表示的这两个问题。让我们考虑如何描述一个数如formula_21，约为4.4624。近似为4，而实际上比4多一点，约为formula_22。但是在分母中的2是不准确的；更准确的分母是比2多一点，约为formula_23，所以formula_21近似为formula_25。但是在分母中的6是不准确的；更准确分母是比6多一点，实际是formula_26。所以formula_21实际上是formula_28。这样才准确。
去掉表达式formula_28中的冗余部分可得到简略记号formula_30。
实数的连分数表示可以用这种方式定义。它有一些可取的性质：
最后一个性质非常重要，且传统的小数点表示就不能如此。数的截断小数表示产生这个数的有理数逼近，但通常不是非常好的逼近。例如，截断formula_32在各种位置上产生逼近比，如formula_33、formula_34和formula_35。但是明显的最佳有理数逼近是「formula_36」自身。formula_17的截断小数表示产生逼近比，如formula_38和formula_39。formula_17的连分数表示开始于formula_41。截断这个表示产生极佳的有理数逼近3、formula_42、formula_43、formula_44、formula_45、...。formula_39和formula_43的分母相当接近，但近似值formula_39的误差是远高于formula_43的19倍。作为对formula_17的逼近，formula_51比3.1416精确100倍。
连分数表示的算法.
考虑实数formula_52。设formula_53是"formula_52"的整数部分，而formula_55是它的小数部分。则"r"的连分数表示是formula_56，这里的「…」是formula_57的连分数表示。习惯上用分号取代第一个逗号。
要计算实数"formula_52"的连分数表示，首先写下"formula_52"的整数部分（下取整），然后从"formula_52"减去这个整数部分。如果差为0则停止；否则找到这个差的倒数并重复。这个过程将终止，当且仅当"formula_52"是有理数。
数3.245还可以表示为连分数展开formula_62；参见下面的有限连分数。
这个算法适合于实数，但如果用浮点数实现的话，可能导致数值灾难。作为替代，任何浮点数是一个精确的有理数（在现代计算机上分母通常是2的幂，在电子计算器上通常是10的幂），所以欧几里得算法的变体可以用来给出精确的结果。
连分数的表示法.
可以把连分数简写作：
或者，用Pringsheim的记法写作：
还有一个有关的记法：
有时使用尖括号，如：
在使用尖括号的时候，分号是可选的。
还可以定义无限简单连分数为极限：
对于正整数"a"1, "a"2, "a"3 ...的任意选择，皆存在此一极限。
或者可以用高斯的记法
有限连分数.
所有有限连分数都表示一个有理数，而所有有理数都可以按两种不同的方式表示为有限连分数。这两种表示除了最终项之外都是一致的。在较长的连分数表示，其最终项是1；较短的表示去掉了最后的1，而向新的终项加1。在短表示中的最终项因此大于1，如果短表示至少有两项的话。其符号表示：
例如：
连分数的倒数.
有理数的连分数表示和它的倒数除了依据这个数小于或大于1而分别左移或右移一位以外是相同的。换句话说，formula_72和formula_73互为倒数。这是因为如果formula_74是整数，接著如果formula_75，则formula_76且formula_77，而且如果formula_78，则formula_79且formula_80带有最后的数生成对formula_81和它的倒数是同样的的连分数的余数。
例如：
无限连分数.
所有无限连分数都是无理数，而所有无理数可用一种精确的方式表示为无限连分数。
无理数的无限连分数表示是非常有用的，因为它的初始段提供了对这个数的优异的有理数逼近。这些有理数可以叫做这个连分数的收敛子（convergent，也译为“渐进分数”）。所有偶数编号的收敛子都小于最初的数，而奇数编号的收敛子都大于它。
对于连分数formula_84，前四个收敛子（编号formula_85到formula_86）是
用普通语言来说，第3个收敛子的分子是借由第3个商（formula_88）乘上第2个收敛子的分子，并加上第1个收敛子的分子而成。分母的形成也很类似。
如果找到连续的收敛子，带有分子formula_89和分母formula_90，则相关的递归关系是：
formula_91
连续的收敛子由如下公式给出
一些有用的定理.
如果formula_93是正整数的无限序列，递归的定义序列formula_94和formula_95：
定理1.
对于任何正数formula_96
定理2.
formula_98的 收敛子 序列是
所组成数列，它收敛到极限 formula_98。
定理3.
如果对连分数的第"n"个收敛子是formula_101，则
推论1：每个收敛子都在它的最低的那些项中（如果formula_94和formula_95有不寻常的公约数，则它可除formula_105，这当然是不可能的）。
推论2：在连续的收敛子之间的差是单位分数：
推论3：连分数等价于交替（alternating）项的级数：
推论4：矩阵
的行列式值为正1或负1，因此属于2x2 幺模矩阵formula_109的群。
定理4.
每个（第formula_110个）都比任何前面（第formula_52个）收敛子更接近于后续的（第formula_112个）收敛子。用符号来说，如果第"formula_112"个收敛子是formula_114，则
对于所有<math>r。
推论1：奇数收敛子（在第"formula_112"个之前）持续递增而总是小于formula_117。
推论2：偶数收敛子（在第"formula_112"个之前）持续递减而总是大于"formula_117"。
定理5.
推论1：任何收敛子都比其分母小于这个收敛子的分母的任何其他分数更接近于这个连分数。
推论2：立即前导于一个大商的任何收敛子都是对这个连分数的接近逼近。
半收敛子.
如果formula_121和formula_122是连续的收敛子，则如下形式的任何分数
这里的formula_124是非负整数，而分子和分母在formula_112和formula_126项（包含它们）之间，叫做“半收敛子”、次收敛子或中间分数。这个术语经常意味着排除了是收敛子的可能性，不是收敛子而是一种半收敛子。
对实数formula_127的连分数展开的半收敛子包括了所有比有更小分母的任何逼近都好的有理数逼近。另一个有用的性质是连续的半收敛子formula_128和formula_129有着formula_130。
最佳有理数逼近.
连分数理论在丢番图逼近领域起基础性的作用，可以解决实数的最佳逼近问题，具体可参阅相应主页面。事实上，最初发展连分数理论的动机正是为了解决实数的最佳逼近问题。