■学会にて(直観幾何学研究会2019,その12)
初項1,第2項1から始まり,隣り合う2項の和が次の項となるフィボナッチ数列
1,1,2,3,5,8,13,21,34,55,89,・・・
の各項を2で割った余りをとると(mod2で考えると),
1,1,0,1,1,0,・・・
3項ごとに元に戻ることがわかる.
3で割った余りなら,
1,1,2,0,2,2,1,0,1,1,2,・・・
のように8項毎に元に戻る.
mod5のとき,
1,1,2,3,0,3,3,1,4,0,4,4,3,2,0,2,2,4,1,0,1,1,2,・・・
20項毎に循環している.
mod7のとき,
1,1,2,3,5,1,6,0,6,6,5,4,2,6,1,0,1,1,・・・
16項毎に循環している.
このような性質を周期性というのだが,任意の自然数でフィボナッチ数を割っていくと,必ず周期性が現れる.循環節の長さには,はたしてどういう規則があるのだろうか?
===================================
【1】フィボナッチ数列と有限体
いよいよ,循環節の長さにどういう規則があるのかという問題に突入します.
f(m)が奇数→m=2
f(m)=4s→F2s=0(mod m)
だけではつまらないでしょう.
ここでは有限体を扱うので,フィボナッチ数列を奇素数pを法として考えることにします.すると,奇素数pに対して循環する項数をf(p)とすると,
f(3)=8,f(5)=20,f(7)=16,f(11)=10,
f(13)=28,f(17)=36,f(19)=18,・・・
となっていますから,
p=±1(mod5)のとき,f(p)=p−1
p=±2(mod5)のとき,f(p)=2p+2
と予想できます.
ただし,5は例外としておき,pは5以外の奇素数であるとします.そのとき,ビネの公式:
Fn =1/√5[{(1+√5)/2}^n−{(1−√5)/2}^n]
はmodpで考えても意味をもつことになります.
(1)もし√5すなわちx^2=5の根が有限体Fpの中にあれば,ビネの公式はFpの元として意味をもつ
(2)Fpの中になければ,その根はFp^2の中にあり,その根の一つを√5とすれば,ビネの公式はFp^2の元として意味をもつ
ことになります.
たとえば,p=11であるとすると,方程式x^2=5(mod11)の根として,x=4とx=7の2根がありますから,√5=4とおくと,7=−4=−√5
したがって,
(1+√5)/2=5/2=5・6=8
(1−√5)/2=−3/2=8/2=4
より,法11でのフィボナッチ数列の一般項は
Fn=1/4(8^n−4^n)=3・(8^n−4^n)
確認のために計算してみると
F1=3・4=1,F2=3・4=1,F3=3・8=2,
F4=3・1=3,F5=3・9=5,・・・
となり,正しいことが確認されます.
次に,p=7とすると,x^2=5(mod7)はF7の中には根をもたないので,x^2=5の一つの根を√5とおき,それをF7につけ加えて有限体F7^2をつくることができます.そのとき,もう一つの根は−√5になっており,一般項は
Fn =1/√5[{(1+√5)/2}^n−{(1−√5)/2}^n]
とまったく同じ式で与えられます.
F1 =1/√5[{(1+√5)/2}−{(1−√5)/2}]
=1/√5・√5=1
F2 =1/√5[{(1+√5)/2}^2−{(1−√5)/2}^2]
=1/√5・√5=1
F3 =1/√5[{(1+√5)/2}^3−{(1−√5)/2}^3]
は2^3=1を用いると
F3 =1/√5[(2+√5)−(2−√5)]=2
となって正しいことが確認されます.
5以外の奇素数pに対して,方程式x^2=5は
(1)p=±1(mod5)ならば,有限体Fpの中に根をもつ
(2)p=±2(mod5)ならば,有限体Fpの中に根をもちません.
===================================