文章目录

  • 1. 常见应用
  • 2. 研究动机
  • 3. 连分数表示的算法
  • 4. 连分数的表示法
  • 5. 有限连分数
  • 6. 连分数的倒数
  • 7. 无限连分数
  • 8. 一些有用的定理
    • 定理 1
    • 定理 2
    • 定理 3
    • 定理 4
    • 定理 5
  • 9. 半收敛
  • 10. 最佳有理数逼近
  • 11. 连分数历史

在数学中,连分数或繁分数即如下表达:

x=a0+1a1+1a2+1a3+1⋱{\displaystyle x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}+{\cfrac {1}{\ddots \,}}}}}}}}} x=a0​+a1​+a2​+a3​+⋱1​1​1​1​

这里的 a0a_{0}a0​ 是某个整数,而所有其他的数 ana_{n}an​ 都是正整数,可依样定义出更长的表达式。如果部分分子(partial numerator)和部分分母(partial denominator)允许假定任意的值,在某些上下文中可以包含函数,则最终的表达式是广义连分数(Generalized continued fraction)。在需要把上述标准形式与广义连分数相区别的时候,可称它为简单或正规连分数,或称为是规范形式的。

1. 常见应用

连分数常用于无理数的逼近,例如:

2=1+12+12+12+12+12+12+⋱{\displaystyle {\sqrt {2}}=1+{\frac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+\ddots }}}}}}}}}}}}} 2​=1+2+2+2+2+2+2+⋱1​1​1​1​1​1​

由此得到 2\sqrt{2}2​ 的渐近分数:

11,32,75,1712、…{\displaystyle {\frac {1}{1}},{\frac {3}{2}},{\frac {7}{5}},{\frac {17}{12}}}、… 11​,23​,57​,1217​、…
5+12=1+11+11+11+11+11+11+⋱{\displaystyle {\frac {{\sqrt {5}}+1}{2}}=1+{\frac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+\ddots }}}}}}}}}}}}} 25​+1​=1+1+1+1+1+1+1+⋱1​1​1​1​1​1​

由此得到黄金分割的渐近分数:

11,21,32,53,85,138、…{\displaystyle {\frac {1}{1}},{\frac {2}{1}},{\frac {3}{2}},{\frac {5}{3}},{\frac {8}{5}},{\frac {13}{8}}}、… 11​,12​,23​,35​,58​,813​、…

注意将上述系列的分母 1,1,2,3,⋯1,1,2,3,\cdots1,1,2,3,⋯ 等数依序排列均可得到斐波那契数列。

π=3+17+115+11+1292+11+11+⋱{\displaystyle \pi =3+{\frac {1}{7+{\cfrac {1}{15+{\cfrac {1}{1+{\cfrac {1}{292+{\cfrac {1}{1+{\cfrac {1}{1+\ddots }}}}}}}}}}}}} π=3+7+15+1+292+1+1+⋱1​1​1​1​1​1​

由此得到圆周率的渐近分数 31,227\frac {3}{1},\frac {22}{7}13​,722​(约率)、333106,355113{\frac {333}{106}},{\frac {355}{113}}106333​,113355​(密率)、1039933310210399333102{\frac {103993}{33102}}\frac{103993}{33102}33102103993​33102103993​、⋯\cdots⋯

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

2. 研究动机

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

多数人熟悉实数的小数表示:

r=∑i=0∞ai10−i{\displaystyle r=\sum _{i=0}^{\infty }a_{i}10^{-i}} r=i=0∑∞​ai​10−i

这里的 a0a_{0}a0​ 可以是任意整数,其它 aia_{i}ai​ 都是 {0,1,2,…,9}\{0,1,2,\ldots ,9\}{0,1,2,…,9} 的一个元素。在这种表示中,例如数 π\piπ 被表示为整数序列 {3,1,4,1,5,9,2,…}\{3,1,4,1,5,9,2,\ldots \}{3,1,4,1,5,9,2,…}。

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

