Proving the Fibonacci Numbers Using Induction

  • Thread starter Thread starter rooski
  • Start date Start date
  • Tags Tags
    Induction Numbers
Click For Summary
SUMMARY

The discussion focuses on proving the Fibonacci numbers using mathematical induction, specifically the statement that the sum of the first n odd Fibonacci numbers equals the nth even Fibonacci number: \(\sum_{k=1}^n f_{2k-1} = f_{2n}\). The initial base case for n=1 is verified by showing that \(f_1 = f_2\). The next step involves assuming the statement holds for n=j and demonstrating that it must also hold for n=j+1, thereby completing the inductive proof.

PREREQUISITES
  • Understanding of Fibonacci sequence properties
  • Familiarity with mathematical induction principles
  • Basic knowledge of summation notation
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Study the properties of Fibonacci numbers in depth
  • Learn about mathematical induction techniques and examples
  • Explore advanced summation techniques in mathematics
  • Investigate other proofs related to Fibonacci identities
USEFUL FOR

Mathematics students, educators, and anyone interested in number theory or mathematical proofs, particularly those focusing on Fibonacci sequences and induction methods.

rooski
Messages
60
Reaction score
0

Homework Statement



use induction to prove

(my formatting is off sorry)
\overline{n} \sum \underline{k=1} f _{2k-1} = f_{2n}

The Attempt at a Solution



To start we need to show that f3 is valid. So we show that f2 + f1 = f3, which is the case.

The next part is the confusing part for me. Do i have to show a sum ending at n+1 that computes f2k-1 = f2n+1?
 
Physics news on Phys.org
It seems that what you want is:

\sum^n_{k=1} f_{2k-1} = f_{2n}

So you showed this for n = 3.

Now you need to show that this statement being true for n=j IMPLIES that it is true for n=j+1. So assume that it's true for j, and show that then it is true for j+1.
 
In other words, assume that
\sum_{k=1}^j f_{2k-1}= f_{2j}
and use that to prove that
\sum_{k= 1}^{j+1} f_{2k-1}= f_{2j+2}
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 24 ·
Replies
24
Views
7K