JMATH Journal of Mathematics 2314-4785 2314-4629 Hindawi Publishing Corporation 204674 10.1155/2013/204674 204674 Research Article From Fibonacci Sequence to the Golden Ratio Fiorenza Alberto 1, 2 Vincenzi Giovanni 3 Tsionas Mike 1 Dipartimento di Architettura Università di Napoli Via Monteoliveto 3 80134 Napoli Italy unina.it 2 Istituto per le Applicazioni del Calcolo “Mauro Picone” Sezione di Napoli Consiglio Nazionale delle Ricerche Via Pietro Castellino 111, 80131 Napoli Italy cnr.it 3 Dipartimento di Matematica Università di Salerno Via Ponte Don Melillo 4, Fisciano, 84084 Salerno Italy unisa.it 2013 18 3 2013 2013 14 11 2012 11 02 2013 2013 Copyright © 2013 Alberto Fiorenza and Giovanni Vincenzi. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We consider the well-known characterization of the Golden ratio as limit of the ratio of consecutive terms of the Fibonacci sequence, and we give an explanation of this property in the framework of the Difference Equations Theory. We show that the Golden ratio coincides with this limit not because it is the root with maximum modulus and multiplicity of the characteristic polynomial, but, from a more general point of view, because it is the root with maximum modulus and multiplicity of a restricted set of roots, which in this special case coincides with the two roots of the characteristic polynomial. This new perspective is the heart of the characterization of the limit of ratio of consecutive terms of all linear homogeneous recurrences with constant coefficients, without any assumption on the roots of the characteristic polynomial, which may be, in particular, also complex and not real.

In this paper, we consider a well-known property of the Fibonacci sequence, defined by (1)  F0=F1=1,Fn=Fn-1+Fn-2,  n>1, namely, the fact that the limit of the ratio of consecutive terms (the sequence defined from the ratio between each term and its previous one) is Φ, the highly celebrated Golden ratio: (2)limnFn+1Fn=Φ.

Many proofs already exist and are well known since long time, and we do not wish to add one more to the repertory.

The Fibonacci sequence can be studied in the framework of the Difference Equations Theory (e.g., see  Chapter 3 Page 43), where, roughly speaking, the properties of the more general sequences (Fn) satisfying (3)Fn+ak-1Fn-1++a0Fn-k=0nk, where a00,  a1,,ak-1, are studied. The first step of the theory consists in considering the associated characteristic polynomial (4)p(λ)=λk+ak-1λk-1++a0, whose complex roots λ1,,λh, with respective multiplicity k1,,kh,  k1++kh=k permit to express explicitly the terms Fn by means of the representation, known as Binet’s formula: (5)Fn=c1,1λ1n+c1,2nλ1n++c1,k1nk1-1λ1n++ch,1λhn+ch,2nλhn++ch,khnkh-1λhn, where ci,j are (complex) numbers uniquely determined by F0,,Fk-1. In the case of the Fibonacci sequence, (3), (4), and (5) become, respectively, (6)Fn-Fn-1-Fn-2=0,(7)p(λ)=λ2-λ-1,(8)Fn=c1,1Φn+c2,1(1-Φ)n=Φ5Φn-1-Φ5(1-Φ)n, where the last equality comes out taking into account the initial conditions F0=F1=1. Well, the fact that the Golden ratio, limit of the ratio of adjacent terms, coincides with one of the roots of the characteristic polynomial (7) is not a coincidence. It can be very easily seen that this is always the case, also for general order-k linear homogeneous recurrences with constant coefficients; the limit of the ratio of adjacent terms (in the following, we will refer to this limit as the Kepler limit of (Fn)), if it exists, is always one of the roots of the characteristic polynomial. It suffices to write, starting from (3), (9)FnFn-1Fn-1Fn-2Fn-k+1Fn-k+ak-1Fn-1Fn-2Fn-k+1Fn-k++a0=0 and to substitute each ratio with its limit.

The question is:

Q: if for an order-k linear homogeneous recurrence with constant coefficients, the limit of the ratio of adjacent terms exists, which root is it?

In the case of the Fibonacci sequence, it is clear that the Golden ratio is the root of the characteristic polynomial with maximum modulus, and all the proofs of (2) use more or less implicitly this property. And the same machinery works with several other examples of recurrences (e.g., see the pioneering paper ).

Surprisingly, the correct answer to the question is not that the limit of the ratio of adjacent terms is the root with maximum modulus. The fact that the Golden ratio is the unique root of maximum modulus is just a coincidence! In fact, consider, for instance, the sequence (10)F0=1,F1=1-Φ,Fn=Fn-1+Fn-2,  n>1, with different initial conditions and same characteristic polynomial (7). Here, Binet’s formula reads Fn=(1-Φ)n (the term containing Φn is in some sense “killed” by the initial conditions). In this case, the sequence is geometric, and the Kepler limit is the other root of the characteristic polynomial: the smaller. This sequence (along with those obtained multiplying each term by a nonzero constant) is known as an “exception”, and much attention is devoted in the literature to the roots of maximum modulus; up to some assumptions which should exclude the exceptions, it is known that the Kepler limit exists if, among the roots of maximum modulus of (4), there exists a unique root of maximal multiplicity (the “dominant” root; see  and references therein).