连分数表示法是避免了实数表示的这两个问题。让我们考虑如何描述一个数如 41593{\frac {415}{93}}93415​,约为 4.46244.46244.4624。近似为 444,而实际上比 444 多一点,约为 4+124+{\frac {1}{2}}4+21​。但是在分母中的 222 是不准确的;更准确的分母是比 222 多一点,约为 2+162+{\frac {1}{6}}2+61​,所以 41593{\frac {415}{93}}93415​ 近似为 4+12+164+{\frac {1}{2+{\frac {1}{6}}}}4+2+61​1​。但是在分母中的 666 是不准确的;更准确分母是比 666 多一点,实际是 6+176+{\frac {1}{7}}6+71​。所以 41593{\frac {415}{93}}93415​ 实际上是 4+12+16+174+{\frac {1}{2+{\frac {1}{6+{\frac {1}{7}}}}}}4+2+6+71​1​1​。这样才准确。

去掉表达式 4+12+16+174+{\frac {1}{2+{\frac {1}{6+{\frac {1}{7}}}}}}4+2+6+71​1​1​ 中的冗余部分可得到简略记号 [4;2,6,7][4;2,6,7][4;2,6,7]。

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

一个有理数的连分数表示是有限的。

  • “简单”有理数的连分数表示是简短的。
  • 任何有理数的连分数表示是唯一的,如果它没有尾随的1。([a0;a1,…,an,1]=[a0;a1,…,an+1][a_{0};a_{1},\ldots ,a_{n},1]=[a_{0};a_{1},\ldots ,a_{n}+1][a0​;a1​,…,an​,1]=[a0​;a1​,…,an​+1])
  • 无理数的连分数表示是唯一的。
  • 连分数的项会循环,当且仅当它是一个二次无理数(即整数系数的二次方程的实数解)的连分数表示。
  • 数 xxx 的截断连分数表示很早产生 xxx 的在特定意义上“最佳可能”的有理数逼近(参阅下述定理5推论1)。

最后一个性质非常重要,且传统的小数点表示就不能如此。数的截断小数表示产生这个数的有理数逼近,但通常不是非常好的逼近。例如,截断 17=0.142857…{\frac {1}{7}}=0.142\ 857\ldots71​=0.142 857… 在各种位置上产生逼近比,如 1421000{\frac {142}{1000}}1000142​、14100{\frac {14}{100}}10014​ 和 110{\frac {1}{10}}101​。但是明显的最佳有理数逼近是“17{\frac {1}{7}}71​”自身。π\piπ 的截断小数表示产生逼近比,如 3141510000{\frac {31415}{10000}}1000031415​ 和 314100{\frac {314}{100}}100314​。π\piπ 的连分数表示开始于 [3;7,15,1,292,…][3;7,15,1,292,\ldots ][3;7,15,1,292,…]。截断这个表示产生极佳的有理数逼近 333、227{\frac {22}{7}}722​、333106{\frac {333}{106}}106333​、355113{\frac {355}{113}}113355​、10399333102{\frac {103\ 993}{33\ 102}}33 102103 993​、⋯\cdots⋯。314100{\frac {314}{100}}100314​ 和 333106{\frac {333}{106}}106333​ 的分母相当接近,但近似值 314100{\frac {314}{100}}100314​ 的误差是远高于 333106{\frac {333}{106}}106333​ 的 191919 倍。作为对 π\piπ 的逼近,[3;7,15,1][3;7,15,1][3;7,15,1] 比 3.14163.14163.1416 精确 100100100 倍。

3. 连分数表示的算法

考虑实数 rrr。设 iii 是 rrr 的整数部分,而 fff 是它的小数部分。则 rrr 的连分数表示是 [i;…][i;\ldots ][i;…],这里的“…\ldots…”是 1f{\frac {1}{f}}f1​ 的连分数表示。习惯上用分号取代第一个逗号。

要计算实数 rrr 的连分数表示,首先写下 rrr 的整数部分(下取整),然后从 rrr 减去这个整数部分。如果差为 000 则停止;否则找到这个差的倒数并重复。这个过程将终止,当且仅当 rrr 是有理数。

