# Fibonacci number

In mathematics, the **Fibonacci numbers** form a sequence defined recursively by:

In other words: one starts with 0 and 1, and then produces the next Fibonacci number by adding the two previous Fibonacci numbers. The first Fibonacci numbers (sequence A000045 in OEIS) for *n* = 0, 1, ... are

## Contents

- 1 Origins
- 2 The bee ancestry code
- 3 Relation to the golden section
- 4 Matrix form
- 5 Computation
- 6 Applications
- 7 Fibonacci numbers in nature
- 8 Identities
- 9 Power series
- 10 Reciprocal sum constant
- 11 Generalizations
- 12 Fibonacci primes
- 13 Fibonacci strings
- 14 Fiction
- 15 See also
- 16 Journals
- 17 References
- 18 External links

## Origins

The earliest known reference to Fibonacci numbers is contained in a book on meters by an Indian mathematician named Pingala called *Chhandah-shastra* (500 BC). As documented by Donald Knuth in *The Art of Computer Programming*, this sequence was described by the Indian mathematicians Gopala and Hemachandra in 1150, who were investigating the possible ways of exactly bin packing items of length 1 and 2. In the West, it was first studied by Leonardo of Pisa, who was also known as Fibonacci (c. 1200), to describe the growth of an idealised (although biologically unrealistic) rabbit population. The numbers describe the number of pairs in the rabbit population after *n* months if it is assumed that:

- in the first month there is just one newly-born pair,
- new-born pairs become fertile from their second month on
- each month every fertile pair begets a new pair, and
- the rabbits never die

Suppose that in month *n* we have *a* pairs of fertile and newly born rabbits and in month *n* + 1 we have *b* pairs. In month *n* + 2 we will necessarily have *a* + *b* pairs, because all *a* pairs of rabbits from month *n* will be fertile and produce *a* pairs of offspring, while the newly born rabbits in *b* will not be fertile and will not produce offspring.

## The bee ancestry code

Fibonacci is also stated as having described the sequence "encoded in the ancestry of a male bee." This turns out to be the Fibonacci sequence. One can derive this truth by taking the following facts:

- If an egg is laid by a single female, it hatches a male.
- If, however, the egg is fertilized by a male, it hatches a female.
- Thus, a male bee will always have one parent, and a female bee will have two.

If one traces the ancestry of this male bee (1 bee), he has 1 female parent (1 bee). This female had 2 parents, a male and a female (2 bees). The female had two parents, a male and a female, and the male had one female (3 bees). Those two females each had two parents, and the male had one (5 bees). If one continues this sequence, it gives a perfectly accurate depiction of the Fibonacci sequence.

However, this statement is mostly theoretical. In reality, some ancestors of a particular bee will always be sisters or brothers, thus breaking the lineage of distinct parents.

## Relation to the golden section

As was pointed out by Johannes Kepler, the ratio of consecutive Fibonacci numbers, that is:

- ,

converges to the golden section φ defined as the positive solution of the equation:

- or equivalently

Proof:

Like every linear regression series, the Fibonacci numbers have a closed-form solution. It has become known as **Binet's formula**:

where is the golden section number.

## Matrix form

A 2-dimensional system of linear difference equations that describes the Fibonacci sequence is

or

The eigenvalues of the matrix A are and , and the elements of the eigenvectors of A, and , are in the ratios and .

Note that this matrix has a determinant of −1, and thus it is a 2×2 unimodular matrix. This property can be understood in terms of the continued fraction representation for the golden mean: φ = [1; 1, 1, 1, 1, …]. The Fibonacci numbers occur as the ratio of successive convergents of the continued fraction for φ, and the matrix formed from successive convergents of any continued fraction has a determinant of +1 or −1.

The matrix representation gives the following closed expression for the Fibonacci numbers:

Taking the determinant of both sides of this equation yields the identity:

Additionally, since for any matrix , the following identities can be derived:

There is much more in an article on the Fibonacci resources site.

## Computation

*For more details on this topic, see Fibonacci number program.*

Computing Fibonacci numbers by computing powers of the golden mean is not very practical except for small values of *n*, since rounding errors will accrue and floating point numbers usually do not have enough precision.