Another surprise: the existence of the dominant root is independent of the existence of the Kepler limit, and also the value of the limit is not necessarily the dominant root. This is shown by the following examples. Consider the sequence (11)F0=3,F1=1,F2=-1,F3=1,Fn=3Fn-1-3Fn-2+3Fn-3-2Fn-4,n>3; the characteristic polynomial is p(λ)=λ4-3λ3+3λ2-3λ+2, whose roots are 2,  1,  -i,  i; Binet’s formula is (12)Fn=1n+(-i)n+in.

In this case, the dominant root exists, while the Kepler limit does not. In the case (13)F0=1,F1=1,F2=1,Fn=Fn-1-4Fn-2+4Fn-3,n>2, the characteristic polynomial is p(λ)=λ3-λ2+4λ-4, whose roots are -2i,  2i,1. Binet’s formula is (14)Fn=1n.

Here, the characteristic polynomial has not a dominant root, but there exists the Kepler limit, which is the root 1 (note that 1 is not among the roots of maximum modulus).

These phenomena attracted several researchers since Poincaré, who proved in a more general context (e.g., see ) the following result.

Theorem A.

Let λ1,,λk be the roots of the characteristic equation (15)λk+ak-1λk-1++a0=0 of (3), and suppose that |λi||λj| for ij. Then, either Fn=0 for all large n or there exists an index i{1,,k} such that (16)limnFn+1Fn=λi.

The condition about the pairwise distinct moduli is optimal (namely, necessary and sufficient) if one requires the existence of the Kepler limit for all possible initial conditions; in other words, if there exist two distinct roots with the same modulus, then it is always possible to consider initial conditions such that the Kepler limit does not exist.

What can be said about the general case, also when the moduli of the roots are not necessarily distinct? Is there a necessary and sufficient condition for the existence of the Kepler limit?

Well, for a given linear recurrence with constant coefficients (Fn), consider the “essential Binet’s formula representation”; namely, write it in the form (5) where the coefficients ci,j have been computed starting from the initial conditions, and where only the nonzero coefficients ci,j appear: (17)Fn=lcil,jlnjl-1λiln.

In this representation, one can see only a subset of the k addends of the right hand side of (5). In some sense, the addends not appearing in the right hand side of (17) can be considered as “killed" by the initial conditions. In this representation, among the addends containing the “survived" roots, count how many, among them, have maximum modulus and contain the maximum power of n (let us call them “leading"). For instance, the classical Fibonacci sequence (1) admits the Golden Ratio Φ as unique leading root (see (8)); the sequence (10) has the same characteristic polynomial of (1), but the unique leading root is 1-Φ; in the case of (11), the leading roots are 1, -i, i (see (12)). Moreover, if we consider the sequence (18)F0=1,F1=-3,F2=-11,Fn=6Fn-1-11Fn-2+6Fn-3,n>2, the characteristic polynomial is p(λ)=(λ-3)(λ-2)(λ-1), and Binet’s formula is (19)Fn=5·1n+(-4)·2n, the unique leading root being 2.

In , it is proved that if you count exactly one leading term, then the Kepler limit exists, and in such case, the Kepler limit is exactly the corresponding root (“the unique leading root”). When this happens, we say that the initial conditions are in agreement with the characteristic polynomial.

Thus, Theorem A is, of course, an immediate corollary; it is trivial that in the case of pairwise distinct moduli, independently of the “killed” roots, the set of the “survived” roots, whatever it is, must contain a unique leading root.

On the other hand, for a general order-k linear homogeneous recurrence with constant coefficients, it may happen that (e.g., see (11)) there are more than one leading root. What can be said, in this case, about the existence of the Kepler limit? A third surprise, in this case, is that the Kepler limit does not exist; the condition given earlier (i.e., the uniqueness of the leading root) is also necessary.

In the end, the notion of agreement gives us the answer to the original question Q: the unique leading root.

The importance of this study relies upon the fact that the ratio of consecutive terms tells that all linear recurrences in agreement behave at infinity like geometric sequences, and the first terms (which give the initial conditions), along with the law (which can be conjectured after a reasonable number of tests), permit to predict the ratio. This may be very important for all applications, where linear recurrences represent mathematical models.

Kelley W. G. Peterson A. C. Difference Equations 2001 2nd San Diego, Calif, USA Harcourt/Academic Press An introduction with applications MR1765695 Miles, E. P. Jr. Generalized Fibonacci numbers and associated matrices The American Mathematical Monthly 1960 67 745 752 MR0123521 10.2307/2308649 ZBL0103.27203 Fiorenza A. Vincenzi G. Limit of ratio of consecutive terms for general order-k linear homogeneous recurrences with constant coefficients Chaos, Solitons & Fractals 2011 44 1–3 145 152 10.1016/j.chaos.2011.01.003 MR2782505 Poincaré H. Sur les equations linéaires aux différentielles ordinaires et aux différences finies American Journal of Mathematics 1885 7 3 203 258 10.2307/2369270 MR1505385