Talk:Cassini and Catalan identities
From Wikipedia, the free encyclopedia
Warehousing this proof. Charles Matthews 11:58, 25 October 2005 (UTC)
[edit] Direct proof, by mathematical induction
For n = m + 1 the result must be ( − 1)m + 1. Replacing in the equation we have
Rewriting the equation for an easier understanding we have that
= − Fm + 1Fm + 1 + FmFm + 2 |
Recalling the formula for the Fibonacci numbers we know that
Fn = Fn − 1 + Fn − 2
Therefore for n = m + 1
Fm + 1 | = Fm + 1 − 1 + Fm + 1 − 2 |
= Fm + Fm − 1 |
And for n = m + 2
Fm + 2 | = Fm + 2 − 1 + Fm + 2 − 2 |
= Fm + 1 + Fm |
Replacing these two known values in the equation we now have that
− Fm + 1Fm + 1 + FmFm + 2 | = − Fm + 1(Fm + Fm − 1) + Fm(Fm + 1 + Fm) |
= − ( − 1)m | |
= ( − 1)1( − 1)m | |
= ( − 1)m + 1 |