■連分数展開の第n近似分数(その3)

 無理数αの近似分数をa/bとすると,

  |α−a/b|<1/2b^2

を満たすような無限個の分数a/bが存在する.2次の近似であるが,この定数2は最良のものではない.

===================================

【1】フルヴィッツ・ボレルの定理

   |α−a/b|<1/√5b^2

を満たす有理数a/bは無限に多く存在する.一方,λ>√5に対しても

   |α−a/b|<1/λb^2

を満たす有理数a/bが有限個しかない無理数αが存在する.

  λ=[1:1,1,1,・・・]+[0:1,1,1,・・・]=φ+1/φ=√5

 すべての無理数のなかで,最も有理近似を嫌う数は黄金比

  φ=(1+√5)/2=[1:1,1,1,・・・]

である.

 この定数√5は最良のもので,これより大きな数に置き換えることはできないが,黄金比φのようにαの連分数展開が有限個を除いてすべて1になる無理数

  α=[a0:a1,a2,・・・,ar,1,1,1,・・・]

を除外すれば,√5の代わりに√8を用いても成り立つ.

  λ=[2:2,2,2,・・・]+[0:2,2,2,・・・]=1+√2+1/(1+√2)=√8

  |α−a/b|<1/√8b^2

 次に問題になるのは

  √2=[1:2,2,2,・・・]

  1+√2=[2:2,2,2,・・・]

のようなαの連分数展開が有限個を除いてすべて2になる無理数で,それを除くと定理を

  λ=[2:2,1,1,2,2,1,1,・・・]+[0:1,1,2,2,2,1,1,2,2,・・・]=(9+√221)/10+(−9+√221)/10=√(221/25)

  |α−a/b|<1/√(221/25)b^2

に改良できる.

 同様の改良を続けていったときの定数√5,√8,√(221/25),・・・がラグランジュ数である.それらは

  √(9−4/m^2)

において,それぞれm=1,2,5とおいたものである.結果として得られる数は3に収束する.

   |α−a/b|<1/λb^2

のλは3より小さくすることはできない.

  m=1,2,5,13,29,34,89,169,194,233,433,610,985,・・・

はマルコフ数と呼ばれる.マルコフ数は2次のディオファントス方程式

  x^2+y^2+z^2=3xyz

の解として現れる.大いに興味をかき立ててきたディオファントス方程式である.たとえば(x,y,z)=(1,1,1),(2,1,1),(5,1,2),(13,1,5),(29,5,2),・・・

===================================