找出 3.2453.2453.245 的连分数
333 3.245−33.245 - 33.245−3 = 0.245 10.245{\frac {1}{0.245}}0.2451​ =4.082...=4.082...=4.082...
444 4.082...−44.082...-44.082...−4 =0.082...=0.082...=0.082... 10.082...{\frac {1}{0.082...}}0.082...1​ =12.250=12.250=12.250
121212 12.250−1212.250-1212.250−12 =0.250=0.250=0.250 10.250{\frac {1}{0.250}}0.2501​ =4.000=4.000=4.000
444 4.000−44.000 - 44.000−4 =0.000= 0.000=0.000 停止
3.245的连分数是[3;4,12,4][3;4,12,4][3;4,12,4]
3.245=3+14+112+143.245=3+{\cfrac {1}{4+{\cfrac {1}{12+{\cfrac {1}{4}}}}}}3.245=3+4+12+41​1​1​

数 3.2453.2453.245 还可以表示为连分数展开 [3;4,12,3,1][3;4,12,3,1][3;4,12,3,1];参见下面的有限连分数。

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

4. 连分数的表示法

可以把连分数简写作:

x=[a0;a1,a2,a3]{\displaystyle x=[a_{0};a_{1},a_{2},a_{3}]\;} x=[a0​;a1​,a2​,a3​]

或者,用 Pringsheim 的记法写作:

x=a0+1∣∣a1+1∣∣a2+1∣∣a3{\displaystyle x=a_{0}+{\frac {1\mid }{\mid a_{1}}}+{\frac {1\mid }{\mid a_{2}}}+{\frac {1\mid }{\mid a_{3}}}} x=a0​+∣a1​1∣​+∣a2​1∣​+∣a3​1∣​

还有一个有关的记法:

x=a0+1a1+1a2+1a3+{\displaystyle x=a_{0}+{1 \over a_{1}+}{1 \over a_{2}+}{1 \over a_{3}+}} x=a0​+a1​+1​a2​+1​a3​+1​

有时使用尖括号,如:

x=⟨a0;a1,a2,a3⟩{\displaystyle x=\left\langle a_{0};a_{1},a_{2},a_{3}\right\rangle \;} x=⟨a0​;a1​,a2​,a3​⟩

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

还可以定义无限简单连分数为极限:

[a0;a1,a2,a3,…]=lim⁡n→∞[a0;a1,a2,…,an]{\displaystyle [a_{0};a_{1},a_{2},a_{3},\,\ldots ]=\lim _{n\to \infty }[a_{0};a_{1},a_{2},\,\ldots ,a_{n}]} [a0​;a1​,a2​,a3​,…]=n→∞lim​[a0​;a1​,a2​,…,an​]

对于正整数 a1,a2,a3⋯a_{1}, a_{2}, a_{3}\cdotsa1​,a2​,a3​⋯ 的任意选择,皆存在此一极限。

或者可以用高斯的记法

x=a0+K3i=11ai{\displaystyle x=a_{0}+{\underset {i=1}{\overset {3}{\mathrm {K} }}}~{\frac {1}{a_{i}}}\;} x=a0​+i=1K3​ ai​1​

5. 有限连分数

所有有限连分数都表示一个有理数,而所有有理数都可以按两种不同的方式表示为有限连分数。这两种表示除了最终项之外都是一致的。在较长的连分数表示,其最终项是 111;较短的表示去掉了最后的 111,而向新的终项加 111。在短表示中的最终项因此大于 111,如果短表示至少有两项的话。其符号表示:

[a0;a1,a2,a3,…,an,1]=[a0;a1,a2,a3,…,an+1][a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n},1]=[a_{0};a_{1},a_{2},a_{3},\,\ldots ,a_{n}+1] [a0​;a1​,a2​,a3​,…,an​,1]=[a0​;a1​,a2​,a3​,…,an​+1]

例如:

