カッシーニの公式：Fn-1Fn+1-(Fn)^2=(-1)^(n+1)を一般化した

Fn+kFn-k-(Fn)^2=(-1)^(n+k+1)(Fk)^2

はカタランの恒等式としてよく知られている。

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

ゲリン・チェザロの恒等式

Fn+2Fn+1Fn-1Fn-2-(Fn)^4=-1

Fn+2Fn-2=(Fn)^2-(-1)^n

Fn+1Fn-1=(Fn)^2+(-1)^n

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

メルハムの恒等式

Fn+1Fn+2Fn+6-(Fn+3)^3=(-1)^nFn

Fn+6=5Fn+2+3Fn+1

Fn+3=Fn+2+Fn+11Fn-1=(Fn)^2+(-1)^n

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