在數學中,連分數或繁分數即如下表達:
![{\displaystyle x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}+{\cfrac {1}{\ddots \,}}}}}}}}}](//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}}](//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則停止;否則找到這個差的倒數並重複。這個過程將終止,若且唯若
是有理數。
More information
,
...
找出3.245的連分數
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
停止
|
|
3.245的連分數是
|
|
Close
數3.245還可以表示為連分數展開
;參見下面的有限連分數。
這個算法適合於實數,但如果用浮點數實現的話,可能導致數值災難。作為替代,任何浮點數是一個精確的有理數(在現代計算機上分母通常是2的冪,在電子計算器上通常是10的冪),所以歐幾里得算法的變體可以用來給出精確的結果。
可以把連分數簡寫作:
![{\displaystyle x=[a_{0};a_{1},a_{2},a_{3}]\;}](//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}}}}](//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}+}}](//wikimedia.org/api/rest_v1/media/math/render/svg/b404cc0e213d0eee3eece98d1e4716af5d5a4cc5)
有時使用尖括號,如:
![{\displaystyle x=\left\langle a_{0};a_{1},a_{2},a_{3}\right\rangle \;}](//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}]}](//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}}}\;}](//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]\;}](//wikimedia.org/api/rest_v1/media/math/render/svg/f29a65406be3c55d97a5c1a9a6f42665a9b33ebb)
例如:
![{\displaystyle 2.25={\frac {9}{4}}=[2;3,1]=[2;4]\;}](//wikimedia.org/api/rest_v1/media/math/render/svg/b819caa87e010c7eee6d0982b8c8e38c9169de06)
![{\displaystyle -4.2=-{\frac {21}{5}}=[-5;1,3,1]=[-5;1,4]\;}](//wikimedia.org/api/rest_v1/media/math/render/svg/e55918d8faf4052b7e321602bc25a8ad855d1d94)
有理數的連分數表示和它的倒數除了依據這個數小於或大於1而分別左移或右移一位以外是相同的。換句話說,
和
互為倒數。這是因為如果
是整數,接著如果
,則
且
,而且如果
,則
且
帶有最後的數生成對
和它的倒數是同樣的的連分數的餘數。
例如:
![{\displaystyle 2.25={\frac {9}{4}}=[2;4]\;}](//wikimedia.org/api/rest_v1/media/math/render/svg/5923948e38d2c7d2f2b5374b356ffbbe7daf7007)
![{\displaystyle {\frac {1}{2.25}}={\frac {4}{9}}=[0;2,4]\;}](//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}}}}](//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}}}}](//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}}}}](//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} }](//wikimedia.org/api/rest_v1/media/math/render/svg/76f6a40cb9baf26e2dcf03d03b2933efb29451a3)
所組成數列,它收斂到極限
。
![{\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}}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/122d48274a5d9e7e4275bd704e0d03f97bbbe008)
推論1:任何收斂子都比其分母小於這個收斂子的分母的任何其他分數更接近於這個連分數。
推論2:立即前導於一個大商的任何收斂子都是對這個連分數的接近逼近。
連分數理論在丟番圖逼近領域起基礎性的作用,可以解決實數的最佳逼近問題,具體可參閱相應主頁面。事實上,最初發展連分數理論的動機正是為了解決實數的最佳逼近問題。[3]
- Cataldi表示連分數為
&
。&
。&
帶有指示隨後連分數要去的地方的點
- 1695年-約翰·沃利斯,《Opera Mathematica》 - 介入了術語「連分數」
- 約1780年-約瑟夫·拉格朗日 - 使用類似於Bombell的連分數提供了佩爾方程的通用解
- 1748 萊昂哈德·歐拉,《Introductio in analysin infinitorum》. Vol. I, Chapter 18 - 證明了特定形式的連分數和廣義無窮級數的等價性
- 1813年-卡爾·弗里德里希·高斯,《Werke》,第三冊, 134-138頁 - 通過涉及到超幾何級數的一個聰明的恆等式推導出非常一般性的複數值的連分數
Kenneth H. Rosen. Elementary Number Theory and Its Applications.
(前蘇聯)辛欽著,劉詩俊、劉紹越譯. 连分数. 上海: 上海科學技術出版社. 1965: 28–29 [2012-09-16]. (原始內容存檔於2021-04-02).
- (前蘇聯)辛欽(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