The straightforward recursive implementation of the Fibonacci sequence definition is also not advisable, since it computes many values repeatedly (unless the programming language has a feature which allows the storing of previously computed function values, such as memoization). Therefore, one usually computes the Fibonacci numbers "from the bottom up", starting with the two values 0 and 1, and then repeatedly replacing the first number by the second, and the second number by the sum of the two.

For huge arguments, a faster way to calculate Fibonacci numbers is to use the closed matrix form and employ exponentiation by squaring.

## Applications

The Fibonacci numbers are important in the run-time analysis of Euclid's algorithm to determine the greatest common divisor of two integers.

Matiyasevich was able to show that the Fibonacci numbers can be defined by a Diophantine equation, which led to his original solution of Hilbert's tenth problem.

The Fibonacci numbers occur in a formula about the diagonals of Pascal's triangle (see binomial coefficient).

Every positive integer can be written in a unique way as the sum of *one or more* distinct Fibonacci numbers in such a way that the sum does not include any two consecutive Fibonacci numbers. This is known as Zeckendorf's theorem, and a sum of Fibonacci numbers that satisfies these conditions is called a Zeckendorf representation.

Fibonacci numbers are also used by some pseudorandom number generators.

In music Fibonacci numbers are sometimes used to determine tunings, and, as in visual art, to determine the length or size of content or formal elements. Examples include Béla Bartók's *Music for Strings, Percussion, and Celesta*.

Since the conversion factor 1.609 for miles to kilometers is close to the golden mean φ, the decomposition of distance in miles into a sum of Fibonacci numbers becomes nearly the kilometer sum when the Fibonacci numbers are replaced by their successors. This method amounts to a radix 2 number register in base φ being shifted. To go from kilometers to miles shift the register down the Fibonacci sequence instead.

## Fibonacci numbers in nature

Fibonacci sequences have been noted to appear in biological settings, such as the branching patterns of leaves in grasses and flowers, branching in bushes and trees, the arrangement of tines on a pine cone, seeds on a raspberry and the like. Przemyslaw Prusinkiewicz has advanced the idea that these can be in part understood as the expression of certain algebraic constraints on free groups, specifically as certain Lindenmeyer grammars. Generally one sees Fibonacci numbers arise in the study of the fractal Fuchsian groups and Kleinian groups, and systems that possess such symmetries. For example, the solutions to reaction-diffusion differential equations (such as that seen in the Belousov-Zhabotinsky reaction) can show such a patterning; in biology, genes often express themselves through gene regulatory networks, that is, in terms of several enzymes controlling a reaction, which can be modelled with reaction-diffusion equations. Such systems rarely give the Fibonacci sequence exactly or directly; rather, the relationship occurs deeper in the theory. Similar patterns also occur in non-biological systems, such as in sphere packing models.

## Identities

*F*(*n*+ 1) =*F*(*n*) +*F*(*n*− 1)

*F*(0) +*F*(1) +*F*(2) + ... +*F*(*n*) =*F*(*n*+ 2) − 1

*F*(1) + 2*F*(2) + 3*F*(3) + ... +*n F*(*n*) =*n F*(*n*+ 2) −*F*(*n*+ 3) + 2

These identities can be proven using many different methods.
But, among all, we wish to present an elegant proof for each of them using combinatorial arguments here.
In particular, *F*(*n*) can be interpreted as the number of ways summing 1's and 2's to *n* − 1, with the convention that *F*(0) = 0, meaning no sum will add up to −1, and that *F*(1) = 1, meaning the empty sum will "add up" to 0.
Here the order of the summands matters.
For example, 1 + 2 and 2 + 1 are considered two different sums and are counted twice.

*Proof of the first identity*.
Without loss of generality, we may assume *n* ≥ 1.
Then *F*(*n* + 1) counts the number of ways summing 1's and 2's to *n*.

When the first summand is 1, there are *F*(*n*) ways to complete the counting for *n* − 1; and the first summand is 2, there are *F*(*n* − 1) ways to complete the counting for *n* − 2.
Thus, in total, there are *F*(*n*) + *F*(*n* − 1) ways to complete the counting for *n*.

