Difference between revisions of "Fibonacci sequence"
m (Reverted edits by Mountain.dew (Talk); changed back to last version by JBL) |
|||
(17 intermediate revisions by 13 users not shown) | |||
Line 1: | Line 1: | ||
− | |||
− | |||
The '''Fibonacci sequence''' is a [[sequence]] of [[integer]]s in which the first and second terms are both equal to 1 and each subsequent term is the sum of the two preceding it. The first few terms are <math>1, 1, 2, 3, 5, 8, 13, 21, 34, 55,...</math>. | The '''Fibonacci sequence''' is a [[sequence]] of [[integer]]s in which the first and second terms are both equal to 1 and each subsequent term is the sum of the two preceding it. The first few terms are <math>1, 1, 2, 3, 5, 8, 13, 21, 34, 55,...</math>. | ||
+ | ==Recursion== | ||
The Fibonacci sequence can be written [[recursion|recursively]] as <math>F_1 = F_2 = 1</math> and <math>F_n=F_{n-1}+F_{n-2}</math> for <math>n \geq 3</math>. This is the simplest nontrivial example of a [[linear recursion]] with constant coefficients. There is also an explicit formula [[#Binet's formula|below]]. | The Fibonacci sequence can be written [[recursion|recursively]] as <math>F_1 = F_2 = 1</math> and <math>F_n=F_{n-1}+F_{n-2}</math> for <math>n \geq 3</math>. This is the simplest nontrivial example of a [[linear recursion]] with constant coefficients. There is also an explicit formula [[#Binet's formula|below]]. | ||
− | Readers should be wary: some authors give the Fibonacci sequence with the [[initial condition]]s <math>F_0 = F_1 = 1</math> (or equivalently <math>F_1 = 1, F_2 = 2</math>). This change in [[indexing of a sequence | indexing]] does not affect the actual numbers in the sequence, but it does change which member of the sequence is | + | Readers should be wary: some authors give the Fibonacci sequence with the [[initial condition]]s <math>F_0 = F_1 = 1</math> (or equivalently <math>F_1 = 1, F_2 = 2</math>). This change in [[indexing of a sequence | indexing]] does not affect the actual numbers in the sequence, but it does change which member of the sequence is referred to by the symbol <math>F_n</math> and so also changes the appearance of certain [[identity | identities]] involving the Fibonacci numbers. |
− | == Running | + | == Running Backwards == |
As with many linear recursions, we can run the Fibonacci sequence backwards by solving its recursion relation for the term of smallest index, in this case <math>F_{n - 2} = F_{n} - F_{n - 1}</math>. This allows us to compute, for example, that <math>F_0 = F_2 - F_1 = 0</math>, <math>F_{-1} = 1</math>, <math>F_{-2} = -2</math>, and so on. Because these preceding terms are uniquely defined by the recursion, one frequently sees the definition of the Fibonacci sequence given in the form <math>F_0 = 0</math>, <math>F_1 = 1</math> and <math>F_n = F_{n - 1} + F_{n - 2}</math> for <math>n \geq 2</math>. In general, one can show that <math>F_n = (-1)^{n+1}F_{-n}</math>. | As with many linear recursions, we can run the Fibonacci sequence backwards by solving its recursion relation for the term of smallest index, in this case <math>F_{n - 2} = F_{n} - F_{n - 1}</math>. This allows us to compute, for example, that <math>F_0 = F_2 - F_1 = 0</math>, <math>F_{-1} = 1</math>, <math>F_{-2} = -2</math>, and so on. Because these preceding terms are uniquely defined by the recursion, one frequently sees the definition of the Fibonacci sequence given in the form <math>F_0 = 0</math>, <math>F_1 = 1</math> and <math>F_n = F_{n - 1} + F_{n - 2}</math> for <math>n \geq 2</math>. In general, one can show that <math>F_n = (-1)^{n+1}F_{-n}</math>. | ||
− | == | + | == <math>\varphi</math>, <math>\psi</math>, and Binet's Formula== |
{{main|Binet's formula}} | {{main|Binet's formula}} | ||
− | The ratios <math>\frac{1}{1}</math>, <math>\frac{2}{1}</math>, <math>\frac{3}{2}</math>, <math>\frac{5}{3}</math>, <math>\frac{8}{5}</math>, ..., between successive terms of the sequence tend towards the limit <math>\frac{1 + \sqrt{5}}{2}</math>, a constant often denoted <math>\varphi</math> (the Greek letter [[phi]]). One possible explanation for this fact is that the Fibonacci numbers are given explicitly by | + | The ratios <math>\frac{1}{1}</math>, <math>\frac{2}{1}</math>, <math>\frac{3}{2}</math>, <math>\frac{5}{3}</math>, <math>\frac{8}{5}</math>, ..., between successive terms of the sequence tend towards the limit <math>\frac{1 + \sqrt{5}}{2}</math>, a constant often denoted <math>\varphi</math> (the Greek letter [[phi]], also written <math>\phi</math>). <math>\varphi</math> is a solution of the quadratic equation <math>x^2-x-1=0</math>. The other root is <math>\psi = \frac{1-\sqrt{5}}{2}</math> (the Greek letter [[psi]]). One possible explanation for this fact is that the Fibonacci numbers are given explicitly by Binet's formula. It is <math>F_n = \frac{\varphi^n - \psi^n}{\sqrt{5}}</math>. (Note that this formula is valid for all integers <math>n</math>.) It is so named because it was derived by mathematician Jacques Philippe Marie Binet, though it was already known by Abraham de Moivre and Euler before him. Another explanation is that you can continue the fibonacci numbers backward, too. Then you get something like <math>\dots -8,5,-3,2,-1,1,0,1,1,2,3,5,8\dots</math> . The ratios between successive terms has you continue backwards is <math>\psi</math>. |
− | <math>F_n = \frac{ | + | |
− | (Note that this formula is valid for all integers <math>n</math>.) | + | ==When to use them== |
− | It is so named because it was derived by mathematician Jacques Philippe Marie Binet, though it was already known by Abraham de Moivre. | + | |
+ | Usually, fibonacci-like recursions show up when organisms like rabbits produce babies but babies need to grow up which takes time. Two other places are when you make domino tilings in a <math>2\times n</math> rectangle or when you make a string of a's and b's of a fixed length but you can't have 2 a's together. Many things can be turned into either the fibonacci recursion <math>F_n=F_{n-1}+F_{n-2}</math> or another recursion that also produces the fibonacci numbers: <math>a_n=b_{n-1}</math> and <math>b_n=b_{n-1}+a_{n-1}</math>. There are other recursions, but these two are the most frequent. | ||
== Identities == | == Identities == | ||
Line 26: | Line 26: | ||
*<math>F_{n-1}\cdot F_{n+1} = F_{n}^2 + (-1)^n</math> | *<math>F_{n-1}\cdot F_{n+1} = F_{n}^2 + (-1)^n</math> | ||
*<math>F_{m+n+1} = F_{m+1} \cdot F_{n+1} + F_{m} \cdot F_n</math> | *<math>F_{m+n+1} = F_{m+1} \cdot F_{n+1} + F_{m} \cdot F_n</math> | ||
+ | |||
==Problems== | ==Problems== | ||
=== Introductory === | === Introductory === | ||
# The Fibonacci sequence <math>1,1,2,3,5,8,13,21,\ldots </math> starts with two 1s, and each term afterwards is the sum of its two predecessors. Which one of the ten [[digit]]s is the last to appear in the units position of a number in the Fibonacci sequence?<br><br><math> \mathrm{(A) \ 0 } \qquad \mathrm{(B) \ 4 } \qquad \mathrm{(C) \ 6 } \qquad \mathrm{(D) \ 7 } \qquad \mathrm{(E) \ 9 } </math><div style="text-align:right">([[2000 AMC 12 Problems/Problem 4|2000 AMC 12, Problem 4]])</div> | # The Fibonacci sequence <math>1,1,2,3,5,8,13,21,\ldots </math> starts with two 1s, and each term afterwards is the sum of its two predecessors. Which one of the ten [[digit]]s is the last to appear in the units position of a number in the Fibonacci sequence?<br><br><math> \mathrm{(A) \ 0 } \qquad \mathrm{(B) \ 4 } \qquad \mathrm{(C) \ 6 } \qquad \mathrm{(D) \ 7 } \qquad \mathrm{(E) \ 9 } </math><div style="text-align:right">([[2000 AMC 12 Problems/Problem 4|2000 AMC 12, Problem 4]])</div> | ||
− | # A colony has <math>1</math> rabbit. A rabbit produces one offspring every month. An offspring rabbit takes one month to grow up. Find a formula for the number of rabbits in the <math>n</math>th month. | + | # A colony has <math>1</math> rabbit. A rabbit produces one offspring every month. An offspring rabbit takes one month to grow up. Find a formula for the number of rabbits (including offspring) in the <math>n</math>th month. |
## How about if the colony starts with <math>a</math> rabbits and <math>b</math> offspring? | ## How about if the colony starts with <math>a</math> rabbits and <math>b</math> offspring? | ||
## Use this result to prove the identity <math>F_{m+n+1} = F_{m+1} \cdot F_{n+1} + F_{m} \cdot F_n</math>. | ## Use this result to prove the identity <math>F_{m+n+1} = F_{m+1} \cdot F_{n+1} + F_{m} \cdot F_n</math>. | ||
Line 39: | Line 40: | ||
# Seven line segments, with lengths no greater than 10 inches, and no shorter than 1 inch, are given. Show that one can choose three of them to represent the sides of a triangle. <div style="text-align:right">(Manhattan Mathematical Olympiad 2004)</div> | # Seven line segments, with lengths no greater than 10 inches, and no shorter than 1 inch, are given. Show that one can choose three of them to represent the sides of a triangle. <div style="text-align:right">(Manhattan Mathematical Olympiad 2004)</div> | ||
# Except for the first two terms, each term of the sequence <math>1000, x, 1000 - x,\ldots</math> is obtained by subtracting the preceding term from the one before that. The last term of the sequence is the first [[negative]] term encounted. What positive integer <math>x</math> produces a sequence of maximum length? <div style="text-align:right">([[1998 AIME Problems/Problem 8|1998 AIME, Problem 8]])</div> | # Except for the first two terms, each term of the sequence <math>1000, x, 1000 - x,\ldots</math> is obtained by subtracting the preceding term from the one before that. The last term of the sequence is the first [[negative]] term encounted. What positive integer <math>x</math> produces a sequence of maximum length? <div style="text-align:right">([[1998 AIME Problems/Problem 8|1998 AIME, Problem 8]])</div> | ||
− | # A | + | # A fair coin is to be tossed <math>10_{}^{}</math> times. Let <math>\frac ij^{}_{}</math>, in lowest terms, be the [[probability]] that heads never occur on consecutive tosses. Find <math>i+j_{}^{}</math>. <div style="text-align:right">([[1990 AIME Problems/Problem 9|1990 AIME, Problem 9]])</div> |
− | #Find <math>a</math> if <math>a</math> and <math>b</math> are [[integer]]s such that <math>x^2 - x - 1</math> is a factor of <math>ax^{17} + bx^{16} + 1</math>. <div style="text-align:right">([[ | + | #Find <math>a</math> if <math>a</math> and <math>b</math> are [[integer]]s such that <math>x^2 - x - 1</math> is a factor of <math>ax^{17} + bx^{16} + 1</math>. <div style="text-align:right">([[1988 AIME Problems/Problem 13|1988 AIME, Problem 13]])</div> |
=== Olympiad === | === Olympiad === | ||
Line 47: | Line 48: | ||
==See also== | ==See also== | ||
* [[Combinatorics]] | * [[Combinatorics]] | ||
− | * [[Lucas | + | * [[Lucas Numbers]] |
+ | ==External Links== | ||
+ | * [http://www.scriptspedia.org/Fibonacci_Numbers Fibonacci Algorithm implementation in C++, Java and Javascript] | ||
[[Category:Combinatorics]] | [[Category:Combinatorics]] |
Latest revision as of 14:57, 24 June 2024
The Fibonacci sequence is a sequence of integers in which the first and second terms are both equal to 1 and each subsequent term is the sum of the two preceding it. The first few terms are .
Contents
Recursion
The Fibonacci sequence can be written recursively as and
for
. This is the simplest nontrivial example of a linear recursion with constant coefficients. There is also an explicit formula below.
Readers should be wary: some authors give the Fibonacci sequence with the initial conditions (or equivalently
). This change in indexing does not affect the actual numbers in the sequence, but it does change which member of the sequence is referred to by the symbol
and so also changes the appearance of certain identities involving the Fibonacci numbers.
Running Backwards
As with many linear recursions, we can run the Fibonacci sequence backwards by solving its recursion relation for the term of smallest index, in this case . This allows us to compute, for example, that
,
,
, and so on. Because these preceding terms are uniquely defined by the recursion, one frequently sees the definition of the Fibonacci sequence given in the form
,
and
for
. In general, one can show that
.
,
, and Binet's Formula
- Main article: Binet's formula
The ratios ,
,
,
,
, ..., between successive terms of the sequence tend towards the limit
, a constant often denoted
(the Greek letter phi, also written
).
is a solution of the quadratic equation
. The other root is
(the Greek letter psi). One possible explanation for this fact is that the Fibonacci numbers are given explicitly by Binet's formula. It is
. (Note that this formula is valid for all integers
.) It is so named because it was derived by mathematician Jacques Philippe Marie Binet, though it was already known by Abraham de Moivre and Euler before him. Another explanation is that you can continue the fibonacci numbers backward, too. Then you get something like
. The ratios between successive terms has you continue backwards is
.
When to use them
Usually, fibonacci-like recursions show up when organisms like rabbits produce babies but babies need to grow up which takes time. Two other places are when you make domino tilings in a rectangle or when you make a string of a's and b's of a fixed length but you can't have 2 a's together. Many things can be turned into either the fibonacci recursion
or another recursion that also produces the fibonacci numbers:
and
. There are other recursions, but these two are the most frequent.
Identities
The most important identity regarding the Fibonacci sequence is its recursive definition, . The following identities involving the Fibonacci numbers can be proved by induction.
Problems
Introductory
- The Fibonacci sequence
starts with two 1s, and each term afterwards is the sum of its two predecessors. Which one of the ten digits is the last to appear in the units position of a number in the Fibonacci sequence?
- A colony has
rabbit. A rabbit produces one offspring every month. An offspring rabbit takes one month to grow up. Find a formula for the number of rabbits (including offspring) in the
th month.
- How about if the colony starts with
rabbits and
offspring?
- Use this result to prove the identity
.
- How about if the colony starts with
- Find
.
- Prove the above identites.
Intermediate
- Seven line segments, with lengths no greater than 10 inches, and no shorter than 1 inch, are given. Show that one can choose three of them to represent the sides of a triangle. (Manhattan Mathematical Olympiad 2004)
- Except for the first two terms, each term of the sequence
is obtained by subtracting the preceding term from the one before that. The last term of the sequence is the first negative term encounted. What positive integer
produces a sequence of maximum length?
- A fair coin is to be tossed
times. Let
, in lowest terms, be the probability that heads never occur on consecutive tosses. Find
.
- Find
if
and
are integers such that
is a factor of
.
Olympiad
- Determine the maximum value of
, where
and
are integers satisfying
and
.