■平方根と連分数(その111)
[a0;a1,a2,a3,・・・]
[a0;a1,a2,a3,・・・]+n=[a0+n;a1,a2,a3,・・・]
1/[a0;a1,a2,a3,・・・]=[0;a0,a1,a2,a3,・・・]
===================================
-[a0;a1,a2,a3,・・・]=[-1-a0;1,a1-1,a2,a3,・・・],a1>1のとき
-[a0;a1,a2,a3,・・・]=[-1-a0;a2+1,a3,・・・],a1=1のとき
===================================
[a0;a1,a2,a3,・・・]/n=[a0/n;na1,a2/n,na3,・・・]、a0,a2,a4,a6,・・・がnで割り切れるとき
n[a0;a1,a2,a3,・・・]=[na0;a1/n,na2,a3/n,・・・]、a1,a3,a5,a7,・・・がnで割り切れるとき
===================================
w=[0;a1,a2,a3,・・・],a0=0
1-w=[0;1,a1-1,a2,a3,・・・]a1>1のとき
1-w=[0;1,0,a2,a3,・・・]=[0;1+a2,a3,・・・]a1=1のとき
===================================
これを証明してみよう。
x=[a2;a3,a4,・・・],y=1/x=[0;a2,a3,a4,・・・]
w=1/(a1+1/x)=1/(a1+y)
z=1/(1+1/(a1-1+y))
z=(a1-1+y)/(a1+y)=1-1/(a1+y)
w+z=1
z=1-w
===================================
1+x=x=[1+a2;a3,a4,・・・],1/(1+x)=[0;1+a2,a3,a4,・・・]
a1=1のとき、
w=1/(1+1/x)=x/(x+1)
w+1/(1+x)=1
1/(1+x)=1-w
===================================