*Proof of the second identity*.
We count the number of ways summing 1's and 2's to *n* + 1 such that at least one of the summands is 2.

As before, there are *F*(*n* + 2) ways summing 1's and 2's to *n* + 1 when *n* ≥ 0.
Since there is only one sum of *n* + 1 that does not use any 2, namely 1 + … + 1 (*n* + 1 terms), we subtract 1 from *F*(*n* + 2).

Equivalently, we can consider the first occurrence of 2 as a summand.
If, in a sum, the first summand is 2, then there are *F*(*n*) ways to the complete the counting for *n* − 1.
If the second summand is 2 but the first is 1, then there are *F*(*n* − 1) ways to complete the counting for *n* − 2.
Proceed in this fashion.
Eventually we consider the (*n* + 1)th summand.
If it is 2 but all of the previous *n* summands are 1's, then there are *F*(0) ways to complete the counting for 0.
If a sum contains 2 as a summand, the first occurrence of such summand must take place in between the first and (*n* + 1)th position.
Thus *F*(*n*) + *F*(*n* − 1) + … + *F*(0) gives the desired counting.

*Proof of the third identity*.
This identity can be established in two stages.
First, we count the number of ways summing 1s and 2s to −1, 0, …, or *n* + 1 such that at least one of the summands is 2.

By our second identity, there are *F*(*n* + 2) − 1 ways summing to *n* + 1; *F*(*n* + 1) − 1 ways summing to *n*; …; and, eventually, *F*(2) − 1 way summing to 1.
As *F*(1) − 1 = *F*(0) = 0, we can add up all *n* + 1 sums and apply the second identity again to obtain

- [
*F*(*n*+ 2) − 1] + [*F*(*n*+ 1) − 1] + … + [*F*(2) − 1] - = [
*F*(*n*+ 2) − 1] + [*F*(*n*+ 1) − 1] + … + [*F*(2) − 1] + [*F*(1) − 1] +*F*(0) - =
*F*(*n*+ 2) + [*F*(*n*+ 1) + … +*F*(1) +*F*(0)] − (*n*+ 2) - =
*F*(*n*+ 2) +*F*(*n*+ 3) − (*n*+ 2).

On the other hand, we observe from the second identity that there are

*F*(0) +*F*(1) + … +*F*(*n*− 1) +*F*(*n*) ways summing to*n*+ 1;*F*(0) +*F*(1) + … +*F*(*n*− 1) ways summing to*n*;

……

*F*(0) way summing to −1.

Adding up all *n* + 1 sums, we see that there are

- (
*n*+ 1)*F*(0) +*n**F*(1) + … +*F*(*n*) ways summing to −1, 0, …, or*n*+ 1.

Since the two methods of counting refer to the same number, we have

- (
*n*+ 1)*F*(0) +*n**F*(1) + … +*F*(*n*) =*F*(*n*+ 2) +*F*(*n*+ 3) − (*n*+ 2)

Finally, we complete the proof by subtracting the above identity from *n* + 1 times the second identity.

### Common factors

Any two consecutive Fibonacci numbers are relatively prime. Suppose that *F*_{n} and *F*_{n+1} have a common factor *g*. Then *F*_{n} + *F*_{n+1} = *F*_{n+2} must also be a multiple of *g*, and *F*_{n+1} − *F*_{n} = *F*_{n−1} similarly. Thus by induction, every Fibonacci number must be a multiple of *g*. But *F*_{1} = 1, so *g* = 1.

## Power series

The power series

has a simple and interesting closed-form solution for *x* < 1/φ:

This function is therefore the generating function of the Fibonacci sequence.

In particular, math puzzle-books note the curious value *s*(1/10)/10=1/89. The sum is easily proved by noting that

and then explictly evaluating the sum.

## Reciprocal sum constant

The sum of the reciprocals of the positive Fibonacci numbers converges: Template:OEIS2C

Convergence is easy to show with the ratio test.

This value has been proven irrational by André-Jeannin, R. No closed form is currently known.

See also the Mathworld article on the subject.

