Need help having a proof of F[n+1*F[n+2 - F[n*F[n+3 = (-1)^n on w.w.w. ?

[lvl107]

Hello, Everyone.

From Testing :

Thanks in advance.

[Werner_E · Accepted solution]

https://en.wikipedia.org/wiki/Cassini_and_Catalan_identities

https://proofwiki.org/wiki/Cassini%27s_Identity

https://en.wikipedia.org/wiki/Fibonacci_number#Binet's_formula

https://artofproblemsolving.com/wiki/index.php?title=Binet%27s_Formula ...

[lvl107]

  I greatly appreciate your time and help, Werner. 

       Regards.