ｘがフィボナッチ数列の奇数項のとき、

x^2-3x(x+y)+(x+y)^2=-1

y^2-3y(x+2y)+(x+2y)^2=1

ｘがフィボナッチ数列の偶数項のとき、

x^2-3x(x+y)+(x+y)^2=1

y^2-3y(x+2y)+(x+2y)^2=-1

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

いずれの場合も

{x^2-3x(x+y)+(x+y)^2}{y^2-3y(x+2y)+(x+2y)^2}=-1

が成り立つ。

{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=-1

(x^2+xy-y^2)^2=1

x^4-x^2y^2+y^4+2x^3y-2xy^3=1

これで

f(x,y)=2xy^3+x^2y^2-2x^3y-y^4-x^4+1=0

が得られたことになる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