连分数
在數學中，連分數或繁分數即如下表達：
這裡的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", "a", "a" ...的任意选择，皆存在此一极限。
或者可以用高斯的记法
所有有限连分数都表示一个有理数，而所有有理数都可以按两种不同的方式表示为有限连分数。这两种表示除了最终项之外都是一致的。在較長的连分数表示，其最终项是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： 对於任何正数formula_96
formula_98的收敛以
給出。
如果对连分数的第"n"个收敛是formula_100，则
推论1：每个收敛都在它的最低的那些项中（如果formula_94和formula_95有不尋常的公约数，则它可除formula_104，這當然是不可能的）。
推论2：在连续的收敛之间的差是单位分数：
推论3：连分数等价於交替（alternating）项的级数：
推论4：矩阵 的行列式值為正1或负1，因此属於2x2 幺模矩阵formula_108的群。
每个（第formula_109个）都比任何前面（第formula_52个）收敛更接近於後续的（第formula_111个）收敛。用符号来说，如果第"formula_111"个收敛是formula_113，则
对於所有r。
推论1：奇数收敛（在第"formula_111"个之前）持续递增而总是小於formula_116。
推论2：偶数收敛（在第"formula_111"个之前）持续递减而总是大於"formula_116"。
推论1：任何收敛都比其分母小於这个收敛的分母的任何其他分数更接近於这个连分数。
推论2：立即前导於一个大商的任何收敛都是对这个连分数的接近逼近。
如果formula_120和formula_121是连续的收敛，则如下形式的任何分数 这里的formula_123是非负整数，而分子和分母在formula_111和formula_125项（包含它们）之间，叫做“半收敛”、次收敛或中间分数。这个术语经常意味着排除了是收敛的可能性，而不是收敛是一种半收敛。
对实数formula_126的连分数展开的半收敛包括了所有比有更小分母的任何逼近都好的有理数逼近。另一个有用的性质是连续的半收敛formula_127和formula_128有着formula_129。
连分数理论在丢番图逼近领域起基础性的作用，可以解决实数的最佳逼近问题，具体可参阅相应主页面。事实上，最初发展连分数理论的动机正是为了解决实数的最佳逼近问题。