## Generalizations

### Vector space

The term *Fibonacci sequence* is also applied more generally to any function *g* where *g*(*n* + 2) = *g*(*n*) + *g*(*n* + 1). These functions are precisely those of the form *g*(*n*) = *aF*(*n*) + *bF*(*n* + 1) for some numbers *a* and *b*, so the Fibonacci sequences form a vector space with the functions *F*(*n*) and *F*(*n* + 1) as a basis.

### Similar integer sequences

In particular, the Fibonacci sequence *L* with *L*(1) = 1 and *L*(2) = 3 is referred to as the **Lucas numbers**, after Edouard Lucas. This sequence was described by Leonhard Euler in 1748, in the *Introductio in Analysin Infinitorum*. The significance in the Lucas numbers *L(n)* lies in the fact that raising the golden ratio to the *n*th power yields:

Lucas numbers are related to Fibonacci numbers by the relation:

A generalization of the Fibonacci sequence are the Lucas sequences. One kind can be defined thus:

*U*(0) = 0*U*(1) = 1*U*(*n*+2) =*PU*(*n*+1) −*QU*(*n*)

where the normal Fibonacci sequence is the special case of *P* = 1 and *Q* = −1. Another kind of Lucas sequence begins with *V*(0) = 2, *V*(1) = *P*. Such sequences have applications in number theory and primality proving.

The Padovan sequence is generated by the recurrence *P*(n) = *P*(n − 2) + *P*(n − 3).

The **tribonacci numbers** are like the Fibonacci numbers, but instead of starting with two predetermined terms, the sequence starts with three predetermined terms and each term afterwards is the sum of the preceding three terms. The first few tribonacci numbers are Template:OEIS2C:

The **tribonacci constant** is the ratio toward which adjacent tribonacci numbers tend. It is a root of the polynomial *x*^{3} − *x*^{2} − *x* − 1, approximately 1.83929, and also satisfies the equation *x* + *x*^{−3} = 2. It is important in the study of the snub cube.

The **tetranacci numbers** start with four predetermined terms, each term afterwards being the sum of the preceding four terms. The first few tetranacci numbers are Template:OEIS2C:

- 1, 1, 2, 4, 8, 15, 29, 56, 108, 208, 401, 773, 1490, 2872, 5536, 10671, 20569, 39648, 76424, 147312, 283953, 547337, …

The **tetranacci constant** is the ratio toward which adjacent tetranacci numbers tend. It is a root of the polynomial *x*^{4} − *x*^{3} − *x*^{2} − *x* − 1, approximately 1.92756, and also satisfies the equation *x* + *x*^{−4} = 2.

Pentanacci, hexanacci and heptanacci numbers have been computed, but they have not interested researchers much.

### Other generalizations

The Fibonacci polynomials are another generalization of Fibonacci numbers.

A **random Fibonacci sequence** can be defined by tossing a coin for each position *n* of the sequence and taking *F*(*n*)=*F*(*n*-1)+*F*(*n*-2) if it lands heads and *F*(*n*)=*F*(*n*-1)-*F*(*n*-2) if it lands tails. Work by Furstenburg and Kesten guarantees that this sequence almost surely grows exponentially at a constant rate: the constant is independent of the coin tosses and was computed in 1999 by Divakar Viswanath. It is now known as Viswanath's constant.

A **repfigit** or **Keith number** is an integer, that when its digits start a Fibonacci sequence with that number of digits, the original number is eventually reached. An example is 47, because the Fibonacci sequence starting with 4 and 7 (4,7,11,18,29,47) reaches 47. A repfigit can be a tribonacci sequence if there are 3 digits in the number, a tetranacci number if the number has four digits, etc. The first few repfigits are Template:OEIS2C:

- 14, 19, 28, 47, 61, 75, 197, 742, 1104, 1537, 2208, 2580, 3684, 4788, 7385, 7647, 7909, …

