arxiv: v1 [math.ho] 18 May 2008

Transcription

1 Recurrence Formulas for Fbonacc Sums Adlson J. V. Brandão, João L. Martns 2 arxv: v [math.ho] 8 May 2008 Abstract. In ths artcle we present a new recurrence formula for a fnte sum nvolvng the Fbonacc sequence. Furthermore, we state an algorthm to compute the sum of a power seres related to Fbonacc seres, wthout the use of term-by-term dfferentaton theorem Keywords. Fbonacc sequence, Fbonacc seres. Introducon The Fbonacc sequence s one of the most famous numercal sequences n mathematcs. It s defned n a recursve way: the frst two terms are gven and the followng ones are defned as the sum of the two precedng ones. Mathematcally speakng: F 0 = 0, F =, F r = F r F r 2, r 2. The frst terms are:,, 2, 3, 5, 8, 3, 2,... Ths sequence comes from the sngle par of rabbts progeny problem, whch was early proposed by Leonardo de Psa (Fbonacc) at the Lber Abacc of 202. An ntrgung pont s that ths sequence appears n many problems from Mathematcs as well as n Botanc, Crystallography, Computer Scence, etc []. Consder the followng fnte sum nvolvng the Fbonacc sequence, where x s a real number, m and n are non-negatve ntegers: r m F r x r. (.) Many authors have been seekng to establsh a sum formula for (.) (see [2], [3], [4],[5]). In ths artcle we state a sum formula for (.) that we beleve may be consdered as a new result. Centro de Matemátca, Computação e Cognção, Unversdade Federal do ABC, Brazl. adlson.brandao@ufabc.edu.br 2 Departamento de Matemátca, Unversdade Federal de Ouro Preto, Brazl. jmartns@ceb.ufop.br

2 Consder now the power seres assocated to (.): r m F r x r. (.2) It s not dffcult to demonstrate that the (.2) converges for all m and all x ( /φ, /φ), n whch φ = ( 5)/2 s the golden rato, a well-known constant assocated wth Fbonacc s sequence []. The queston hereby nterposed s the followng: wthn ts convergence nterval, s there a formula for the sum of the (.2) seres? An answer to ths queston s obtaned by nvokng the term-by-term dfferentaton theorem for power seres. Actually, such an equaton s obtaned by usng D = xd/dx operator m tmes nto the known dentty F r x r = x. If we defne S(x, j) = r j F r x r, a recurrence formula can be obtaned by the followng way: x S(x, 0) =, S(x, j) = D[S(x, j )], j =,...,m. (.3) Example. Usng the (.3) algorthm, we can calculate the numerc seres sum rf r S = 3 r. (.4) In fact, f S(x, 0) = x/( ), then S(x, ) = xs (x, 0) = (x x 3 )/( ) 2. Hence, takng x = /3 n S(x, ), we get the sum S = 6/5 for the (.4) seres. Example.2 Try now to compute the numerc seres sum below by usng the same algorthm: r 50 F r 3 r. The (.3) algorthm s problem s, for each sngle step, hgher computaton cost n order to dfferentate a functon. The example.2 ponts out ths 2

3 dffculty. In ths paper we obtan another recurrence formula to calculate the sum of (.2). The artcle s henceforth organzed as follows: In the second secton we present our man result, a recurrence formula for the (.) fnte sum and we show that t recovers some results on fnte summaton formulas nvolvng the Fbonacc sequence. The thrd secton was ntended to rgorously proof our formula. In the fourth secton we state an algorthm to compute the sum of (.2) wthout the use of dervatves. Fnally, n the ffth secton, we gve some comments about the results and future possbltes. 2 Fnte Sums Our man result n ths secton s the theorem below: Theorem 2.. Let x R, 0 be gven. Then the followng fnte recorrence formula holds r m F r x r = x 2 = ) n )( ) n r m F r x r = r m F r x r nm (F n x n F n x n2 ). (2.) As consequence of theorem 2. we obtan many closed formulas for fnte sums nvolvng Fbonacc summaton. In fact, takng x = n (2.) we obtan the followng fnte summaton: ( ) m r m F r = ( ) n ( ) m n r m F r r m F r n m F n2. = = (2.2) We beleve that (2.2) s a new formula for (.). From (2.2) we can derve closed for some specal cases of m. For nstance, takng m = n (2.2) we obtan ( ) rf r = ( ) n r F r = = ( ) n r F r nf n2. (2.3) 3

