arXiv:1510.03159v3 [math.CO] 6 Aug 2016 ihdffrn nta values: initial differing with ohsqecso ubr aif omnrcrec relat recurrence common a satisfy numbers of sequences Both hr eue = 1 used we where 3 fBnai n un 4 .131]: p. [4, Quinn and Benjamin of 236 hc i iwo h relation the of view (in which elcs2b .Mrus dniycnb rte i h form the (in co written of be lot can [12]) identity a Marques’ Martinjak excited also 3. [15] (see by Sury 2 [11] by replaces Marques identity and this proof, of alternate proof recent A ete .J .SnawlMr,Dli110016. Delhi Marg, Sansanwal S. J. S. 7 Centre, ntelnso 12,Mrijkgv niett ihaltern with identity an gave Martinjak (1.2), of lines the On ioac ubr aif ayiette.Tecasc187 classic The identities. many satisfy numbers Fibonacci ato hswr a oewieteato a iiigScie Visiting a was author the (FWF while Fund done Science was work Austrian this the of by Part part in supported Research Let F dniisadgnrlz hm eas ieaaoosiden analogous give relation. also recurrence We telescoping, three-term a alternate, them. satisfy an give generalize We and comment. identities of lot book: a 2003 excited Quinn’s and Benjamin of Abstract. k and NLGE FAFBNCILCSIDENTITY FIBONACCI-LUCAS A OF ANALOGUES L k ethe be uys21 ro fa dniyfrFbnciadLcsnumb Lucas and Fibonacci for identity an of proof 2014 Sury’s L 0 1. − k hFbnciand Fibonacci th F ua’17 dniyadisassociates its and identity 1876 Lucas’ 1 F , F 0 F 0 + F 0 X k 0 = k X k =0 n = F +1 =0 n 1 X k 3 L F , + + =0 ARVBHATNAGAR GAURAV n ( k X k 1 − =0 n ( x 2 1 F − F L ( 1) n k L 2 but 1 = k 2 rosta on:Teato obntra proof combinatorial of art The count: that Proofs +2 k F − k k + k + 2 1 L L − k , = · · · = k k F hLcsnmes epciey for respectively, numbers, Lucas th F +1 F 2 = k x 1 L +1 k + n +1 = k = +1 L for , 3 = ) F n 0 = ) +1 L n ( + − 2 = − 2 2 F 1 1) x − n k F n n n = L , +1 +1 n n ; F ≥ ts tteIda ttsia nttt,Delhi Institute, Statistical Indian the at ntist +1 F F 3 F . 1 :F5008-N15. F ): )cnb rte as written be can 1) n n oo.Nx osdrIdentity consider Next on. so and , n , n 1. = +1 +1 ro fti—n associated— this—and of proof +1 iisfrohrsqecsthat sequences other for tities on naaoosiett that identity analogous an found dniyi u oLcshimself: Lucas to due is identity 6 tn signs: ating . o,for ion, − . rsne yMartinjak): by presented mn.Kog[0 aean gave [10] Kwong mment. 1 , n 0 = r Iett 236 (Identity ers , 1 , 2 k . . . , 0 = has ) , 1 , 2 . . . , (1.1) (1.2) (1.3) (1.4) 1 . GAURAV BHATNAGAR

Finally, the other classic identity (we are unaware of its provenance) which consists of alter- nating sums of Fibonacci numbers, see Koshy [9, Identity 20, p. 88]:

n+2 n F2 − F3 + F4 + · · · + (−1) Fn+2 = (−1) Fn+1, can be written as n k n (−1) (Lk+1 − Fk) = (−1) Fn+1. (1.5) k X=0 Now many of the classic Fibonacci identities follow from telescoping, including Lucas’ classic identity (1.1). And all telescoping formulas can be derived from what we [5] called the Euler’s Telescoping Lemma, see (2.1) below. If we apply this approach to prove the above identities, we are quickly led to the following generalization, for t an indeterminate: n k n+1 t (Lk + (t − 2)Fk+1)= t Fn+1. (1.6) k X=0 Observe that when t = 1, 2, and 3, then (1.6) reduces to (1.1), (1.2) and (1.3), respectively. What is remarkable is that (1.6) also contains as special cases the identities (1.4) and (1.5). We can see this by replacing t by −1/2, and t = −1, respectively. But in this case one has to massage the sums a bit using the relations between Fibonacci and Lucas numbers. Alternatively, one can directly prove, for t =6 0: n (−1)k (−1)n k (Lk+1 + (t − 2)Fk)= n Fn+1. (1.7) k t t X=0 When t = 1 and 2, then (1.7) reduces to (1.5) and (1.4) respectively. It is a nice exercise to show that (1.6) and (1.7) are equivalent. The purpose of this paper is to generalize the above identities to sequences which satisfy a recurrence relation of the form

xn+2 = anxn+1 + bnxn, where an and bn are sequences of indeterminates, which can be specialized to complex numbers or polynomials when required. As examples, in addition to (1.6) and (1.7), we will note many analogous identities for other sequences that are defined by this recurrence relation. See [5] for more examples of this approach.

2. Euler’s Telescoping Lemma and its application Euler’s Telescoping Lemma can be written as [5, eq. (2.2)]: n u1u2 · · · uk−1 u1u2 · · · un wk = − 1, (2.1) k n k v1v2 · · · v v1v2 · · · v X=1 where wk = uk − vk. Here the product u1 · · · uk−1 is considered to be equal to 1 when k = 1. The uk and vk are sequences of indeterminates. Its proof is immediate. Replace wk by uk − vk in the sum on the left hand side, and (2.1) follows by telescoping. I showed in [5] that an equivalent form of this identity characterizes telescoping sums. Thus all telescoping sums can be obtained as suitable special cases.

2 ANALOGUES OF A FIBONACCI-LUCAS IDENTITY

For example, to obtain (1.6) set uk = tFk+1, vk = Fk. Then wk = uk − vk

= tFk+1 − Fk

= (Fk+1 − Fk) + (t − 1)Fk+1

= Fk−1 + (t − 1)Fk+1

= (Fk−1 + Fk+1) + (t − 2)Fk+1

= Lk + (t − 2)Fk+1.

Now substitute for uk, vk, and wk in (2.1) to obtain (1.6). Similarly, to obtain (1.7), set uk = Fk+1, vk = −tFk in (2.1) and observe that wk = Lk+1 + (t − 2)Fk. For sequences satisfying a more general three-term recurrence relation, we have the following generalization.

Theorem 2.1. Let an and bn be sequences, with an =6 0, bn =6 0, for all n. Let t be an indeterminate. Consider a sequence xn that satisfies (for n ≥ 0):

xn+2 = anxn+1 + bnxn. Then the following identities hold for n = 0, 1, 2,... , provided the denominators are not 0. n k− n t 1 bk− xk− + (t − 1)xk t xn 1 1 +1 = +1 − 1. (2.2) a0a1 · · · ak−1 x1 a0a1 · · · an−1 x1 k=1 nX k n (−1) a1a2 · · · ak−1 xk+2 + (t − 1)bkxk (−1) a1a2 · · · an xn+1 k = n − 1. (2.3) n k t b1b2 · · · bk x1 t b1b2 · · · b x1 X=1 Remarks. The special case t = 1 of identity (2.3) has appeared previously in [5, eq. (10.11)]. When ak =1= bk, then (2.2) reduces to (1.6), and (2.3) reduces to (1.7).

Proof. We derive (2.2) from Euler’s Telescoping Lemma (2.1). Set uk = txk+1, vk = ak−1xk. Note that wk = (bk−1xk−1 + (t − 1)xk+1). Substituting in (2.1), we immediately obtain (2.2). Next, set uk = akxk+1 and vk = −tbkxk, so that wk = (xk+2 + (t − 1)bkxk). Substituting in (2.1), we obtain (2.3).  Next, we note down some examples of sequences that satisfy a three term recurrence relation.

3. Examples of analogous identities

First consider the kth Pell number Pk and the kth Pell-Lucas number Qk. Both these sequences satisfy the recurrence relation, for n = 0, 1, 2,...

xn+2 = 2xn+1 + xn, and have initial values: P0 = 0, P1 = 1; and, Q0 =2= Q1. It is easy to check that Pk and Qk satisfy the relation Pk+1 + Pk−1 = Qk, for k ≥ 1. Substituting ak = 2, bk = 1, and xk = Pk in (2.2), multiplying both sides by t, and using the above relation between the Pell and Pell-Lucas numbers, we obtain a Pell analogue of (1.6): n tk tn+1 k (Qk + (t − 2)Pk+1)= n Pn+1. k 2 2 X=0 3 GAURAV BHATNAGAR

When t is replaced by 2t, we have n k n+1 t (Qk + 2(t − 1)Pk+1) = 2t Pn+1. (3.1) k X=0 Similarly, equation (2.3) yields, after replacing t by 2t, for t =6 0: n (−1)k (−1)n k (Qk+1 + 2(t − 1)Pk)= n Pn+1. (3.2) k 2t t X=0 Compare the t = 1 case of (3.1) n

Qk = 2Pn+1. (3.3) k X=0 with (1.1) and (1.2). The identity n k n (−1) Qk+1 = (−1) 2Pn+1, (3.4) k X=0 obtained by setting t = 1 in (3.2) is similarly very appealing. Next, we obtain identities for the Lucas numbers. Recall that Lucas numbers too satisfy the same recursion as the Fibonacci numbers, and have initial values L0 = 2 and L1 =1. In this case, (2.2) yields: n k n+1 1+ t (Lk−1 + (t − 1)Lk+1)= t Ln+1, (3.5) k X=0 where we have taken L−1 = 0 in order to write the sum from 0 to n. Similarly, equation (2.3) yields, for t =6 0: n (−1)k (−1)n 1+ k (Lk+2 + (t − 1)Lk)= n Ln+1. (3.6) k t t X=1 The Derangement Numbers dn, counting the number of derangements—that is, the number of permutations on n letters with no fixed points—are usually not considered to be analogous to the Fibonacci numbers. However, they do satisfy a three term recurrence relation. Since the formulas (2.2) and (2.3) involve division by x1, and d1 = 0, we have to make an adjustment. We consider the shifted derangement numbers Dn which satisfy Dn = dn+1. They are defined by: D0 = 0, D1 = 1 and for n ≥ 0

Dn+2 = (n + 2)Dn+1 + (n + 2)Dn. In this case ak = k +2= bk. Equation (2.2) gives us n tk−1 tn 1+ ((k + 1)Dk−1 + (t − 1)Dk+1)= Dn+1. (3.7) k (k + 1)! (n + 1)! X=1 Similarly, equation (2.3) yields, for t =6 0: n k n (−1) Dk+2 + (t − 1)(k + 2)Dk (−1) k = n Dn+1. (3.8) k t k + 2 t X=0   Identities for the derangement numbers are obtained by replacing Dn by dn+1. Next, we consider the q-Fibonacci numbers considered first by Schur, and later studied by Andrews [1, 2, 3], Carlitz [6, 7], and Smith [13]. We use the notation of Garrett [8] who has

4 ANALOGUES OF A FIBONACCI-LUCAS IDENTITY

(a) studied these sequences combinatorially. The q-Fibonacci numbers are defined by F0 (q) = 0, (a) F1 (q) = 1, and (a) (a) a+n (a) Fn+2(q)= Fn+1(q)+ q Fn (q). a k In this case ak = 1, bk = q + and (2.2) yields n k−1 a+k−1 (a) (a) n (a) 1+ t q Fk−1(q) + (t − 1)Fk+1(q) = t Fn+1(q). (3.9) k X=1   Similarly, equation (2.3) yields, for t =6 0:

n k (−1) −ak − k+1 (a) a k (a) q q ( 2 ) F (q) + (t − 1)q + F (q) tk k+2 k k=0 X n   (−1) −na −(n+1) (a) = q q 2 Fn (q). (3.10) tn +1 The above identities may be regarded as q-analogs of (1.6) and (1.7). As a final set of examples, we give another set of q-analogs of these two identities. We need the notation for q-rising factorials. The q-rising factorial (for q a complex number) is defined as the product:

1 if m = 0, (a; q)m := m−1 ((1 − a)(1 − aq) · · · (1 − aq ) if m ≥ 1.

a+k−1 (a) (a) In Euler’s Telescoping Lemma (2.1), consider uk = (1 − tq )Fk+1(q) and vk = Fk (q). Then a+k−1 (a) (a) wk = q Fk−1(q) − tFk+1(q) , and we obtain:   n a+k−1 a (a) (a) a (a) 1+ q (tq ; q)k−1 Fk−1(q) − tFk+1(q) = (tq ; q)nFn+1(q). (3.11) k X=1   (a) k+a −(a+k) (a) Next in (2.1), set uk = Fk+1(q) and vk = (−1)q (1 − tq )Fk (q). Then

(a) (a) wk = Fk+2(q) − tFk (q), and we obtain, after some simplification:

n (a) (a) (a) 1 Fk+2(q) − tFk (q) 1 Fn+1(q) k −1 a+1 = n −1 a+1 (3.12) k t (t q ; q)k t (t q ; q)n X=0 By now, the reader may well think that we have strayed quite far from the classic identities (1.1) and (1.5). However, given the uniform way they have been derived, one can see that all the identities presented here are related to each other. We emphasize that the above are only a small set of possible analogues. There are many sequences of numbers, and of polynomials, that satisfy such a three term recurrence. They all have analogues of Lucas’ identity and its associates.

5 GAURAV BHATNAGAR

4. Whats the point? Any identity of the type n tk = Tn k X=0 is a telescoping sum, since one can write Tk − Tk−1 = tk and then sum both sides. But how do you make it telescope? For many identities, we can use the WZ method (see Petkov˘sek, Wilf and Zeilberger [14]) and let the computer find the telescoping. For sequences defined by a three term recurrence relation, this may not always be possible, or practical. But you can use Euler’s Telescoping Lemma to find the telescoping, without using a computer! This is the point of [5], which gives many examples of this approach, including several involving analogues of the Fibonacci numbers. So if you have found a Fibonacci type identity, you can use Euler’s Telescoping Lemma to find analogous identities for other interesting sequences. Note Added to proof. After submitting this paper, we found that T. Edgar (The Fibonacci Quarterly 54.1 (2016), 79) has independently given identity (1.6) for the case where t is a natural number bigger than 1. References 1. G. E. Andrews, A polynomial identity which implies the Rogers–Ramanujan identities, Scripta Math. 28 (1970), 297–305. 2. G. E. Andrews, Combinatorial Analysis and Fibonacci Numbers, Fibonacci Quart. 12 (2) (1974), 141– 146. 3. G. E. Andrews, Fibonacci numbers and the Rogers–Ramanujan identities, Fibonacci Quart. 42 (1) (2004), 3–19. 4. A. T. Benjamin and J. J. Quinn, Proofs that really count: The art of combinatorial proof, in Dolciani Mathematical Exposition # 27, Mathematical Association of America, Washington D.C., 2003. 5. G. Bhatnagar, In praise of an elementary identity of Euler, Electronic J. Combinatorics, 18 (2), # P13 (2011), 44pp. 6. L. Carlitz, Fibonacci notes. III. q-Fibonacci numbers, Fibonacci Quart. 12 (4) (1974), 317–322. 7. L. Carlitz, Fibonacci notes. IV. q-Fibonacci polynomials, Fibonacci Quart. 13 (2) (1975), 97–102. 8. K. C. Garrett, Weighted Tilings and q-Fibonacci Numbers, Preprint (2004), 10pp. 9. T. Koshy, Fibonacci and Lucas numbers with applications, Wiley-Interscience, NY, 2001. 10. H. Kwong, An alternate proof of Sury’s Fibonacci-Lucas Relation, Amer. Math. Monthly 121 (6) (2014), 514. 11. D. Marques, A new Fibonacci-Lucas Relation, Amer. Math. Monthly 122 (7) (2015), 236. 12. I. Martinjak, Two extensions of Sury’s identity, arXiv:12080.01444v1 (2015), 2 pp. 13. N. O. Smith, On an ‘uncounted’ fibonacci identity and its q-analogue, Fibonacci Quart. 46-47 (1) (2008), 73–78. 14. M. Petkov˘sek, H. S. Wilf, D. Zeilberger: A=B, A. K. Peters, Wellesley, MA, 1996. 15. B. Sury, A polynomial parent to a Fibonacci-Lucas relation, Amer. Math. Monthly 121 (3) (2014), 236. MSC2010: 11B39 Fakultat¨ fur¨ Mathematik, Universitat¨ Wien, Oskar-Morgenstern-Platz 1, 1090 Wien, Austria. E-mail address: [email protected]

6