Since the set of sequences satisfying the relation *S*(*n*) = *S*(*n*-1) + *S*(*n*-2) is closed under termwise addition and under termwise multiplication by a constant, it can be viewed as a vector space. Any such sequence is uniquely determined by a choice of two elements, so the vector space is two-dimensional. If we abbreviate such a sequence as (*S*(0), *S*(1)), the Fibonacci sequence *F*(*n*) = (0, 1) and the shifted Fibonacci sequence *F*(*n*-1) = (1, 0) are seen to form a canonical basis for this space, yielding the identity:

*S*(*n*) =*S*(0)*F*(*n*-1) +*S*(1)*F*(*n*)

for all such sequences *S*. For example, if *S* is the Lucas sequence 1, 3, 4, 7, 11..., then we obtain *L*(*n*) = *F*(*n*-1) + 3*F*(*n*).

## Fibonacci primes

The first few Fibonacci numbers that are also prime numbers are 2, 3, 5, 13, 89, 233, 1597, 28657, 514229, .... It seems likely that there are infinitely many Fibonacci primes, but this has yet to be proven.

## Fibonacci strings

In analogy to its numerical counterpart, a **Fibonacci string** is defined by:

- ,

where + denotes the concatenation of two strings. The sequence of Fibonacci strings starts:

- b, a, ab, aba, abaab, abaababa, abaababaabaab, ...

The length of each Fibonacci string is a Fibonacci number, and similarly there exists a corresponding Fibonacci string for each Fibonacci number. Since the recursive definition produces an finite length of a string, an infinite Fibonacci string is defined as a string prefixed by some finite Fibonacci string.

Fibonacci strings appear as inputs for the worst case in some computer algorithms.

## Fiction

The Fibonacci sequence plays a prominent part in the bestselling novel *The Da Vinci Code* and, with the concepts of the golden rectangle and golden spiral, in Darren Aronofsky's indie film *π* (1998).

## See also

## Journals

- The Fibonacci Quarterly — an academic journal devoted to the study of Fibonacci numbers

## References

- Donald Knuth,
*The Art of Computer Programming*, third edition (1997)

## External links

- Alexey Stakhov,
*Museum of Harmony and Golden Section*, (undated, 2005 or earlier). - Subhash Kak,
*The Golden Mean and the Physics of Aesthetics*, Archive of Physics, (2004). - Ron Knott,
*The Golden Section: Phi*, (2005). - Ron Knott,
*Representations of Integers using Fibonacci numbers*, (2004). - Bob Johnson,
*Fibonacci resources*, (2004) - Donald E. Simanek,
*Fibonacci Flim-Flam*, (undated, 2005 or earlier). - Rachel Hall,
*Hemachandra's application to Sanskrit poetry*, (undated; 2005 or earlier). - Alex Vinokur,
*Computing Fibonacci numbers on a Turing Machine*, (2003). - (no author given),
*Fibonacci Numbers Information*, (undated, 2005 or earlier). - Wikisource,
*Table of first 1000 Fibonacci numbers*, (2005). - Fibonacci Numbers and the Golden Section - Ron Knott's Surrey University multimedia web site on the Fibonacci numbers, the Golden section and the Golden string.
- The Fibonacci Association incorporated in 1963, focuses on Fibonacci numbers and related mathematics, emphasizing new results, research proposals, challenging problems, and new proofs of old ideas.
- Dawson Merrill's Fib-Phi link page.
- Fibonacci primes

bg:Число на Фибоначи ca:Successió de Fibonacci cs:Fibonacciho posloupnost da:Fibonacci-tal de:Fibonacci-Folge es:Sucesión de Fibonacci eo:Fibonaĉi-nombroj fr:Suite de Fibonacci ko:피보나치 수 id:Bilangan Fibonacci it:Successione di Fibonacci he:סדרת פיבונאצ'י lv:Fibonači skaitļi hu:Fibonacci-számok nl:Rij van Fibonacci ja:フィボナッチ数 no:Fibonaccirekken pl:Ciąg Fibonacciego pt:Número de Fibonacci ru:Числа Фибоначчи scn:Succissioni di Fibonacci sk:Fibonacciho postupnosť sl:Fibonaccijevo število fi:Fibonaccin lukujono sv:Fibonaccital tr:Fibonacci sayıları zh:斐波那契数列