4 It s well known (see [4]) that n Thus, from (2.3) and (2.4) we conclude that F r = F n. (2.4) rf r n = F r F r nf n2 = F n2 F n nf n2. Therefore rf r = nf n2 F n3 2, (2.5) whch s the formula () that appears n [2]. Now, takng m = 2 n (2.2) we can see that that s, 2 ( ) 2 r 2 F r = ( ) n r 2 F r = 2 = ( 2 ) n n r 2 F r = 2 rf r 2 rf r n 2 F n2 r 2 F r n 2 F n2, n F r F r. (2.6) Thus, usng (2.4) and (2.5) n (2.6), after some algebrc manpulaton, we obtan r 2 F r = (n 2 2)F n2 (2n 3)F n3 8, whch s the formula (7) n [2]. In an analogous way we can recover other known denttes takng dfferent values for m n (2.2). Actually, the recorrence formula (2.) can produce a lot of denttes, smply choosng specal values to x and m. For nstance, the formula (2.) for x = s ( ) r r m F r = ( ) m ( ) n ( ) r r m F r = = ) n ( ) r r m F r n m [ ( ) n F m ( ) n2 F n ]. 4 (2.7)

5 Takng m = n (2.7) we obtan n ( ) r r F r = ( ) r F r ( ) r F r n [ ] ( ) n F n ( ) n2 F n. (2.8) Snce that (see [2]) n and usng (2.9) n (2.8), we conclude that ( ) r F r = ( ) n F n 2, (2.9) ( ) r rf r = ( ) n F n ( ) n F n 2 n [ ] ( ) n F n ( ) n2 F n. (2.0) After some smplfcatons, (2.0) becomes ( ) r rf r = ( ) n (n )F n ( ) n F n 2 2. (2.) Note that (2.) s the formula (2) n [2]. 3 Proof of Our Man Result Before provng Theorem 2. we need to state some auxlar results: Lemma 3.. Let non-negatve ntegers n k be gven. Suppose that 0. Then F k x k F k x k... F n x n = F kx k F k x k F n x n F n x n2. Proof. Consder the sum (3.) S = F k x k F k x k F k2 x k2 F k3 x k3...f n x n F n x n. (3.2) Multplyng (3.2) by x and x 2 we obtan xs = F k x k F k x k2 F k2 x k3... F n 2 x n F n x n F n x n. (3.3) 5

6 x 2 S = F k x k2 F k x k3... F n 3 x n F n 2 x n F n x n F n x n2. (3.4) Addng (3.2), (3.3) and (3.4), rememberng the defnton of Fbonacc sequence and cancellng terms we have S xs x 2 S = F k x k F k x k F k x k F n x n F n x n F n x n2 (3.5) Usng agan the defnton of Fbonacc sequence we conclude that S xs x 2 S = F k x k F k x k F n x n F n x n2, that s, (3.) holds. Lemma 3.2. Let x R, 0 be gven. Then the followng dentty holds r m F r x r = Proof. Consder the sum (r m (r ) m )(F r x r F r x r ) nm (F n x n F n x n2 ). r m F r x r = F x 2 m F 2 x 2 3 m F 3 x 3... n m F n x n. (3.6) It s easy to see that the sum above can be rearranged n the followng way r m F r x r = (F x F 2 x 2 F 3 x 3... F n x n ) (2 m )(F 2 x 2 F 3 x 3... F n x n ) (3 m 2 m )(F 3 x 3... F n x n )... ((n ) m (n 2) m )(F n x n F n x n ) (n m (n ) m )(F n x n ). By usng the Lemma 3. we can wrte the last sum as r m F r x r = F x F 0 x 2 F n x n F n x n2 6

