Fibonacci 数列が F_n^2 - F_(n-1) F_(n+1) = (-1)^(n-1) (Cassini 恒等式)を満たすことを示せ。 と について検証せよ。