In Praise of an Elementary Identity of Euler Gaurav Bhatnagar Educomp Solutions Ltd. [email protected] June 7, 2011 Dedicated to S. B. Ekhad and D. Zeilberger Abstract We survey the applications of an elementary identity used by Euler in one of his proofs of the Pentagonal Number Theorem. Using a suitably reformulated ver- sion of this identity that we call Euler's Telescoping Lemma, we give alternate proofs of all the key summation theorems for terminating Hypergeometric Series and Basic Hypergeometric Series, including the terminating Binomial Theorem, the Chu{Vandermonde sum, the Pfaff–Saalsch¨utzsum, and their q-analogues. We also give a proof of Jackson's q-analog of Dougall's sum, the sum of a terminating, bal- anced, very-well-poised 8φ7 sum. Our proofs are conceptually the same as those obtained by the WZ method, but done without using a computer. We survey iden- tities for Generalized Hypergeometric Series given by Macdonald, and prove several identities for q-analogs of Fibonacci numbers and polynomials and Pell numbers that have appeared in combinatorial contexts. Some of these identities appear to be new. arXiv:1102.0659v3 [math.CO] 12 Jun 2011 Keywords: Telescoping, Fibonacci Numbers, Pell Numbers, Derangements, Hy- pergeometric Series, Fibonacci Polynomials, q-Fibonacci Numbers, q-Pell numbers, Basic Hypergeometric Series, q-series, Binomial Theorem, q-Binomial Theorem, Chu{Vandermonde sum, q-Chu{Vandermonde sum, Pfaff–Saalsch¨utzsum, q-Pfaff– Saalsch¨utzsum, q-Dougall summation, very-well-poised 6φ5 sum, Generalized Hy- pergeometric Series, WZ Method. MSC2010: Primary 33D15; Secondary 11B39, 33C20, 33F10, 33D65 1 1 Introduction One of the first results in q-series is Euler's 1740 expansion of the product (1 − q)(1 − q2)(1 − q3)(1 − q4) ··· into a power series in q. This expansion, known as Euler's Pentagonal Number Theorem is (for jqj < 1): (1 − q)(1 − q2)(1 − q3) ··· = 1 − q − q2 + q5 + q7 + ··· 1 X k k(3k−1) k(3k+1) = 1 + (−1) q 2 + q 2 : k=1 In his proof (explained by Andrews [4] and Bell [8]) Euler used the following elementary identity: (1 + x1)(1 + x2)(1 + x3) ··· = (1 + x1) + x2(1 + x1) + x3(1 + x1)(1 + x2) + ··· (1.1) Add the first two terms of the RHS to get (1 + x1)(1 + x2) and then add that to the third term. Continue in this manner. The objective of this paper is to demonstrate that this beautiful idea (1.1), first used by Euler more than 250 years ago, can be used to prove many identities|of many kinds|in a unified manner. As a demonstration of its power, we survey a wide selection of identities, all proved using (1.1). We begin our survey of identities in x2 with the Fibonacci identity F1 + F2 + ··· + Fn = Fn+2 − 1; for the sequence Fn given by: F0 = 0, F1 = 1; and for n ≥ 0, Fn+2 = Fn+1 + Fn: This famous identity (due to Lucas in 1876) is a well-known example of a telescoping sum. Indeed, a key idea of our work is that we recognize (1.1) as a telescoping sum. Then it is a small matter to show that any sum that telescopes is a special case of this elementary identity. Thus we have a characterization of a telescoping series that we call Euler's Telescoping Lemma (see x3 and x4). Another important sum that follows from Euler's Telescoping Lemma is the formula for the sum of the geometric sequence xn+1 − 1 1 + x + x2 + ··· + xn = ; x − 1 2 where x 6= 1. Indeed, this formula is just the first in a set of summation theorems for the so-called Hypergeometric series, and their q-analogs, the Basic Hypergeometric Series. In x6, x7 and x8, we prove all the key terminating summation theorems for these series, beginning with the Binomial Theorem, and going up to Jackson's q-analog of Dougall's sum for a terminating, very-well-poised and balanced 8φ7 series (Gasper and Rahman [21, eq. (2.6.2)]). In proving these identities, we use the WZ trick, an idea due to Wilf and Zeilberger [41] to rewrite a given sum in a way that it becomes a likely candidate for telescoping. Con- ceptually, our proofs are the same as those found by the WZ method. However, instead of using a computer, we use Euler's idea to manually find the telescoping. For many ex- amples, doing so is quite easy|almost as easy as using a computer. We call our method the EZ method, given that it rests on an application of Euler's idea and the WZ trick. This method is outlined in x5. Another example comes from Ramanujan (see Berndt [9, Entry 25, p. 36]), who found a formula for the sum of n + 1 terms of the series 1 a a a + 1 + 1 2 + ··· : x + a1 (x + a1)(x + a2) (x + a1)(x + a2)(x + a3) Ramanujan's sum (given in x4) has a general sequence as a parameter. In x9 we provide extensions of Ramanujan's identity due to Macdonald, the author of [32] (see Bhatnagar and Milne [10]). We call these series Generalized Hypergeometric Series. Finally, in x10, we show that Euler's Telescoping Lemma is relevant even today by de- riving identities for many combinatorial sequences. These sequences satisfy a three-term recurrence relation, and are q-analogs of the Fibonacci or Pell sequences. We derive many identities found earlier by Andrews [3], Garrett [19], Briggs, Little and Sellers [12], Goyt and Mathisen [25] and others. In addition, we find many new identities for such sequences. In fact, we write down a general set of identities satisfied by all sequences that satisfy a three-term recurrence relation of the form: xn+2 = anxn+1 + bnxn: These identities are generalizations of 6 classical Fibonacci identities, that follow from Euler's identity. 2 Euler's Elementary Identity and Telescoping In this section, we recognize Euler's elementary identity as a telescoping sum. First note that the finite form of (1.1) is: (1 + x1)(1 + x2) ··· (1 + xn) = 3 (1 + x1) + x2(1 + x1) + ··· + xn(1 + x1)(1 + x2) ··· (1 + xn−1): (2.1) To recognize (2.1) as a telescoping sum, set xk 7! xk − 1 to obtain: x1x2 ··· xn = x1 + (x2 − 1)x1 + ··· + (xn − 1)x1x2 ··· xn−1 = 1 + (x1 − 1) + (x2 − 1)x1 + ··· + (xn − 1)x1x2 ··· xn−1: We can write this as: n X x1x2 ··· xn − 1 = (xk − 1)x1x2 ··· xk−1: k=1 Here the product x1x2 ··· xk−1 is considered to be equal to 1 if k = 1. It is now clear that the RHS telescopes. For applications, it is convenient to rewrite this by setting xk 7! uk=vk and wk = uk − vk. In this manner, we obtain: n X u1u2 ··· uk−1 u1u2 ··· un wk = − 1; (2.2) v1v2 ··· vk v1v2 ··· vn k=1 where wk = uk − vk. Remark. While it looks like (2.2) has many more variables than (2.1), the two identities are equivalent. We can recover (2.1) by setting vk = 1 and uk 7! xk + 1 in (2.2). Example 2.3 (Fibonacci Identities). Consider the Fibonacci Numbers defined as: F0 = 0;F1 = 1; and for n ≥ 0, Fn+2 = Fn+1 + Fn: Then the following identities hold, for n = 0; 1; 2;::: : n X Fk = Fn+2 − 1: (2.4) k=1 n X F2k = F2n+1 − 1: (2.5) k=1 n X F2k−1 = F2n: (2.6) k=1 n X 2 Fk = FnFn+1: (2.7) k=1 n X k+1 n−1 (−1) Fk+1 = (−1) Fn: (2.8) k=1 n X Fk−1 Fn+2 = 1 − : (2.9) 2k 2n k=1 4 Remark. Some of these identities are due to Lucas and appear in Vajda [37]. There are many more Fibonacci Identities that can be proved by telescoping and are special cases of (2.2). Proof. To prove the first identity, we set uk = Fk+2; and vk = Fk+1: Note that wk = Fk+2 − Fk+1 = Fk: Substituting in (2.2), we obtain: n X F3F4 ··· Fk+1 F3F4 ··· Fn+2 Fk = − 1; F2F3 ··· Fk+1 F2F3 ··· Fn+1 k=1 or n X Fk=F2 = Fn+2=F2 − 1: k=1 Since F2 = 1, we immediately obtain (2.4). Next, set uk = F2k+1; and vk = F2k−1: Note that wk = F2k+1 − F2k−1 = F2k + F2k−1 − F2k−1 = F2k: Substituting in (2.2), we obtain: n X F2k=F1 = F2n+1=F1 − 1: k=1 Since F1 = 1, we immediately get (2.5). Next, set uk = F2k+2; and vk = F2k: Note that wk = F2k+1: Substituting in (2.2), we obtain: n X F2k+1=F2 = F2n+2=F2 − 1: k=1 Since F2 = 1, we get n X F2k+1 = F2n+2 − 1: k=1 Now note that: n X F2k+1 = F2n+2 − 1 k=1 n X =) 1 + F2k+1 = F2n+2 k=1 n+1 X =) F2k−1 = F2n+2: k=1 Identity (2.6) now follows by setting n 7! n − 1. 5 2 Next, set uk = Fk+1Fk+2; and vk = FkFk+1: Note that wk = Fk+1: Substituting in (2.2), we obtain: n X 2 Fk+1=F1F2 = Fn+1Fn+2=F1F2 − 1: k=1 Since F1 = 1 = F2, we get n X 2 Fk+1 = Fn+1Fn+2 − 1: k=1 Now note that: n X 2 Fk+1 = Fn+1Fn+2 − 1 k=1 n X 2 =) 1 + Fk+1 = Fn+1Fn+2 k=1 n+1 X 2 =) Fk = Fn+1Fn+2: k=1 Identity (2.7) now follows by setting n 7! n − 1.