7 (2 m )( F 2x 2 F x 3 F n x n F n x n2 )... (n m (n ) m )( F nx n F n x n F n x n F n x n2 ). Therefore, the sum can be expressed by r m F r x r = (r m (r ) m )(F r x r F r x r ) [ F nx n F n x n2 ][(2 m )(3 m 2 m )...((n ) m (n 2) m )(n m (n ) m )] After cancellng some terms we fnally obtan r m F r x r = (r m (r ) m )(F r x r F r x r ) nm (F n x n F n x n2 ), whch s the desred result. Proof of Theorem 2.. By usng a sutable change of varables we have = = = = (r m (r ) m )(F r x r F r x r ) (r m (r ) m )F r x r (θ m (θ ) m )F θ x θ ) θ= (r m (r ) m )F r x r x 2 n ((r ) m r m )F r x r ( ) m ( ) r m F r x r x 2 n ( ) m = r m F r x r = )( ) n r m F r x r x 2 ( ) m n = r m F r x r = The theorem follows by the result above and the Lemma

8 4 Power Seres In ths secton we state a result whch provdes an algorthm to compute the sum of (.2) wthout the use of term-by-term dfferentaton theorem. Ths algorthm s a consequence of the theorem below: Theorem 4.. Let x ( /φ, /φ) be gven. Then the followng recorrence formula holds r m F r x r = x 2 )( ) r m F r x r = ( ) m r m F r x r. = (4.) Proof. Consderng the Theorem 2., t s suffcent to take n n (2.) and to remember that lm n nm F n x n = 0, snce the seres (.2) converges for all nteger m and x ( /φ, /φ). By theorem 4., we can obtan the followng algorthm n order to provde the sum of (.2): S(x, 0) = x x x 2, j ( ) j S(x, j) = ( ) x 2 j S(x, j ) = = j =,..., m. (4.2) Ths algorthm can be mplemented n an effcent way, nstead of the expensve process usng the standard dervatve operator. It answers, for nstance, the queston proposed n the example.2: n= 5 Fnal Remarks n 50 F n 3 n = ( j ) S(x, j ), In ths artcle we state a new recurrence formula for a fnte sum related to Fbonacc sequence. Ths formula recovers a lot of denttes for Fbonacc 8

9 sums. Besdes ths, t mples an algorthm to compute the sum of Fbonacc power seres wthout the use of dervatves. The scheme used to obtan ths results can be extended to others seres. The deas presented here are part of a larger nvestgaton whch has been developed concernng the seres r m x r a r, (5.) n whch {a r } s an arbtrary sequence. In ths artcle {a r } s the Fbonacc sequence. Nevertheless, we can extend our results for other sequence types (see [6], [7]). For example, f we take a r =, (5.) turns nto the generalzed geometrc seres r m x r, (5.2) whch converges for all x (, ). Usng the same deas developed n the last secton, we can fnd out a recurrence formula for such a seres: r m x r = x = ) ( ) r m x r There are other subjects stll under nvestgaton by whch we search to extend the results hereby presented for other sequences such as, Lucas, Generalzed Fbonacc s, Generalzed Lucas, Pell s, Trbonacc s sequences, etc. It should be observed that n [8], the author studed a seres related to (.2), coverng Lucas and Fbonacc s generalzed sequences. However, ther results are only vald for a postve ratonal x. Besdes, the employed technque s qute dfferent from ours. Addtonal references concernng Fbonacc numbers and the golden rato can be found n []. References [] R. A. Dunlap (997). The Golden Raton and Fbonacc Numbers, World Scentfc. [2] V. C. Harrs (965). On Identtes Involvng Fbonacc Numbers. The Fbonacc Quarterly 3.3,

10 [3] A. Brousseau (967). Summaton of n k= k m F kr : Fnte Dfference Approach. The Fbonacc Quarterly 5., [4] G. Ledn (967). On a Certan Knd of Fbonacc Sums. The Fbonacc Quarterly 5., [5] N. Gauther (998). Identtes for Class of Sums Involvng Horadam s Generalzed Numbers {W n }. The Fbonacc Quarterly 36.4, [6] J. L. Martns and A. J. V. Brandão (2004). Uma classe de séres nfntas envolvendo termos de sequêncas generalzadas. Boletín de la Asocacón Matemátca Venezolana, [7] J. L. Martns and A. J. V. Brandão (2004). Fórmula de recorrênca para a soma de séres nfntas. Lecturas Matemátcas 25, [8] Pero Flppon (2000). Evaluaton of Certan Infnte Seres Involvng Terms of Generalzed Sequences. The Fbonacc Quarterly 38.4,