連分数

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

x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}}}}}}}

x=a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{a_{3}}}}}}}

ここで a₀ は整数、それ以外の a_nは正の整数である。正則連分数は、最大公約数を求めるユークリッドの互除法から自然に生じるものであり、古くからペル方程式の解法にも利用された。連分数を式で表す際には次のような書き方もある。

x=a_{0}+{\frac {1}{a_{1}+}}\,{\frac {1}{a_{2}+}}\,{\frac {1}{a_{3}}}

x=a_{0}+{\frac {1}{a_{1}+}}\,{\frac {1}{a_{2}+}}\,{\frac {1}{a_{3}}}

または x = [a₀; a₁, a₂, a₃] また、極限の概念により、分数を無限に連ねたものも考えられる。

\left[a_{0};a_{1},a_{2},a_{3},\ldots \right]=\lim _{n\to \infty }\left[a_{0};a_{1},a_{2},a_{3},\ldots ,a_{n}\right]

\left[a_{0};a_{1},a_{2},a_{3},\ldots \right]=\lim _{n\to \infty }\left[a_{0};a_{1},a_{2},a_{3},\ldots ,a_{n}\right]

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

連分数展開の例

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

{\begin{aligned}x^{2}&=x+1\\x&=1+{\frac {1}{x}}\\&=1+{\cfrac {1}{1+{\cfrac {1}{x}}}}\\&=1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{x}}}}}}\end{aligned}}

以下同様にして、

\phi =1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{1+{\cfrac {1}{\ddots }}}}}}}}=[1;1,1,1,1,1,\ldots ]

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

n+{\cfrac {1}{n+{\cfrac {1}{n+{\cfrac {1}{n+{\cfrac {1}{n+\ddots \,}}}}}}}}=[n;n,n,n,n,\dots ]={\frac {1}{2}}\left(n+{\sqrt {n^{2}+4}}\right)

連分数の計算方法

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

\omega =a_{0}+{\frac {1}{\omega _{1}}}

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

\omega _{1}=a_{1}+{\frac {1}{\omega _{2}}}

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

a_{0}+{\cfrac {1}{a_{1}+{\cfrac {1}{a_{2}+{\cfrac {1}{\ddots a_{n-1}+{\cfrac {1}{\omega _{n}}}}}}}}}

を求めることができる。もし ω が有理数ならば、この作業は有限回で終了するが、無理数ならば無限にこの作業が続く。但し、上述してある通り、ω が二次無理数であり、かつその場合に限り、循環する連分数になる。

{\frac {p_{n}}{q_{n}}}=[a_{0};a_{1},a_{2},\ldots ,a_{n-1}]

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

\left|\omega -{\frac {p_{n}}{q_{n}}}\right|<{\frac {1}{{q_{n}}^{2}}}

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

連分数の性質

いま、a₀ は整数、それ以外の a_nは正の整数であるような数列

a_{0},a_{1},a_{2},a_{3},\ldots

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

{\begin{cases}p_{0}=1\\p_{1}=a_{0}\\p_{n}=a_{n-1}p_{n-1}+p_{n-2}\ (n\geq 2)\end{cases}}\quad {\begin{cases}q_{0}=0\\q_{1}=1\\q_{n}=a_{n-1}q_{n-1}+q_{n-2}\ (n\geq 2)\end{cases}}

このとき、連分数は

[a_{0};a_{1},a_{2},\dots ,a_{n-1}]={\frac {a_{n-1}p_{n-1}+p_{n-2}}{a_{n-1}q_{n-1}+q_{n-2}}}={\frac {p_{n}}{q_{n}}}

となる。 p_n とq_n にユークリッドの互除法を適用すると、割り算の商として数列 a₀, a₁, ... , a_n−1 のn 個の整数が順番に現れる。上記の数列 p_n, q_nの定義は互除法の操作を逆にたどったものともいえる。また、p_n, q_nは整数であるから、ユークリッドの互除法の帰結より、p_n と q_nは互いに素である。つまり連分数

{\frac {p_{n}}{q_{n}}}

は既約分数である。さらに |p_n+1q_n − p_nq_n+1| = 1 である。また、p_n と p_n+1 および、q_n と q_n+1 も互いに素である。なお数列a_n が全て1の場合、数列p_n, q_nはともにフィボナッチ数列 (F₀ = 0, F₁= 1) である。すなわち

{\frac {p_{n}}{q_{n}}}={\frac {F_{n+1}}{F_{n}}}

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

様々な数の連分数展開

下線部はそれぞれの循環節。 ●2の平方根

{\sqrt {2}}=[1;2,2,2,2,2,2,\dots ]=1+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{2+{\cfrac {1}{\cdots }}}}}}}}}}}}}}

︵2。循環節の長さは1︶ ●3の平方根