2.25=94=[2;3,1]=[2;4]−4.2=−215=[−5;1,3,1]=[−5;1,4]2.25={\frac {9}{4}}=[2;3,1]=[2;4]\;\\ -4.2=-{\frac {21}{5}}=[-5;1,3,1]=[-5;1,4]\; 2.25=49​=[2;3,1]=[2;4]−4.2=−521​=[−5;1,3,1]=[−5;1,4]

6. 连分数的倒数

有理数的连分数表示和它的倒数除了依据这个数小于或大于1而分别左移或右移一位以外是相同的。换句话说,[a0;a1,a2,a3,…,an][a_{0};a_{1},a_{2},a_{3},\ldots ,a_{n}][a0​;a1​,a2​,a3​,…,an​] 和 [0;a0,a1,a2,…,an][0;a_{0},a_{1},a_{2},\ldots ,a_{n}][0;a0​,a1​,a2​,…,an​] 互为倒数。这是因为如果 $a$ 是整数,接着如果 x<1x<1x<1 ,则 x=0+1a+1bx=0+{\tfrac {1}{a+{\frac {1}{b}}}}x=0+a+b1​1​ 且 1x=a+1b{\tfrac {1}{x}}=a+{\tfrac {1}{b}}x1​=a+b1​,而且如果 x>1x>1x>1,则 x=a+1bx=a+{\tfrac {1}{b}}x=a+b1​ 且 1x=0+1a+1b{\tfrac {1}{x}}=0+{\tfrac {1}{a+{\frac {1}{b}}}}x1​=0+a+b1​1​ 带有最后的数生成对 xxx 和它的倒数是同样的的连分数的余数。

例如:

2.25=94=[2;4]12.25=49=[0;2,4]2.25 = \frac{9}{4} = [2; 4] \;\\ \frac{1}{2.25} = \frac{4}{9} = [0; 2, 4] \; 2.25=49​=[2;4]2.251​=94​=[0;2,4]

7. 无限连分数

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

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

对于连分数 [a0;a1,a2,…][a_{0};a_{1},a_{2},\ldots ][a0​;a1​,a2​,…],前四个收敛(编号 000 到 333 是

a01,a1a0+1a1,a2(a1a0+1)+a0a2a1+1,a3[a2(a1a0+1)+a0]+(a1a0+1)a3(a2a1+1)+a1{\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}}}} 1a0​​,a1​a1​a0​+1​,a2​a1​+1a2​(a1​a0​+1)+a0​​,a3​(a2​a1​+1)+a1​a3​[a2​(a1​a0​+1)+a0​]+(a1​a0​+1)​

用普通语言来说,第 333 个收敛的分子是借由第 333 个商(a2a_2a2​)乘上第 222 个收敛的分子,并加上第 111 个收敛的分子而成。分母的形成也很类似。

如果找到连续的收敛,带有分子 h1,h2,…h_{1},h_{2},\ldotsh1​,h2​,… 和分母 k1,k2,…k_{1},k_{2},\ldotsk1​,k2​,…,则相关的递归关系是:

hn=anhn−1+hn−2,kn=ankn−1+kn−2{\displaystyle h_{n}=a_{n}h_{n-1}+h_{n-2},\qquad k_{n}=a_{n}k_{n-1}+k_{n-2}} hn​=an​hn−1​+hn−2​,kn​=an​kn−1​+kn−2​

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

hnkn=anhn−1+hn−2ankn−1+kn−2{\displaystyle {\frac {h_{n}}{k_{n}}}={\frac {a_{n}h_{n-1}+h_{n-2}}{a_{n}k_{n-1}+k_{n-2}}}} kn​hn​​=an​kn−1​+kn−2​an​hn−1​+hn−2​​

8. 一些有用的定理

如果 a0,a1,a2,…a_{0},a_{1},a_{2},\ldotsa0​,a1​,a2​,… 是正整数的无限序列,递归的定义序列 hnh_{n}hn​ 和 knk_{n}kn​:

