KEITH DEVLIN: Introduction to Mathematical Thinking Problem Set 7
QUESTION 5
The Fibonacci sequence is defined iteratively by setting F1 = F2 = 1 and thereafter letting Fn+2 =
Fn + Fn+1 .
Theorem For any natural number n,
n
X
Fk = Fn+2
k=1
Proof: By induction.
For n = 1, the left-hand side is F1 = 1 and the right-hand side is F2 = 1, so the identity is valid for
n = 1.
Assume the identity holds for n. Then:
n+1
X n
X
Fk = Fk + Fn+1
k=1 k=1
= Fn+2 + Fn+1 , by the induction hypothesis
= Fn+3 , by the definition of Fn+3
which is the identity for n + 1. The proof is complete.