{\sqrt {3}}=[1;1,2,1,2,1,2,\dots ]=1+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{1+{\cfrac {1}{2+{\cfrac {1}{\cdots }}}}}}}}}}}}}}

︵1, 2。循環節の長さは2︶ ●黄金数の逆数 φ⁻¹ = [0; 1, 1, 1, 1, 1, 1, ...]︵1。循環節の長さは1︶ ●白銀数^[1] 1 + √2 = [2; 2, 2, 2, 2, 2, 2,…]︵2。循環節の長さは1︶ ●白銀数の逆数

{\frac {1}{1+{\sqrt {2}}}}=-1+{\sqrt {2}}=[0;2,2,2,2,2,2,\dots ]

︵2。循環節の長さは1︶以上は二次無理数であるので、循環する連分数展開を持つ。ネイピア数は超越数であり、その連分数展開は循環しないものの一定の規則性を持つ。 ●ネイピア数 e= [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, 1, 1, 10, ...](オンライン整数列大辞典の数列 A003417) 円周率の正則連分数展開には規則性がないと考えられている。 ●円周率

π

= [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, ...]︵オンライン整数列大辞典の数列 A001203︶円周率の正則でない連分数で規則性を持つものが存在する。

\pi =3+{\cfrac {1^{2}}{6+{\cfrac {3^{2}}{6+{\cfrac {5^{2}}{6+{\cfrac {7^{2}}{6+{\cfrac {9^{2}}{6+{\cfrac {11^{2}}{\ddots \,}}}}}}}}}}}}

{\cfrac {4}{\pi }}=1+{\cfrac {1^{2}}{3+{\cfrac {2^{2}}{5+{\cfrac {3^{2}}{7+{\cfrac {4^{2}}{9+{\cfrac {5^{2}}{11+{\cfrac {6^{2}}{\ddots \,}}}}}}}}}}}}

「円周率の歴史」および「ライプニッツの公式」も参照

力学系としての連分数

詳細は「エルゴード理論#連分数への応用」を参照

脚注

^ ^a ^b 岩本誠一・江口将生・吉良知文「黄金・白銀・青銅 : 数と比と形と率と」 NAID 110007153257

参考文献

●木村俊一﹃連分数のふしぎ無理数の発見から超越数まで﹄講談社︿ブルーバックス1770﹀、2012年5月20日。ISBN 978-4-06-257770-0。 ●ジョセフ・H・シルヴァーマン﹃はじめての数論発見と証明の大航海――ピタゴラスの定理から楕円曲線まで﹄鈴木治郎訳︵原著第3版︶、ピアソン・エデュケーション、2007年4月25日。ISBN 978-4-89471-492-2。 ●ジョセフ・H・シルヴァーマン﹃はじめての数論発見と証明の大航海――ピタゴラスの定理から楕円曲線まで﹄鈴木治郎訳︵原著第3版︶、丸善出版、2014年5月13日。ISBN 978-4-621-06620-1。 ●第38章おお，なんて美しい関数だこと︵299-311頁︶ ●第39章連分数のでんぐり返り世界︵312-326頁︶ ●第40章連分数，平方根，そしてペル方程式︵327-341頁︶ ●高木貞治﹁第2章連分数﹂﹃初等整数論講義﹄︵第2版︶共立出版、1971年10月15日。ISBN 4-320-01001-9。 ●遠山啓﹁第6章連分数﹂﹃初等整数論﹄日本評論社︿日評数学選書﹀、1972年2月28日。ISBN 4-535-60109-7。 ●平山諦﹃円周率の歴史﹄中教出版、1955年8月5日。 ●G・H・ハーディ、E・M・ライト︵英語版︶﹁第10章連分数﹂﹃数論入門﹄I、示野信一・矢神毅翻訳、シュプリンガー・フェアラーク東京、2001年7月1日。ISBN 4-431-70848-0。 ●G・H・ハーディ、E・M・ライト﹁第10章連分数﹂﹃数論入門﹄I、示野信一・矢神毅翻訳、丸善出版、2012年7月17日。ISBN 978-4-621-06226-5。 - ハーディ＆ライト(2001)の復刊。 ●A. Ya. Khinchin (1997-05-14). Continued Fractions. Dover Books on Mathematics. Dover Publications. ISBN 0-486-69630-8 ●Marius losifescu and Cor Kraaikamp: "Metrical Theory of Continued Fractions", Springer, ISBN 978-90-481-6130-0 (2002). ●A. Cuty et al:"Handbook of Continued Fractions for Special Functions", Springer, ISBN 978-1-4020-6948-2 (2008). ●T. Sauer: "Continued Fractions and Signal Processing", Springer (2020).

外部リンク

[mean-1] 岩本誠一・江口将生・吉良知文「黄金・白銀・青銅 : 数と比と形と率と」 NAID 110007153257

[1]