证明斐波那契数列满足 F_n^2 - F_(n-1) F_(n+1) = (-1)^(n-1) (Cassini恒等式)。对 和 验证。