hn=anhn−1+hn−2h−1=1h−2=0kn=ankn−1+kn−2k−1=0k−2=1h_{n}=a_nh_{n-1}+h_{n-2}\,\quad h_{-1}=1\,\quad h_{-2}=0\\ k_{n}=a_nk_{n-1}+k_{n-2}\,\quad k_{-1}=0\,\quad k_{-2}=1 hn​=an​hn−1​+hn−2​h−1​=1h−2​=0kn​=an​kn−1​+kn−2​k−1​=0k−2​=1

定理 1

对于任何正数 x∈Rx\in \mathbb {R}x∈R

[a0;a1,…,an−1,x]=xhn−1+hn−2xkn−1+kn−2{\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}}}} [a0​;a1​,…,an−1​,x]=xkn−1​+kn−2​xhn−1​+hn−2​​

定理 2

[a0,a1,a2,…][a_{0},a_{1},a_{2},\ldots ][a0​,a1​,a2​,…] 的收敛以

[a0;a1,…,an]=hnkn{\displaystyle \left[a_{0};a_{1},\,\dots ,a_{n}\right]={\frac {h_{n}}{k_{n}}}} [a0​;a1​,…,an​]=kn​hn​​

给出。

定理 3

如果对连分数的第 nnn 个收敛是 hn/knh_{n}/k_{n}hn​/kn​,则

knhn−1−kn−1hn=(−1)nk_nh_{n-1}-k_{n-1}h_n=(-1)^n \, kn​hn−1​−kn−1​hn​=(−1)n

  • 推论1:每个收敛都在它的最低的那些项中(如果 hnh_{n}hn​ 和 knk_{n}kn​ 有不寻常的公约数,则它可除 knhn−1−kn−1hnk_{n}h_{n-1}-k_{n-1}h_{n}kn​hn−1​−kn−1​hn​,这当然是不可能的)。

  • 推论2:在连续的收敛之间的差是单位分数:

∣hnkn−hn−1kn−1∣=∣hnkn−1−knhn−1knkn−1∣=1knkn−1\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}} ∣∣​kn​hn​​−kn−1​hn−1​​∣∣​=∣∣​kn​kn−1​hn​kn−1​−kn​hn−1​​∣∣​=kn​kn−1​1​

  • 推论3:连分数等价于交替(alternating)项的级数:

a0+∑n=0∞(−1)nkn+1kna_0 + \sum_{n=0}^\infty \frac{(-1)^{n}}{k_{n+1}k_{n}} a0​+n=0∑∞​kn+1​kn​(−1)n​

  • 推论4:矩阵

[hnhn−1knkn−1]\begin{bmatrix} h_n & h_{n-1} \\ k_n & k_{n-1} \end{bmatrix} [hn​kn​​hn−1​kn−1​​]

的行列式值为正 111 或负 111,因此属于 2×22\times22×2 幺模矩阵S∗L(2,Z)S^{*}L(2,\mathbb {Z} )S∗L(2,Z) 的群。

定理 4

每个(第 sss 个)都比任何前面(第 rrr 个)收敛更接近于后续的(第 nnn 个)收敛。用符号来说,如果第 nnn 个收敛是 [a0;a1,a2,…an]=xn[a_{0};a_{1},a_{2},\ldots a_{n}]=x_{n}[a0​;a1​,a2​,…an​]=xn​,则

∣xr−xn∣>∣xs−xn∣\left|x_{r}-x_{n}\right|>\left|x_{s}-x_{n}\right| ∣xr​−xn​∣>∣xs​−xn​∣

对于所有 r<s<nr<s<nr<s<n。

  • 推论1:奇数收敛(在第 nnn 个之前)持续递增而总是小于 xnx_{n}xn​。

  • 推论2:偶数收敛(在第 nnn 个之前)持续递减而总是大于 xnx_{n}xn​。

定理 5

