■マチアセビッチとフィボナッチ数生成関数(その40)
リュカ列に対してもx^2-3xy+y^2は成り立つはずである。
f(1,4)=5
f(3,7)=-5
f(4,11)=5
f(3,18)=-5
f(11,29)=5
f(18,47)=-5
===================================
リュカ数列の連続する4項をx,y,x+y,x+2yとする。
xがフィボナッチ数列の奇数項のとき、
x^2-3x(x+y)+(x+y)^2=5
y^2-3y(x+2y)+(x+2y)^2=-5
xがフィボナッチ数列の偶数項のとき、
x^2-3x(x+y)+(x+y)^2=-5
y^2-3y(x+2y)+(x+2y)^2=5
===================================
いずれの場合も
{x^2-3x(x+y)+(x+y)^2}{y^2-3y(x+2y)+(x+2y)^2}=-25
が成り立つ。
{x^2-3x^2-3xy+x^2+2xy+y^2}={-x^2-xy+y^2}
{y^2-3xy-6y^2+x^2+4xy+4y^2}={x^2+xy-y^2}
-(x^2+xy-y^2)^2=-25
(x^2+xy-y^2)^2=25
x^4-x^2y^2+y^4+2x^3y-2xy^3=25
これで
f(x,y)=2xy^3+x^2y^2-2x^3y-y^4-x^4+25=0
が得られたことになる
===================================