>>802
√5 の係数を整数で持てばいいのでは？
F_n = （φ^n - (-φ)^(-n)) / √5, φ=(1 + √5)/2