1kn(kn+1+kn)<∣x−hnkn∣<1knkn+1\frac{1}{k_n(k_{n+1}+k_n)}< \left|x-\frac{h_n}{k_n}\right|< \frac{1}{k_nk_{n+1}} kn​(kn+1​+kn​)1​<∣∣​x−kn​hn​​∣∣​<kn​kn+1​1​

  • 推论1:任何收敛都比其分母小于这个收敛的分母的任何其他分数更接近于这个连分数。

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

9. 半收敛

如果 hn−1kn−1{\frac {h_{n-1}}{k_{n-1}}}kn−1​hn−1​​ 和 hnkn{\frac {h_{n}}{k_{n}}}kn​hn​​ 是连续的收敛,则如下形式的任何分数

hn−1+ahnkn−1+akn\frac{h_{n-1} + ah_n}{k_{n-1}+ak_n} kn−1​+akn​hn−1​+ahn​​

这里的 aaa 是非负整数,而分子和分母在 nnn 和 n+1n+1n+1 项(包含它们)之间,叫做“半收敛”、次收敛或中间分数。这个术语经常意味着排除了是收敛的可能性,而不是收敛是一种半收敛。

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

10. 最佳有理数逼近

连分数理论在丢番图逼近领域起基础性的作用,可以解决实数的最佳逼近问题,具体可参阅相应主页面。事实上,最初发展连分数理论的动机正是为了解决实数的最佳逼近问题。

11. 连分数历史

  • 公元前 300 年-欧几里得,《Elements》 - 最大公约数的算法生成一个连分数作为副产品。
  • 499 年 Aryabhatiya 包含使用连分数的不确定方程的解。
  • 1572 年-Rafael Bombelli,《L’Algebra Opera》 - 与连分数有关的提取平方根的方法。
  • 1613 年-Pietro Cataldi,《Trattato del modo brevissimo di trovar la radice quadra delli numeri》 - 第一种连分数的记号
    Cataldi 表示连分数为 a0.&n1d1。&n2d2。&n3d3a_{0}.\, \& \frac{n_{1}}{d_{1}}。\&{n_{2} \over d_{2}}。\&{n_{3} \over d_{3}}a0​.&d1​n1​​。&d2​n2​​。&d3​n3​​ 带有指示随后连分数要去的地方的点。
  • 1695 年-约翰·沃利斯,《Opera Mathematica》 - 介入了术语“连分数”。
  • 1737 年 Leonhard Euler, 《De fractionibus continuis dissertatio》 – 提供了第一个关于连分数属性的全面说明,并首次证明了数字 eee 是无理数。
  • 1748年 莱昂哈德·欧拉,《Introductio in analysin infinitorum》. Vol. I, Chapter 18 - 证明了特定形式的连分数和广义无穷级数的等价性。证明了每个有理数都可以写成有限连分数,并证明了无理数的连分数是无限的。
  • 1768 年 Joseph-Louis Lagrange – 使用类似于 Bombelli 的连分数提供 Pell 方程的一般解。
  • 1761 年 Johann Lambert – 使用 tan⁡(x)\tan(x)tan(x) 的连分数首次证明了 π\piπ 的非理性。
  • 1770 年 Lagrange ——证明了二次无理数扩展为周期性连分数。
  • 1813 年-卡尔·弗里德里希·高斯,《Werke》,第三册, 134-138页 - 通过涉及到超几何级数的一个聪明的恒等式推导出非常一般性的复数值的连分数。
  • 1892 年 Henri Padé 定义了 Padé 近似值
  • 1972 年 Bill Gosper – 第一个用于连分数运算的精确算法。

  • 参考文献

(前苏联)辛钦(A. Ya. Khinchin)著,刘诗俊、刘绍越译. 连分数. 上海: 上海科学技术出版社. 1965.

维基百科:连分数

wiki: Continued fraction

