Let F
n be the nth Fibonacci number.
Prove that F2n+1 > F2n for all n > 1.
The inequality follows from d'Ocagne's Identity:
F_2n = (F_n+1)^2 - (F_n-1)^2
Noted along the way is the remarkable Cassini's Identity:
F_n-1 F_n+1 - (F_n)^2 = (-1)^n
Edited on May 6, 2021, 9:40 pm