■数直線上の集合(その74)
(その61)〜(その73)は正答であった。それらは以下の2つのアルゴリズムよりなる。
====================================
高貴な数とは、連分数v=[a0:a1,a2,・・,an,1,1,1,・・・]によって定義される。
[a0:a1,a2,・・,an]のk番目[a0:a1,a2,・・,ak]で打ち切ったとき、
近似分数の分子と分母をそれぞれ、Ak, Bkで表すと
[a0:a1a2,・・,an]→[a0:a1a2,・・,an+1,1,1,1,・・・]=(τAn-1+An)/(τBn-1+Bn)
のように表現できる。
====================================
w=[0:a1,a2,a3,・・・]とする。このとき、1-wに対する連分数は
1-w=[0:1,a1-1,a2,a3,・・・]=[0:b1,b2,b3,b4,・・・]
b1=1,b2=a1-1,b3=a2,b4=a3
もし、a1-1=0ならば1-(1-w)に対する連分数はwに対する連分数に等しいから
1-(1-w)=[0:1,b1-1,b2,b3,b4,・・・]=[0:a1,a2,a3,・・・]
a1=1,a2=b1-1,a3=b2,a4=b3
a1=1,a2=0,a3=a1-1,a4=a2
[・・・,am,0,am+2,am+3,・・・]=[・・・,am+am+2,am+3,am+4,am+5,・・・]
w=(√5-1)/2=[0:1,1,1,・・・]
1-w=(3-√5)/2=[0:1,0,1,1,・・・]=[0:2,1,1,1,・・・]
====================================