连分数(Continued fraction)相关推荐

  1. Continued Fraction(https://acs.jxnu.edu.cn/problem/ICPCJX2021B)

    描述: A continued fraction is an expression of the form: a0+1a1+1a2+1⋱+1ana0+1a1+1a2+1⋱+1an where a0,a ...

  2. HDU - 3556 - Continued Fraction

    先上题目: Continued Fraction Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 131072/65536 K (Jav ...

  3. Continued Fraction翻译

    题目链接:https://acs.jxnu.edu.cn/problem/ICPCJX2021B 描述: 一个连续的分数是以以下的形式表示出来的: (见题图) a0,a1,-,ana0,a1,-,an ...

  4. Continued Fraction

    描述: 一个连续的分数如此形式的表达式: a0+1/(a1+1/(a2+1/(...+1/an). a0,a1...an是非负整数. 给一个分数x/y(x,y是正整数),请把它展开成连续的分数. 输入 ...

  5. php分数分母,连分数计算器

    连分数(continued fraction)是特殊繁分数.如果a0,a1,a2,-an,-都是整数,则将分别称为无限连分数和有限连分数.可简记为a0 ,a1,a2,-,an,-和a0,a1,a2,- ...

  6. 无理数的近似值与连分数matlab,连分数 - it610.com

    0x01 连分数的定义 连分数(continued fraction)是特殊繁分数. 如果a0,a1,a2,-an,-都是整数,则将分别称为无限连分数和有限连分数.可简记为a0 ,a1,a2,-,an ...

  7. php计算百分比加成_百分比计算器

    连分数(continued fraction)是特殊繁分数.如果a0,a1,a2,-an,-都是整数,则将分别称为无限连分数和有限连分数.可简记为a0 ,a1,a2,-,an,-和a0,a1,a2,- ...

  8. php 计算百分比,百分比计算器

    连分数(continued fraction)是特殊繁分数.如果a0,a1,a2,-an,-都是整数,则将分别称为无限连分数和有限连分数.可简记为a0 ,a1,a2,-,an,-和a0,a1,a2,- ...

  9. [转载]常用数学专业名词的英语

    目录 前言 数学分支的英文: 命题的英文: 数学中常见数词的英语: 点的英文: 线的英文: 面的英文: 角的英文: 距离的英文: 多边形的英文: 三角形的英文: 四边形的英文: 圆的英文: 多面体的英 ...

最新文章

  1. Logback配置文件这么写,TPS提高10倍
  2. 浅谈使用SQLBulkCopy批量数据入库
  3. 趋势科技、亚马逊AWS作后盾,天云趋势首款SaaS安全服务强势来袭
  4. postgresql 参数替换 游标_postgresql动态游标使用案例
  5. js 判断是否是IE浏览器及ie版本
  6. SQL Server 2016新特性:Live Query Statistics
  7. QUIC/HTTP3 协议简析
  8. Ubuntu 16.04下使用apt 搭建 ELK
  9. 谈谈大型分布式网站架构技术总结
  10. 开发经理是否应该写代码?​
  11. (转)机器学习入门,强烈推荐
  12. 6. PHP bcompiler
  13. 在DataList、Repeater的HeaderTemplate和FooterTemplate模板中寻找控件FindControl
  14. Java 问答:终极父类(第一部分)
  15. HTML5俄罗斯方块网页游戏代码
  16. 斯皮尔曼相关系数范围_什么是斯皮尔曼相关系数
  17. python贴吧-学点python吧,别再这么累了
  18. 2018款联想Y7000 黑苹果外接显示器方案
  19. win7新建ios开发环境
  20. java导出excel图片,数据库中图片如何导出到excel表格-Java 怎么把服务器中的图片导出到excel(图片的路......

热门文章

  1. STGW 下一代互联网标准传输协议QUIC大规模运营之路
  2. php ul前面的点,html里面ul那个点怎么消
  3. NPN集电极开路输出
  4. 上云有隐性成本? 用户要警惕五个坑
  5. 人脸识别技术在商业领域和日常生活的应用以及面临的挑战
  6. lucene全文检索与数据库检索的区别
  7. 计算机网络期末部分题型
  8. 网络调试助手建立tcp服务器失败的一种解决方案
  9. SpringBoot整合qq邮箱验证码使用
  10. php使用curl进行IP代理访问