連分数(れんぶんすう、英: continued fraction)とは、分母に更に分数が含まれているような分数のことを指す。分子が全て 1 である場合には特に単純連分数または正則連分数(英: regular continued fraction)ということがある。単に連分数といった場合、正則連分数を指す場合が多い。具体的には次のような形である。

ここで a0 は整数、それ以外の an は正の整数である。正則連分数は、最大公約数を求めるユークリッドの互除法から自然に生じるものであり、古くからペル方程式の解法にも利用された。

連分数を式で表す際には次のような書き方もある。

または

x = [a0; a1, a2, a3]

また、極限の概念により、分数を無限に連ねたものも考えられる。

二次無理数(整数係数二次方程式の根である無理数)の正則連分数展開は必ず循環することが知られている。逆に、正則連分数展開が循環する数は二次無理数である。

連分数展開の例

例として黄金数 φ を考える[1]。φ は x2 − x − 1 = 0 の正の解である。この式を変形すると、

以下同様にして、

と表すことができる。

より一般的には、x2 − nx = 1 の正の解を次のように表すことができる。

連分数の計算方法

いまある数 ω が与えられたとする。ω を超えない最大の整数を a0 とし、

となるよう ω1 を定める。ω1 が整数でないならば、ω1 を超えない最大の整数を a1 とし、

となるように ω2 を定めることができる。以下この作業を繰り返すことにより、n 段までの連分数

を求めることができる。もし ω が有理数ならば、この作業は有限回で終了するが、無理数ならば無限にこの作業が続く。

但し、上述してある通り、ω が二次無理数であり、かつその場合に限り、循環する連分数になる。

は ω に収束する。すなわち上記の作業を繰り返すことによりいくらでも実数 ω に近い有理数を求めることができる。また、ω と連分数の差は

となることが知られており、連分数はディオファントス近似の解を求める手段として有効である。

連分数の性質

いま、a0 は整数、それ以外の an は正の整数であるような数列

があるとき、数列 pn, qn を以下のように定める。

このとき、連分数は

となる。

pn とqn にユークリッドの互除法を適用すると、割り算の商として数列 a0, a1, ... , an−1 のn 個の整数が順番に現れる。上記の数列 pn, qn の定義は互除法の操作を逆にたどったものともいえる。

また、pn, qn は整数であるから、ユークリッドの互除法の帰結より、pn と qn は互いに素である。つまり連分数 は既約分数である。

さらに |pn+1qn − pnqn+1| = 1 である。また、pn と pn+1 および、qn と qn+1 も互いに素である。

なお数列an が全て 1 の場合、数列pn, qn はともにフィボナッチ数列 (F0 = 0, F1 = 1) である。すなわち

である。そして、上で記したようにこの連分数は黄金比に収束する。ゆえに隣り合うフィボナッチ数の比は黄金比に収束することが分かる。

また、アレクサンドル・ヒンチンによると、正則連分数の場合、a0以外の係数の幾何平均はある極限、つまりヒンチンの定数(英語版)に接近する。

ただし、この定数は代数的無理数なのか超越数なのかについては、まだ分かっていない[2]。

様々な数の連分数展開

下線部はそれぞれの循環節。

(2。循環節の長さは 1)

(1, 2。循環節の長さは 2)

以上は二次無理数であるので、循環する連分数展開を持つ。

ネイピア数は超越数であり、その連分数展開は循環しないものの一定の規則性を持つ。

円周率の正則連分数展開には規則性がないと考えられている。

円周率の正則でない連分数で規則性を持つものが存在する。

力学系としての連分数

脚注

  1. 1 2 岩本誠一・江口将生・吉良知文 「黄金・白銀・青銅 : 数と比と形と率と」 NAID 110007153257
  2. ↑ Weisstein, Eric W.. “Khinchin's Constant” (英語). mathworld.wolfram.com. 2024年8月22日閲覧。

参考文献

洋書
和書

外部リンク

⌬ Phoenix Mesh CID: 未登録 IPFS未登録 📡 0ピア N=1 CRITICAL PQS C56