■ガウス・ヒンチン・レヴィ(その3)
【1】連分数展開
連分数展開が有限で終わることと有理数であることは同値です.そこで,2次方程式の解となる√nの連分数展開を求めると,たとえば
√2=[1:2,2,2,2,・・・]
√3=[1:1,2,1,2,1,2,1,2,・・・]
√7=[2:1,1,1,4,1,1,1,4,・・・]
のように循環型の単純連分数に展開されることが知られています.一般に,2次の無理数(整数係数の2次方程式の解)は周期的な連分数展開をもちます(ラグランジュの定理).
平方根を無限連分数に表す手順はわりやすく,たとえば,1<√2<2であるから
√2=1+(√2−1)
=1+1/(√2+1) 2<√2+1<3
=1+1/{2+(√2−1)}
=1+1/{2+1/(√2+1)}
=1+1/{2+1/(2+(√2−1)}
=1+1/{2+1/(2+1/(√2+1)}
=1+1/{2+1/{2+1/{2+1/{2+・・・
の手順を何度も繰り返すことにより,
√2=[1:2,2,2,2,・・・]
ができあがります.また,黄金比φ=(1+√5)/2は,
φ=[1:1,1,1,,1,・・・]
で表されます.
ここでは,m進展開の代わりに連分数展開を用いて数の集合を定義してみますが,たとえば,正の実数が無限連分数展開され,そのすべての部分商が1または2であるような実数の集合のハウスドルフ次元は0.531280506・・・であることが計算されています.
しかし,3次以上の方程式の解,たとえば3√2の連分数展開を求めると,
3√2=[1:3,1,5,1,1,4,1,1,8,1,14,1,10,2,1,4,・・・]
の一般項は求めることができません.この展開に現れる整数に最大値があることも示すこともできないのです.
===================================
【2】ヒンチンの定数
ヒンチンは,一般の連分数
[a0:a1,a2,a3,・・・,an,・・・]
の大多数についてあてはまる法則を発見しています.ヒンチンの定理とは,ほとんどすべての実数について,幾何平均(a1a2・・・an)^1/nの値がn→∞のとき,ある無限乗積から定まる定数
(a1a2・・・an)^1/n→Π(1+1/k(k+2))^logk/log2=2.685452001・・・
に収束するというものです.ただし,分母に明確なパターンのある代数的数やeをはじめとするいくつかの超越数は例外になります.
===================================
【3】レヴィの定数
実数xのn項までの連分数展開pn/qnとする.ほとんどすべての実数に対して,
(qn)^1/n→exp(π^2/12log2)=3,27582292・・
===================================