■マチアセビッチとフィボナッチ数生成関数（その１３８）
α=(1+√5)/2, β=(1-√5)/2
Fn=(αn-βn)/(α-β) (Fibonacci)
Ln= αn+βn (Fibonacci-Lucas)
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
ｋが奇数のとき、
x^2-Lkxy-y^2=(-1)^nFk^2
x=Fn+k, y=Fn
ｋが偶数のとき、
x^2-Lkxy+y^2=(-1)^nFk^2
x=Fn, y=Fn+k or x=Fn+k, y=Fn
が成り立つことを示してみたい。
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
