朔望カヤ「連分數の基礎 : 近似分數の漸化式」2025/9/23
連分數理論の構造と応用に関するブリーフィング
エグゼクティブ・サマリー
本ブリーフィングは、數學の分野である連分數理論に関する一聯の解說を統合し、その核心的な槪念、數論的性質、代數的構造、そして多岐にわたる應用について槪說するものである。連分數は、任意の實數を整數の列を用ゐて表現する强力な手法であり、特に無理數の性質を深く探る上で不可缺なツールである。 主要な洞察は以下の通りである。
1. 無理數の最良近似 : 連分數展開を途中で打ち切って得られる「近似分數」は、與へられた無理數に対する「最良近似」の有理數を提供する。これは、分母の大きさを考慮した上で最も誤差が小さい近似であり、圓周率の近似値$ \frac{22}7などがこれに該當する。 2. 2 次無理數と循環性の關係 : 連分數展開が (ある項以降) 無限に同じパターンを繰り返す「循環連分數」となるのは、その數が 2 次無理數 (整數係數の 2 次方程式の根となる無理數) である場合に限られる。この根本的な關係性は、ラグランジュの定理によって保證される。さらにガロアの定理は、循環が初項から始まる「純循環連分數」となるための條件を明確化する。
3. 代數的構造と$ {\rm GL}(2,\Z): 連分數の操作は、整數を成分とし行列式が$ \pm 1となる 2 次正方行列の群、$ {\rm GL}(2,\Z)の作用として代數的に記述できる。この視點により、連分數は一次分數変換の合成と見なされ、近似分數の漸化式や平方根の連分數展開が持つ囘文構造などの性質が、行列の積といふ統一的な枠組みで理解される。 4. 廣範な應用 : 連分數理論は純粋數学の範疇に留まらない。曆の設計においては、1 年の長さをより正確に近似する閏年のルールを導出するために用ゐられる。また、古典力學の攝動論では、系の安定性を左右する「ディオファントス條件」の解析に連分數が應用され、數論的な性質が物理系の振る舞ひを決定するといふ深遠な結びつきを示してゐる。 總じて、連分數は單なる數の表現法ではなく、數論、代數学、應用物理學の諸分野を架橋する豊かで深遠な構造を持つ理論體系である。
第1章: 連分數の基礎理論
1.1 定義と表記法
連分數は、實數を整數の列を用いて表現する方法である。 * 形式: 實數$ a_0,a_1,a_2,\dotsの列 (ただし$ a_1以降は正) から構成される以下の形の式を指す。$ a_0+\frac 1{a_1+\frac 1{a_2+\dots}} * 表記:$ [a_0;a_1,a_2,\dots,a_n] のやうに表記される。
* 近似分數 (convergent): 無限または有限の連分數$ [a_0;a_1,a_2,\dots] に対し、最初の$ i+1 項からなる連分數$ [a_0;a_1,\dots,a_i] を「第 i 近似分數」と呼び、$ \frac{p_i}{q_i}と表す。
1.2 近似分數の漸化式
第 i 近似分數$ \frac{p_i}{q_i}の分子$ p_iと分母$ q_iは、以下の漸化式によって效率的に計算できる。
* 初期値:
*$ p_{-1}=1,$ p_{-1}=0
*$ p_0=a_0,$ q_0=1
* 漸化式 ($ i\ge 1):
*$ p_i=a_i p_{i-1}+p_{i-2}
*$ q_i=a_i q_{i-1}+q_{i-2}
この漸化式から、$ p_i q_{i-1}-p_{i-1}q_i=(-1)^{i-1}といふ重要な關係が導かれる。これにより、近似分數$ \frac{p_i}{q_i}は常に既約分數であることが保證される。また、正則連分數では分母$ q_iは正の整數からなる單調增加列となる。 * 收束の保證: 初項を除き全ての項が正の整數である「無限正則連分數」は、常に特定の實數に收束する。 * 收束先の性質: 無限正則連分數の收束先は、必ず無理數となる。これは、もし有理數に收束すると假定すると、分母$ q_iの增大速度と矛盾が生じるため、背理法によって證明される。 * 收束速度: 近似分數の列は急速に收束する。分母$ q_iは Fibonacci 數以上の速さで增大するため、近似誤差は急速に減少する。 1.4 連分數展開の一意性
* 例:$ m=[m-1;1]
* 一般形:$ [a_0;\dots,a_n] と$ [a_0;\dots,a_n-1,1] は同じ有理數を表す。 * 標準形: 一意性を確保するため、有限正則連分數の末項$ a_nが 1 より大きいといふ條件を課すことがある。この條件を滿たす連分數は「標準形」と呼ばれ、この條件下では有理數の表現は一意となる。 第2章: 連分數と數論的性質
2.1 連分數展開の計算アルゴリズム
* このプロセスは有限囘で終了するため、有理數の連分數展開は常に有限となる。 * 無理數の場合:
* 無理數$ \alphaの連分數展開は、以下の反復的なアルゴリズムで計算される。
1. $ a_0を$ \alphaの整數部分とし、$ \varepsilon_0を小數部分とする。
2. $ \varepsilon_{i-1}>0ならば、$ \alpha_i=\frac 1{\varepsilon_{i-1}}を計算する。
3. $ a_iを$ \alpha_iの整數部分とし、$ \varepsilon_iを小數部分とする。
4. ステップ 2 に戾る。
* $ \alphaが無理數であるため、小數部分$ \varepsilon_iが 0 になることはなく、このプロセスは無限に續く。これにより、無限正則連分數が得られる。 2.2 無理數の最良近似
連分數は、無理數を有理數で近似する上で極めて重要な役割を果たす。 * 第 1 種最良近似: 分母が$ b以下である全ての有理數の中で、無理數$ \alphaとの距離$ |\alpha-\frac c d|を最小にする有理數$ \frac a b。 * 第 2 種最良近似: 分母で重み付けした距離$ |b\alpha-a|を、分母が$ b以下である全ての有理數の中で最小にする有理數$ \frac a b。 * 第 2 種最良近似は、分母を大きくした見返りとして、それに相應しい精度向上があることを要求する、より强い條件である。
* 第 2 種最良近似であれば、必ず第 1 種最良近似でもある。
連分數との關係: 無理數$ \alphaの第 2 種最良近似は、その連分數展開の近似分數$ \frac{p_i}{q_i}($ i>0の場合) と一致する。逆に、$ i>0の近似分數は常に第 2 種最良近似となる。
* ルジャンドルの定理: もし有理數$ \frac p qが$ |\alpha-\frac p q|<\frac 1{2q^2}を滿たすならば、その有理數$ \frac p qは$ \alphaの近似分數の一つである。 2.3 循環連分數と2次無理數
* 循環連分數: ある項以降、整數の列が周期的に繰り返される連分數。繰り返される部分を「循環節」と呼ぶ。 * 例:$ \sqrt 2=[1;2,2,2,\dots] (循環節は 2)
* 例:$ \sqrt 3=[1;1,2,1,2,\dots] (循環節は 1, 2)
* ラグランジュの定理: 無理數$ \alphaの連分數展開が循環連分數であるための必要充分條件は、$ \alphaが 2 次無理數 (整數係數の 2 次方程式$ Ax^2+Bx+C=0の無理數解) であることである。
* 純循環連分數: 循環が初項$ a_0から始まる連分數。
* ガロアの定理: 2 次無理數$ \alphaの連分數展開が純循環連分數となるための必要充分條件は、$ \alpha>1かつ、その共軛$ \alpha'が$ -1<\alpha'<0を滿たすことである。このやうな$ \alphaは「簡約された 2 次無理數」と呼ばれる。
* 平方根の連分數展開: 平方數でない自然數$ Dの平方根$ \sqrt Dの連分數展開は、初項$ a_0を除いて循環し、その循環節は囘文的な構造を持つ。また、循環節の最後の項は$ 2a_0となる。 第3章: 連分數の代數的構造:$ {\rm GL}(2,\Z)との関係
3.1 $ {\rm GL}(2,\Z)の定義と實數への作用 * $ {\rm GL}(2,\Z)の定義: 整數を成分とする 2 次正方行列で、行列式が$ \pm 1となるものの集合。これらの行列は積に関して群をなす。 * 作用: $ {\rm GL}(2,\Z)の元である行列$ M=\begin{pmatrix}a & b \\ c & d\end{pmatrix}は、實數$ xに對して一次分數変換 (Möbius 變換) として作用する。$ M(x)=\frac{ax+b}{cx+d} * この作用は群作用の性質 (單位元の作用は恆等變換、積の作用は作用の合成) を滿たす。 3.2 連分數の行列表示
連分數の構成プロセスは、$ {\rm GL}(2,\Z)に属する特定の行列の積として表現できる。
* 連分數の 1 ステップ$ x\mapsto a+\frac 1 xといふ變換は、行列$ \begin{pmatrix}a & 1 \\ 1 & 0\end{pmatrix}の作用に對應する。
* $ n+1 項からなる連分數$ [a_0;a_1,\dots,a_n] は、$ n+1 個の行列の積が$ \frac 1\infty=0 に作用したものと見なすことができる。$ [a_0;a_1,\dots,a_n]=\begin{pmatrix}a_0 & 1 \\ 1 & 0\end{pmatrix}\begin{pmatrix}a_1 & 1 \\ 1 & 0\end{pmatrix}\dots\begin{pmatrix}a_n & 1 \\ 1 & 0\end{pmatrix}(0)
この對應附けにより、連分數に關する樣々な性質を行列の理論を用ゐて證明することが可能になる。
3.3 近似分數と行列成分
連分數展開に對應する行列の積を計算すると、その成分と近似分數の閒に直接的な關係が現れる。
* 行列の積$ M_i=\begin{pmatrix}a_0 & 1 \\ 1 & 0\end{pmatrix}\dots\begin{pmatrix}a_i & 1 \\ 1 & 0\end{pmatrix} を$ \begin{pmatrix}p_i & p_{i-1} \\ q_i & q_{i-1}\end{pmatrix}と書くと、
* 左側の列ベクトル$ \begin{pmatrix}p_i \\ q_i\end{pmatrix}が、第 i 近似分數$ \frac{p_i}{q_i}の分子と分母に對應する。
* 右側の列ベクトル$ \begin{pmatrix}p_{i-1} \\ q_{i-1}\end{pmatrix}が、第 i-1 近似分數に對應する。
* この行列表示を用ゐることで、近似分數の漸化式を導出することもできる。
* $ \sqrt Dの連分數展開が持つ囘文構造の證明にも、この$ {\rm GL}(2,\Z)を用ゐたアプローチが有效である。
第4章: 連分數の應用事例
4.1 曆の設計: 閏年の最適化
1 太陽年 (地球の公轉周期) は約 365.2422 日であり、整數ではないため曆と季節のずれが生じる。これを補正するのが閏年である。連分數は、この補正値を最適に近似する方法を提供する。 * 太陽年の小數部分: 0.2422
* 連分數展開: 0.2422 の連分數展開を計算すると、$ [0;4,7,1,\dots] が得られる。
* 近似分數の導出:
* 第 0 近似:$ [0;4]=\frac 1 4 。これは「4 年に 1 囘」の閏年を意味し、ユリウス暦 (平均 365.25 日) に對應する。
* 第 1 近似:$ [0;4,7]=\frac 7{29} 。
* 第 2 近似:$ [0;4,7,1]=\frac 8{33} 。これは「33 年に 8 囘」の閏年といふルールを示唆する。
* グレゴリオ曆との比較:
* ユリウス曆: 365.25 日/年。1 世紀あたり約 0.8 日の誤差。
* グレゴリオ曆: 「400 年に 97 回」の閏年。$ \frac{97}{400}=0.2425。平均 365.2425 日/年。1 世紀あたり 0.03 日の誤差。
* 連分數による近似$ \frac 8{33}\approx 0.2424\dotsは、グレゴリオ曆よりもわずかに精度が高いが、ルールが複雜になる。
このやうに、連分數は曆の設計における數学的な背景と、より良い近似の可能性を示唆する。
4.2 古典力學: 攝動論におけるディオファントス條件 古典力學の可積分系に小さな攝動が加はった際の系の振る舞ひを解析する際、數論、特に連分數が重要な役割を果たす。 * 問題設定: 可積分系の Hamiltonian$ H_0(I)に攝動$ \varepsilon H_1(I,\theta)が加はった系を考へる。ここで$ Iは作用變數、$ \thetaは角變數。 * 攝動論の破綻: 正準攝動論を用ゐて運動を解こうとすると、解を表す級數の分母に$ m\cdot\omega(I)といふ項が現れる。ここで$ mは整數のベクトル、$ \omegaは系の固有振動數ベクトル。 * 共鳴と小さな分母問題: 振動數ベクトルの成分比が有理數に近い場合 (通約可能)、$ m\cdot\omegaが非常に小さくなるか 0 になり、級數が発散してしまふ。これが「小さな分母問題」である。 * ディオファントス條件: 攝動論が有效であるためには、振動數ベクトル$ \omegaが「無理性の良い」數、すなわち有理數でうまく近似できない數であることが求められる。これを定式化したのがディオファントス條件である。$ \forall{\bf m}\ne 0\exist \gamma,\mu\in\R^+$ {\bf m}\cdot{\bf \omega}_0({\bf J})>\frac\gamma{|{\bf m}|\mu},$ |{\bf m}|=|m_1|+\dots+|m_n| * 連分數との關聯: 2自由度系の場合、この条件は振動數比$ \alpha=\frac{\omega_1}{\omega_2}が有理數$ \frac p qでどれだけ良く近似できるかといふ問題$ |a-\frac p q|に歸着する。これは Διοφαντική 近似として知られ、連分數を用ゐて解析される。代數的無理數などはこの條件を滿たすことが知られている。 このやうに、力學系の長期的な安定性は、系のパラメータがなす比の數論的性質 (連分數展開によって特徵づけられる) に深く依存してゐる。これは、KAM 定理などのより嚴密な理論においても中心的な役割を果たす。
https://www.youtube.com/watch?v=Mkz5WqGYxR8
https://www.youtube.com/watch?v=7NFjXzZIdoM
https://www.youtube.com/watch?v=h7VdYbjm9c8
https://www.youtube.com/watch?v=ya7plYwpRVQ&pp=2AZj0gcJCU8KAYcqIYzv
https://www.youtube.com/watch?v=urj9GtyuHic&pp=2AYF
https://www.youtube.com/watch?v=N8O5fCOaakY
https://www.youtube.com/watch?v=blBo4RZg9eo
https://www.youtube.com/watch?v=VtH1XUKxRcE&pp=2AYp
https://www.youtube.com/watch?v=geze0d0v1nA&pp=2AYF
https://www.youtube.com/watch?v=IYvblGCn6cQ&pp=2AYF0gcJCU8KAYcqIYzv